runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3377243-1305451597/watcher-3377243-1305451597 -o /tmp/evaluation-result-3377243-1305451597/solver-3377243-1305451597 -C 2400 -W 1300 -M 7680 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3377243-1305451597.cnf -seed 705728268 -budget 2400
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.03 3.92 3.75 4/387 6314
/proc/meminfo: memFree=23443788/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=15384 CPUtime=0 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 795 0 0 0 0 0 0 0 25 0 1 0 656760088 15753216 682 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/6314/statm: 3846 682 322 364 0 333 0
[startup+0.0871329 s]
/proc/loadavg: 4.03 3.92 3.75 4/387 6314
/proc/meminfo: memFree=23443788/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=93960 CPUtime=0.06 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 2696 0 0 0 5 1 0 0 17 0 1 0 656760088 96215040 2407 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/6314/statm: 23544 2411 764 364 0 1676 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 93960
[startup+0.101131 s]
/proc/loadavg: 4.03 3.92 3.75 4/387 6314
/proc/meminfo: memFree=23443788/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=104224 CPUtime=0.06 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 3050 0 0 0 5 1 0 0 17 0 1 0 656760088 106725376 2734 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 5 0 0 0
/proc/6314/statm: 26056 2734 847 364 0 1804 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 104224
[startup+0.301064 s]
/proc/loadavg: 4.03 3.92 3.75 4/387 6314
/proc/meminfo: memFree=23443788/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=170752 CPUtime=0.22 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 6737 933 1 0 17 5 0 0 17 0 1 0 656760088 174850048 4805 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640857600 0 2147483391 16781312 2 18446744071699199166 0 0 17 7 0 0 0
/proc/6314/statm: 42688 4805 1336 364 0 3453 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 170752
[startup+0.701033 s]
/proc/loadavg: 4.03 3.92 3.75 4/387 6314
/proc/meminfo: memFree=23443788/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=275660 CPUtime=0.35 cores=5,7
/proc/6314/stat : 6314 (python) D 6312 6314 5445 0 -1 4202496 9038 933 1 0 29 6 0 0 17 0 1 0 656760088 282275840 6786 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640865335 0 0 16781312 2 18446744071562154983 0 0 17 7 0 0 0
/proc/6314/statm: 68915 6786 1729 364 0 5455 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 275660
[startup+1.50087 s]
/proc/loadavg: 4.03 3.92 3.75 5/388 6319
/proc/meminfo: memFree=23409556/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=289496 CPUtime=1.13 cores=5,7
/proc/6314/stat : 6314 (python) R 6312 6314 5445 0 -1 4202496 13891 933 1 0 106 7 0 0 18 0 1 0 656760088 296443904 9759 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640517360 0 0 16781312 2 0 0 0 17 5 0 0 24
/proc/6314/statm: 72374 9759 1826 364 0 8298 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 289496
[startup+3.10055 s]
/proc/loadavg: 4.03 3.92 3.75 5/388 6320
/proc/meminfo: memFree=23408936/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=291932 CPUtime=2.31 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 14216 933 1 0 224 7 0 0 22 0 2 0 656760088 298938368 7856 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 24
/proc/6314/statm: 72983 7856 1877 364 0 8901 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 291932
heavy processes:
[startup+6.301 s]
/proc/loadavg: 4.03 3.92 3.75 5/391 6323
/proc/meminfo: memFree=23411268/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=291932 CPUtime=2.31 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 14216 933 1 0 224 7 0 0 22 0 2 0 656760088 298938368 7856 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 24
/proc/6314/statm: 72983 7856 1877 364 0 8901 0
[pid=6321] ppid=6314 vsize=282304 CPUtime=0 cores=5,7
/proc/6321/stat : 6321 (python) S 6314 6314 5445 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 656760356 289079296 6331 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640879631 0 0 16781312 514 7004734047914000647 0 0 17 5 0 0 0
/proc/6321/statm: 70576 6331 355 364 0 6494 0
[pid=6323] ppid=6321 vsize=1020188 CPUtime=3.61 cores=5,7
/proc/6323/stat : 6323 (gnovelty+2) R 6321 6323 6323 0 -1 4202496 1143 0 0 0 361 0 0 0 25 0 1 0 656760357 1044672512 877 33554432000 134512640 135663704 4286902240 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6323/statm: 255047 877 113 282 0 254763 0
[pid=6314/tid=6322] ppid=6312 vsize=291932 CPUtime=0 cores=5,7
/proc/6314/task/6322/stat : 6322 (python) S 6312 6314 5445 0 -1 4202560 29 933 0 0 0 0 0 0 22 0 2 0 656760357 298938368 7856 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.92
Current children cumulated vsize (KiB) 1594424
[startup+12.7008 s]
/proc/loadavg: 4.03 3.92 3.75 5/391 6323
/proc/meminfo: memFree=23409032/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=291932 CPUtime=2.31 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 14216 933 1 0 224 7 0 0 22 0 2 0 656760088 298938368 7856 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 24
/proc/6314/statm: 72983 7856 1877 364 0 8901 0
[pid=6321] ppid=6314 vsize=282304 CPUtime=0.01 cores=5,7
/proc/6321/stat : 6321 (python) S 6314 6314 5445 0 -1 4202560 994 0 0 0 0 1 0 0 18 0 1 0 656760356 289079296 6359 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640879631 0 0 16781312 514 7004734047914000647 0 0 17 5 0 0 0
/proc/6321/statm: 70576 6359 383 364 0 6494 0
[pid=6323] ppid=6321 vsize=1020188 CPUtime=9.99 cores=5,7
/proc/6323/stat : 6323 (gnovelty+2) R 6321 6323 6323 0 -1 4202496 1143 0 0 0 999 0 0 0 25 0 1 0 656760357 1044672512 877 33554432000 134512640 135663704 4286902240 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6323/statm: 255047 877 113 282 0 254763 0
[pid=6314/tid=6322] ppid=6312 vsize=291932 CPUtime=0 cores=5,7
/proc/6314/task/6322/stat : 6322 (python) S 6312 6314 5445 0 -1 4202560 29 933 0 0 0 0 0 0 22 0 2 0 656760357 298938368 7856 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.31
Current children cumulated vsize (KiB) 1594424
[startup+25.5005 s]
/proc/loadavg: 4.02 3.92 3.75 5/391 6323
/proc/meminfo: memFree=23409572/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=291932 CPUtime=2.31 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 14216 933 1 0 224 7 0 0 22 0 2 0 656760088 298938368 7856 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 24
/proc/6314/statm: 72983 7856 1877 364 0 8901 0
[pid=6321] ppid=6314 vsize=282304 CPUtime=0.06 cores=5,7
/proc/6321/stat : 6321 (python) S 6314 6314 5445 0 -1 4202560 1003 0 0 0 3 3 0 0 18 0 1 0 656760356 289079296 6359 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640879631 0 0 16781312 514 2935889560208376071 0 0 17 5 0 0 0
/proc/6321/statm: 70576 6359 383 364 0 6494 0
[pid=6323] ppid=6321 vsize=1020188 CPUtime=22.75 cores=5,7
/proc/6323/stat : 6323 (gnovelty+2) R 6321 6323 6323 0 -1 4202496 1143 0 0 0 2275 0 0 0 25 0 1 0 656760357 1044672512 877 33554432000 134512640 135663704 4286902240 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6323/statm: 255047 877 113 282 0 254763 0
[pid=6314/tid=6322] ppid=6312 vsize=291932 CPUtime=0 cores=5,7
/proc/6314/task/6322/stat : 6322 (python) S 6312 6314 5445 0 -1 4202560 29 933 0 0 0 0 0 0 22 0 2 0 656760357 298938368 7856 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 1594424
[startup+51.1008 s]
/proc/loadavg: 4.01 3.93 3.76 5/391 6324
/proc/meminfo: memFree=23410068/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=291932 CPUtime=2.31 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 14216 933 1 0 224 7 0 0 22 0 2 0 656760088 298938368 7856 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 24
/proc/6314/statm: 72983 7856 1877 364 0 8901 0
[pid=6321] ppid=6314 vsize=282304 CPUtime=0.12 cores=5,7
/proc/6321/stat : 6321 (python) S 6314 6314 5445 0 -1 4202560 1015 0 0 0 6 6 0 0 18 0 1 0 656760356 289079296 6359 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640879631 0 0 16781312 514 2935889560208376071 0 0 17 5 0 0 0
/proc/6321/statm: 70576 6359 383 364 0 6494 0
[pid=6323] ppid=6321 vsize=1020188 CPUtime=48.29 cores=5,7
/proc/6323/stat : 6323 (gnovelty+2) R 6321 6323 6323 0 -1 4202496 1143 0 0 0 4829 0 0 0 25 0 1 0 656760357 1044672512 877 33554432000 134512640 135663704 4286902240 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6323/statm: 255047 877 113 282 0 254763 0
[pid=6314/tid=6322] ppid=6312 vsize=291932 CPUtime=0 cores=5,7
/proc/6314/task/6322/stat : 6322 (python) S 6312 6314 5445 0 -1 4202560 29 933 0 0 0 0 0 0 22 0 2 0 656760357 298938368 7856 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 1594424
[startup+102.315 s]
/proc/loadavg: 4.12 3.97 3.78 5/403 6337
/proc/meminfo: memFree=23384952/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=291932 CPUtime=2.31 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 14216 933 1 0 224 7 0 0 22 0 2 0 656760088 298938368 7856 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 24
/proc/6314/statm: 72983 7856 1877 364 0 8901 0
[pid=6321] ppid=6314 vsize=282304 CPUtime=0.25 cores=5,7
/proc/6321/stat : 6321 (python) S 6314 6314 5445 0 -1 4202560 1035 0 0 0 12 13 0 0 18 0 1 0 656760356 289079296 6359 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640879631 0 0 16781312 514 2935889560208376071 0 0 17 5 0 0 0
/proc/6321/statm: 70576 6359 383 364 0 6494 0
[pid=6323] ppid=6321 vsize=1020188 CPUtime=99.41 cores=5,7
/proc/6323/stat : 6323 (gnovelty+2) R 6321 6323 6323 0 -1 4202496 1143 0 0 0 9941 0 0 0 25 0 1 0 656760357 1044672512 877 33554432000 134512640 135663704 4286902240 18446744073709551615 134525255 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6323/statm: 255047 877 113 282 0 254763 0
[pid=6314/tid=6322] ppid=6312 vsize=291932 CPUtime=0 cores=5,7
/proc/6314/task/6322/stat : 6322 (python) S 6312 6314 5445 0 -1 4202560 29 933 0 0 0 0 0 0 22 0 2 0 656760357 298938368 7856 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.97
Current children cumulated vsize (KiB) 1594424
[startup+162.301 s]
/proc/loadavg: 4.09 3.99 3.80 5/407 6343
/proc/meminfo: memFree=23375588/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=302320 CPUtime=2.32 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 15081 933 1 0 225 7 0 0 20 0 3 0 656760088 309575680 7913 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 24
/proc/6314/statm: 75580 7913 1880 364 0 11495 0
[pid=6321] ppid=6314 vsize=292548 CPUtime=0.27 cores=5,7
/proc/6321/stat : 6321 (python) S 6314 6314 5445 0 -1 4202560 1174 0 0 0 13 14 0 0 19 0 2 0 656760356 299569152 6396 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6321/statm: 73137 6396 415 364 0 9055 0
[pid=6323] ppid=6321 vsize=1020188 CPUtime=100.07 cores=5,7
/proc/6323/stat : 6323 (gnovelty+2) T 6321 6323 6323 0 -1 4202496 1143 0 0 0 10007 0 0 0 25 0 1 0 656760357 1044672512 877 33554432000 134512640 135663704 4286902240 18446744073709551615 134524534 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/6323/statm: 255047 877 113 282 0 254763 0
[pid=6321/tid=6338] ppid=6314 vsize=292548 CPUtime=0 cores=5,7
/proc/6321/task/6338/stat : 6338 (python) S 6314 6314 5445 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 656770388 299569152 6396 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604454543609984 0 0 -1 7 0 0 0
[pid=6339] ppid=6314 vsize=293168 CPUtime=0.16 cores=5,7
/proc/6339/stat : 6339 (python) S 6314 6314 5445 0 -1 4202560 927 0 0 0 9 7 0 0 18 0 1 0 656770389 300204032 6402 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640879686 0 0 16781312 514 2935889560208376068 0 0 17 5 0 0 0
/proc/6339/statm: 73292 6402 372 364 0 9207 0
[pid=6341] ppid=6339 vsize=1020188 CPUtime=59.09 cores=5,7
/proc/6341/stat : 6341 (gnovelty+2) R 6339 6341 6341 0 -1 4202496 1140 0 0 0 5909 0 0 0 25 0 1 0 656770389 1044672512 876 33554432000 134512640 135663704 4294685152 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6341/statm: 255047 876 113 282 0 254763 0
[pid=6314/tid=6322] ppid=6312 vsize=302320 CPUtime=0 cores=5,7
/proc/6314/task/6322/stat : 6322 (python) S 6312 6314 5445 0 -1 4202560 29 933 0 0 0 0 0 0 22 0 3 0 656760357 309575680 7913 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6340] ppid=6312 vsize=302320 CPUtime=0 cores=5,7
/proc/6314/task/6340/stat : 6340 (python) S 6312 6314 5445 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 3 0 656770389 309575680 7913 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 161.91
Current children cumulated vsize (KiB) 2928412
[startup+222.301 s]
/proc/loadavg: 4.08 4.00 3.81 5/423 6360
/proc/meminfo: memFree=23333148/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=313184 CPUtime=2.33 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 15939 933 1 0 226 7 0 0 19 0 4 0 656760088 320700416 8054 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 24
################
# More data... #
################
/proc/6339/statm: 73292 6431 400 364 0 9207 0
[pid=6341] ppid=6339 vsize=1020188 CPUtime=100 cores=5,7
/proc/6341/stat : 6341 (gnovelty+2) T 6339 6341 6341 0 -1 4202496 1140 0 0 0 10000 0 0 0 25 0 1 0 656770389 1044672512 876 33554432000 134512640 135663704 4294685152 18446744073709551615 135007754 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/6341/statm: 255047 876 113 282 0 254763 0
[pid=6339/tid=6357] ppid=6314 vsize=293168 CPUtime=0 cores=5,7
/proc/6339/task/6357/stat : 6357 (python) S 6314 6314 5445 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 656780422 300204032 6431 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604471127013504 0 0 -1 5 0 0 0
[pid=6358] ppid=6314 vsize=302940 CPUtime=0.28 cores=5,7
/proc/6358/stat : 6358 (python) S 6314 6314 5445 0 -1 4202560 1104 0 0 0 15 13 0 0 19 0 2 0 656780423 310210560 6569 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6358/statm: 75735 6569 399 364 0 11647 0
[pid=6360] ppid=6358 vsize=421804 CPUtime=100 cores=5,7
/proc/6360/stat : 6360 (adaptg2wsat2009) T 6358 6360 6360 0 -1 4202496 2136 0 0 0 10000 0 0 0 25 0 1 0 656780424 431927296 1871 33554432000 134512640 135107411 4289239280 18446744073709551615 134532135 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/6360/statm: 105451 1871 59 146 0 104327 0
[pid=6358/tid=6376] ppid=6314 vsize=302940 CPUtime=0 cores=5,7
/proc/6358/task/6376/stat : 6376 (python) S 6314 6314 5445 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 656790451 310210560 6569 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604467215333504 0 0 -1 5 0 0 0
[pid=6377] ppid=6314 vsize=313480 CPUtime=0.29 cores=5,7
/proc/6377/stat : 6377 (python) S 6314 6314 5445 0 -1 4202560 1112 0 0 0 16 13 0 0 19 0 2 0 656790452 321003520 6574 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6377/statm: 78370 6574 400 364 0 14279 0
[pid=6379] ppid=6377 vsize=421804 CPUtime=99.97 cores=5,7
/proc/6379/stat : 6379 (adaptg2wsat2009) T 6377 6379 6379 0 -1 4202496 2135 0 0 0 9997 0 0 0 25 0 1 0 656790453 431927296 1871 33554432000 134512640 135107411 4286798544 18446744073709551615 134532135 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/6379/statm: 105451 1871 59 146 0 104327 0
[pid=6377/tid=6394] ppid=6314 vsize=313480 CPUtime=0 cores=5,7
/proc/6377/task/6394/stat : 6394 (python) S 6314 6314 5445 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 656800480 321003520 6574 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604465098368320 0 0 -1 5 0 0 0
[pid=6395] ppid=6314 vsize=323624 CPUtime=0.29 cores=5,7
/proc/6395/stat : 6395 (python) S 6314 6314 5445 0 -1 4202560 1107 0 0 0 18 11 0 0 19 0 2 0 656800482 331390976 6578 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6395/statm: 80906 6578 400 364 0 16812 0
[pid=6397] ppid=6395 vsize=421804 CPUtime=99.98 cores=5,7
/proc/6397/stat : 6397 (adaptg2wsat2009) T 6395 6397 6397 0 -1 4202496 2137 0 0 0 9998 0 0 0 25 0 1 0 656800482 431927296 1871 33554432000 134512640 135107411 4287917456 18446744073709551615 134531600 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/6397/statm: 105451 1871 59 146 0 104327 0
[pid=6395/tid=6413] ppid=6314 vsize=323624 CPUtime=0 cores=5,7
/proc/6395/task/6413/stat : 6413 (python) S 6314 6314 5445 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 656810511 331390976 6578 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604470780553216 0 0 -1 5 0 0 0
[pid=6414] ppid=6314 vsize=334088 CPUtime=0.29 cores=5,7
/proc/6414/stat : 6414 (python) S 6314 6314 5445 0 -1 4202560 1107 0 0 0 15 14 0 0 19 0 2 0 656810512 342106112 6582 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6414/statm: 83522 6582 400 364 0 19425 0
[pid=6416] ppid=6414 vsize=1020188 CPUtime=100 cores=5,7
/proc/6416/stat : 6416 (gnovelty+2) T 6414 6416 6416 0 -1 4202496 1138 0 0 0 10000 0 0 0 25 0 1 0 656810512 1044672512 876 33554432000 134512640 135663704 4287881552 18446744073709551615 134547212 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/6416/statm: 255047 876 113 282 0 254763 0
[pid=6414/tid=6502] ppid=6314 vsize=334088 CPUtime=0 cores=5,7
/proc/6414/task/6502/stat : 6502 (python) S 6314 6314 5445 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 656820547 342106112 6582 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604465977264000 0 0 -1 7 0 0 0
[pid=6503] ppid=6314 vsize=344196 CPUtime=0.28 cores=5,7
/proc/6503/stat : 6503 (python) S 6314 6314 5445 0 -1 4202560 944 0 0 0 14 14 0 0 18 0 1 0 656820548 352456704 6557 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640879686 0 0 16781312 514 2935889560208376070 0 0 17 7 0 0 0
/proc/6503/statm: 86049 6557 372 364 0 21949 0
[pid=6505] ppid=6503 vsize=251296 CPUtime=97.69 cores=5,7
/proc/6505/stat : 6505 (FH) R 6503 6505 6505 0 -1 4202496 1955 0 0 0 9769 0 0 0 25 0 1 0 656820548 257327104 1694 33554432000 134512640 134936988 4289968016 18446744073709551615 134545109 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6505/statm: 62824 1694 41 104 0 62328 0
[pid=6314/tid=6322] ppid=6312 vsize=354208 CPUtime=0 cores=5,7
/proc/6314/task/6322/stat : 6322 (python) S 6312 6314 5445 0 -1 4202560 29 933 0 0 0 0 0 0 22 0 8 0 656760357 362708992 8078 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6340] ppid=6312 vsize=354208 CPUtime=0 cores=5,7
/proc/6314/task/6340/stat : 6340 (python) S 6312 6314 5445 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 8 0 656770389 362708992 8078 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6359] ppid=6312 vsize=354208 CPUtime=0 cores=5,7
/proc/6314/task/6359/stat : 6359 (python) S 6312 6314 5445 0 -1 4202560 24 933 0 0 0 0 0 0 20 0 8 0 656780424 362708992 8078 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6378] ppid=6312 vsize=354208 CPUtime=0 cores=5,7
/proc/6314/task/6378/stat : 6378 (python) S 6312 6314 5445 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 8 0 656790453 362708992 8078 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6396] ppid=6312 vsize=354208 CPUtime=0 cores=5,7
/proc/6314/task/6396/stat : 6396 (python) S 6312 6314 5445 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 8 0 656800482 362708992 8078 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6415] ppid=6312 vsize=354208 CPUtime=0 cores=5,7
/proc/6314/task/6415/stat : 6415 (python) S 6312 6314 5445 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 8 0 656810512 362708992 8078 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6504] ppid=6312 vsize=354208 CPUtime=0 cores=5,7
/proc/6314/task/6504/stat : 6504 (python) S 6312 6314 5445 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 8 0 656820548 362708992 8078 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 7135524
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+705.002 s]
/proc/loadavg: 4.02 4.06 3.90 6/436 6589
/proc/meminfo: memFree=23221936/32951124 swapFree=56449224/67111528
[pid=6314] ppid=6312 vsize=364464 CPUtime=2.42 cores=5,7
/proc/6314/stat : 6314 (python) S 6312 6314 5445 0 -1 4202496 20339 933 1 0 233 9 0 0 20 0 9 0 656760088 373211136 8084 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 2 18446744073709551615 0 0 17 5 0 0 24
/proc/6314/statm: 91116 8084 1892 364 0 27013 0
[pid=6321] ppid=6314 vsize=292548 CPUtime=0.27 cores=5,7
/proc/6321/stat : 6321 (python) S 6314 6314 5445 0 -1 4202560 1174 0 0 0 13 14 0 0 19 0 2 0 656760356 299569152 6396 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6321/statm: 73137 6396 415 364 0 9055 0
[pid=6323] ppid=6321 vsize=1020188 CPUtime=100.07 cores=5,7
/proc/6323/stat : 6323 (gnovelty+2) T 6321 6323 6323 0 -1 4202496 1143 0 0 0 10007 0 0 0 25 0 1 0 656760357 1044672512 877 33554432000 134512640 135663704 4286902240 18446744073709551615 134524534 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/6323/statm: 255047 877 113 282 0 254763 0
[pid=6321/tid=6338] ppid=6314 vsize=292548 CPUtime=0 cores=5,7
/proc/6321/task/6338/stat : 6338 (python) S 6314 6314 5445 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 656770388 299569152 6396 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604454543609984 0 0 -1 7 0 0 0
[pid=6339] ppid=6314 vsize=293168 CPUtime=0.28 cores=5,7
/proc/6339/stat : 6339 (python) S 6314 6314 5445 0 -1 4202560 1099 0 0 0 16 12 0 0 19 0 2 0 656770389 300204032 6431 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6339/statm: 73292 6431 400 364 0 9207 0
[pid=6341] ppid=6339 vsize=1020188 CPUtime=100 cores=5,7
/proc/6341/stat : 6341 (gnovelty+2) T 6339 6341 6341 0 -1 4202496 1140 0 0 0 10000 0 0 0 25 0 1 0 656770389 1044672512 876 33554432000 134512640 135663704 4294685152 18446744073709551615 135007754 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/6341/statm: 255047 876 113 282 0 254763 0
[pid=6339/tid=6357] ppid=6314 vsize=293168 CPUtime=0 cores=5,7
/proc/6339/task/6357/stat : 6357 (python) S 6314 6314 5445 0 -1 4202560 51 0 0 0 0 0 0 0 19 0 2 0 656780422 300204032 6431 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604471127013504 0 0 -1 5 0 0 0
[pid=6358] ppid=6314 vsize=302940 CPUtime=0.28 cores=5,7
/proc/6358/stat : 6358 (python) S 6314 6314 5445 0 -1 4202560 1104 0 0 0 15 13 0 0 19 0 2 0 656780423 310210560 6569 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6358/statm: 75735 6569 399 364 0 11647 0
[pid=6360] ppid=6358 vsize=421804 CPUtime=100 cores=5,7
/proc/6360/stat : 6360 (adaptg2wsat2009) T 6358 6360 6360 0 -1 4202496 2136 0 0 0 10000 0 0 0 25 0 1 0 656780424 431927296 1871 33554432000 134512640 135107411 4289239280 18446744073709551615 134532135 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/6360/statm: 105451 1871 59 146 0 104327 0
[pid=6358/tid=6376] ppid=6314 vsize=302940 CPUtime=0 cores=5,7
/proc/6358/task/6376/stat : 6376 (python) S 6314 6314 5445 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 656790451 310210560 6569 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604467215333504 0 0 -1 5 0 0 0
[pid=6377] ppid=6314 vsize=313480 CPUtime=0.29 cores=5,7
/proc/6377/stat : 6377 (python) S 6314 6314 5445 0 -1 4202560 1112 0 0 0 16 13 0 0 19 0 2 0 656790452 321003520 6574 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6377/statm: 78370 6574 400 364 0 14279 0
[pid=6379] ppid=6377 vsize=421804 CPUtime=99.97 cores=5,7
/proc/6379/stat : 6379 (adaptg2wsat2009) T 6377 6379 6379 0 -1 4202496 2135 0 0 0 9997 0 0 0 25 0 1 0 656790453 431927296 1871 33554432000 134512640 135107411 4286798544 18446744073709551615 134532135 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/6379/statm: 105451 1871 59 146 0 104327 0
[pid=6377/tid=6394] ppid=6314 vsize=313480 CPUtime=0 cores=5,7
/proc/6377/task/6394/stat : 6394 (python) S 6314 6314 5445 0 -1 4202560 49 0 0 0 0 0 0 0 19 0 2 0 656800480 321003520 6574 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604465098368320 0 0 -1 5 0 0 0
[pid=6395] ppid=6314 vsize=323624 CPUtime=0.29 cores=5,7
/proc/6395/stat : 6395 (python) S 6314 6314 5445 0 -1 4202560 1107 0 0 0 18 11 0 0 19 0 2 0 656800482 331390976 6578 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6395/statm: 80906 6578 400 364 0 16812 0
[pid=6397] ppid=6395 vsize=421804 CPUtime=99.98 cores=5,7
/proc/6397/stat : 6397 (adaptg2wsat2009) T 6395 6397 6397 0 -1 4202496 2137 0 0 0 9998 0 0 0 25 0 1 0 656800482 431927296 1871 33554432000 134512640 135107411 4287917456 18446744073709551615 134531600 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/6397/statm: 105451 1871 59 146 0 104327 0
[pid=6395/tid=6413] ppid=6314 vsize=323624 CPUtime=0 cores=5,7
/proc/6395/task/6413/stat : 6413 (python) S 6314 6314 5445 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 656810511 331390976 6578 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604470780553216 0 0 -1 5 0 0 0
[pid=6414] ppid=6314 vsize=334088 CPUtime=0.29 cores=5,7
/proc/6414/stat : 6414 (python) S 6314 6314 5445 0 -1 4202560 1107 0 0 0 15 14 0 0 19 0 2 0 656810512 342106112 6582 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/6414/statm: 83522 6582 400 364 0 19425 0
[pid=6416] ppid=6414 vsize=1020188 CPUtime=100 cores=5,7
/proc/6416/stat : 6416 (gnovelty+2) T 6414 6416 6416 0 -1 4202496 1138 0 0 0 10000 0 0 0 25 0 1 0 656810512 1044672512 876 33554432000 134512640 135663704 4287881552 18446744073709551615 134547212 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/6416/statm: 255047 876 113 282 0 254763 0
[pid=6414/tid=6502] ppid=6314 vsize=334088 CPUtime=0 cores=5,7
/proc/6414/task/6502/stat : 6502 (python) S 6314 6314 5445 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 656820547 342106112 6582 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604465977264000 0 0 -1 7 0 0 0
[pid=6503] ppid=6314 vsize=344196 CPUtime=0.3 cores=5,7
/proc/6503/stat : 6503 (python) S 6314 6314 5445 0 -1 4202560 1100 0 0 0 15 15 0 0 19 0 2 0 656820548 352456704 6586 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652686283 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/6503/statm: 86049 6586 400 364 0 21949 0
[pid=6505] ppid=6503 vsize=251296 CPUtime=100.3 cores=5,7
/proc/6505/stat : 6505 (FH) T 6503 6505 6505 0 -1 4202496 1955 0 0 0 10030 0 0 0 25 0 1 0 656820548 257327104 1694 33554432000 134512640 134936988 4289968016 18446744073709551615 134553498 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/6505/statm: 62824 1694 41 104 0 62328 0
[pid=6503/tid=6586] ppid=6314 vsize=344196 CPUtime=0 cores=5,7
/proc/6503/task/6586/stat : 6586 (python) S 6314 6314 5445 0 -1 4202560 48 0 0 0 0 0 0 0 19 0 2 0 656830578 352456704 6586 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 514 18446604465098369216 0 0 -1 7 0 0 0
[pid=6587] ppid=6314 vsize=354692 CPUtime=0 cores=5,7
/proc/6587/stat : 6587 (python) S 6314 6314 5445 0 -1 4202560 781 0 0 0 0 0 0 0 19 0 1 0 656830580 363204608 6540 33554432000 4194304 5683644 140735552041120 18446744073709551615 253640879686 0 0 16781312 514 3058782803773620223 0 0 17 5 0 0 0
/proc/6587/statm: 88673 6540 351 364 0 24570 0
[pid=6589] ppid=6587 vsize=421140 CPUtime=0.09 cores=5,7
/proc/6589/stat : 6589 (adaptg2wsat2009) R 6587 6589 6589 0 -1 4202496 1805 0 0 0 9 0 0 0 20 0 1 0 656830580 431247360 1538 33554432000 134512640 135107411 4288089600 18446744073709551615 134523298 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/6589/statm: 105285 1538 49 146 0 104161 0
[pid=6314/tid=6322] ppid=6312 vsize=364464 CPUtime=0 cores=5,7
/proc/6314/task/6322/stat : 6322 (python) S 6312 6314 5445 0 -1 4202560 29 933 0 0 0 0 0 0 22 0 9 0 656760357 373211136 8084 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6340] ppid=6312 vsize=364464 CPUtime=0 cores=5,7
/proc/6314/task/6340/stat : 6340 (python) S 6312 6314 5445 0 -1 4202560 25 933 0 0 0 0 0 0 20 0 9 0 656770389 373211136 8084 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6359] ppid=6312 vsize=364464 CPUtime=0 cores=5,7
/proc/6314/task/6359/stat : 6359 (python) S 6312 6314 5445 0 -1 4202560 24 933 0 0 0 0 0 0 20 0 9 0 656780424 373211136 8084 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6378] ppid=6312 vsize=364464 CPUtime=0 cores=5,7
/proc/6314/task/6378/stat : 6378 (python) S 6312 6314 5445 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 9 0 656790453 373211136 8084 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6396] ppid=6312 vsize=364464 CPUtime=0 cores=5,7
/proc/6314/task/6396/stat : 6396 (python) S 6312 6314 5445 0 -1 4202560 30 933 0 0 0 0 0 0 20 0 9 0 656800482 373211136 8084 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6415] ppid=6312 vsize=364464 CPUtime=0 cores=5,7
/proc/6314/task/6415/stat : 6415 (python) S 6312 6314 5445 0 -1 4202560 23 933 0 0 0 0 0 0 20 0 9 0 656810512 373211136 8084 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6504] ppid=6312 vsize=364464 CPUtime=0 cores=5,7
/proc/6314/task/6504/stat : 6504 (python) S 6312 6314 5445 0 -1 4202560 27 933 0 0 0 0 0 0 20 0 9 0 656820548 373211136 8084 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
[pid=6314/tid=6588] ppid=6312 vsize=364464 CPUtime=0 cores=5,7
/proc/6314/task/6588/stat : 6588 (python) S 6312 6314 5445 0 -1 4202560 26 933 0 0 0 0 0 0 20 0 9 0 656830580 373211136 8084 33554432000 4194304 5683644 140735552041120 18446744073709551615 253652683185 0 0 16781312 2 18446604456609301440 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 704.83
Current children cumulated vsize (KiB) 7921612
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6314 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=334645
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=92985
# CPU time returned by wait4() is 2.42763
# while last known CPU time is 704.83
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 705.079
CPU time (s): 704.83
CPU user time (s): 703.82
CPU system time (s): 1.01
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (KiB): 7921612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.33465
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21278
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= 1005
involuntary context switches= 56
runsolver used 2.86756 second user time and 6.35503 second system time
The end