SAT 2011 Competition: main competition (phase 1) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
borg-sat 11.03.02-par-random (fixed)	SAT	791.48	200.168
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-3378290-1305464521/watcher-3378290-1305464521 -o /tmp/evaluation-result-3378290-1305464521/solver-3378290-1305464521 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378290-1305464521.cnf -seed 848847502 -budget 4800 -cores 4 

running on 4 cores: 1,3,5,7

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.30 8.24 7.52 5/373 31773
/proc/meminfo: memFree=11228256/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/31773/stat : 31773 (python) R 31771 31773 30970 0 -1 4202496 919 0 0 0 0 0 0 0 25 0 1 0 658049967 16154624 800 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377297413 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31773/statm: 3944 801 351 364 0 431 0

[startup+0.043873 s]
/proc/loadavg: 8.30 8.24 7.52 5/373 31773
/proc/meminfo: memFree=11228256/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=18884 CPUtime=0.03 cores=1,3,5,7
/proc/31773/stat : 31773 (python) R 31771 31773 30970 0 -1 4202496 1282 0 0 0 2 1 0 0 25 0 1 0 658049967 19337216 1136 33554432000 4194304 5683644 140733418876016 18446744073709551615 4876492 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31773/statm: 4721 1136 421 364 0 690 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 18884

[startup+0.100861 s]
/proc/loadavg: 8.30 8.24 7.52 5/373 31773
/proc/meminfo: memFree=11228256/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=87708 CPUtime=0.06 cores=1,3,5,7
/proc/31773/stat : 31773 (python) R 31771 31773 30970 0 -1 4202496 2637 0 0 0 4 2 0 0 17 0 1 0 658049967 89812992 2354 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377299456 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31773/statm: 21927 2354 717 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87708

[startup+0.300815 s]
/proc/loadavg: 8.30 8.24 7.52 5/373 31773
/proc/meminfo: memFree=11228256/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=135752 CPUtime=0.18 cores=1,3,5,7
/proc/31773/stat : 31773 (python) S 31771 31773 30970 0 -1 4202496 5964 932 1 0 14 4 0 0 17 0 1 0 658049967 139010048 4151 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377297413 0 2147483391 16781312 2 18446744071699453118 0 0 17 5 0 0 0
/proc/31773/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 135752

[startup+0.700784 s]
/proc/loadavg: 8.30 8.24 7.52 5/373 31773
/proc/meminfo: memFree=11228256/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=280040 CPUtime=0.44 cores=1,3,5,7
/proc/31773/stat : 31773 (python) R 31771 31773 30970 0 -1 4202496 9650 932 1 0 33 11 0 0 15 0 1 0 658049967 286760960 7333 33554432000 4194304 5683644 140733418876016 18446744073709551615 47777835750777 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31773/statm: 70010 7333 1761 364 0 5934 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 280040

[startup+1.50061 s]
/proc/loadavg: 8.30 8.24 7.52 6/374 31778
/proc/meminfo: memFree=11197868/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=285816 CPUtime=1.24 cores=1,3,5,7
/proc/31773/stat : 31773 (python) R 31771 31773 30970 0 -1 4202496 12057 932 1 0 113 11 0 0 16 0 1 0 658049967 292675584 8839 33554432000 4194304 5683644 140733418876016 18446744073709551615 5003948 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/31773/statm: 71454 8839 1827 364 0 7378 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 285816

[startup+3.10127 s]
/proc/loadavg: 8.30 8.24 7.52 10/386 31790
/proc/meminfo: memFree=11174460/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=323068 CPUtime=1.59 cores=1,3,5,7
/proc/31773/stat : 31773 (python) S 31771 31773 30970 0 -1 4202496 14911 932 1 0 148 11 0 0 22 0 5 0 658049967 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31773/statm: 80767 7982 1883 364 0 16676 0
[pid=31779] ppid=31773 vsize=282056 CPUtime=0 cores=1,3,5,7
/proc/31779/stat : 31779 (python) S 31773 31773 30970 0 -1 4202560 726 0 0 0 0 0 0 0 18 0 1 0 658050150 288825344 6420 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321487 0 0 16781312 514 12303540066910699782 0 0 17 5 0 0 0
/proc/31779/statm: 70514 6420 354 364 0 6432 0
[pid=31781] ppid=31779 vsize=1018800 CPUtime=1.24 cores=1,3,5,7
/proc/31781/stat : 31781 (gnovelty+2) R 31779 31781 31781 0 -1 4202496 866 0 0 0 124 0 0 0 22 0 1 0 658050151 1043251200 602 33554432000 134512640 135663704 4287132960 18446744073709551615 134525056 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/31781/statm: 254700 602 113 282 0 254416 0
[pid=31782] ppid=31773 vsize=292312 CPUtime=0 cores=1,3,5,7
/proc/31782/stat : 31782 (python) S 31773 31773 30970 0 -1 4202560 739 0 0 0 0 0 0 0 18 0 1 0 658050151 299327488 6418 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 17786042318193656071 0 0 17 3 0 0 0
/proc/31782/statm: 73078 6418 348 364 0 8993 0
[pid=31784] ppid=31782 vsize=1018800 CPUtime=1.24 cores=1,3,5,7
/proc/31784/stat : 31784 (gnovelty+2) R 31782 31784 31784 0 -1 4202496 866 0 0 0 124 0 0 0 25 0 1 0 658050152 1043251200 602 33554432000 134512640 135663704 4287132288 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/31784/statm: 254700 602 113 282 0 254416 0
[pid=31785] ppid=31773 vsize=302568 CPUtime=0 cores=1,3,5,7
/proc/31785/stat : 31785 (python) S 31773 31773 30970 0 -1 4202560 738 0 0 0 0 0 0 0 18 0 1 0 658050152 309829632 6439 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 17786038469902991359 0 0 17 1 0 0 0
/proc/31785/statm: 75642 6439 348 364 0 11554 0
[pid=31787] ppid=31785 vsize=420484 CPUtime=1.23 cores=1,3,5,7
/proc/31787/stat : 31787 (adaptg2wsat2009) R 31785 31787 31787 0 -1 4202496 1758 0 0 0 123 0 0 0 25 0 1 0 658050153 430575616 1493 33554432000 134512640 135107411 4288714800 18446744073709551615 134531822 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/31787/statm: 105121 1493 59 146 0 103997 0
[pid=31788] ppid=31773 vsize=312824 CPUtime=0 cores=1,3,5,7
/proc/31788/stat : 31788 (python) S 31773 31773 30970 0 -1 4202560 745 0 0 0 0 0 0 0 18 0 1 0 658050154 320331776 6443 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 13306787252651687935 0 0 17 1 0 0 0
/proc/31788/statm: 78206 6443 348 364 0 14115 0
[pid=31790] ppid=31788 vsize=420484 CPUtime=1.22 cores=1,3,5,7
/proc/31790/stat : 31790 (adaptg2wsat2009) R 31788 31790 31790 0 -1 4202496 1757 0 0 0 122 0 0 0 25 0 1 0 658050154 430575616 1492 33554432000 134512640 135107411 4289845472 18446744073709551615 134532135 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/31790/statm: 105121 1492 59 146 0 103997 0
[pid=31773/tid=31780] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31780/stat : 31780 (python) S 31771 31773 30970 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 5 0 658050151 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 7 0 0 0
[pid=31773/tid=31783] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31783/stat : 31783 (python) S 31771 31773 30970 0 -1 4202560 25 932 0 0 0 0 0 0 21 0 5 0 658050152 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 3 0 0 0
[pid=31773/tid=31786] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31786/stat : 31786 (python) S 31771 31773 30970 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 5 0 658050153 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
[pid=31773/tid=31789] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31789/stat : 31789 (python) S 31771 31773 30970 0 -1 4202560 29 932 0 0 0 0 0 0 22 0 5 0 658050154 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.52
Current children cumulated vsize (KiB) 4391396

[startup+6.30068 s]
/proc/loadavg: 8.27 8.24 7.52 10/386 31790
/proc/meminfo: memFree=11169624/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=323068 CPUtime=1.59 cores=1,3,5,7
/proc/31773/stat : 31773 (python) S 31771 31773 30970 0 -1 4202496 14911 932 1 0 148 11 0 0 22 0 5 0 658049967 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31773/statm: 80767 7982 1883 364 0 16676 0
[pid=31779] ppid=31773 vsize=282056 CPUtime=0 cores=1,3,5,7
/proc/31779/stat : 31779 (python) S 31773 31773 30970 0 -1 4202560 886 0 0 0 0 0 0 0 18 0 1 0 658050150 288825344 6443 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321487 0 0 16781312 514 12303540066910699782 0 0 17 5 0 0 0
/proc/31779/statm: 70514 6443 377 364 0 6432 0
[pid=31781] ppid=31779 vsize=1018800 CPUtime=4.4 cores=1,3,5,7
/proc/31781/stat : 31781 (gnovelty+2) R 31779 31781 31781 0 -1 4202496 866 0 0 0 440 0 0 0 25 0 1 0 658050151 1043251200 602 33554432000 134512640 135663704 4287132960 18446744073709551615 134524503 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/31781/statm: 254700 602 113 282 0 254416 0
[pid=31782] ppid=31773 vsize=292312 CPUtime=0 cores=1,3,5,7
/proc/31782/stat : 31782 (python) S 31773 31773 30970 0 -1 4202560 911 0 0 0 0 0 0 0 18 0 1 0 658050151 299327488 6441 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 17786042318193656071 0 0 17 3 0 0 0
/proc/31782/statm: 73078 6441 371 364 0 8993 0
[pid=31784] ppid=31782 vsize=1018800 CPUtime=4.41 cores=1,3,5,7
/proc/31784/stat : 31784 (gnovelty+2) R 31782 31784 31784 0 -1 4202496 866 0 0 0 441 0 0 0 25 0 1 0 658050152 1043251200 602 33554432000 134512640 135663704 4287132288 18446744073709551615 134525218 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/31784/statm: 254700 602 113 282 0 254416 0
[pid=31785] ppid=31773 vsize=302568 CPUtime=0 cores=1,3,5,7
/proc/31785/stat : 31785 (python) S 31773 31773 30970 0 -1 4202560 899 0 0 0 0 0 0 0 18 0 1 0 658050152 309829632 6461 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 17786038469902958854 0 0 17 1 0 0 0
/proc/31785/statm: 75642 6461 370 364 0 11554 0
[pid=31787] ppid=31785 vsize=420484 CPUtime=4.42 cores=1,3,5,7
/proc/31787/stat : 31787 (adaptg2wsat2009) R 31785 31787 31787 0 -1 4202496 1758 0 0 0 442 0 0 0 25 0 1 0 658050153 430575616 1493 33554432000 134512640 135107411 4288714800 18446744073709551615 134531561 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/31787/statm: 105121 1493 59 146 0 103997 0
[pid=31788] ppid=31773 vsize=312824 CPUtime=0.01 cores=1,3,5,7
/proc/31788/stat : 31788 (python) S 31773 31773 30970 0 -1 4202560 918 0 0 0 1 0 0 0 18 0 1 0 658050154 320331776 6466 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 13306787252651655428 0 0 17 1 0 0 0
/proc/31788/statm: 78206 6466 371 364 0 14115 0
[pid=31790] ppid=31788 vsize=420484 CPUtime=4.41 cores=1,3,5,7
/proc/31790/stat : 31790 (adaptg2wsat2009) R 31788 31790 31790 0 -1 4202496 1757 0 0 0 441 0 0 0 25 0 1 0 658050154 430575616 1492 33554432000 134512640 135107411 4289845472 18446744073709551615 134532304 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/31790/statm: 105121 1492 59 146 0 103997 0
[pid=31773/tid=31780] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31780/stat : 31780 (python) S 31771 31773 30970 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 5 0 658050151 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 7 0 0 0
[pid=31773/tid=31783] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31783/stat : 31783 (python) S 31771 31773 30970 0 -1 4202560 25 932 0 0 0 0 0 0 21 0 5 0 658050152 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 3 0 0 0
[pid=31773/tid=31786] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31786/stat : 31786 (python) S 31771 31773 30970 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 5 0 658050153 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
[pid=31773/tid=31789] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31789/stat : 31789 (python) S 31771 31773 30970 0 -1 4202560 29 932 0 0 0 0 0 0 22 0 5 0 658050154 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 19.24
Current children cumulated vsize (KiB) 4391396

[startup+12.7015 s]
/proc/loadavg: 8.33 8.25 7.53 10/386 31790
/proc/meminfo: memFree=11168016/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=323068 CPUtime=1.59 cores=1,3,5,7
/proc/31773/stat : 31773 (python) S 31771 31773 30970 0 -1 4202496 14911 932 1 0 148 11 0 0 22 0 5 0 658049967 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31773/statm: 80767 7982 1883 364 0 16676 0
[pid=31779] ppid=31773 vsize=282056 CPUtime=0.02 cores=1,3,5,7
/proc/31779/stat : 31779 (python) S 31773 31773 30970 0 -1 4202560 890 0 0 0 1 1 0 0 18 0 1 0 658050150 288825344 6443 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321487 0 0 16781312 514 2681066745355010310 0 0 17 5 0 0 0
/proc/31779/statm: 70514 6443 377 364 0 6432 0
[pid=31781] ppid=31779 vsize=1018800 CPUtime=10.73 cores=1,3,5,7
/proc/31781/stat : 31781 (gnovelty+2) R 31779 31781 31781 0 -1 4202496 866 0 0 0 1073 0 0 0 25 0 1 0 658050151 1043251200 602 33554432000 134512640 135663704 4287132960 18446744073709551615 134545772 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/31781/statm: 254700 602 113 282 0 254416 0
[pid=31782] ppid=31773 vsize=292312 CPUtime=0.02 cores=1,3,5,7
/proc/31782/stat : 31782 (python) S 31773 31773 30970 0 -1 4202560 916 0 0 0 1 1 0 0 18 0 1 0 658050151 299327488 6441 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 2681066745355010311 0 0 17 3 0 0 0
/proc/31782/statm: 73078 6441 371 364 0 8993 0
[pid=31784] ppid=31782 vsize=1018800 CPUtime=10.78 cores=1,3,5,7
/proc/31784/stat : 31784 (gnovelty+2) R 31782 31784 31784 0 -1 4202496 866 0 0 0 1078 0 0 0 25 0 1 0 658050152 1043251200 602 33554432000 134512640 135663704 4287132288 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/31784/statm: 254700 602 113 282 0 254416 0
[pid=31785] ppid=31773 vsize=302568 CPUtime=0.02 cores=1,3,5,7
/proc/31785/stat : 31785 (python) S 31773 31773 30970 0 -1 4202560 903 0 0 0 1 1 0 0 18 0 1 0 658050152 309829632 6461 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 2681066745355010310 0 0 17 1 0 0 0
/proc/31785/statm: 75642 6461 370 364 0 11554 0
[pid=31787] ppid=31785 vsize=420484 CPUtime=10.8 cores=1,3,5,7
/proc/31787/stat : 31787 (adaptg2wsat2009) R 31785 31787 31787 0 -1 4202496 1758 0 0 0 1080 0 0 0 25 0 1 0 658050153 430575616 1493 33554432000 134512640 135107411 4288714800 18446744073709551615 134532275 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/31787/statm: 105121 1493 59 146 0 103997 0
[pid=31788] ppid=31773 vsize=312824 CPUtime=0.02 cores=1,3,5,7
/proc/31788/stat : 31788 (python) S 31773 31773 30970 0 -1 4202560 922 0 0 0 1 1 0 0 18 0 1 0 658050154 320331776 6466 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 2681066745355010308 0 0 17 1 0 0 0
/proc/31788/statm: 78206 6466 371 364 0 14115 0
[pid=31790] ppid=31788 vsize=420484 CPUtime=10.79 cores=1,3,5,7
/proc/31790/stat : 31790 (adaptg2wsat2009) R 31788 31790 31790 0 -1 4202496 1757 0 0 0 1079 0 0 0 25 0 1 0 658050154 430575616 1492 33554432000 134512640 135107411 4289845472 18446744073709551615 134532204 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/31790/statm: 105121 1492 59 146 0 103997 0
[pid=31773/tid=31780] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31780/stat : 31780 (python) S 31771 31773 30970 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 5 0 658050151 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 7 0 0 0
[pid=31773/tid=31783] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31783/stat : 31783 (python) S 31771 31773 30970 0 -1 4202560 25 932 0 0 0 0 0 0 21 0 5 0 658050152 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 3 0 0 0
[pid=31773/tid=31786] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31786/stat : 31786 (python) S 31771 31773 30970 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 5 0 658050153 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
[pid=31773/tid=31789] ppid=31771 vsize=323068 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31789/stat : 31789 (python) S 31771 31773 30970 0 -1 4202560 29 932 0 0 0 0 0 0 22 0 5 0 658050154 330821632 7982 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 44.77
Current children cumulated vsize (KiB) 4391396

[startup+25.5011 s]
/proc/loadavg: 8.40 8.27 7.55 9/386 31790
/proc/meminfo: memFree=11168628/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=323068 CPUtime=1.59 cores=1,3,5,7

################
# More data... #
################

[pid=31773/tid=31813] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31813/stat : 31813 (python) S 31771 31773 30970 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 9 0 658060193 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 3 0 0 0
[pid=31773/tid=31816] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31816/stat : 31816 (python) S 31771 31773 30970 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 9 0 658060194 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 5 0 0 0
[pid=31773/tid=31819] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31819/stat : 31819 (python) S 31771 31773 30970 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 9 0 658060195 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 787.18
Current children cumulated vsize (KiB) 7907520

[startup+199.902 s]
/proc/loadavg: 8.62 8.37 7.70 9/419 31831
/proc/meminfo: memFree=11032376/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=364308 CPUtime=1.64 cores=1,3,5,7
/proc/31773/stat : 31773 (python) S 31771 31773 30970 0 -1 4202496 18280 932 1 0 152 12 0 0 20 0 9 0 658049967 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31773/statm: 91077 8065 1892 364 0 26974 0
[pid=31779] ppid=31773 vsize=292300 CPUtime=0.26 cores=1,3,5,7
/proc/31779/stat : 31779 (python) S 31773 31773 30970 0 -1 4202560 1159 0 0 0 12 14 0 0 19 0 2 0 658050150 299315200 6486 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/31779/statm: 73075 6486 415 364 0 8993 0
[pid=31781] ppid=31779 vsize=1018800 CPUtime=99.21 cores=1,3,5,7
/proc/31781/stat : 31781 (gnovelty+2) T 31779 31781 31781 0 -1 4202496 866 0 0 0 9921 0 0 0 25 0 1 0 658050151 1043251200 602 33554432000 134512640 135663704 4287132960 18446744073709551615 134525255 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/31781/statm: 254700 602 113 282 0 254416 0
[pid=31779/tid=31810] ppid=31773 vsize=292300 CPUtime=0 cores=1,3,5,7
/proc/31779/task/31810/stat : 31810 (python) S 31773 31773 30970 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 658060192 299315200 6486 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 514 18446604464367268992 0 0 -1 5 0 0 0
[pid=31782] ppid=31773 vsize=292312 CPUtime=0.25 cores=1,3,5,7
/proc/31782/stat : 31782 (python) S 31773 31773 30970 0 -1 4202560 1101 0 0 0 12 13 0 0 18 0 2 0 658050151 299327488 6471 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/31782/statm: 73078 6471 400 364 0 8993 0
[pid=31784] ppid=31782 vsize=1018800 CPUtime=99.84 cores=1,3,5,7
/proc/31784/stat : 31784 (gnovelty+2) T 31782 31784 31784 0 -1 4202496 866 0 0 0 9984 0 0 0 25 0 1 0 658050152 1043251200 602 33554432000 134512640 135663704 4287132288 18446744073709551615 134524452 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/31784/statm: 254700 602 113 282 0 254416 0
[pid=31782/tid=31809] ppid=31773 vsize=292312 CPUtime=0 cores=1,3,5,7
/proc/31782/task/31809/stat : 31809 (python) S 31773 31773 30970 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 658060191 299327488 6471 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 514 18446604461348796224 0 0 -1 7 0 0 0
[pid=31785] ppid=31773 vsize=302568 CPUtime=0.26 cores=1,3,5,7
/proc/31785/stat : 31785 (python) S 31773 31773 30970 0 -1 4202560 1086 0 0 0 14 12 0 0 19 0 2 0 658050152 309829632 6492 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/31785/statm: 75642 6492 400 364 0 11554 0
[pid=31787] ppid=31785 vsize=420484 CPUtime=100.12 cores=1,3,5,7
/proc/31787/stat : 31787 (adaptg2wsat2009) T 31785 31787 31787 0 -1 4202496 1758 0 0 0 10012 0 0 0 25 0 1 0 658050153 430575616 1493 33554432000 134512640 135107411 4288714800 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/31787/statm: 105121 1493 59 146 0 103997 0
[pid=31785/tid=31811] ppid=31773 vsize=302568 CPUtime=0 cores=1,3,5,7
/proc/31785/task/31811/stat : 31811 (python) S 31773 31773 30970 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 658060192 309829632 6492 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 514 18446604461348795328 0 0 -1 3 0 0 0
[pid=31788] ppid=31773 vsize=312824 CPUtime=0.27 cores=1,3,5,7
/proc/31788/stat : 31788 (python) S 31773 31773 30970 0 -1 4202560 1105 0 0 0 14 13 0 0 18 0 2 0 658050154 320331776 6496 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/31788/statm: 78206 6496 400 364 0 14115 0
[pid=31790] ppid=31788 vsize=420484 CPUtime=100.09 cores=1,3,5,7
/proc/31790/stat : 31790 (adaptg2wsat2009) T 31788 31790 31790 0 -1 4202496 1757 0 0 0 10009 0 0 0 25 0 1 0 658050154 430575616 1492 33554432000 134512640 135107411 4289845472 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/31790/statm: 105121 1492 59 146 0 103997 0
[pid=31788/tid=31805] ppid=31773 vsize=312824 CPUtime=0 cores=1,3,5,7
/proc/31788/task/31805/stat : 31805 (python) S 31773 31773 30970 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 658060189 320331776 6496 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 514 18446604460305888384 0 0 -1 1 0 0 0
[pid=31806] ppid=31773 vsize=323080 CPUtime=0.26 cores=1,3,5,7
/proc/31806/stat : 31806 (python) S 31773 31773 30970 0 -1 4202560 946 0 0 0 12 14 0 0 18 0 1 0 658060190 330833920 6470 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 2681066745355010310 0 0 17 1 0 0 0
/proc/31806/statm: 80770 6470 371 364 0 16676 0
[pid=31808] ppid=31806 vsize=420484 CPUtime=97.39 cores=1,3,5,7
/proc/31808/stat : 31808 (adaptg2wsat2009) R 31806 31808 31808 0 -1 4202496 1759 0 0 0 9739 0 0 0 25 0 1 0 658060191 430575616 1493 33554432000 134512640 135107411 4290012864 18446744073709551615 134532376 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/31808/statm: 105121 1493 59 146 0 103997 0
[pid=31812] ppid=31773 vsize=333552 CPUtime=0.24 cores=1,3,5,7
/proc/31812/stat : 31812 (python) S 31773 31773 30970 0 -1 4202560 947 0 0 0 13 11 0 0 18 0 1 0 658060193 341557248 6511 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 2681066745355010309 0 0 17 3 0 0 0
/proc/31812/statm: 83388 6511 371 364 0 19291 0
[pid=31814] ppid=31812 vsize=1018800 CPUtime=97.1 cores=1,3,5,7
/proc/31814/stat : 31814 (gnovelty+2) R 31812 31814 31814 0 -1 4202496 864 0 0 0 9710 0 0 0 25 0 1 0 658060193 1043251200 603 33554432000 134512640 135663704 4293328496 18446744073709551615 134524711 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/31814/statm: 254700 603 113 282 0 254416 0
[pid=31815] ppid=31773 vsize=343808 CPUtime=0.26 cores=1,3,5,7
/proc/31815/stat : 31815 (python) S 31773 31773 30970 0 -1 4202560 944 0 0 0 13 13 0 0 18 0 1 0 658060194 352059392 6536 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 2681066745355010311 0 0 17 5 0 0 0
/proc/31815/statm: 85952 6536 371 364 0 21852 0
[pid=31817] ppid=31815 vsize=250368 CPUtime=95.53 cores=1,3,5,7
/proc/31817/stat : 31817 (FH) R 31815 31817 31817 0 -1 4202496 1671 0 0 0 9553 0 0 0 25 0 1 0 658060194 256376832 1408 33554432000 134512640 134936988 4294247680 18446744073709551615 134544756 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/31817/statm: 62592 1408 41 104 0 62096 0
[pid=31818] ppid=31773 vsize=354064 CPUtime=0.25 cores=1,3,5,7
/proc/31818/stat : 31818 (python) S 31773 31773 30970 0 -1 4202560 991 0 0 0 12 13 0 0 18 0 1 0 658060195 362561536 6546 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 2681066745355010310 0 0 17 1 0 0 0
/proc/31818/statm: 88516 6546 377 364 0 24413 0
[pid=31820] ppid=31818 vsize=420484 CPUtime=97.36 cores=1,3,5,7
/proc/31820/stat : 31820 (adaptg2wsat2009) R 31818 31820 31820 0 -1 4202496 1766 0 0 0 9736 0 0 0 25 0 1 0 658060195 430575616 1493 33554432000 134512640 135107411 4294028928 18446744073709551615 134531604 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/31820/statm: 105121 1493 59 146 0 103997 0
[pid=31773/tid=31780] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31780/stat : 31780 (python) S 31771 31773 30970 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 9 0 658050151 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 7 0 0 0
[pid=31773/tid=31783] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31783/stat : 31783 (python) S 31771 31773 30970 0 -1 4202560 25 932 0 0 0 0 0 0 21 0 9 0 658050152 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 3 0 0 0
[pid=31773/tid=31786] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31786/stat : 31786 (python) S 31771 31773 30970 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 9 0 658050153 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
[pid=31773/tid=31789] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31789/stat : 31789 (python) S 31771 31773 30970 0 -1 4202560 29 932 0 0 0 0 0 0 22 0 9 0 658050154 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
[pid=31773/tid=31807] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31807/stat : 31807 (python) S 31771 31773 30970 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 9 0 658060191 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
[pid=31773/tid=31813] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31813/stat : 31813 (python) S 31771 31773 30970 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 9 0 658060193 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 3 0 0 0
[pid=31773/tid=31816] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31816/stat : 31816 (python) S 31771 31773 30970 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 9 0 658060194 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 5 0 0 0
[pid=31773/tid=31819] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31819/stat : 31819 (python) S 31771 31773 30970 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 9 0 658060195 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 790.33
Current children cumulated vsize (KiB) 7907520

[startup+200.102 s]
/proc/loadavg: 8.62 8.37 7.70 9/419 31831
/proc/meminfo: memFree=11032376/32951124 swapFree=66050672/67111528
[pid=31773] ppid=31771 vsize=364308 CPUtime=1.64 cores=1,3,5,7
/proc/31773/stat : 31773 (python) S 31771 31773 30970 0 -1 4202496 18280 932 1 0 152 12 0 0 20 0 9 0 658049967 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 2 18446744073709551615 0 0 17 1 0 0 0
/proc/31773/statm: 91077 8065 1892 364 0 26974 0
[pid=31779] ppid=31773 vsize=292300 CPUtime=0.26 cores=1,3,5,7
/proc/31779/stat : 31779 (python) S 31773 31773 30970 0 -1 4202560 1159 0 0 0 12 14 0 0 19 0 2 0 658050150 299315200 6486 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 5 0 0 0
/proc/31779/statm: 73075 6486 415 364 0 8993 0
[pid=31781] ppid=31779 vsize=1018800 CPUtime=99.21 cores=1,3,5,7
/proc/31781/stat : 31781 (gnovelty+2) T 31779 31781 31781 0 -1 4202496 866 0 0 0 9921 0 0 0 25 0 1 0 658050151 1043251200 602 33554432000 134512640 135663704 4287132960 18446744073709551615 134525255 0 0 16781312 0 18446744071562691360 0 0 17 7 0 0 0
/proc/31781/statm: 254700 602 113 282 0 254416 0
[pid=31779/tid=31810] ppid=31773 vsize=292300 CPUtime=0 cores=1,3,5,7
/proc/31779/task/31810/stat : 31810 (python) S 31773 31773 30970 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 658060192 299315200 6486 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 514 18446604464367268992 0 0 -1 5 0 0 0
[pid=31782] ppid=31773 vsize=292312 CPUtime=0.25 cores=1,3,5,7
/proc/31782/stat : 31782 (python) S 31773 31773 30970 0 -1 4202560 1101 0 0 0 12 13 0 0 18 0 2 0 658050151 299327488 6471 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 7 0 0 0
/proc/31782/statm: 73078 6471 400 364 0 8993 0
[pid=31784] ppid=31782 vsize=1018800 CPUtime=99.84 cores=1,3,5,7
/proc/31784/stat : 31784 (gnovelty+2) T 31782 31784 31784 0 -1 4202496 866 0 0 0 9984 0 0 0 25 0 1 0 658050152 1043251200 602 33554432000 134512640 135663704 4287132288 18446744073709551615 134524452 0 0 16781312 0 18446744071562691360 0 0 17 1 0 0 0
/proc/31784/statm: 254700 602 113 282 0 254416 0
[pid=31782/tid=31809] ppid=31773 vsize=292312 CPUtime=0 cores=1,3,5,7
/proc/31782/task/31809/stat : 31809 (python) S 31773 31773 30970 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 658060191 299327488 6471 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 514 18446604461348796224 0 0 -1 7 0 0 0
[pid=31785] ppid=31773 vsize=302568 CPUtime=0.26 cores=1,3,5,7
/proc/31785/stat : 31785 (python) S 31773 31773 30970 0 -1 4202560 1086 0 0 0 14 12 0 0 19 0 2 0 658050152 309829632 6492 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 3 0 0 0
/proc/31785/statm: 75642 6492 400 364 0 11554 0
[pid=31787] ppid=31785 vsize=420484 CPUtime=100.12 cores=1,3,5,7
/proc/31787/stat : 31787 (adaptg2wsat2009) T 31785 31787 31787 0 -1 4202496 1758 0 0 0 10012 0 0 0 25 0 1 0 658050153 430575616 1493 33554432000 134512640 135107411 4288714800 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 5 0 0 0
/proc/31787/statm: 105121 1493 59 146 0 103997 0
[pid=31785/tid=31811] ppid=31773 vsize=302568 CPUtime=0 cores=1,3,5,7
/proc/31785/task/31811/stat : 31811 (python) S 31773 31773 30970 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 658060192 309829632 6492 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 514 18446604461348795328 0 0 -1 3 0 0 0
[pid=31788] ppid=31773 vsize=312824 CPUtime=0.27 cores=1,3,5,7
/proc/31788/stat : 31788 (python) S 31773 31773 30970 0 -1 4202560 1105 0 0 0 14 13 0 0 18 0 2 0 658050154 320331776 6496 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389128139 0 0 16781312 514 18446744073709551615 0 0 17 1 0 0 0
/proc/31788/statm: 78206 6496 400 364 0 14115 0
[pid=31790] ppid=31788 vsize=420484 CPUtime=100.09 cores=1,3,5,7
/proc/31790/stat : 31790 (adaptg2wsat2009) T 31788 31790 31790 0 -1 4202496 1757 0 0 0 10009 0 0 0 25 0 1 0 658050154 430575616 1492 33554432000 134512640 135107411 4289845472 18446744073709551615 134531613 0 0 16781312 0 18446744071562691360 0 0 17 3 0 0 0
/proc/31790/statm: 105121 1492 59 146 0 103997 0
[pid=31788/tid=31805] ppid=31773 vsize=312824 CPUtime=0 cores=1,3,5,7
/proc/31788/task/31805/stat : 31805 (python) S 31773 31773 30970 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 658060189 320331776 6496 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 514 18446604460305888384 0 0 -1 1 0 0 0
[pid=31806] ppid=31773 vsize=323080 CPUtime=0.26 cores=1,3,5,7
/proc/31806/stat : 31806 (python) S 31773 31773 30970 0 -1 4202560 946 0 0 0 12 14 0 0 18 0 1 0 658060190 330833920 6470 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 2681066745355010310 0 0 17 1 0 0 0
/proc/31806/statm: 80770 6470 371 364 0 16676 0
[pid=31808] ppid=31806 vsize=420488 CPUtime=97.6 cores=1,3,5,7
/proc/31808/stat : 31808 (adaptg2wsat2009) R 31806 31808 31808 0 -1 4202496 1760 0 0 0 9760 0 0 0 25 0 1 0 658060191 430579712 1494 33554432000 134512640 135107411 4290012864 18446744073709551615 134611854 0 0 16781312 0 0 0 0 17 5 0 0 0
/proc/31808/statm: 105122 1494 59 146 0 103998 0
[pid=31812] ppid=31773 vsize=333552 CPUtime=0.24 cores=1,3,5,7
/proc/31812/stat : 31812 (python) S 31773 31773 30970 0 -1 4202560 947 0 0 0 13 11 0 0 18 0 1 0 658060193 341557248 6511 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 2681066745355010309 0 0 17 3 0 0 0
/proc/31812/statm: 83388 6511 371 364 0 19291 0
[pid=31814] ppid=31812 vsize=1018800 CPUtime=97.31 cores=1,3,5,7
/proc/31814/stat : 31814 (gnovelty+2) R 31812 31814 31814 0 -1 4202496 864 0 0 0 9731 0 0 0 25 0 1 0 658060193 1043251200 603 33554432000 134512640 135663704 4293328496 18446744073709551615 134524918 0 0 16781312 0 0 0 0 17 1 0 0 0
/proc/31814/statm: 254700 603 113 282 0 254416 0
[pid=31815] ppid=31773 vsize=343808 CPUtime=0.26 cores=1,3,5,7
/proc/31815/stat : 31815 (python) S 31773 31773 30970 0 -1 4202560 944 0 0 0 13 13 0 0 18 0 1 0 658060194 352059392 6536 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 2681066745355010311 0 0 17 5 0 0 0
/proc/31815/statm: 85952 6536 371 364 0 21852 0
[pid=31817] ppid=31815 vsize=250368 CPUtime=95.73 cores=1,3,5,7
/proc/31817/stat : 31817 (FH) R 31815 31817 31817 0 -1 4202496 1671 0 0 0 9573 0 0 0 25 0 1 0 658060194 256376832 1408 33554432000 134512640 134936988 4294247680 18446744073709551615 134546311 0 0 16781312 0 0 0 0 17 7 0 0 0
/proc/31817/statm: 62592 1408 41 104 0 62096 0
[pid=31818] ppid=31773 vsize=354064 CPUtime=0.25 cores=1,3,5,7
/proc/31818/stat : 31818 (python) S 31773 31773 30970 0 -1 4202560 991 0 0 0 12 13 0 0 18 0 1 0 658060195 362561536 6546 33554432000 4194304 5683644 140733418876016 18446744073709551615 255377321542 0 0 16781312 514 2681066745355010310 0 0 17 1 0 0 0
/proc/31818/statm: 88516 6546 377 364 0 24413 0
[pid=31820] ppid=31818 vsize=420484 CPUtime=97.57 cores=1,3,5,7
/proc/31820/stat : 31820 (adaptg2wsat2009) R 31818 31820 31820 0 -1 4202496 1766 0 0 0 9757 0 0 0 25 0 1 0 658060195 430575616 1493 33554432000 134512640 135107411 4294028928 18446744073709551615 134532347 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/31820/statm: 105121 1493 59 146 0 103997 0
[pid=31773/tid=31780] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31780/stat : 31780 (python) S 31771 31773 30970 0 -1 4202560 24 932 0 0 0 0 0 0 19 0 9 0 658050151 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 7 0 0 0
[pid=31773/tid=31783] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31783/stat : 31783 (python) S 31771 31773 30970 0 -1 4202560 25 932 0 0 0 0 0 0 21 0 9 0 658050152 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 3 0 0 0
[pid=31773/tid=31786] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31786/stat : 31786 (python) S 31771 31773 30970 0 -1 4202560 25 932 0 0 0 0 0 0 20 0 9 0 658050153 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
[pid=31773/tid=31789] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31789/stat : 31789 (python) S 31771 31773 30970 0 -1 4202560 29 932 0 0 0 0 0 0 22 0 9 0 658050154 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
[pid=31773/tid=31807] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31807/stat : 31807 (python) S 31771 31773 30970 0 -1 4202560 27 932 0 0 0 0 0 0 20 0 9 0 658060191 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
[pid=31773/tid=31813] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31813/stat : 31813 (python) S 31771 31773 30970 0 -1 4202560 26 932 0 0 0 0 0 0 21 0 9 0 658060193 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 3 0 0 0
[pid=31773/tid=31816] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31816/stat : 31816 (python) S 31771 31773 30970 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 9 0 658060194 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 5 0 0 0
[pid=31773/tid=31819] ppid=31771 vsize=364308 CPUtime=0 cores=1,3,5,7
/proc/31773/task/31819/stat : 31819 (python) S 31771 31773 30970 0 -1 4202560 26 932 0 0 0 0 0 0 20 0 9 0 658060195 373051392 8065 33554432000 4194304 5683644 140733418876016 18446744073709551615 255389125041 0 0 16781312 2 18446604466851895232 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 791.16
Current children cumulated vsize (KiB) 7907524

Child status: 0
Real time (s): 200.168
CPU time (s): 791.48
CPU user time (s): 790.225
CPU system time (s): 1.25481
CPU usage (%): 395.407
Max. virtual memory (cumulated for all children) (KiB): 7907524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 790.225
system time used= 1.25481
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44493
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= 5585
involuntary context switches= 5968

runsolver used 1.02784 second user time and 2.30065 second system time

The end
Name	random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf
MD5SUM	637b75113dde2f4a15dbf158341be921
Bench Category	RANDOM (random instances)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	51.8421
Satisfiable
(Un)Satisfiability was proved
Number of variables	1250
Number of clauses	25000
Sum of the clauses size	125000
Maximum clause length	5
Minimum clause length	5
Number of clauses of size 1	0
Number of clauses of size 2	0
Number of clauses of size 3	0
Number of clauses of size 4	0
Number of clauses of size 5	25000
Number of clauses of size over 5	0
Trace number 3378290

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
