runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3317222-1304268392/watcher-3317222-1304268392 -o /tmp/evaluation-result-3317222-1304268392/solver-3317222-1304268392 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317222-1304268392.cnf -seed 824782661 -budget 4800 -cores 4
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.28 7.99 5.64 5/255 30664
/proc/meminfo: memFree=30332520/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30662 30664 30218 0 -1 4202496 811 0 0 0 0 0 0 0 25 0 1 0 538437918 15749120 696 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 2 0 0 0
/proc/30664/statm: 3845 696 334 364 0 332 0
[startup+0.0275639 s]
/proc/loadavg: 8.28 7.99 5.64 5/255 30664
/proc/meminfo: memFree=30332520/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=16396 CPUtime=0.01 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30662 30664 30218 0 -1 4202496 1118 0 0 0 1 0 0 0 25 0 1 0 538437918 16789504 985 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970546021 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/30664/statm: 4099 985 409 364 0 586 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16396
[startup+0.100559 s]
/proc/loadavg: 8.28 7.99 5.64 5/255 30664
/proc/meminfo: memFree=30332520/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=87704 CPUtime=0.05 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30662 30664 30218 0 -1 4202496 2638 0 0 0 4 1 0 0 25 0 1 0 538437918 89808896 2354 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/30664/statm: 21926 2354 717 364 0 1622 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 87704
[startup+0.300456 s]
/proc/loadavg: 8.28 7.99 5.64 5/255 30664
/proc/meminfo: memFree=30332520/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=135748 CPUtime=0.16 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30662 30664 30218 0 -1 4202496 5964 932 1 0 12 4 0 0 18 0 1 0 538437918 139005952 4151 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970548224 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/30664/statm: 33937 4151 1032 364 0 3123 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 135748
[startup+0.706454 s]
/proc/loadavg: 8.28 7.99 5.64 5/255 30664
/proc/meminfo: memFree=30332520/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=280064 CPUtime=0.38 cores=0,2,4,6
/proc/30664/stat : 30664 (python) R 30662 30664 30218 0 -1 4202496 9669 932 1 0 30 8 0 0 17 0 1 0 538437918 286785536 7351 33554432000 4194304 5683644 140737419125488 18446744073709551615 47648922290970 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/30664/statm: 70016 7351 1761 364 0 5940 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 280064
[startup+1.50025 s]
/proc/loadavg: 8.28 7.99 5.64 7/256 30669
/proc/meminfo: memFree=30306596/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=321580 CPUtime=1.15 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30662 30664 30218 0 -1 4202496 13767 932 1 0 106 9 0 0 22 0 5 0 538437918 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30664/statm: 80395 7611 1883 364 0 16304 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 321580
[startup+3.10097 s]
/proc/loadavg: 8.28 7.99 5.64 10/268 30681
/proc/meminfo: memFree=30283312/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=321580 CPUtime=1.15 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30662 30664 30218 0 -1 4202496 13767 932 1 0 106 9 0 0 22 0 5 0 538437918 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30664/statm: 80395 7611 1883 364 0 16304 0
[pid=30670] ppid=30664 vsize=280436 CPUtime=0 cores=0,2,4,6
/proc/30670/stat : 30670 (python) S 30664 30664 30218 0 -1 4202560 727 0 0 0 0 0 0 0 18 0 1 0 538438057 287166464 6016 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570255 0 0 16781312 514 3742250226715427073 0 0 17 6 0 0 0
/proc/30670/statm: 70109 6016 354 364 0 6027 0
[pid=30672] ppid=30670 vsize=1018340 CPUtime=1.7 cores=0,2,4,6
/proc/30672/stat : 30672 (gnovelty+2) R 30670 30672 30672 0 -1 4202496 680 0 0 0 170 0 0 0 25 0 1 0 538438057 1042780160 415 33554432000 134512640 135663704 4288676080 18446744073709551615 134544196 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30672/statm: 254585 415 113 282 0 254301 0
[pid=30673] ppid=30664 vsize=290824 CPUtime=0 cores=0,2,4,6
/proc/30673/stat : 30673 (python) S 30664 30664 30218 0 -1 4202560 744 0 0 0 0 0 0 0 18 0 1 0 538438059 297803776 6047 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 11799495899191673089 0 0 17 4 0 0 0
/proc/30673/statm: 72706 6047 348 364 0 8621 0
[pid=30675] ppid=30673 vsize=1018340 CPUtime=1.66 cores=0,2,4,6
/proc/30675/stat : 30675 (gnovelty+2) R 30673 30675 30675 0 -1 4202496 678 0 0 0 166 0 0 0 25 0 1 0 538438060 1042780160 414 33554432000 134512640 135663704 4289052928 18446744073709551615 134524916 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/30675/statm: 254585 414 113 282 0 254301 0
[pid=30676] ppid=30664 vsize=301080 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (python) S 30664 30664 30218 0 -1 4202560 740 0 0 0 0 0 0 0 18 0 1 0 538438062 308305920 6051 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 3742257923296854015 0 0 17 2 0 0 0
/proc/30676/statm: 75270 6051 348 364 0 11182 0
[pid=30678] ppid=30676 vsize=418504 CPUtime=1.18 cores=0,2,4,6
/proc/30678/stat : 30678 (adaptg2wsat2009) R 30676 30678 30678 0 -1 4202496 1179 0 0 0 109 9 0 0 25 0 1 0 538438063 428548096 916 33554432000 134512640 135107411 4293791056 18446744073709551615 134531537 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/30678/statm: 104626 916 59 146 0 103502 0
[pid=30679] ppid=30664 vsize=311336 CPUtime=0 cores=0,2,4,6
/proc/30679/stat : 30679 (python) S 30664 30664 30218 0 -1 4202560 754 0 0 0 0 0 0 0 18 0 1 0 538438065 318808064 6072 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 3742246378424762367 0 0 17 2 0 0 0
/proc/30679/statm: 77834 6072 348 364 0 13743 0
[pid=30681] ppid=30679 vsize=418504 CPUtime=1.61 cores=0,2,4,6
/proc/30681/stat : 30681 (adaptg2wsat2009) R 30679 30681 30681 0 -1 4202496 1183 0 0 0 161 0 0 0 25 0 1 0 538438065 428548096 916 33554432000 134512640 135107411 4292770608 18446744073709551615 134539290 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30681/statm: 104626 916 59 146 0 103502 0
[pid=30664/tid=30671] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30671/stat : 30671 (python) S 30662 30664 30218 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 5 0 538438057 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 4 0 0 0
[pid=30664/tid=30674] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30674/stat : 30674 (python) S 30662 30664 30218 0 -1 4202560 24 932 0 0 0 0 0 0 22 0 5 0 538438060 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 4 0 0 0
[pid=30664/tid=30677] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30677/stat : 30677 (python) S 30662 30664 30218 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 5 0 538438062 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 2 0 0 0
[pid=30664/tid=30680] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30680/stat : 30680 (python) S 30662 30664 30218 0 -1 4202560 25 932 0 0 0 0 0 0 22 0 5 0 538438065 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 4378944
[startup+6.30142 s]
/proc/loadavg: 8.34 8.01 5.66 10/268 30681
/proc/meminfo: memFree=30281828/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=321580 CPUtime=1.15 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30662 30664 30218 0 -1 4202496 13767 932 1 0 106 9 0 0 22 0 5 0 538437918 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30664/statm: 80395 7611 1883 364 0 16304 0
[pid=30670] ppid=30664 vsize=280436 CPUtime=0 cores=0,2,4,6
/proc/30670/stat : 30670 (python) S 30664 30664 30218 0 -1 4202560 883 0 0 0 0 0 0 0 18 0 1 0 538438057 287166464 6039 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570255 0 0 16781312 514 3742250226715427073 0 0 17 6 0 0 0
/proc/30670/statm: 70109 6039 377 364 0 6027 0
[pid=30672] ppid=30670 vsize=1018340 CPUtime=4.9 cores=0,2,4,6
/proc/30672/stat : 30672 (gnovelty+2) R 30670 30672 30672 0 -1 4202496 680 0 0 0 490 0 0 0 25 0 1 0 538438057 1042780160 415 33554432000 134512640 135663704 4288676080 18446744073709551615 134545605 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30672/statm: 254585 415 113 282 0 254301 0
[pid=30673] ppid=30664 vsize=290828 CPUtime=0.36 cores=0,2,4,6
/proc/30673/stat : 30673 (python) R 30664 30664 30218 0 -1 4202560 826 0 0 0 19 17 0 0 18 0 1 0 538438059 297807872 6064 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970550075 0 0 16781312 514 0 0 0 17 4 0 0 0
/proc/30673/statm: 72707 6064 365 364 0 8622 0
[pid=30675] ppid=30673 vsize=1018340 CPUtime=4.83 cores=0,2,4,6
/proc/30675/stat : 30675 (gnovelty+2) R 30673 30675 30675 0 -1 4202496 678 0 0 0 483 0 0 0 25 0 1 0 538438060 1042780160 414 33554432000 134512640 135663704 4289052928 18446744073709551615 134524882 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/30675/statm: 254585 414 113 282 0 254301 0
[pid=30676] ppid=30664 vsize=301080 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (python) S 30664 30664 30218 0 -1 4202560 897 0 0 0 0 0 0 0 18 0 1 0 538438062 308305920 6074 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 3742257923296821508 0 0 17 2 0 0 0
/proc/30676/statm: 75270 6074 371 364 0 11182 0
[pid=30678] ppid=30676 vsize=418504 CPUtime=2.17 cores=0,2,4,6
/proc/30678/stat : 30678 (adaptg2wsat2009) R 30676 30678 30678 0 -1 4202496 1179 0 0 0 202 15 0 0 25 0 1 0 538438063 428548096 916 33554432000 134512640 135107411 4293791056 18446744073709551615 134531935 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/30678/statm: 104626 916 59 146 0 103502 0
[pid=30679] ppid=30664 vsize=311336 CPUtime=0 cores=0,2,4,6
/proc/30679/stat : 30679 (python) S 30664 30664 30218 0 -1 4202560 908 0 0 0 0 0 0 0 18 0 1 0 538438065 318808064 6095 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 3742246378424729857 0 0 17 2 0 0 0
/proc/30679/statm: 77834 6095 371 364 0 13743 0
[pid=30681] ppid=30679 vsize=418504 CPUtime=4.8 cores=0,2,4,6
/proc/30681/stat : 30681 (adaptg2wsat2009) R 30679 30681 30681 0 -1 4202496 1183 0 0 0 480 0 0 0 25 0 1 0 538438065 428548096 916 33554432000 134512640 135107411 4292770608 18446744073709551615 134532140 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30681/statm: 104626 916 59 146 0 103502 0
[pid=30664/tid=30671] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30671/stat : 30671 (python) S 30662 30664 30218 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 5 0 538438057 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 4 0 0 0
[pid=30664/tid=30674] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30674/stat : 30674 (python) S 30662 30664 30218 0 -1 4202560 24 932 0 0 0 0 0 0 22 0 5 0 538438060 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 4 0 0 0
[pid=30664/tid=30677] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30677/stat : 30677 (python) S 30662 30664 30218 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 5 0 538438062 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 2 0 0 0
[pid=30664/tid=30680] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30680/stat : 30680 (python) S 30662 30664 30218 0 -1 4202560 25 932 0 0 0 0 0 0 22 0 5 0 538438065 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 18.21
Current children cumulated vsize (KiB) 4378948
Solver just ended. Dumping a history of the last processes samples
[startup+7.90114 s]
/proc/loadavg: 8.34 8.01 5.66 11/268 30681
/proc/meminfo: memFree=30281048/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=321580 CPUtime=1.15 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30662 30664 30218 0 -1 4202496 13767 932 1 0 106 9 0 0 22 0 5 0 538437918 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30664/statm: 80395 7611 1883 364 0 16304 0
[pid=30670] ppid=30664 vsize=280436 CPUtime=0 cores=0,2,4,6
/proc/30670/stat : 30670 (python) S 30664 30664 30218 0 -1 4202560 883 0 0 0 0 0 0 0 18 0 1 0 538438057 287166464 6039 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570255 0 0 16781312 514 3742250226715427073 0 0 17 6 0 0 0
/proc/30670/statm: 70109 6039 377 364 0 6027 0
[pid=30672] ppid=30670 vsize=1018340 CPUtime=6.5 cores=0,2,4,6
/proc/30672/stat : 30672 (gnovelty+2) R 30670 30672 30672 0 -1 4202496 680 0 0 0 650 0 0 0 25 0 1 0 538438057 1042780160 415 33554432000 134512640 135663704 4288676080 18446744073709551615 134524548 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30672/statm: 254585 415 113 282 0 254301 0
[pid=30673] ppid=30664 vsize=290824 CPUtime=0.72 cores=0,2,4,6
/proc/30673/stat : 30673 (python) R 30664 30664 30218 0 -1 4202560 855 0 0 0 41 31 0 0 20 0 1 0 538438059 297803776 6064 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970548283 0 0 16781312 514 0 0 0 17 4 0 0 0
/proc/30673/statm: 72706 6064 365 364 0 8621 0
[pid=30675] ppid=30673 vsize=1018340 CPUtime=6.42 cores=0,2,4,6
/proc/30675/stat : 30675 (gnovelty+2) R 30673 30675 30675 0 -1 4202496 678 0 0 0 642 0 0 0 25 0 1 0 538438060 1042780160 414 33554432000 134512640 135663704 4289052928 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/30675/statm: 254585 414 113 282 0 254301 0
[pid=30676] ppid=30664 vsize=301080 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (python) S 30664 30664 30218 0 -1 4202560 897 0 0 0 0 0 0 0 18 0 1 0 538438062 308305920 6074 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 3742257923296821508 0 0 17 2 0 0 0
/proc/30676/statm: 75270 6074 371 364 0 11182 0
[pid=30678] ppid=30676 vsize=418504 CPUtime=2.47 cores=0,2,4,6
/proc/30678/stat : 30678 (adaptg2wsat2009) R 30676 30678 30678 0 -1 4202496 1179 0 0 0 231 16 0 0 25 0 1 0 538438063 428548096 916 33554432000 134512640 135107411 4293791056 18446744073709551615 134532244 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/30678/statm: 104626 916 59 146 0 103502 0
[pid=30679] ppid=30664 vsize=311336 CPUtime=0 cores=0,2,4,6
/proc/30679/stat : 30679 (python) S 30664 30664 30218 0 -1 4202560 908 0 0 0 0 0 0 0 18 0 1 0 538438065 318808064 6095 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 3742246378424729857 0 0 17 2 0 0 0
/proc/30679/statm: 77834 6095 371 364 0 13743 0
[pid=30681] ppid=30679 vsize=418504 CPUtime=6.4 cores=0,2,4,6
/proc/30681/stat : 30681 (adaptg2wsat2009) R 30679 30681 30681 0 -1 4202496 1183 0 0 0 640 0 0 0 25 0 1 0 538438065 428548096 916 33554432000 134512640 135107411 4292770608 18446744073709551615 134532416 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30681/statm: 104626 916 59 146 0 103502 0
[pid=30664/tid=30671] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30671/stat : 30671 (python) S 30662 30664 30218 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 5 0 538438057 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 4 0 0 0
[pid=30664/tid=30674] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30674/stat : 30674 (python) S 30662 30664 30218 0 -1 4202560 24 932 0 0 0 0 0 0 22 0 5 0 538438060 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 4 0 0 0
[pid=30664/tid=30677] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30677/stat : 30677 (python) S 30662 30664 30218 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 5 0 538438062 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 2 0 0 0
[pid=30664/tid=30680] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30680/stat : 30680 (python) S 30662 30664 30218 0 -1 4202560 25 932 0 0 0 0 0 0 22 0 5 0 538438065 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 23.66
Current children cumulated vsize (KiB) 4378944
[startup+9.50087 s]
/proc/loadavg: 8.47 8.04 5.68 11/268 30681
/proc/meminfo: memFree=30280924/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=321580 CPUtime=1.15 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30662 30664 30218 0 -1 4202496 13767 932 1 0 106 9 0 0 22 0 5 0 538437918 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30664/statm: 80395 7611 1883 364 0 16304 0
[pid=30670] ppid=30664 vsize=280436 CPUtime=0 cores=0,2,4,6
/proc/30670/stat : 30670 (python) S 30664 30664 30218 0 -1 4202560 883 0 0 0 0 0 0 0 18 0 1 0 538438057 287166464 6039 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570255 0 0 16781312 514 3742250226715427073 0 0 17 6 0 0 0
/proc/30670/statm: 70109 6039 377 364 0 6027 0
[pid=30672] ppid=30670 vsize=1018340 CPUtime=8.1 cores=0,2,4,6
/proc/30672/stat : 30672 (gnovelty+2) R 30670 30672 30672 0 -1 4202496 680 0 0 0 810 0 0 0 25 0 1 0 538438057 1042780160 415 33554432000 134512640 135663704 4288676080 18446744073709551615 134525286 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30672/statm: 254585 415 113 282 0 254301 0
[pid=30673] ppid=30664 vsize=290824 CPUtime=0.92 cores=0,2,4,6
/proc/30673/stat : 30673 (python) S 30664 30664 30218 0 -1 4202560 901 0 0 0 52 40 0 0 21 0 1 0 538438059 297803776 6070 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 11799495899191673089 0 0 17 4 0 0 0
/proc/30673/statm: 72706 6070 371 364 0 8621 0
[pid=30675] ppid=30673 vsize=1018340 CPUtime=8.01 cores=0,2,4,6
/proc/30675/stat : 30675 (gnovelty+2) R 30673 30675 30675 0 -1 4202496 678 0 0 0 801 0 0 0 25 0 1 0 538438060 1042780160 414 33554432000 134512640 135663704 4289052928 18446744073709551615 134525402 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/30675/statm: 254585 414 113 282 0 254301 0
[pid=30676] ppid=30664 vsize=301080 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (python) S 30664 30664 30218 0 -1 4202560 897 0 0 0 0 0 0 0 18 0 1 0 538438062 308305920 6074 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 3742257923296821508 0 0 17 2 0 0 0
/proc/30676/statm: 75270 6074 371 364 0 11182 0
[pid=30678] ppid=30676 vsize=418504 CPUtime=3.36 cores=0,2,4,6
/proc/30678/stat : 30678 (adaptg2wsat2009) R 30676 30678 30678 0 -1 4202496 1179 0 0 0 318 18 0 0 25 0 1 0 538438063 428548096 916 33554432000 134512640 135107411 4293791056 18446744073709551615 134532107 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/30678/statm: 104626 916 59 146 0 103502 0
[pid=30679] ppid=30664 vsize=311336 CPUtime=0 cores=0,2,4,6
/proc/30679/stat : 30679 (python) S 30664 30664 30218 0 -1 4202560 908 0 0 0 0 0 0 0 18 0 1 0 538438065 318808064 6095 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 3742246378424729857 0 0 17 2 0 0 0
/proc/30679/statm: 77834 6095 371 364 0 13743 0
[pid=30681] ppid=30679 vsize=418504 CPUtime=8 cores=0,2,4,6
/proc/30681/stat : 30681 (adaptg2wsat2009) R 30679 30681 30681 0 -1 4202496 1183 0 0 0 800 0 0 0 25 0 1 0 538438065 428548096 916 33554432000 134512640 135107411 4292770608 18446744073709551615 134531847 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30681/statm: 104626 916 59 146 0 103502 0
[pid=30664/tid=30671] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30671/stat : 30671 (python) S 30662 30664 30218 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 5 0 538438057 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 4 0 0 0
[pid=30664/tid=30674] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30674/stat : 30674 (python) S 30662 30664 30218 0 -1 4202560 24 932 0 0 0 0 0 0 22 0 5 0 538438060 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 4 0 0 0
[pid=30664/tid=30677] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30677/stat : 30677 (python) S 30662 30664 30218 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 5 0 538438062 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 2 0 0 0
[pid=30664/tid=30680] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30680/stat : 30680 (python) S 30662 30664 30218 0 -1 4202560 25 932 0 0 0 0 0 0 22 0 5 0 538438065 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 29.54
Current children cumulated vsize (KiB) 4378944
[startup+9.9088 s]
/proc/loadavg: 8.47 8.04 5.68 11/268 30681
/proc/meminfo: memFree=30280800/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=321580 CPUtime=1.15 cores=0,2,4,6
/proc/30664/stat : 30664 (python) S 30662 30664 30218 0 -1 4202496 13767 932 1 0 106 9 0 0 22 0 5 0 538437918 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982376907 0 0 16781312 2 18446744073709551615 0 0 17 2 0 0 0
/proc/30664/statm: 80395 7611 1883 364 0 16304 0
[pid=30670] ppid=30664 vsize=280436 CPUtime=0 cores=0,2,4,6
/proc/30670/stat : 30670 (python) S 30664 30664 30218 0 -1 4202560 883 0 0 0 0 0 0 0 18 0 1 0 538438057 287166464 6039 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570255 0 0 16781312 514 3742250226715427073 0 0 17 6 0 0 0
/proc/30670/statm: 70109 6039 377 364 0 6027 0
[pid=30672] ppid=30670 vsize=1018340 CPUtime=8.51 cores=0,2,4,6
/proc/30672/stat : 30672 (gnovelty+2) R 30670 30672 30672 0 -1 4202496 680 0 0 0 851 0 0 0 25 0 1 0 538438057 1042780160 415 33554432000 134512640 135663704 4288676080 18446744073709551615 134524916 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30672/statm: 254585 415 113 282 0 254301 0
[pid=30673] ppid=30664 vsize=290824 CPUtime=0.92 cores=0,2,4,6
/proc/30673/stat : 30673 (python) S 30664 30664 30218 0 -1 4202560 901 0 0 0 52 40 0 0 18 0 1 0 538438059 297803776 6070 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 11799495899191673089 0 0 17 4 0 0 0
/proc/30673/statm: 72706 6070 371 364 0 8621 0
[pid=30675] ppid=30673 vsize=1018340 CPUtime=8.41 cores=0,2,4,6
/proc/30675/stat : 30675 (gnovelty+2) R 30673 30675 30675 0 -1 4202496 678 0 0 0 841 0 0 0 25 0 1 0 538438060 1042780160 414 33554432000 134512640 135663704 4289052928 18446744073709551615 134524507 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/30675/statm: 254585 414 113 282 0 254301 0
[pid=30676] ppid=30664 vsize=301080 CPUtime=0 cores=0,2,4,6
/proc/30676/stat : 30676 (python) S 30664 30664 30218 0 -1 4202560 897 0 0 0 0 0 0 0 18 0 1 0 538438062 308305920 6074 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 3742257923296821508 0 0 17 2 0 0 0
/proc/30676/statm: 75270 6074 371 364 0 11182 0
[pid=30678] ppid=30676 vsize=418504 CPUtime=3.77 cores=0,2,4,6
/proc/30678/stat : 30678 (adaptg2wsat2009) R 30676 30678 30678 0 -1 4202496 1179 0 0 0 359 18 0 0 25 0 1 0 538438063 428548096 916 33554432000 134512640 135107411 4293791056 18446744073709551615 134531411 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/30678/statm: 104626 916 59 146 0 103502 0
[pid=30679] ppid=30664 vsize=311336 CPUtime=0 cores=0,2,4,6
/proc/30679/stat : 30679 (python) S 30664 30664 30218 0 -1 4202560 908 0 0 0 0 0 0 0 18 0 1 0 538438065 318808064 6095 33554432000 4194304 5683644 140737419125488 18446744073709551615 242970570310 0 0 16781312 514 3742246378424729857 0 0 17 2 0 0 0
/proc/30679/statm: 77834 6095 371 364 0 13743 0
[pid=30681] ppid=30679 vsize=418504 CPUtime=8.4 cores=0,2,4,6
/proc/30681/stat : 30681 (adaptg2wsat2009) R 30679 30681 30681 0 -1 4202496 1183 0 0 0 840 0 0 0 25 0 1 0 538438065 428548096 916 33554432000 134512640 135107411 4292770608 18446744073709551615 134531741 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/30681/statm: 104626 916 59 146 0 103502 0
[pid=30664/tid=30671] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30671/stat : 30671 (python) S 30662 30664 30218 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 5 0 538438057 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 4 0 0 0
[pid=30664/tid=30674] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30674/stat : 30674 (python) S 30662 30664 30218 0 -1 4202560 24 932 0 0 0 0 0 0 22 0 5 0 538438060 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 4 0 0 0
[pid=30664/tid=30677] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30677/stat : 30677 (python) S 30662 30664 30218 0 -1 4202560 22 932 0 0 0 0 0 0 20 0 5 0 538438062 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 2 0 0 0
[pid=30664/tid=30680] ppid=30662 vsize=321580 CPUtime=0 cores=0,2,4,6
/proc/30664/task/30680/stat : 30680 (python) S 30662 30664 30218 0 -1 4202560 25 932 0 0 0 0 0 0 22 0 5 0 538438065 329297920 7611 33554432000 4194304 5683644 140737419125488 18446744073709551615 242982373809 0 0 16781312 2 18446604453715992896 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 31.16
Current children cumulated vsize (KiB) 4378944
[startup+10.1008 s]
/proc/loadavg: 8.47 8.04 5.68 11/268 30681
/proc/meminfo: memFree=30280800/32951132 swapFree=67111364/67111528
[pid=30664] ppid=30662 vsize=311276 CPUtime=31.99 cores=0,2,4,6
/proc/30664/stat : 30664 (python) R 30662 30664 30218 0 -1 4202496 14639 8664 1 0 106 10 3021 62 17 0 1 0 538437918 318746624 7599 33554432000 4194304 5683644 140737419125488 18446744073709551615 5116756 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/30664/statm: 77819 7599 1875 364 0 13743 0
Current children cumulated CPU time (s) 31.99
Current children cumulated vsize (KiB) 311276
Child status: 0
Real time (s): 10.1213
CPU time (s): 32.0241
CPU user time (s): 31.2882
CPU system time (s): 0.735888
CPU usage (%): 316.404
Max. virtual memory (cumulated for all children) (KiB): 4378948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.2882
system time used= 0.735888
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27191
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= 3014
involuntary context switches= 347
runsolver used 0.020996 second user time and 0.057991 second system time
The end