runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/inescp-1.0/huge2.cudf.cudf_set.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/cudf_set/huge2.cudf /home/misc2010/tmp/201007051233/inescp-1.0/huge2.cudf.cudf_set.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.95 4/40 4972 /proc/meminfo: memFree=866744/1048576 swapFree=2091916/2097144 [pid=4969] ppid=4968 vsize=2380 CPUtime=0 /proc/4969/stat : 4969 (inescp-1.0) S 4968 4969 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 526472088 2437120 260 1283457024 134512640 135191968 4294873872 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4969/statm: 595 260 222 166 0 27 0 [pid=4970] ppid=4969 vsize=4004 CPUtime=0 /proc/4970/stat : 4970 (cudf-solver.py) S 4969 4969 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526472088 4100096 644 1283457024 134512640 135539072 4291049344 18446744073709551615 4158912926 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4970/statm: 1001 644 348 251 0 302 0 [pid=4971] ppid=4970 vsize=10960 CPUtime=0 /proc/4971/stat : 4971 (java) R 4970 4969 3447 769 3447 4202496 1093 0 0 0 0 0 0 0 25 0 2 0 526472089 11223040 523 1283457024 134512640 134550932 4294123936 18446744073709551615 4159618008 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0 /proc/4971/statm: 2740 523 220 10 0 1221 0 [pid=4971/tid=4972] ppid=4970 vsize=10960 CPUtime=0 /proc/4971/task/4972/stat : 4972 (java) R 4970 4969 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 2 0 526472089 11223040 523 1283457024 134512640 134550932 4294123936 18446744073709551615 4159618008 0 0 16781312 0 0 0 0 -1 0 0 0 0 [startup+0.199928 s] /proc/loadavg: 0.99 0.97 0.95 4/40 4972 /proc/meminfo: memFree=866744/1048576 swapFree=2091916/2097144 [pid=4969] ppid=4968 vsize=2380 CPUtime=0 /proc/4969/stat : 4969 (inescp-1.0) S 4968 4969 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 526472088 2437120 260 1283457024 134512640 135191968 4294873872 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4969/statm: 595 260 222 166 0 27 0 [pid=4970] ppid=4969 vsize=4004 CPUtime=0 /proc/4970/stat : 4970 (cudf-solver.py) S 4969 4969 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526472088 4100096 644 1283457024 134512640 135539072 4291049344 18446744073709551615 4158912926 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4970/statm: 1001 644 348 251 0 302 0 [pid=4971] ppid=4970 vsize=864468 CPUtime=0.19 /proc/4971/stat : 4971 (java) S 4970 4969 3447 769 3447 4202496 4598 0 1 0 17 2 0 0 25 0 9 0 526472089 885215232 3670 1283457024 134512640 134550932 4294123936 18446744073709551615 4160173202 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4971/statm: 216117 3670 1891 10 0 210455 0 [pid=4971/tid=4972] ppid=4970 vsize=864468 CPUtime=0.16 /proc/4971/task/4972/stat : 4972 (java) R 4970 4969 3447 769 3447 4202560 2880 0 1 0 14 2 0 0 25 0 9 0 526472089 885215232 3670 1283457024 134512640 134550932 4294123936 18446744073709551615 102852691 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 870852 [startup+0.209925 s] /proc/loadavg: 0.99 0.97 0.95 4/40 4972 /proc/meminfo: memFree=866744/1048576 swapFree=2091916/2097144 [pid=4969] ppid=4968 vsize=2380 CPUtime=0 /proc/4969/stat : 4969 (inescp-1.0) S 4968 4969 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 526472088 2437120 260 1283457024 134512640 135191968 4294873872 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4969/statm: 595 260 222 166 0 27 0 [pid=4970] ppid=4969 vsize=4004 CPUtime=0 /proc/4970/stat : 4970 (cudf-solver.py) S 4969 4969 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526472088 4100096 644 1283457024 134512640 135539072 4291049344 18446744073709551615 4158912926 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4970/statm: 1001 644 348 251 0 302 0 [pid=4971] ppid=4970 vsize=864468 CPUtime=0.2 /proc/4971/stat : 4971 (java) S 4970 4969 3447 769 3447 4202496 4598 0 1 0 18 2 0 0 25 0 9 0 526472089 885215232 3670 1283457024 134512640 134550932 4294123936 18446744073709551615 4160173202 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4971/statm: 216117 3670 1891 10 0 210455 0 [pid=4971/tid=4972] ppid=4970 vsize=864468 CPUtime=0.16 /proc/4971/task/4972/stat : 4972 (java) R 4970 4969 3447 769 3447 4202560 2880 0 1 0 14 2 0 0 25 0 9 0 526472089 885215232 3670 1283457024 134512640 134550932 4294123936 18446744073709551615 102382889 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 870852 [startup+0.309959 s] /proc/loadavg: 0.99 0.97 0.95 4/40 4972 /proc/meminfo: memFree=866744/1048576 swapFree=2091916/2097144 [pid=4969] ppid=4968 vsize=2380 CPUtime=0 /proc/4969/stat : 4969 (inescp-1.0) S 4968 4969 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 526472088 2437120 260 1283457024 134512640 135191968 4294873872 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4969/statm: 595 260 222 166 0 27 0 [pid=4970] ppid=4969 vsize=4004 CPUtime=0 /proc/4970/stat : 4970 (cudf-solver.py) S 4969 4969 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526472088 4100096 644 1283457024 134512640 135539072 4291049344 18446744073709551615 4158912926 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4970/statm: 1001 644 348 251 0 302 0 [pid=4971] ppid=4970 vsize=864468 CPUtime=0.3 /proc/4971/stat : 4971 (java) S 4970 4969 3447 769 3447 4202496 4615 0 1 0 28 2 0 0 25 0 9 0 526472089 885215232 3687 1283457024 134512640 134550932 4294123936 18446744073709551615 4160173202 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4971/statm: 216117 3687 1891 10 0 210455 0 [pid=4971/tid=4972] ppid=4970 vsize=864468 CPUtime=0.26 /proc/4971/task/4972/stat : 4972 (java) R 4970 4969 3447 769 3447 4202560 2880 0 1 0 24 2 0 0 25 0 9 0 526472089 885215232 3687 1283457024 134512640 134550932 4294123936 18446744073709551615 102793648 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 870852 [startup+0.710035 s] /proc/loadavg: 0.99 0.97 0.95 4/40 4972 /proc/meminfo: memFree=866744/1048576 swapFree=2091916/2097144 [pid=4969] ppid=4968 vsize=2380 CPUtime=0 /proc/4969/stat : 4969 (inescp-1.0) S 4968 4969 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 526472088 2437120 260 1283457024 134512640 135191968 4294873872 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4969/statm: 595 260 222 166 0 27 0 [pid=4970] ppid=4969 vsize=4004 CPUtime=0 /proc/4970/stat : 4970 (cudf-solver.py) S 4969 4969 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526472088 4100096 644 1283457024 134512640 135539072 4291049344 18446744073709551615 4158912926 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4970/statm: 1001 644 348 251 0 302 0 [pid=4971] ppid=4970 vsize=864604 CPUtime=0.7 /proc/4971/stat : 4971 (java) S 4970 4969 3447 769 3447 4202496 5124 0 1 0 68 2 0 0 25 0 9 0 526472089 885354496 4177 1283457024 134512640 134550932 4294123936 18446744073709551615 4160173202 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4971/statm: 216151 4177 1922 10 0 210489 0 [pid=4971/tid=4972] ppid=4970 vsize=864604 CPUtime=0.62 /proc/4971/task/4972/stat : 4972 (java) R 4970 4969 3447 769 3447 4202560 2992 0 1 0 60 2 0 0 25 0 9 0 526472089 885354496 4177 1283457024 134512640 134550932 4294123936 18446744073709551615 4124260480 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 870988 [startup+1.5102 s] /proc/loadavg: 0.99 0.97 0.95 2/48 4980 /proc/meminfo: memFree=858584/1048576 swapFree=2091916/2097144 [pid=4969] ppid=4968 vsize=2380 CPUtime=0 /proc/4969/stat : 4969 (inescp-1.0) S 4968 4969 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 526472088 2437120 260 1283457024 134512640 135191968 4294873872 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4969/statm: 595 260 222 166 0 27 0 [pid=4970] ppid=4969 vsize=4004 CPUtime=0 /proc/4970/stat : 4970 (cudf-solver.py) S 4969 4969 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526472088 4100096 644 1283457024 134512640 135539072 4291049344 18446744073709551615 4158912926 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4970/statm: 1001 644 348 251 0 302 0 [pid=4971] ppid=4970 vsize=864604 CPUtime=1.5 /proc/4971/stat : 4971 (java) S 4970 4969 3447 769 3447 4202496 5394 0 1 0 148 2 0 0 25 0 9 0 526472089 885354496 4440 1283457024 134512640 134550932 4294123936 18446744073709551615 4160173202 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4971/statm: 216151 4440 1950 10 0 210489 0 [pid=4971/tid=4972] ppid=4970 vsize=864604 CPUtime=1.41 /proc/4971/task/4972/stat : 4972 (java) R 4970 4969 3447 769 3447 4202560 3121 0 1 0 139 2 0 0 25 0 9 0 526472089 885354496 4440 1283457024 134512640 134550932 4294123936 18446744073709551615 4124882717 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4971/tid=4974] ppid=4970 vsize=864604 CPUtime=0.04 /proc/4971/task/4974/stat : 4974 (java) S 4970 4969 3447 769 3447 4202560 786 0 0 0 4 0 0 0 16 0 9 0 526472090 885354496 4440 1283457024 134512640 134550932 4294123936 18446744073709551615 4160187400 0 0 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4975] ppid=4970 vsize=864604 CPUtime=0 /proc/4971/task/4975/stat : 4975 (java) S 4970 4969 3447 769 3447 4202560 15 0 0 0 0 0 0 0 22 0 9 0 526472090 885354496 4440 1283457024 134512640 134550932 4294123936 18446744073709551615 4160186608 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4976] ppid=4970 vsize=864604 CPUtime=0 /proc/4971/task/4976/stat : 4976 (java) S 4970 4969 3447 769 3447 4202560 8 0 0 0 0 0 0 0 22 0 9 0 526472090 885354496 4440 1283457024 134512640 134550932 4294123936 18446744073709551615 4160186608 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4977] ppid=4970 vsize=864604 CPUtime=0 /proc/4971/task/4977/stat : 4977 (java) S 4970 4969 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 526472091 885354496 4440 1283457024 134512640 134550932 4294123936 18446744073709551615 4160194896 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4978] ppid=4970 vsize=864604 CPUtime=0.04 /proc/4971/task/4978/stat : 4978 (java) S 4970 4969 3447 769 3447 4202560 369 0 0 0 4 0 0 0 16 0 9 0 526472091 885354496 4440 1283457024 134512640 134550932 4294123936 18446744073709551615 4160186608 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4979] ppid=4970 vsize=864604 CPUtime=0 /proc/4971/task/4979/stat : 4979 (java) S 4970 4969 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526472091 885354496 4440 1283457024 134512640 134550932 4294123936 18446744073709551615 4160186608 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4980] ppid=4970 vsize=864604 CPUtime=0 /proc/4971/task/4980/stat : 4980 (java) R 4970 4969 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 9 0 526472091 885354496 4440 1283457024 134512640 134550932 4294123936 18446744073709551615 4160187400 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 870988 Solver just ended. Dumping a history of the last processes samples [startup+1.61021 s] /proc/loadavg: 0.99 0.97 0.95 2/48 4980 /proc/meminfo: memFree=858584/1048576 swapFree=2091916/2097144 [pid=4969] ppid=4968 vsize=2380 CPUtime=0 /proc/4969/stat : 4969 (inescp-1.0) S 4968 4969 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 526472088 2437120 260 1283457024 134512640 135191968 4294873872 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4969/statm: 595 260 222 166 0 27 0 [pid=4970] ppid=4969 vsize=4004 CPUtime=0 /proc/4970/stat : 4970 (cudf-solver.py) S 4969 4969 3447 769 3447 4202496 749 0 0 0 0 0 0 0 25 0 1 0 526472088 4100096 644 1283457024 134512640 135539072 4291049344 18446744073709551615 4158912926 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4970/statm: 1001 644 348 251 0 302 0 [pid=4971] ppid=4970 vsize=864604 CPUtime=1.6 /proc/4971/stat : 4971 (java) S 4970 4969 3447 769 3447 4202496 5418 0 1 0 158 2 0 0 25 0 9 0 526472089 885354496 4464 1283457024 134512640 134550932 4294123936 18446744073709551615 4160173202 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/4971/statm: 216151 4464 1950 10 0 210489 0 [pid=4971/tid=4972] ppid=4970 vsize=864604 CPUtime=1.51 /proc/4971/task/4972/stat : 4972 (java) R 4970 4969 3447 769 3447 4202560 3121 0 1 0 149 2 0 0 25 0 9 0 526472089 885354496 4464 1283457024 134512640 134550932 4294123936 18446744073709551615 4124980891 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=4971/tid=4974] ppid=4970 vsize=864604 CPUtime=0.04 /proc/4971/task/4974/stat : 4974 (java) S 4970 4969 3447 769 3447 4202560 809 0 0 0 4 0 0 0 16 0 9 0 526472090 885354496 4464 1283457024 134512640 134550932 4294123936 18446744073709551615 4160187400 0 0 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4975] ppid=4970 vsize=864604 CPUtime=0 /proc/4971/task/4975/stat : 4975 (java) S 4970 4969 3447 769 3447 4202560 15 0 0 0 0 0 0 0 22 0 9 0 526472090 885354496 4464 1283457024 134512640 134550932 4294123936 18446744073709551615 4160186608 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4976] ppid=4970 vsize=864604 CPUtime=0 /proc/4971/task/4976/stat : 4976 (java) S 4970 4969 3447 769 3447 4202560 8 0 0 0 0 0 0 0 22 0 9 0 526472090 885354496 4464 1283457024 134512640 134550932 4294123936 18446744073709551615 4160186608 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4977] ppid=4970 vsize=864604 CPUtime=0 /proc/4971/task/4977/stat : 4977 (java) S 4970 4969 3447 769 3447 4202560 0 0 0 0 0 0 0 0 25 0 9 0 526472091 885354496 4464 1283457024 134512640 134550932 4294123936 18446744073709551615 4160194896 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4978] ppid=4970 vsize=864604 CPUtime=0.04 /proc/4971/task/4978/stat : 4978 (java) S 4970 4969 3447 769 3447 4202560 370 0 0 0 4 0 0 0 16 0 9 0 526472091 885354496 4464 1283457024 134512640 134550932 4294123936 18446744073709551615 4160186608 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4979] ppid=4970 vsize=864604 CPUtime=0 /proc/4971/task/4979/stat : 4979 (java) S 4970 4969 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526472091 885354496 4464 1283457024 134512640 134550932 4294123936 18446744073709551615 4160186608 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 [pid=4971/tid=4980] ppid=4970 vsize=864604 CPUtime=0 /proc/4971/task/4980/stat : 4980 (java) S 4970 4969 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 9 0 526472091 885354496 4464 1283457024 134512640 134550932 4294123936 18446744073709551615 4160187400 0 4 0 16800975 18446612132872856768 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 870988 [startup+2.00597 s] /proc/loadavg: 0.99 0.97 0.95 2/48 4980 /proc/meminfo: memFree=858584/1048576 swapFree=2091916/2097144 [pid=4969] ppid=4968 vsize=2380 CPUtime=0 /proc/4969/stat : 4969 (inescp-1.0) S 4968 4969 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 526472088 2437120 260 1283457024 134512640 135191968 4294873872 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4969/statm: 595 260 222 166 0 27 0 [pid=4970] ppid=4969 vsize=4004 CPUtime=1.92 /proc/4970/stat : 4970 (cudf-solver.py) R 4969 4969 3447 769 3447 4202496 777 6914 0 1 0 0 188 4 18 0 1 0 526472088 4100096 644 1283457024 134512640 135539072 4291049344 18446744073709551615 4158532397 0 65536 16781318 0 0 0 0 17 0 0 0 0 /proc/4970/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 1.92 Current children cumulated vsize (KiB) 6384 [startup+2.20607 s] /proc/loadavg: 0.99 0.97 0.95 2/41 4983 /proc/meminfo: memFree=866080/1048576 swapFree=2091916/2097144 [pid=4969] ppid=4968 vsize=2380 CPUtime=0 /proc/4969/stat : 4969 (inescp-1.0) S 4968 4969 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 526472088 2437120 260 1283457024 134512640 135191968 4294873872 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4969/statm: 595 260 222 166 0 27 0 [pid=4970] ppid=4969 vsize=4004 CPUtime=1.92 /proc/4970/stat : 4970 (cudf-solver.py) S 4969 4969 3447 769 3447 4202496 778 6914 0 1 0 0 188 4 18 0 1 0 526472088 4100096 644 1283457024 134512640 135539072 4291049344 18446744073709551615 4158912926 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4970/statm: 1001 644 348 251 0 302 0 [pid=4982] ppid=4970 vsize=2892 CPUtime=0 /proc/4982/stat : 4982 (sh) R 4970 4969 3447 769 3447 4194304 360 0 0 0 0 0 0 0 19 0 1 0 526472287 2961408 324 1283457024 134512640 135191968 4289101296 18446744073709551615 4159318430 0 65536 16781316 65538 0 0 0 17 0 0 0 0 /proc/4982/statm: 723 324 221 166 0 155 0 [pid=4983] ppid=4982 vsize=0 CPUtime=0.21 /proc/4983/stat : 4983 (pb2wcnf) Z 4982 4969 3447 769 3447 4202508 992 0 0 0 7 14 0 0 22 0 1 0 526472287 0 0 1283457024 0 0 0 0 0 0 0 16781312 0 18446744071564254338 0 0 17 0 0 0 0 /proc/4983/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 2.13 Current children cumulated vsize (KiB) 9276 [startup+2.30606 s] /proc/loadavg: 0.99 0.97 0.95 2/41 4983 /proc/meminfo: memFree=866080/1048576 swapFree=2091916/2097144 [pid=4969] ppid=4968 vsize=2380 CPUtime=0 /proc/4969/stat : 4969 (inescp-1.0) S 4968 4969 3447 769 3447 4194304 362 0 0 0 0 0 0 0 25 0 1 0 526472088 2437120 260 1283457024 134512640 135191968 4294873872 18446744073709551615 4159482270 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/4969/statm: 595 260 222 166 0 27 0 [pid=4970] ppid=4969 vsize=4004 CPUtime=2.14 /proc/4970/stat : 4970 (cudf-solver.py) S 4969 4969 3447 769 3447 4202496 807 8276 0 1 0 0 196 18 18 0 1 0 526472088 4100096 644 1283457024 134512640 135539072 4291049344 18446744073709551615 4158912926 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/4970/statm: 1001 644 348 251 0 302 0 Current children cumulated CPU time (s) 2.14 Current children cumulated vsize (KiB) 6384 Child status: 0 Real time (s): 2.35528 CPU time (s): 2.28814 CPU user time (s): 2.10013 CPU system time (s): 0.188011 CPU usage (%): 97.1493 Max. virtual memory (cumulated for all children) (KiB): 870988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.10013 system time used= 0.188011 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 12891 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 504 involuntary context switches= 483 runsolver used 0 second user time and 0.012 second system time The end