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

Solver Name	Answer	CPU time	Wall clock time
borg-sat 11.03.02-random	SAT	664.751	168.255
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-3317166-1304267910/watcher-3317166-1304267910 -o /tmp/evaluation-result-3317166-1304267910/solver-3317166-1304267910 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3317166-1304267910.cnf -seed 1199177234 -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: 7.89 7.02 3.89 7/231 28931
/proc/meminfo: memFree=29868432/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=15388 CPUtime=0 cores=0,2,4,6
/proc/28931/stat : 28931 (python) R 28929 28931 28639 0 -1 4202496 798 0 0 0 0 0 0 0 25 0 1 0 538390656 15757312 684 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647146128 0 0 16781312 2 0 0 0 17 4 0 0 0
/proc/28931/statm: 3846 684 323 364 0 333 0

[startup+0.074764 s]
/proc/loadavg: 7.89 7.02 3.89 7/231 28931
/proc/meminfo: memFree=29868432/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=38908 CPUtime=0.03 cores=0,2,4,6
/proc/28931/stat : 28931 (python) S 28929 28931 28639 0 -1 4202496 1665 0 0 0 3 0 0 0 25 0 1 0 538390656 39841792 1491 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/28931/statm: 9727 1491 455 364 0 1027 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 38908

[startup+0.100836 s]
/proc/loadavg: 7.89 7.02 3.89 7/231 28931
/proc/meminfo: memFree=29868432/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=87708 CPUtime=0.06 cores=0,2,4,6
/proc/28931/stat : 28931 (python) S 28929 28931 28639 0 -1 4202496 2639 0 0 0 5 1 0 0 25 0 1 0 538390656 89812992 2354 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647144448 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/28931/statm: 21927 2354 717 364 0 1623 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 87708

[startup+0.30073 s]
/proc/loadavg: 7.89 7.02 3.89 7/231 28931
/proc/meminfo: memFree=29868432/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=135752 CPUtime=0.17 cores=0,2,4,6
/proc/28931/stat : 28931 (python) S 28929 28931 28639 0 -1 4202496 5963 934 1 0 13 4 0 0 17 0 1 0 538390656 139010048 4151 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647142405 0 2147483391 16781312 2 18446744071699109054 0 0 17 6 0 0 0
/proc/28931/statm: 33938 4151 1032 364 0 3124 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 135752

[startup+0.706649 s]
/proc/loadavg: 7.89 7.02 3.89 7/231 28931
/proc/meminfo: memFree=29868432/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=280212 CPUtime=0.39 cores=0,2,4,6
/proc/28931/stat : 28931 (python) R 28929 28931 28639 0 -1 4202496 9702 934 1 0 30 9 0 0 16 0 1 0 538390656 286937088 7384 33554432000 4194304 5683644 140736713971904 18446744073709551615 4445115 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/28931/statm: 70053 7384 1761 364 0 5977 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 280212

[startup+1.5005 s]
/proc/loadavg: 7.89 7.02 3.89 6/232 28936
/proc/meminfo: memFree=29839720/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=285824 CPUtime=1.19 cores=0,2,4,6
/proc/28931/stat : 28931 (python) R 28929 28931 28639 0 -1 4202496 12061 934 1 0 110 9 0 0 17 0 1 0 538390656 292683776 8841 33554432000 4194304 5683644 140736713971904 18446744073709551615 47113224413941 0 0 16781312 2 0 0 0 17 2 0 0 0
/proc/28931/statm: 71456 8841 1827 364 0 7380 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 285824

[startup+3.10119 s]
/proc/loadavg: 7.89 7.02 3.89 9/244 28948
/proc/meminfo: memFree=29816440/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=323064 CPUtime=1.61 cores=0,2,4,6
/proc/28931/stat : 28931 (python) S 28929 28931 28639 0 -1 4202496 15001 934 1 0 151 10 0 0 20 0 5 0 538390656 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28931/statm: 80766 7981 1883 364 0 16675 0
[pid=28937] ppid=28931 vsize=282052 CPUtime=0 cores=0,2,4,6
/proc/28937/stat : 28937 (python) S 28931 28931 28639 0 -1 4202560 741 0 0 0 0 0 0 0 18 0 1 0 538390840 288821248 6419 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166479 0 0 16781312 514 4288648681848013058 0 0 17 6 0 0 0
/proc/28937/statm: 70513 6419 354 364 0 6431 0
[pid=28939] ppid=28937 vsize=1018800 CPUtime=1.25 cores=0,2,4,6
/proc/28939/stat : 28939 (gnovelty+2) R 28937 28939 28939 0 -1 4202496 865 0 0 0 125 0 0 0 22 0 1 0 538390840 1043251200 602 33554432000 134512640 135663704 4288885440 18446744073709551615 134525699 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/28939/statm: 254700 602 113 282 0 254416 0
[pid=28940] ppid=28931 vsize=292308 CPUtime=0 cores=0,2,4,6
/proc/28940/stat : 28940 (python) S 28931 28931 28639 0 -1 4202560 748 0 0 0 0 0 0 0 18 0 1 0 538390843 299323392 6417 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 10023003142443991298 0 0 17 6 0 0 0
/proc/28940/statm: 73077 6417 348 364 0 8992 0
[pid=28942] ppid=28940 vsize=1018800 CPUtime=1.22 cores=0,2,4,6
/proc/28942/stat : 28942 (gnovelty+2) R 28940 28942 28942 0 -1 4202496 867 0 0 0 122 0 0 0 25 0 1 0 538390843 1043251200 603 33554432000 134512640 135663704 4292584640 18446744073709551615 134544186 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/28942/statm: 254700 603 113 282 0 254416 0
[pid=28943] ppid=28931 vsize=302564 CPUtime=0 cores=0,2,4,6
/proc/28943/stat : 28943 (python) S 28931 28931 28639 0 -1 4202560 743 0 0 0 0 0 0 0 18 0 1 0 538390846 309825536 6438 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 3809922418626002943 0 0 17 2 0 0 0
/proc/28943/statm: 75641 6438 348 364 0 11553 0
[pid=28945] ppid=28943 vsize=420484 CPUtime=1.19 cores=0,2,4,6
/proc/28945/stat : 28945 (adaptg2wsat2009) R 28943 28945 28945 0 -1 4202496 1760 0 0 0 119 0 0 0 25 0 1 0 538390846 430575616 1492 33554432000 134512640 135107411 4290776496 18446744073709551615 134531600 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/28945/statm: 105121 1492 59 146 0 103997 0
[pid=28946] ppid=28931 vsize=312820 CPUtime=0 cores=0,2,4,6
/proc/28946/stat : 28946 (python) S 28931 28931 28639 0 -1 4202560 757 0 0 0 0 0 0 0 18 0 1 0 538390849 320327680 6442 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 4226200819436879871 0 0 17 4 0 0 0
/proc/28946/statm: 78205 6442 348 364 0 14114 0
[pid=28948] ppid=28946 vsize=420484 CPUtime=1.16 cores=0,2,4,6
/proc/28948/stat : 28948 (adaptg2wsat2009) R 28946 28948 28948 0 -1 4202496 1757 0 0 0 116 0 0 0 25 0 1 0 538390849 430575616 1492 33554432000 134512640 135107411 4289673952 18446744073709551615 134532128 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/28948/statm: 105121 1492 59 146 0 103997 0
[pid=28931/tid=28938] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28938/stat : 28938 (python) S 28929 28931 28639 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 5 0 538390840 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28941] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28941/stat : 28941 (python) S 28929 28931 28639 0 -1 4202560 24 934 0 0 0 0 0 0 21 0 5 0 538390843 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 6 0 0 0
[pid=28931/tid=28944] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28944/stat : 28944 (python) S 28929 28931 28639 0 -1 4202560 22 934 0 0 0 0 0 0 23 0 5 0 538390846 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 2 0 0 0
[pid=28931/tid=28947] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28947/stat : 28947 (python) S 28929 28931 28639 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 5 0 538390849 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.43
Current children cumulated vsize (KiB) 4391376

[startup+6.30065 s]
/proc/loadavg: 8.06 7.07 3.92 10/245 28949
/proc/meminfo: memFree=29810104/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=323064 CPUtime=1.61 cores=0,2,4,6
/proc/28931/stat : 28931 (python) S 28929 28931 28639 0 -1 4202496 15001 934 1 0 151 10 0 0 20 0 5 0 538390656 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28931/statm: 80766 7981 1883 364 0 16675 0
[pid=28937] ppid=28931 vsize=282052 CPUtime=0 cores=0,2,4,6
/proc/28937/stat : 28937 (python) S 28931 28931 28639 0 -1 4202560 905 0 0 0 0 0 0 0 18 0 1 0 538390840 288821248 6442 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166479 0 0 16781312 514 4288648681848013058 0 0 17 6 0 0 0
/proc/28937/statm: 70513 6442 377 364 0 6431 0
[pid=28939] ppid=28937 vsize=1018800 CPUtime=4.45 cores=0,2,4,6
/proc/28939/stat : 28939 (gnovelty+2) R 28937 28939 28939 0 -1 4202496 865 0 0 0 445 0 0 0 25 0 1 0 538390840 1043251200 602 33554432000 134512640 135663704 4288885440 18446744073709551615 134525708 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/28939/statm: 254700 602 113 282 0 254416 0
[pid=28940] ppid=28931 vsize=292308 CPUtime=0 cores=0,2,4,6
/proc/28940/stat : 28940 (python) S 28931 28931 28639 0 -1 4202560 922 0 0 0 0 0 0 0 18 0 1 0 538390843 299323392 6440 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 10023003142443991298 0 0 17 6 0 0 0
/proc/28940/statm: 73077 6440 371 364 0 8992 0
[pid=28942] ppid=28940 vsize=1018800 CPUtime=4.21 cores=0,2,4,6
/proc/28942/stat : 28942 (gnovelty+2) R 28940 28942 28942 0 -1 4202496 867 0 0 0 421 0 0 0 25 0 1 0 538390843 1043251200 603 33554432000 134512640 135663704 4292584640 18446744073709551615 134524540 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/28942/statm: 254700 603 113 282 0 254416 0
[pid=28943] ppid=28931 vsize=302564 CPUtime=0 cores=0,2,4,6
/proc/28943/stat : 28943 (python) S 28931 28931 28639 0 -1 4202560 903 0 0 0 0 0 0 0 18 0 1 0 538390846 309825536 6461 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 3809922418625970434 0 0 17 4 0 0 0
/proc/28943/statm: 75641 6461 371 364 0 11553 0
[pid=28945] ppid=28943 vsize=420484 CPUtime=3.87 cores=0,2,4,6
/proc/28945/stat : 28945 (adaptg2wsat2009) R 28943 28945 28945 0 -1 4202496 1760 0 0 0 384 3 0 0 25 0 1 0 538390846 430575616 1492 33554432000 134512640 135107411 4290776496 18446744073709551615 134539300 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/28945/statm: 105121 1492 59 146 0 103997 0
[pid=28946] ppid=28931 vsize=312820 CPUtime=0 cores=0,2,4,6
/proc/28946/stat : 28946 (python) S 28931 28931 28639 0 -1 4202560 938 0 0 0 0 0 0 0 18 0 1 0 538390849 320327680 6465 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 4226200819436879871 0 0 17 4 0 0 0
/proc/28946/statm: 78205 6465 371 364 0 14114 0
[pid=28948] ppid=28946 vsize=420484 CPUtime=4.3 cores=0,2,4,6
/proc/28948/stat : 28948 (adaptg2wsat2009) R 28946 28948 28948 0 -1 4202496 1757 0 0 0 430 0 0 0 25 0 1 0 538390849 430575616 1492 33554432000 134512640 135107411 4289673952 18446744073709551615 134531428 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/28948/statm: 105121 1492 59 146 0 103997 0
[pid=28931/tid=28938] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28938/stat : 28938 (python) S 28929 28931 28639 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 5 0 538390840 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28941] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28941/stat : 28941 (python) S 28929 28931 28639 0 -1 4202560 24 934 0 0 0 0 0 0 21 0 5 0 538390843 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 6 0 0 0
[pid=28931/tid=28944] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28944/stat : 28944 (python) S 28929 28931 28639 0 -1 4202560 22 934 0 0 0 0 0 0 23 0 5 0 538390846 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 2 0 0 0
[pid=28931/tid=28947] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28947/stat : 28947 (python) S 28929 28931 28639 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 5 0 538390849 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 18.44
Current children cumulated vsize (KiB) 4391376

[startup+12.7006 s]
/proc/loadavg: 8.29 7.14 3.96 10/245 28949
/proc/meminfo: memFree=29808552/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=323064 CPUtime=1.61 cores=0,2,4,6
/proc/28931/stat : 28931 (python) S 28929 28931 28639 0 -1 4202496 15001 934 1 0 151 10 0 0 20 0 5 0 538390656 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28931/statm: 80766 7981 1883 364 0 16675 0
[pid=28937] ppid=28931 vsize=282052 CPUtime=0 cores=0,2,4,6
/proc/28937/stat : 28937 (python) S 28931 28931 28639 0 -1 4202560 908 0 0 0 0 0 0 0 18 0 1 0 538390840 288821248 6442 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166479 0 0 16781312 514 8164375213539033346 0 0 17 6 0 0 0
/proc/28937/statm: 70513 6442 377 364 0 6431 0
[pid=28939] ppid=28937 vsize=1018800 CPUtime=10.85 cores=0,2,4,6
/proc/28939/stat : 28939 (gnovelty+2) R 28937 28939 28939 0 -1 4202496 865 0 0 0 1085 0 0 0 25 0 1 0 538390840 1043251200 602 33554432000 134512640 135663704 4288885440 18446744073709551615 134525276 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/28939/statm: 254700 602 113 282 0 254416 0
[pid=28940] ppid=28931 vsize=292308 CPUtime=0.02 cores=0,2,4,6
/proc/28940/stat : 28940 (python) S 28931 28931 28639 0 -1 4202560 925 0 0 0 1 1 0 0 18 0 1 0 538390843 299323392 6440 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 8164375213539033346 0 0 17 6 0 0 0
/proc/28940/statm: 73077 6440 371 364 0 8992 0
[pid=28942] ppid=28940 vsize=1018800 CPUtime=10.55 cores=0,2,4,6
/proc/28942/stat : 28942 (gnovelty+2) R 28940 28942 28942 0 -1 4202496 867 0 0 0 1055 0 0 0 25 0 1 0 538390843 1043251200 603 33554432000 134512640 135663704 4292584640 18446744073709551615 134525132 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/28942/statm: 254700 603 113 282 0 254416 0
[pid=28943] ppid=28931 vsize=302564 CPUtime=0.01 cores=0,2,4,6
/proc/28943/stat : 28943 (python) S 28931 28931 28639 0 -1 4202560 905 0 0 0 0 1 0 0 18 0 1 0 538390846 309825536 6461 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 8164375213539033346 0 0 17 4 0 0 0
/proc/28943/statm: 75641 6461 371 364 0 11553 0
[pid=28945] ppid=28943 vsize=420484 CPUtime=10.26 cores=0,2,4,6
/proc/28945/stat : 28945 (adaptg2wsat2009) R 28943 28945 28945 0 -1 4202496 1760 0 0 0 1023 3 0 0 25 0 1 0 538390846 430575616 1492 33554432000 134512640 135107411 4290776496 18446744073709551615 134531561 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/28945/statm: 105121 1492 59 146 0 103997 0
[pid=28946] ppid=28931 vsize=312820 CPUtime=0.01 cores=0,2,4,6
/proc/28946/stat : 28946 (python) S 28931 28931 28639 0 -1 4202560 940 0 0 0 0 1 0 0 18 0 1 0 538390849 320327680 6465 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 8164375213539033348 0 0 17 4 0 0 0
/proc/28946/statm: 78205 6465 371 364 0 14114 0
[pid=28948] ppid=28946 vsize=420484 CPUtime=10.7 cores=0,2,4,6
/proc/28948/stat : 28948 (adaptg2wsat2009) R 28946 28948 28948 0 -1 4202496 1757 0 0 0 1070 0 0 0 25 0 1 0 538390849 430575616 1492 33554432000 134512640 135107411 4289673952 18446744073709551615 134531600 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/28948/statm: 105121 1492 59 146 0 103997 0
[pid=28931/tid=28938] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28938/stat : 28938 (python) S 28929 28931 28639 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 5 0 538390840 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28941] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28941/stat : 28941 (python) S 28929 28931 28639 0 -1 4202560 24 934 0 0 0 0 0 0 21 0 5 0 538390843 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 6 0 0 0
[pid=28931/tid=28944] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28944/stat : 28944 (python) S 28929 28931 28639 0 -1 4202560 22 934 0 0 0 0 0 0 23 0 5 0 538390846 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 2 0 0 0
[pid=28931/tid=28947] ppid=28929 vsize=323064 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28947/stat : 28947 (python) S 28929 28931 28639 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 5 0 538390849 330817536 7981 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 44.01
Current children cumulated vsize (KiB) 4391376

[startup+25.5014 s]
/proc/loadavg: 8.23 7.18 4.02 9/245 28950
/proc/meminfo: memFree=29808792/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=323064 CPUtime=1.61 cores=0,2,4,6

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

[pid=28931/tid=28961] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28961/stat : 28961 (python) S 28929 28931 28639 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 9 0 538400865 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28964] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28964/stat : 28964 (python) S 28929 28931 28639 0 -1 4202560 24 934 0 0 0 0 0 0 22 0 9 0 538400869 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 0 0 0 0
[pid=28931/tid=28967] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28967/stat : 28967 (python) S 28929 28931 28639 0 -1 4202560 30 934 0 0 0 0 0 0 24 0 9 0 538400873 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 663.28
Current children cumulated vsize (KiB) 7907724

[startup+168.101 s]
/proc/loadavg: 8.12 7.52 4.59 9/265 28973
/proc/meminfo: memFree=29731100/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=364404 CPUtime=1.74 cores=0,2,4,6
/proc/28931/stat : 28931 (python) S 28929 28931 28639 0 -1 4202496 18558 934 1 0 163 11 0 0 24 0 9 0 538390656 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28931/statm: 91101 8068 1892 364 0 26998 0
[pid=28937] ppid=28931 vsize=292296 CPUtime=0.14 cores=0,2,4,6
/proc/28937/stat : 28937 (python) S 28931 28931 28639 0 -1 4202560 1093 0 0 0 6 8 0 0 19 0 2 0 538390840 299311104 6480 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/28937/statm: 73074 6480 410 364 0 8992 0
[pid=28939] ppid=28937 vsize=1018800 CPUtime=99.13 cores=0,2,4,6
/proc/28939/stat : 28939 (gnovelty+2) T 28937 28939 28939 0 -1 4202496 865 0 0 0 9913 0 0 0 25 0 1 0 538390840 1043251200 602 33554432000 134512640 135663704 4288885440 18446744073709551615 134525691 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/28939/statm: 254700 602 113 282 0 254416 0
[pid=28937/tid=28953] ppid=28931 vsize=292296 CPUtime=0 cores=0,2,4,6
/proc/28937/task/28953/stat : 28953 (python) S 28931 28931 28639 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538400758 299311104 6480 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 514 18446604453911222080 0 0 -1 6 0 0 0
[pid=28940] ppid=28931 vsize=292308 CPUtime=0.15 cores=0,2,4,6
/proc/28940/stat : 28940 (python) S 28931 28931 28639 0 -1 4202560 1105 0 0 0 8 7 0 0 19 0 2 0 538390843 299323392 6470 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/28940/statm: 73077 6470 400 364 0 8992 0
[pid=28942] ppid=28940 vsize=1018800 CPUtime=99.05 cores=0,2,4,6
/proc/28942/stat : 28942 (gnovelty+2) T 28940 28942 28942 0 -1 4202496 867 0 0 0 9905 0 0 0 25 0 1 0 538390843 1043251200 603 33554432000 134512640 135663704 4292584640 18446744073709551615 134545183 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/28942/statm: 254700 603 113 282 0 254416 0
[pid=28940/tid=28957] ppid=28931 vsize=292308 CPUtime=0 cores=0,2,4,6
/proc/28940/task/28957/stat : 28957 (python) S 28931 28931 28639 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538400861 299323392 6470 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 514 18446604446656420928 0 0 -1 6 0 0 0
[pid=28943] ppid=28931 vsize=302564 CPUtime=0.15 cores=0,2,4,6
/proc/28943/stat : 28943 (python) S 28931 28931 28639 0 -1 4202560 1094 0 0 0 8 7 0 0 19 0 2 0 538390846 309825536 6491 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28943/statm: 75641 6491 400 364 0 11553 0
[pid=28945] ppid=28943 vsize=420484 CPUtime=99.37 cores=0,2,4,6
/proc/28945/stat : 28945 (adaptg2wsat2009) T 28943 28945 28945 0 -1 4202496 1760 0 0 0 9934 3 0 0 25 0 1 0 538390846 430575616 1492 33554432000 134512640 135107411 4290776496 18446744073709551615 134532336 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/28945/statm: 105121 1492 59 146 0 103997 0
[pid=28943/tid=28960] ppid=28931 vsize=302564 CPUtime=0 cores=0,2,4,6
/proc/28943/task/28960/stat : 28960 (python) S 28931 28931 28639 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538400865 309825536 6491 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 514 18446604453799759936 0 0 -1 4 0 0 0
[pid=28946] ppid=28931 vsize=312820 CPUtime=0.14 cores=0,2,4,6
/proc/28946/stat : 28946 (python) S 28931 28931 28639 0 -1 4202560 1125 0 0 0 7 7 0 0 18 0 2 0 538390849 320327680 6495 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28946/statm: 78205 6495 400 364 0 14114 0
[pid=28948] ppid=28946 vsize=420484 CPUtime=100.06 cores=0,2,4,6
/proc/28948/stat : 28948 (adaptg2wsat2009) T 28946 28948 28948 0 -1 4202496 1757 0 0 0 10004 2 0 0 25 0 1 0 538390849 430575616 1492 33554432000 134512640 135107411 4289673952 18446744073709551615 134531380 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/28948/statm: 105121 1492 59 146 0 103997 0
[pid=28946/tid=28958] ppid=28931 vsize=312820 CPUtime=0 cores=0,2,4,6
/proc/28946/task/28958/stat : 28958 (python) S 28931 28931 28639 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 538400864 320327680 6495 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 514 18446604453896682304 0 0 -1 4 0 0 0
[pid=28954] ppid=28931 vsize=323076 CPUtime=0.11 cores=0,2,4,6
/proc/28954/stat : 28954 (python) S 28931 28931 28639 0 -1 4202560 947 0 0 0 7 4 0 0 18 0 1 0 538400761 330829824 6469 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 8164375213539033347 0 0 17 4 0 0 0
/proc/28954/statm: 80769 6469 371 364 0 16675 0
[pid=28956] ppid=28954 vsize=420484 CPUtime=66.36 cores=0,2,4,6
/proc/28956/stat : 28956 (adaptg2wsat2009) R 28954 28956 28956 0 -1 4202496 1761 0 0 0 6635 1 0 0 25 0 1 0 538400761 430575616 1493 33554432000 134512640 135107411 4294772816 18446744073709551615 134538035 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/28956/statm: 105121 1493 59 146 0 103997 0
[pid=28959] ppid=28931 vsize=333484 CPUtime=0.1 cores=0,2,4,6
/proc/28959/stat : 28959 (python) S 28931 28931 28639 0 -1 4202560 974 0 0 0 5 5 0 0 18 0 1 0 538400865 341487616 6494 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 8164375213539033347 0 0 17 4 0 0 0
/proc/28959/statm: 83371 6494 371 364 0 19274 0
[pid=28962] ppid=28959 vsize=1018800 CPUtime=65.96 cores=0,2,4,6
/proc/28962/stat : 28962 (gnovelty+2) R 28959 28962 28962 0 -1 4202496 866 0 0 0 6594 2 0 0 25 0 1 0 538400865 1043251200 602 33554432000 134512640 135663704 4289494832 18446744073709551615 134525691 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/28962/statm: 254700 602 113 282 0 254416 0
[pid=28963] ppid=28931 vsize=343904 CPUtime=0.1 cores=0,2,4,6
/proc/28963/stat : 28963 (python) S 28931 28931 28639 0 -1 4202560 964 0 0 0 4 6 0 0 18 0 1 0 538400869 352157696 6539 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 8164375213539033345 0 0 17 0 0 0 0
/proc/28963/statm: 85976 6539 371 364 0 21876 0
[pid=28965] ppid=28963 vsize=250372 CPUtime=65.83 cores=0,2,4,6
/proc/28965/stat : 28965 (FH) R 28963 28965 28965 0 -1 4202496 1672 0 0 0 6582 1 0 0 25 0 1 0 538400869 256380928 1407 33554432000 134512640 134936988 4292057520 18446744073709551615 134545080 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/28965/statm: 62593 1407 41 104 0 62097 0
[pid=28966] ppid=28931 vsize=354160 CPUtime=0.09 cores=0,2,4,6
/proc/28966/stat : 28966 (python) S 28931 28931 28639 0 -1 4202560 1006 0 0 0 5 4 0 0 18 0 1 0 538400872 362659840 6549 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 8164375213539033348 0 0 17 4 0 0 0
/proc/28966/statm: 88540 6549 377 364 0 24437 0
[pid=28968] ppid=28966 vsize=420484 CPUtime=65.6 cores=0,2,4,6
/proc/28968/stat : 28968 (adaptg2wsat2009) R 28966 28968 28968 0 -1 4202496 1764 0 0 0 6560 0 0 0 25 0 1 0 538400873 430575616 1493 33554432000 134512640 135107411 4288689872 18446744073709551615 134531928 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/28968/statm: 105121 1493 59 146 0 103997 0
[pid=28931/tid=28938] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28938/stat : 28938 (python) S 28929 28931 28639 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 9 0 538390840 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28941] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28941/stat : 28941 (python) S 28929 28931 28639 0 -1 4202560 24 934 0 0 0 0 0 0 21 0 9 0 538390843 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 6 0 0 0
[pid=28931/tid=28944] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28944/stat : 28944 (python) S 28929 28931 28639 0 -1 4202560 22 934 0 0 0 0 0 0 23 0 9 0 538390846 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 2 0 0 0
[pid=28931/tid=28947] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28947/stat : 28947 (python) S 28929 28931 28639 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 9 0 538390849 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28955] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28955/stat : 28955 (python) S 28929 28931 28639 0 -1 4202560 31 934 0 0 0 0 0 0 20 0 9 0 538400761 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28961] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28961/stat : 28961 (python) S 28929 28931 28639 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 9 0 538400865 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28964] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28964/stat : 28964 (python) S 28929 28931 28639 0 -1 4202560 24 934 0 0 0 0 0 0 22 0 9 0 538400869 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 0 0 0 0
[pid=28931/tid=28967] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28967/stat : 28967 (python) S 28929 28931 28639 0 -1 4202560 30 934 0 0 0 0 0 0 24 0 9 0 538400873 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 664.08
Current children cumulated vsize (KiB) 7907724

[startup+168.201 s]
/proc/loadavg: 8.12 7.52 4.59 9/265 28973
/proc/meminfo: memFree=29730976/32951132 swapFree=67080200/67111528
[pid=28931] ppid=28929 vsize=364404 CPUtime=1.74 cores=0,2,4,6
/proc/28931/stat : 28931 (python) S 28929 28931 28639 0 -1 4202496 18558 934 1 0 163 11 0 0 24 0 9 0 538390656 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 2 18446744073709551615 0 0 17 4 0 0 0
/proc/28931/statm: 91101 8068 1892 364 0 26998 0
[pid=28937] ppid=28931 vsize=292296 CPUtime=0.14 cores=0,2,4,6
/proc/28937/stat : 28937 (python) S 28931 28931 28639 0 -1 4202560 1093 0 0 0 6 8 0 0 19 0 2 0 538390840 299311104 6480 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/28937/statm: 73074 6480 410 364 0 8992 0
[pid=28939] ppid=28937 vsize=1018800 CPUtime=99.13 cores=0,2,4,6
/proc/28939/stat : 28939 (gnovelty+2) T 28937 28939 28939 0 -1 4202496 865 0 0 0 9913 0 0 0 25 0 1 0 538390840 1043251200 602 33554432000 134512640 135663704 4288885440 18446744073709551615 134525691 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/28939/statm: 254700 602 113 282 0 254416 0
[pid=28937/tid=28953] ppid=28931 vsize=292296 CPUtime=0 cores=0,2,4,6
/proc/28937/task/28953/stat : 28953 (python) S 28931 28931 28639 0 -1 4202560 50 0 0 0 0 0 0 0 19 0 2 0 538400758 299311104 6480 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 514 18446604453911222080 0 0 -1 6 0 0 0
[pid=28940] ppid=28931 vsize=292308 CPUtime=0.15 cores=0,2,4,6
/proc/28940/stat : 28940 (python) S 28931 28931 28639 0 -1 4202560 1105 0 0 0 8 7 0 0 19 0 2 0 538390843 299323392 6470 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 6 0 0 0
/proc/28940/statm: 73077 6470 400 364 0 8992 0
[pid=28942] ppid=28940 vsize=1018800 CPUtime=99.05 cores=0,2,4,6
/proc/28942/stat : 28942 (gnovelty+2) T 28940 28942 28942 0 -1 4202496 867 0 0 0 9905 0 0 0 25 0 1 0 538390843 1043251200 603 33554432000 134512640 135663704 4292584640 18446744073709551615 134545183 0 0 16781312 0 18446744071562691360 0 0 17 6 0 0 0
/proc/28942/statm: 254700 603 113 282 0 254416 0
[pid=28940/tid=28957] ppid=28931 vsize=292308 CPUtime=0 cores=0,2,4,6
/proc/28940/task/28957/stat : 28957 (python) S 28931 28931 28639 0 -1 4202560 46 0 0 0 0 0 0 0 19 0 2 0 538400861 299323392 6470 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 514 18446604446656420928 0 0 -1 6 0 0 0
[pid=28943] ppid=28931 vsize=302564 CPUtime=0.15 cores=0,2,4,6
/proc/28943/stat : 28943 (python) S 28931 28931 28639 0 -1 4202560 1094 0 0 0 8 7 0 0 19 0 2 0 538390846 309825536 6491 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28943/statm: 75641 6491 400 364 0 11553 0
[pid=28945] ppid=28943 vsize=420484 CPUtime=99.37 cores=0,2,4,6
/proc/28945/stat : 28945 (adaptg2wsat2009) T 28943 28945 28945 0 -1 4202496 1760 0 0 0 9934 3 0 0 25 0 1 0 538390846 430575616 1492 33554432000 134512640 135107411 4290776496 18446744073709551615 134532336 0 0 16781312 0 18446744071562691360 0 0 17 0 0 0 0
/proc/28945/statm: 105121 1492 59 146 0 103997 0
[pid=28943/tid=28960] ppid=28931 vsize=302564 CPUtime=0 cores=0,2,4,6
/proc/28943/task/28960/stat : 28960 (python) S 28931 28931 28639 0 -1 4202560 47 0 0 0 0 0 0 0 19 0 2 0 538400865 309825536 6491 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 514 18446604453799759936 0 0 -1 4 0 0 0
[pid=28946] ppid=28931 vsize=312820 CPUtime=0.14 cores=0,2,4,6
/proc/28946/stat : 28946 (python) S 28931 28931 28639 0 -1 4202560 1125 0 0 0 7 7 0 0 18 0 2 0 538390849 320327680 6495 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658973131 0 0 16781312 514 18446744073709551615 0 0 17 4 0 0 0
/proc/28946/statm: 78205 6495 400 364 0 14114 0
[pid=28948] ppid=28946 vsize=420484 CPUtime=100.06 cores=0,2,4,6
/proc/28948/stat : 28948 (adaptg2wsat2009) T 28946 28948 28948 0 -1 4202496 1757 0 0 0 10004 2 0 0 25 0 1 0 538390849 430575616 1492 33554432000 134512640 135107411 4289673952 18446744073709551615 134531380 0 0 16781312 0 18446744071562691360 0 0 17 2 0 0 0
/proc/28948/statm: 105121 1492 59 146 0 103997 0
[pid=28946/tid=28958] ppid=28931 vsize=312820 CPUtime=0 cores=0,2,4,6
/proc/28946/task/28958/stat : 28958 (python) S 28931 28931 28639 0 -1 4202560 45 0 0 0 0 0 0 0 19 0 2 0 538400864 320327680 6495 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 514 18446604453896682304 0 0 -1 4 0 0 0
[pid=28954] ppid=28931 vsize=323076 CPUtime=0.11 cores=0,2,4,6
/proc/28954/stat : 28954 (python) S 28931 28931 28639 0 -1 4202560 947 0 0 0 7 4 0 0 18 0 1 0 538400761 330829824 6469 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 8164375213539033347 0 0 17 4 0 0 0
/proc/28954/statm: 80769 6469 371 364 0 16675 0
[pid=28956] ppid=28954 vsize=420484 CPUtime=66.45 cores=0,2,4,6
/proc/28956/stat : 28956 (adaptg2wsat2009) R 28954 28956 28956 0 -1 4202496 1761 0 0 0 6644 1 0 0 25 0 1 0 538400761 430575616 1493 33554432000 134512640 135107411 4294772816 18446744073709551615 134531795 0 0 16781312 0 0 0 0 17 6 0 0 0
/proc/28956/statm: 105121 1493 59 146 0 103997 0
[pid=28959] ppid=28931 vsize=333484 CPUtime=0.1 cores=0,2,4,6
/proc/28959/stat : 28959 (python) S 28931 28931 28639 0 -1 4202560 974 0 0 0 5 5 0 0 18 0 1 0 538400865 341487616 6494 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 8164375213539033347 0 0 17 4 0 0 0
/proc/28959/statm: 83371 6494 371 364 0 19274 0
[pid=28962] ppid=28959 vsize=1018800 CPUtime=66.06 cores=0,2,4,6
/proc/28962/stat : 28962 (gnovelty+2) R 28959 28962 28962 0 -1 4202496 866 0 0 0 6604 2 0 0 25 0 1 0 538400865 1043251200 602 33554432000 134512640 135663704 4289494832 18446744073709551615 134524637 0 0 16781312 0 0 0 0 17 2 0 0 0
/proc/28962/statm: 254700 602 113 282 0 254416 0
[pid=28963] ppid=28931 vsize=343904 CPUtime=0.1 cores=0,2,4,6
/proc/28963/stat : 28963 (python) S 28931 28931 28639 0 -1 4202560 964 0 0 0 4 6 0 0 18 0 1 0 538400869 352157696 6539 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 8164375213539033345 0 0 17 0 0 0 0
/proc/28963/statm: 85976 6539 371 364 0 21876 0
[pid=28965] ppid=28963 vsize=250372 CPUtime=65.94 cores=0,2,4,6
/proc/28965/stat : 28965 (FH) R 28963 28965 28965 0 -1 4202496 1672 0 0 0 6593 1 0 0 25 0 1 0 538400869 256380928 1407 33554432000 134512640 134936988 4292057520 18446744073709551615 134554229 0 0 16781312 0 0 0 0 17 0 0 0 0
/proc/28965/statm: 62593 1407 41 104 0 62097 0
[pid=28966] ppid=28931 vsize=354160 CPUtime=0.09 cores=0,2,4,6
/proc/28966/stat : 28966 (python) S 28931 28931 28639 0 -1 4202560 1006 0 0 0 5 4 0 0 18 0 1 0 538400872 362659840 6549 33554432000 4194304 5683644 140736713971904 18446744073709551615 210647166534 0 0 16781312 514 8164375213539033348 0 0 17 4 0 0 0
/proc/28966/statm: 88540 6549 377 364 0 24437 0
[pid=28968] ppid=28966 vsize=420484 CPUtime=65.71 cores=0,2,4,6
/proc/28968/stat : 28968 (adaptg2wsat2009) R 28966 28968 28968 0 -1 4202496 1764 0 0 0 6571 0 0 0 25 0 1 0 538400873 430575616 1493 33554432000 134512640 135107411 4288689872 18446744073709551615 134532128 0 0 16781312 0 0 0 0 17 4 0 0 0
/proc/28968/statm: 105121 1493 59 146 0 103997 0
[pid=28931/tid=28938] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28938/stat : 28938 (python) S 28929 28931 28639 0 -1 4202560 27 934 0 0 0 0 0 0 19 0 9 0 538390840 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28941] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28941/stat : 28941 (python) S 28929 28931 28639 0 -1 4202560 24 934 0 0 0 0 0 0 21 0 9 0 538390843 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 6 0 0 0
[pid=28931/tid=28944] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28944/stat : 28944 (python) S 28929 28931 28639 0 -1 4202560 22 934 0 0 0 0 0 0 23 0 9 0 538390846 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 2 0 0 0
[pid=28931/tid=28947] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28947/stat : 28947 (python) S 28929 28931 28639 0 -1 4202560 28 934 0 0 0 0 0 0 20 0 9 0 538390849 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28955] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28955/stat : 28955 (python) S 28929 28931 28639 0 -1 4202560 31 934 0 0 0 0 0 0 20 0 9 0 538400761 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28961] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28961/stat : 28961 (python) S 28929 28931 28639 0 -1 4202560 25 934 0 0 0 0 0 0 20 0 9 0 538400865 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
[pid=28931/tid=28964] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28964/stat : 28964 (python) S 28929 28931 28639 0 -1 4202560 24 934 0 0 0 0 0 0 22 0 9 0 538400869 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 0 0 0 0
[pid=28931/tid=28967] ppid=28929 vsize=364404 CPUtime=0 cores=0,2,4,6
/proc/28931/task/28967/stat : 28967 (python) S 28929 28931 28639 0 -1 4202560 30 934 0 0 0 0 0 0 24 0 9 0 538400873 373149696 8068 33554432000 4194304 5683644 140736713971904 18446744073709551615 210658970033 0 0 16781312 2 18446604448102496448 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 664.49
Current children cumulated vsize (KiB) 7907724

Child status: 0
Real time (s): 168.255
CPU time (s): 664.751
CPU user time (s): 663.984
CPU system time (s): 0.766883
CPU usage (%): 395.084
Max. virtual memory (cumulated for all children) (KiB): 7907724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 663.984
system time used= 0.766883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44816
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= 3851
involuntary context switches= 3905

runsolver used 0.508922 second user time and 0.830873 second system time

The end
Name	random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf
MD5SUM	320e47ec6251e96728575b0221aebaa2
Bench Category	RANDOM (random instances)
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	17.7973
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 3317166

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
