PB'11 competition: satisfaction and optimization track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j CuttingPlanes 2.3.0	SAT	142.085	140.167
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3457130-1307217663/watcher-3457130-1307217663 -o /tmp/evaluation-result-3457130-1307217663/solver-3457130-1307217663 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457130-1307217663.opb 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.01 2.02 1.71 1/524 13486
/proc/meminfo: memFree=22756072/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/13486/stat : 13486 (java) S 13484 13486 13318 0 -1 4202496 2028 0 1 0 0 0 0 0 23 0 2 0 814182202 10681323520 1731 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522100197 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 2607745 1745 906 9 0 2598901 0
[pid=13486/tid=13487] ppid=13484 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13487/stat : 13487 (java) R 13484 13486 13318 0 -1 4202560 5596 0 1 0 0 0 0 0 24 0 2 0 814182203 10694979584 6412 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0957831 s]
/proc/loadavg: 2.01 2.02 1.71 1/524 13486
/proc/meminfo: memFree=22756072/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=10540188 CPUtime=0.1 cores=1,3,5,7
/proc/13486/stat : 13486 (java) S 13484 13486 13318 0 -1 4202496 12974 0 1 0 8 2 0 0 23 0 18 0 814182202 10793152512 12643 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 2635047 12643 2093 9 0 2625781 0
[pid=13486/tid=13487] ppid=13484 vsize=10540188 CPUtime=0.07 cores=1,3,5,7
/proc/13486/task/13487/stat : 13487 (java) R 13484 13486 13318 0 -1 4202560 11041 0 1 0 6 1 0 0 18 0 18 0 814182203 10793152512 12644 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 47221038812275 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540188

[startup+0.10079 s]
/proc/loadavg: 2.01 2.02 1.71 1/524 13486
/proc/meminfo: memFree=22756072/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=10540188 CPUtime=0.1 cores=1,3,5,7
/proc/13486/stat : 13486 (java) S 13484 13486 13318 0 -1 4202496 13050 0 1 0 8 2 0 0 23 0 18 0 814182202 10793152512 12719 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 2635047 12719 2093 9 0 2625781 0
[pid=13486/tid=13487] ppid=13484 vsize=10540188 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13487/stat : 13487 (java) R 13484 13486 13318 0 -1 4202560 11116 0 1 0 7 1 0 0 18 0 18 0 814182203 10793152512 12719 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 47221035876259 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540188

[startup+0.30778 s]
/proc/loadavg: 2.01 2.02 1.71 1/524 13486
/proc/meminfo: memFree=22756072/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=10544304 CPUtime=0.56 cores=1,3,5,7
/proc/13486/stat : 13486 (java) S 13484 13486 13318 0 -1 4202496 16425 0 1 0 53 3 0 0 23 0 19 0 814182202 10797367296 15663 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 2636076 15663 2213 9 0 2626810 0
[pid=13486/tid=13487] ppid=13484 vsize=10544304 CPUtime=0.29 cores=1,3,5,7
/proc/13486/task/13487/stat : 13487 (java) R 13484 13486 13318 0 -1 4202560 12906 0 1 0 27 2 0 0 19 0 19 0 814182203 10797367296 15663 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 46912505228269 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10544304

[startup+0.700662 s]
/proc/loadavg: 2.01 2.02 1.71 1/524 13486
/proc/meminfo: memFree=22756072/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=10558920 CPUtime=1.73 cores=1,3,5,7
/proc/13486/stat : 13486 (java) S 13484 13486 13318 0 -1 4202496 30913 0 1 0 168 5 0 0 23 0 19 0 814182202 10812334080 27997 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 2639730 27999 2231 9 0 2630464 0
[pid=13486/tid=13487] ppid=13484 vsize=10558920 CPUtime=0.68 cores=1,3,5,7
/proc/13486/task/13487/stat : 13487 (java) R 13484 13486 13318 0 -1 4202560 18514 0 1 0 65 3 0 0 19 0 19 0 814182203 10812334080 28000 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 46912505642074 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.73
Current children cumulated vsize (KiB) 10558920

[startup+1.50152 s]
/proc/loadavg: 2.01 2.02 1.71 2/540 13614
/proc/meminfo: memFree=22574920/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=10556612 CPUtime=2.83 cores=1,3,5,7
/proc/13486/stat : 13486 (java) S 13484 13486 13318 0 -1 4202496 96461 0 1 0 270 13 0 0 23 0 19 0 814182202 10809970688 92856 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 2639153 92861 2236 9 0 2629887 0
[pid=13486/tid=13487] ppid=13484 vsize=10556612 CPUtime=1.48 cores=1,3,5,7
/proc/13486/task/13487/stat : 13487 (java) R 13484 13486 13318 0 -1 4202560 83860 0 1 0 137 11 0 0 20 0 19 0 814182203 10809970688 92863 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 46912505864468 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13486/tid=13489] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13489/stat : 13489 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 92868 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13490] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13490/stat : 13490 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 92871 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13491] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13491/stat : 13491 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 92875 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13492] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13492/stat : 13492 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 92878 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13493] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13493/stat : 13493 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 92882 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13494] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13494/stat : 13494 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 92885 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13495] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13495/stat : 13495 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 92889 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13496] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13496/stat : 13496 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814182205 10809970688 92892 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13497] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13497/stat : 13497 (java) S 13484 13486 13318 0 -1 4202560 5 0 0 0 0 0 0 0 19 0 19 0 814182206 10809970688 92894 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 0 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13498] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13498/stat : 13498 (java) S 13484 13486 13318 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814182206 10809970688 92898 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13499] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13499/stat : 13499 (java) S 13484 13486 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182206 10809970688 92901 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13500] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13500/stat : 13500 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 92904 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522121137 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13501] ppid=13484 vsize=10556612 CPUtime=0.62 cores=1,3,5,7
/proc/13486/task/13501/stat : 13501 (java) R 13484 13486 13318 0 -1 4202560 4887 0 0 0 62 0 0 0 19 0 19 0 814182208 10809970688 92907 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 47221039370680 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=13486/tid=13502] ppid=13484 vsize=10556612 CPUtime=0.69 cores=1,3,5,7
/proc/13486/task/13502/stat : 13502 (java) S 13484 13486 13318 0 -1 4202560 6561 0 0 0 69 0 0 0 15 0 19 0 814182208 10809970688 92910 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13503] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13503/stat : 13503 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 92913 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13504] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13504/stat : 13504 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814182208 10809970688 92917 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13522] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13522/stat : 13522 (java) S 13484 13486 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182229 10809970688 92919 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 10556612

[startup+3.10124 s]
/proc/loadavg: 1.93 2.01 1.70 2/540 13614
/proc/meminfo: memFree=22200568/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=10556612 CPUtime=4.48 cores=1,3,5,7
/proc/13486/stat : 13486 (java) S 13484 13486 13318 0 -1 4202496 225547 0 1 0 419 29 0 0 23 0 19 0 814182202 10809970688 221941 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 2639153 221944 2236 9 0 2629887 0
[pid=13486/tid=13487] ppid=13484 vsize=10556612 CPUtime=3.08 cores=1,3,5,7
/proc/13486/task/13487/stat : 13487 (java) R 13484 13486 13318 0 -1 4202560 212936 0 1 0 281 27 0 0 25 0 19 0 814182203 10809970688 221945 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 46912505642059 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13486/tid=13489] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13489/stat : 13489 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 221946 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13490] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13490/stat : 13490 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 221948 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13491] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13491/stat : 13491 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 221949 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13492] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13492/stat : 13492 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 221950 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13493] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13493/stat : 13493 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 221952 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13494] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13494/stat : 13494 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 221953 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13495] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13495/stat : 13495 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 221955 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13496] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13496/stat : 13496 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814182205 10809970688 221956 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13497] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13497/stat : 13497 (java) S 13484 13486 13318 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 814182206 10809970688 221958 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 0 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13498] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13498/stat : 13498 (java) S 13484 13486 13318 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814182206 10809970688 221959 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13499] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13499/stat : 13499 (java) S 13484 13486 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182206 10809970688 221960 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13500] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13500/stat : 13500 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 221962 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522121137 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13501] ppid=13484 vsize=10556612 CPUtime=0.67 cores=1,3,5,7
/proc/13486/task/13501/stat : 13501 (java) S 13484 13486 13318 0 -1 4202560 4892 0 0 0 67 0 0 0 16 0 19 0 814182208 10809970688 221963 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 5 0 0 0
[pid=13486/tid=13502] ppid=13484 vsize=10556612 CPUtime=0.7 cores=1,3,5,7
/proc/13486/task/13502/stat : 13502 (java) S 13484 13486 13318 0 -1 4202560 6562 0 0 0 70 0 0 0 15 0 19 0 814182208 10809970688 221964 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13503] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13503/stat : 13503 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 221966 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13504] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13504/stat : 13504 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814182208 10809970688 221967 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13522] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13522/stat : 13522 (java) S 13484 13486 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182229 10809970688 221968 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.48
Current children cumulated vsize (KiB) 10556612

[startup+6.30069 s]
/proc/loadavg: 1.93 2.01 1.70 3/563 13642
/proc/meminfo: memFree=20808200/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=10556612 CPUtime=7.68 cores=1,3,5,7
/proc/13486/stat : 13486 (java) S 13484 13486 13318 0 -1 4202496 496577 0 1 0 708 60 0 0 23 0 19 0 814182202 10809970688 492389 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 2639153 492393 2236 9 0 2629887 0
[pid=13486/tid=13487] ppid=13484 vsize=10556612 CPUtime=6.28 cores=1,3,5,7
/proc/13486/task/13487/stat : 13487 (java) R 13484 13486 13318 0 -1 4202560 483968 0 1 0 570 58 0 0 25 0 19 0 814182203 10809970688 492395 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 46912505748780 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13486/tid=13489] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13489/stat : 13489 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 492397 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13490] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13490/stat : 13490 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 492399 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13491] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13491/stat : 13491 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 492402 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13492] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13492/stat : 13492 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 492405 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13493] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13493/stat : 13493 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 492407 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13494] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13494/stat : 13494 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 492410 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13495] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13495/stat : 13495 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182205 10809970688 492412 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13496] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13496/stat : 13496 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814182205 10809970688 492414 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13497] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13497/stat : 13497 (java) S 13484 13486 13318 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 814182206 10809970688 492417 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 0 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13498] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13498/stat : 13498 (java) S 13484 13486 13318 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814182206 10809970688 492419 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13499] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13499/stat : 13499 (java) S 13484 13486 13318 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814182206 10809970688 492422 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13500] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13500/stat : 13500 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 492424 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522121137 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13501] ppid=13484 vsize=10556612 CPUtime=0.67 cores=1,3,5,7
/proc/13486/task/13501/stat : 13501 (java) S 13484 13486 13318 0 -1 4202560 4892 0 0 0 67 0 0 0 15 0 19 0 814182208 10809970688 492427 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 5 0 0 0
[pid=13486/tid=13502] ppid=13484 vsize=10556612 CPUtime=0.7 cores=1,3,5,7
/proc/13486/task/13502/stat : 13502 (java) S 13484 13486 13318 0 -1 4202560 6562 0 0 0 70 0 0 0 15 0 19 0 814182208 10809970688 492428 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0

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

[pid=13486/tid=13494] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13494/stat : 13494 (java) S 13484 13486 13318 0 -1 4202560 4042 0 0 0 8 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13495] ppid=13484 vsize=10556612 CPUtime=0.1 cores=1,3,5,7
/proc/13486/task/13495/stat : 13495 (java) S 13484 13486 13318 0 -1 4202560 5432 0 0 0 10 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13496] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13496/stat : 13496 (java) S 13484 13486 13318 0 -1 4202560 4687 0 0 0 8 0 0 0 16 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13497] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13497/stat : 13497 (java) S 13484 13486 13318 0 -1 4202560 3954 0 0 0 8 0 0 0 15 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 0 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13498] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13498/stat : 13498 (java) S 13484 13486 13318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13499] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13499/stat : 13499 (java) S 13484 13486 13318 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13500] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13500/stat : 13500 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522121137 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13501] ppid=13484 vsize=10556612 CPUtime=0.75 cores=1,3,5,7
/proc/13486/task/13501/stat : 13501 (java) S 13484 13486 13318 0 -1 4202560 4917 0 0 0 75 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 5 0 0 0
[pid=13486/tid=13502] ppid=13484 vsize=10556612 CPUtime=0.71 cores=1,3,5,7
/proc/13486/task/13502/stat : 13502 (java) S 13484 13486 13318 0 -1 4202560 6569 0 0 0 71 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13503] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13503/stat : 13503 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13504] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13504/stat : 13504 (java) S 13484 13486 13318 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13522] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13522/stat : 13522 (java) S 13484 13486 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182229 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 136.19
Current children cumulated vsize (KiB) 10556612

[startup+137.52 s]
/proc/loadavg: 2.21 2.09 1.77 3/563 13694
/proc/meminfo: memFree=15659336/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=10556612 CPUtime=139.41 cores=1,3,5,7
/proc/13486/stat : 13486 (java) S 13484 13486 13318 0 -1 4202496 885806 0 1 0 13837 104 0 0 23 0 19 0 814182202 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 2639153 881323 2265 9 0 2629887 0
[pid=13486/tid=13487] ppid=13484 vsize=10556612 CPUtime=137.19 cores=1,3,5,7
/proc/13486/task/13487/stat : 13487 (java) R 13484 13486 13318 0 -1 4202560 835826 0 1 0 13622 97 0 0 25 0 19 0 814182203 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 46912505726806 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13486/tid=13489] ppid=13484 vsize=10556612 CPUtime=0.06 cores=1,3,5,7
/proc/13486/task/13489/stat : 13489 (java) S 13484 13486 13318 0 -1 4202560 4427 0 0 0 6 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13490] ppid=13484 vsize=10556612 CPUtime=0.05 cores=1,3,5,7
/proc/13486/task/13490/stat : 13490 (java) S 13484 13486 13318 0 -1 4202560 2789 0 0 0 5 0 0 0 16 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13491] ppid=13484 vsize=10556612 CPUtime=0.06 cores=1,3,5,7
/proc/13486/task/13491/stat : 13491 (java) S 13484 13486 13318 0 -1 4202560 4055 0 0 0 6 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13492] ppid=13484 vsize=10556612 CPUtime=0.05 cores=1,3,5,7
/proc/13486/task/13492/stat : 13492 (java) S 13484 13486 13318 0 -1 4202560 3869 0 0 0 5 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13493] ppid=13484 vsize=10556612 CPUtime=0.07 cores=1,3,5,7
/proc/13486/task/13493/stat : 13493 (java) S 13484 13486 13318 0 -1 4202560 4081 0 0 0 7 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13494] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13494/stat : 13494 (java) S 13484 13486 13318 0 -1 4202560 4042 0 0 0 8 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13495] ppid=13484 vsize=10556612 CPUtime=0.1 cores=1,3,5,7
/proc/13486/task/13495/stat : 13495 (java) S 13484 13486 13318 0 -1 4202560 5432 0 0 0 10 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13496] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13496/stat : 13496 (java) S 13484 13486 13318 0 -1 4202560 4687 0 0 0 8 0 0 0 16 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13497] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13497/stat : 13497 (java) S 13484 13486 13318 0 -1 4202560 3954 0 0 0 8 0 0 0 15 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 0 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13498] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13498/stat : 13498 (java) S 13484 13486 13318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13499] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13499/stat : 13499 (java) S 13484 13486 13318 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13500] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13500/stat : 13500 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522121137 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13501] ppid=13484 vsize=10556612 CPUtime=0.75 cores=1,3,5,7
/proc/13486/task/13501/stat : 13501 (java) S 13484 13486 13318 0 -1 4202560 4917 0 0 0 75 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 5 0 0 0
[pid=13486/tid=13502] ppid=13484 vsize=10556612 CPUtime=0.71 cores=1,3,5,7
/proc/13486/task/13502/stat : 13502 (java) S 13484 13486 13318 0 -1 4202560 6569 0 0 0 71 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13503] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13503/stat : 13503 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13504] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13504/stat : 13504 (java) S 13484 13486 13318 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13522] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13522/stat : 13522 (java) S 13484 13486 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182229 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 139.41
Current children cumulated vsize (KiB) 10556612

[startup+139.101 s]
/proc/loadavg: 2.21 2.09 1.77 3/563 13694
/proc/meminfo: memFree=15659336/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=10556612 CPUtime=140.99 cores=1,3,5,7
/proc/13486/stat : 13486 (java) S 13484 13486 13318 0 -1 4202496 885806 0 1 0 13995 104 0 0 23 0 19 0 814182202 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 2639153 881323 2265 9 0 2629887 0
[pid=13486/tid=13487] ppid=13484 vsize=10556612 CPUtime=138.78 cores=1,3,5,7
/proc/13486/task/13487/stat : 13487 (java) R 13484 13486 13318 0 -1 4202560 835826 0 1 0 13781 97 0 0 25 0 19 0 814182203 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 46912505688272 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13486/tid=13489] ppid=13484 vsize=10556612 CPUtime=0.06 cores=1,3,5,7
/proc/13486/task/13489/stat : 13489 (java) S 13484 13486 13318 0 -1 4202560 4427 0 0 0 6 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13490] ppid=13484 vsize=10556612 CPUtime=0.05 cores=1,3,5,7
/proc/13486/task/13490/stat : 13490 (java) S 13484 13486 13318 0 -1 4202560 2789 0 0 0 5 0 0 0 16 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13491] ppid=13484 vsize=10556612 CPUtime=0.06 cores=1,3,5,7
/proc/13486/task/13491/stat : 13491 (java) S 13484 13486 13318 0 -1 4202560 4055 0 0 0 6 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13492] ppid=13484 vsize=10556612 CPUtime=0.05 cores=1,3,5,7
/proc/13486/task/13492/stat : 13492 (java) S 13484 13486 13318 0 -1 4202560 3869 0 0 0 5 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13493] ppid=13484 vsize=10556612 CPUtime=0.07 cores=1,3,5,7
/proc/13486/task/13493/stat : 13493 (java) S 13484 13486 13318 0 -1 4202560 4081 0 0 0 7 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13494] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13494/stat : 13494 (java) S 13484 13486 13318 0 -1 4202560 4042 0 0 0 8 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13495] ppid=13484 vsize=10556612 CPUtime=0.1 cores=1,3,5,7
/proc/13486/task/13495/stat : 13495 (java) S 13484 13486 13318 0 -1 4202560 5432 0 0 0 10 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13496] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13496/stat : 13496 (java) S 13484 13486 13318 0 -1 4202560 4687 0 0 0 8 0 0 0 16 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13497] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13497/stat : 13497 (java) S 13484 13486 13318 0 -1 4202560 3954 0 0 0 8 0 0 0 15 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 0 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13498] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13498/stat : 13498 (java) S 13484 13486 13318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13499] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13499/stat : 13499 (java) S 13484 13486 13318 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13500] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13500/stat : 13500 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522121137 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13501] ppid=13484 vsize=10556612 CPUtime=0.75 cores=1,3,5,7
/proc/13486/task/13501/stat : 13501 (java) S 13484 13486 13318 0 -1 4202560 4917 0 0 0 75 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 5 0 0 0
[pid=13486/tid=13502] ppid=13484 vsize=10556612 CPUtime=0.71 cores=1,3,5,7
/proc/13486/task/13502/stat : 13502 (java) S 13484 13486 13318 0 -1 4202560 6569 0 0 0 71 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13503] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13503/stat : 13503 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13504] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13504/stat : 13504 (java) S 13484 13486 13318 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13522] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13522/stat : 13522 (java) S 13484 13486 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182229 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 140.99
Current children cumulated vsize (KiB) 10556612

[startup+139.901 s]
/proc/loadavg: 2.21 2.09 1.77 3/563 13694
/proc/meminfo: memFree=15659212/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=10556612 CPUtime=141.79 cores=1,3,5,7
/proc/13486/stat : 13486 (java) S 13484 13486 13318 0 -1 4202496 885806 0 1 0 14075 104 0 0 23 0 19 0 814182202 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 2639153 881323 2265 9 0 2629887 0
[pid=13486/tid=13487] ppid=13484 vsize=10556612 CPUtime=139.57 cores=1,3,5,7
/proc/13486/task/13487/stat : 13487 (java) R 13484 13486 13318 0 -1 4202560 835826 0 1 0 13860 97 0 0 25 0 19 0 814182203 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 46912505641977 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13486/tid=13489] ppid=13484 vsize=10556612 CPUtime=0.06 cores=1,3,5,7
/proc/13486/task/13489/stat : 13489 (java) S 13484 13486 13318 0 -1 4202560 4427 0 0 0 6 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13490] ppid=13484 vsize=10556612 CPUtime=0.05 cores=1,3,5,7
/proc/13486/task/13490/stat : 13490 (java) S 13484 13486 13318 0 -1 4202560 2789 0 0 0 5 0 0 0 16 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13491] ppid=13484 vsize=10556612 CPUtime=0.06 cores=1,3,5,7
/proc/13486/task/13491/stat : 13491 (java) S 13484 13486 13318 0 -1 4202560 4055 0 0 0 6 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13492] ppid=13484 vsize=10556612 CPUtime=0.05 cores=1,3,5,7
/proc/13486/task/13492/stat : 13492 (java) S 13484 13486 13318 0 -1 4202560 3869 0 0 0 5 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13493] ppid=13484 vsize=10556612 CPUtime=0.07 cores=1,3,5,7
/proc/13486/task/13493/stat : 13493 (java) S 13484 13486 13318 0 -1 4202560 4081 0 0 0 7 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13494] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13494/stat : 13494 (java) S 13484 13486 13318 0 -1 4202560 4042 0 0 0 8 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13495] ppid=13484 vsize=10556612 CPUtime=0.1 cores=1,3,5,7
/proc/13486/task/13495/stat : 13495 (java) S 13484 13486 13318 0 -1 4202560 5432 0 0 0 10 0 0 0 15 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 7 0 0 0
[pid=13486/tid=13496] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13496/stat : 13496 (java) S 13484 13486 13318 0 -1 4202560 4687 0 0 0 8 0 0 0 16 0 19 0 814182205 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13497] ppid=13484 vsize=10556612 CPUtime=0.08 cores=1,3,5,7
/proc/13486/task/13497/stat : 13497 (java) S 13484 13486 13318 0 -1 4202560 3954 0 0 0 8 0 0 0 15 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 0 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13498] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13498/stat : 13498 (java) S 13484 13486 13318 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13499] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13499/stat : 13499 (java) S 13484 13486 13318 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 814182206 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13500] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13500/stat : 13500 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522121137 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13501] ppid=13484 vsize=10556612 CPUtime=0.75 cores=1,3,5,7
/proc/13486/task/13501/stat : 13501 (java) S 13484 13486 13318 0 -1 4202560 4917 0 0 0 75 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 5 0 0 0
[pid=13486/tid=13502] ppid=13484 vsize=10556612 CPUtime=0.71 cores=1,3,5,7
/proc/13486/task/13502/stat : 13502 (java) S 13484 13486 13318 0 -1 4202560 6569 0 0 0 71 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13503] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13503/stat : 13503 (java) S 13484 13486 13318 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522113433 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
[pid=13486/tid=13504] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13504/stat : 13504 (java) S 13484 13486 13318 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 814182208 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 1 0 0 0
[pid=13486/tid=13522] ppid=13484 vsize=10556612 CPUtime=0 cores=1,3,5,7
/proc/13486/task/13522/stat : 13522 (java) S 13484 13486 13318 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182229 10809970688 881323 33554432000 1073741824 1073778376 140733781935600 18446744073709551615 233522114048 0 4 0 16800975 18446604457737161600 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 141.79
Current children cumulated vsize (KiB) 10556612

[startup+140.101 s]
/proc/loadavg: 2.21 2.09 1.77 3/563 13694
/proc/meminfo: memFree=15659212/32951124 swapFree=64303760/67111528
[pid=13486] ppid=13484 vsize=0 CPUtime=142.01 cores=1,3,5,7
/proc/13486/stat : 13486 (java) Z 13484 13486 13318 0 -1 4203548 886249 0 1 0 14090 111 0 0 18 0 2 0 814182202 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/13486/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 142.01
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 140.167
CPU time (s): 142.085
CPU user time (s): 140.902
CPU system time (s): 1.18382
CPU usage (%): 101.368
Max. virtual memory (cumulated for all children) (KiB): 10558920

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.902
system time used= 1.18382
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 886249
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= 3669
involuntary context switches= 1418

runsolver used 0.707892 second user time and 1.74273 second system time

The end
Name	normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
MD5SUM	67169e121732ee6d464f6ac82d33a699
Bench Category	DEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	0
Best CPU time to get the best result obtained on this benchmark	0.018996
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function
Optimality of the best value was proved	NO
Number of variables	938
Total number of constraints	700
Number of constraints which are clauses	650
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0
Trace number 3457130

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
