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

Solver Name	Answer	CPU time	Wall clock time
Sat4j CuttingPlanes 2.3.0	SAT	331.876	329.585
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-3457154-1307217666/watcher-3457154-1307217666 -o /tmp/evaluation-result-3457154-1307217666/solver-3457154-1307217666 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457154-1307217666.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.00 2.00 1.70 1/530 24639
/proc/meminfo: memFree=25011060/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24639/stat : 24639 (java) S 24637 24639 24457 0 -1 4202496 4889 0 1 0 0 0 0 0 22 0 2 0 814182867 10694979584 4591 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 2611079 4606 917 9 0 2602235 0
[pid=24639/tid=24640] ppid=24637 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24640/stat : 24640 (java) R 24637 24639 24457 0 -1 4202560 6057 0 1 0 0 0 0 0 23 0 2 0 814182868 10694979584 6874 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212039349307 0 4 0 16784584 0 0 0 -1 3 0 0 0

[startup+0.0965711 s]
/proc/loadavg: 2.00 2.00 1.70 1/530 24639
/proc/meminfo: memFree=25011060/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=10540156 CPUtime=0.08 cores=1,3,5,7
/proc/24639/stat : 24639 (java) S 24637 24639 24457 0 -1 4202496 12929 0 1 0 7 1 0 0 22 0 18 0 814182867 10793119744 12626 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 2635039 12628 2092 9 0 2625773 0
[pid=24639/tid=24640] ppid=24637 vsize=10540156 CPUtime=0.07 cores=1,3,5,7
/proc/24639/task/24640/stat : 24640 (java) R 24637 24639 24457 0 -1 4202560 11044 0 1 0 6 1 0 0 18 0 18 0 814182868 10793119744 12629 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 47606322850915 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10540156

[startup+0.100528 s]
/proc/loadavg: 2.00 2.00 1.70 1/530 24639
/proc/meminfo: memFree=25011060/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=10540156 CPUtime=0.09 cores=1,3,5,7
/proc/24639/stat : 24639 (java) S 24637 24639 24457 0 -1 4202496 12994 0 1 0 8 1 0 0 22 0 18 0 814182867 10793119744 12691 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 2635039 12691 2092 9 0 2625773 0
[pid=24639/tid=24640] ppid=24637 vsize=10540156 CPUtime=0.08 cores=1,3,5,7
/proc/24639/task/24640/stat : 24640 (java) R 24637 24639 24457 0 -1 4202560 11106 0 1 0 7 1 0 0 18 0 18 0 814182868 10793119744 12691 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051482059 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540156

[startup+0.30045 s]
/proc/loadavg: 2.00 2.00 1.70 1/530 24639
/proc/meminfo: memFree=25011060/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=10543056 CPUtime=0.48 cores=1,3,5,7
/proc/24639/stat : 24639 (java) S 24637 24639 24457 0 -1 4202496 15920 0 1 0 46 2 0 0 22 0 19 0 814182867 10796089344 15349 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 2635764 15349 2209 9 0 2626498 0
[pid=24639/tid=24640] ppid=24637 vsize=10543056 CPUtime=0.27 cores=1,3,5,7
/proc/24639/task/24640/stat : 24640 (java) R 24637 24639 24457 0 -1 4202560 12826 0 1 0 26 1 0 0 19 0 19 0 814182868 10796089344 15349 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 46912505228240 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10543056

[startup+0.70038 s]
/proc/loadavg: 2.00 2.00 1.70 1/530 24639
/proc/meminfo: memFree=25011060/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=10554424 CPUtime=1.67 cores=1,3,5,7
/proc/24639/stat : 24639 (java) S 24637 24639 24457 0 -1 4202496 30970 0 1 0 163 4 0 0 22 0 19 0 814182867 10807730176 28350 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 2638606 28353 2223 9 0 2629340 0
[pid=24639/tid=24640] ppid=24637 vsize=10554424 CPUtime=0.67 cores=1,3,5,7
/proc/24639/task/24640/stat : 24640 (java) R 24637 24639 24457 0 -1 4202560 19842 0 1 0 65 2 0 0 19 0 19 0 814182868 10807730176 28355 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 46912505660936 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.67
Current children cumulated vsize (KiB) 10554424

[startup+1.50124 s]
/proc/loadavg: 2.00 2.00 1.70 2/549 24704
/proc/meminfo: memFree=24820444/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=10555344 CPUtime=2.63 cores=1,3,5,7
/proc/24639/stat : 24639 (java) S 24637 24639 24457 0 -1 4202496 90541 0 1 0 252 11 0 0 22 0 19 0 814182867 10808672256 87920 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 2638836 87924 2227 9 0 2629570 0
[pid=24639/tid=24640] ppid=24637 vsize=10555344 CPUtime=1.48 cores=1,3,5,7
/proc/24639/task/24640/stat : 24640 (java) R 24637 24639 24457 0 -1 4202560 79278 0 1 0 138 10 0 0 20 0 19 0 814182868 10808672256 87925 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 46912505707850 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24639/tid=24642] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24642/stat : 24642 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814182869 10808672256 87928 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24643] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24643/stat : 24643 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 87930 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24644] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24644/stat : 24644 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 87932 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24645] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24645/stat : 24645 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 87935 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24646] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24646/stat : 24646 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 87937 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24647] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24647/stat : 24647 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 87940 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24648] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24648/stat : 24648 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 87942 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24649] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24649/stat : 24649 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 87943 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24650] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24650/stat : 24650 (java) S 24637 24639 24457 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814182870 10808672256 87945 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 0 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24651] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24651/stat : 24651 (java) S 24637 24639 24457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 814182871 10808672256 87946 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24652] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24652/stat : 24652 (java) S 24637 24639 24457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 814182871 10808672256 87948 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24653] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24653/stat : 24653 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814182873 10808672256 87950 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051478961 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24654] ppid=24637 vsize=10555344 CPUtime=0.59 cores=1,3,5,7
/proc/24639/task/24654/stat : 24654 (java) S 24637 24639 24457 0 -1 4202560 3732 0 0 0 59 0 0 0 19 0 19 0 814182873 10808672256 87952 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24655] ppid=24637 vsize=10555344 CPUtime=0.54 cores=1,3,5,7
/proc/24639/task/24655/stat : 24655 (java) R 24637 24639 24457 0 -1 4202560 6375 0 0 0 54 0 0 0 18 0 19 0 814182873 10808672256 87954 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 47606321884672 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=24639/tid=24656] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24656/stat : 24656 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814182873 10808672256 87956 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24657] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24657/stat : 24657 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814182873 10808672256 87958 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24685] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24685/stat : 24685 (java) S 24637 24639 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182894 10808672256 87960 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.63
Current children cumulated vsize (KiB) 10555344

[startup+3.10099 s]
/proc/loadavg: 2.00 2.00 1.70 2/549 24704
/proc/meminfo: memFree=24475916/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=10555344 CPUtime=4.3 cores=1,3,5,7
/proc/24639/stat : 24639 (java) S 24637 24639 24457 0 -1 4202496 217345 0 1 0 402 28 0 0 22 0 19 0 814182867 10808672256 214723 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 2638836 214726 2229 9 0 2629570 0
[pid=24639/tid=24640] ppid=24637 vsize=10555344 CPUtime=3.07 cores=1,3,5,7
/proc/24639/task/24640/stat : 24640 (java) R 24637 24639 24457 0 -1 4202560 206070 0 1 0 281 26 0 0 25 0 19 0 814182868 10808672256 214727 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 46912505708156 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24639/tid=24642] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24642/stat : 24642 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814182869 10808672256 214729 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24643] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24643/stat : 24643 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 214730 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24644] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24644/stat : 24644 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 214731 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24645] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24645/stat : 24645 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 214733 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24646] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24646/stat : 24646 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 214734 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24647] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24647/stat : 24647 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 214735 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24648] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24648/stat : 24648 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 214737 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24649] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24649/stat : 24649 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10808672256 214738 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24650] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24650/stat : 24650 (java) S 24637 24639 24457 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 814182870 10808672256 214740 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 0 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24651] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24651/stat : 24651 (java) S 24637 24639 24457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 814182871 10808672256 214741 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24652] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24652/stat : 24652 (java) S 24637 24639 24457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 814182871 10808672256 214742 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24653] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24653/stat : 24653 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814182873 10808672256 214744 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051478961 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24654] ppid=24637 vsize=10555344 CPUtime=0.64 cores=1,3,5,7
/proc/24639/task/24654/stat : 24654 (java) S 24637 24639 24457 0 -1 4202560 3738 0 0 0 64 0 0 0 15 0 19 0 814182873 10808672256 214745 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24655] ppid=24637 vsize=10555344 CPUtime=0.56 cores=1,3,5,7
/proc/24639/task/24655/stat : 24655 (java) S 24637 24639 24457 0 -1 4202560 6379 0 0 0 56 0 0 0 16 0 19 0 814182873 10808672256 214747 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24656] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24656/stat : 24656 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814182873 10808672256 214748 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24657] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24657/stat : 24657 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814182873 10808672256 214749 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24685] ppid=24637 vsize=10555344 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24685/stat : 24685 (java) S 24637 24639 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182894 10808672256 214750 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10555344

[startup+6.30142 s]
/proc/loadavg: 1.92 1.98 1.70 2/549 24704
/proc/meminfo: memFree=23419552/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=10552200 CPUtime=7.56 cores=1,3,5,7
/proc/24639/stat : 24639 (java) S 24637 24639 24457 0 -1 4202496 474657 0 1 0 700 56 0 0 22 0 19 0 814182867 10805452800 470465 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 2638050 470469 2232 9 0 2628784 0
[pid=24639/tid=24640] ppid=24637 vsize=10552200 CPUtime=6.28 cores=1,3,5,7
/proc/24639/task/24640/stat : 24640 (java) R 24637 24639 24457 0 -1 4202560 463375 0 1 0 573 55 0 0 25 0 19 0 814182868 10805452800 470471 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 46912505708138 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=24639/tid=24642] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24642/stat : 24642 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814182869 10805452800 470473 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24643] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24643/stat : 24643 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10805452800 470475 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24644] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24644/stat : 24644 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10805452800 470478 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24645] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24645/stat : 24645 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10805452800 470480 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24646] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24646/stat : 24646 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10805452800 470482 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24647] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24647/stat : 24647 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10805452800 470483 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24648] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24648/stat : 24648 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10805452800 470486 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24649] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24649/stat : 24649 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814182869 10805452800 470488 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24650] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24650/stat : 24650 (java) S 24637 24639 24457 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 814182870 10805452800 470490 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 0 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24651] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24651/stat : 24651 (java) S 24637 24639 24457 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 814182871 10805452800 470492 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24652] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24652/stat : 24652 (java) S 24637 24639 24457 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 814182871 10805452800 470495 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24653] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24653/stat : 24653 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814182873 10805452800 470497 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051478961 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24654] ppid=24637 vsize=10552200 CPUtime=0.65 cores=1,3,5,7
/proc/24639/task/24654/stat : 24654 (java) S 24637 24639 24457 0 -1 4202560 3738 0 0 0 65 0 0 0 15 0 19 0 814182873 10805452800 470499 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24655] ppid=24637 vsize=10552200 CPUtime=0.61 cores=1,3,5,7
/proc/24639/task/24655/stat : 24655 (java) S 24637 24639 24457 0 -1 4202560 6388 0 0 0 61 0 0 0 15 0 19 0 814182873 10805452800 470501 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0

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

[pid=24639/tid=24647] ppid=24637 vsize=10552200 CPUtime=0.12 cores=1,3,5,7
/proc/24639/task/24647/stat : 24647 (java) S 24637 24639 24457 0 -1 4202560 4735 0 0 0 12 0 0 0 16 0 19 0 814182869 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24648] ppid=24637 vsize=10552200 CPUtime=0.11 cores=1,3,5,7
/proc/24639/task/24648/stat : 24648 (java) S 24637 24639 24457 0 -1 4202560 2807 0 0 0 11 0 0 0 15 0 19 0 814182869 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24649] ppid=24637 vsize=10552200 CPUtime=0.18 cores=1,3,5,7
/proc/24639/task/24649/stat : 24649 (java) S 24637 24639 24457 0 -1 4202560 8919 0 0 0 17 1 0 0 15 0 19 0 814182869 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24650] ppid=24637 vsize=10552200 CPUtime=0.24 cores=1,3,5,7
/proc/24639/task/24650/stat : 24650 (java) S 24637 24639 24457 0 -1 4202560 2879 0 0 0 24 0 0 0 15 0 19 0 814182870 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 0 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24651] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24651/stat : 24651 (java) S 24637 24639 24457 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814182871 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24652] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24652/stat : 24652 (java) S 24637 24639 24457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814182871 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24653] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24653/stat : 24653 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814182873 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051478961 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24654] ppid=24637 vsize=10552200 CPUtime=0.71 cores=1,3,5,7
/proc/24639/task/24654/stat : 24654 (java) S 24637 24639 24457 0 -1 4202560 3754 0 0 0 71 0 0 0 15 0 19 0 814182873 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24655] ppid=24637 vsize=10552200 CPUtime=0.72 cores=1,3,5,7
/proc/24639/task/24655/stat : 24655 (java) S 24637 24639 24457 0 -1 4202560 6411 0 0 0 72 0 0 0 16 0 19 0 814182873 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24656] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24656/stat : 24656 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814182873 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24657] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24657/stat : 24657 (java) S 24637 24639 24457 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 814182873 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24685] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24685/stat : 24685 (java) S 24637 24639 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182894 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 328.55
Current children cumulated vsize (KiB) 10552200

[startup+327.901 s]
/proc/loadavg: 2.02 2.02 1.79 3/572 24741
/proc/meminfo: memFree=17870768/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=10552200 CPUtime=330.15 cores=1,3,5,7
/proc/24639/stat : 24639 (java) S 24637 24639 24457 0 -1 4202496 897227 0 1 0 32912 103 0 0 22 0 19 0 814182867 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 2638050 892533 2258 9 0 2628784 0
[pid=24639/tid=24640] ppid=24637 vsize=10552200 CPUtime=327.21 cores=1,3,5,7
/proc/24639/task/24640/stat : 24640 (java) R 24637 24639 24457 0 -1 4202560 831631 0 1 0 32626 95 0 0 25 0 19 0 814182868 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 46912505707621 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24639/tid=24642] ppid=24637 vsize=10552200 CPUtime=0.14 cores=1,3,5,7
/proc/24639/task/24642/stat : 24642 (java) S 24637 24639 24457 0 -1 4202560 4761 0 0 0 14 0 0 0 15 0 19 0 814182869 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24643] ppid=24637 vsize=10552200 CPUtime=0.14 cores=1,3,5,7
/proc/24639/task/24643/stat : 24643 (java) S 24637 24639 24457 0 -1 4202560 7794 0 0 0 14 0 0 0 15 0 19 0 814182869 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24644] ppid=24637 vsize=10552200 CPUtime=0.17 cores=1,3,5,7
/proc/24639/task/24644/stat : 24644 (java) S 24637 24639 24457 0 -1 4202560 7565 0 0 0 16 1 0 0 16 0 19 0 814182869 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24645] ppid=24637 vsize=10552200 CPUtime=0.15 cores=1,3,5,7
/proc/24639/task/24645/stat : 24645 (java) S 24637 24639 24457 0 -1 4202560 7922 0 0 0 15 0 0 0 15 0 19 0 814182869 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24646] ppid=24637 vsize=10552200 CPUtime=0.14 cores=1,3,5,7
/proc/24639/task/24646/stat : 24646 (java) S 24637 24639 24457 0 -1 4202560 6878 0 0 0 14 0 0 0 16 0 19 0 814182869 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24647] ppid=24637 vsize=10552200 CPUtime=0.12 cores=1,3,5,7
/proc/24639/task/24647/stat : 24647 (java) S 24637 24639 24457 0 -1 4202560 4735 0 0 0 12 0 0 0 16 0 19 0 814182869 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24648] ppid=24637 vsize=10552200 CPUtime=0.11 cores=1,3,5,7
/proc/24639/task/24648/stat : 24648 (java) S 24637 24639 24457 0 -1 4202560 2807 0 0 0 11 0 0 0 15 0 19 0 814182869 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24649] ppid=24637 vsize=10552200 CPUtime=0.18 cores=1,3,5,7
/proc/24639/task/24649/stat : 24649 (java) S 24637 24639 24457 0 -1 4202560 8919 0 0 0 17 1 0 0 15 0 19 0 814182869 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24650] ppid=24637 vsize=10552200 CPUtime=0.24 cores=1,3,5,7
/proc/24639/task/24650/stat : 24650 (java) S 24637 24639 24457 0 -1 4202560 2879 0 0 0 24 0 0 0 15 0 19 0 814182870 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 0 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24651] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24651/stat : 24651 (java) S 24637 24639 24457 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814182871 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24652] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24652/stat : 24652 (java) S 24637 24639 24457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814182871 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24653] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24653/stat : 24653 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814182873 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051478961 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24654] ppid=24637 vsize=10552200 CPUtime=0.71 cores=1,3,5,7
/proc/24639/task/24654/stat : 24654 (java) S 24637 24639 24457 0 -1 4202560 3754 0 0 0 71 0 0 0 15 0 19 0 814182873 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24655] ppid=24637 vsize=10552200 CPUtime=0.72 cores=1,3,5,7
/proc/24639/task/24655/stat : 24655 (java) S 24637 24639 24457 0 -1 4202560 6411 0 0 0 72 0 0 0 16 0 19 0 814182873 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24656] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24656/stat : 24656 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814182873 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24657] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24657/stat : 24657 (java) S 24637 24639 24457 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 814182873 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24685] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24685/stat : 24685 (java) S 24637 24639 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182894 10805452800 892533 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 330.15
Current children cumulated vsize (KiB) 10552200

[startup+328.701 s]
/proc/loadavg: 2.02 2.02 1.79 3/572 24741
/proc/meminfo: memFree=17870768/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=10552200 CPUtime=330.97 cores=1,3,5,7
/proc/24639/stat : 24639 (java) S 24637 24639 24457 0 -1 4202496 897575 0 1 0 32994 103 0 0 22 0 19 0 814182867 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 2638050 892867 2258 9 0 2628784 0
[pid=24639/tid=24640] ppid=24637 vsize=10552200 CPUtime=328 cores=1,3,5,7
/proc/24639/task/24640/stat : 24640 (java) R 24637 24639 24457 0 -1 4202560 831632 0 1 0 32705 95 0 0 25 0 19 0 814182868 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 46912505782946 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24639/tid=24642] ppid=24637 vsize=10552200 CPUtime=0.14 cores=1,3,5,7
/proc/24639/task/24642/stat : 24642 (java) S 24637 24639 24457 0 -1 4202560 4899 0 0 0 14 0 0 0 16 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24643] ppid=24637 vsize=10552200 CPUtime=0.14 cores=1,3,5,7
/proc/24639/task/24643/stat : 24643 (java) S 24637 24639 24457 0 -1 4202560 7794 0 0 0 14 0 0 0 15 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24644] ppid=24637 vsize=10552200 CPUtime=0.17 cores=1,3,5,7
/proc/24639/task/24644/stat : 24644 (java) S 24637 24639 24457 0 -1 4202560 7565 0 0 0 16 1 0 0 15 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24645] ppid=24637 vsize=10552200 CPUtime=0.15 cores=1,3,5,7
/proc/24639/task/24645/stat : 24645 (java) S 24637 24639 24457 0 -1 4202560 7922 0 0 0 15 0 0 0 15 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24646] ppid=24637 vsize=10552200 CPUtime=0.15 cores=1,3,5,7
/proc/24639/task/24646/stat : 24646 (java) S 24637 24639 24457 0 -1 4202560 7028 0 0 0 15 0 0 0 16 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24647] ppid=24637 vsize=10552200 CPUtime=0.13 cores=1,3,5,7
/proc/24639/task/24647/stat : 24647 (java) S 24637 24639 24457 0 -1 4202560 4736 0 0 0 13 0 0 0 16 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24648] ppid=24637 vsize=10552200 CPUtime=0.11 cores=1,3,5,7
/proc/24639/task/24648/stat : 24648 (java) S 24637 24639 24457 0 -1 4202560 2807 0 0 0 11 0 0 0 16 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24649] ppid=24637 vsize=10552200 CPUtime=0.19 cores=1,3,5,7
/proc/24639/task/24649/stat : 24649 (java) S 24637 24639 24457 0 -1 4202560 8975 0 0 0 18 1 0 0 16 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24650] ppid=24637 vsize=10552200 CPUtime=0.24 cores=1,3,5,7
/proc/24639/task/24650/stat : 24650 (java) S 24637 24639 24457 0 -1 4202560 2881 0 0 0 24 0 0 0 15 0 19 0 814182870 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 0 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24651] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24651/stat : 24651 (java) S 24637 24639 24457 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814182871 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24652] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24652/stat : 24652 (java) S 24637 24639 24457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814182871 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24653] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24653/stat : 24653 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814182873 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051478961 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24654] ppid=24637 vsize=10552200 CPUtime=0.71 cores=1,3,5,7
/proc/24639/task/24654/stat : 24654 (java) S 24637 24639 24457 0 -1 4202560 3754 0 0 0 71 0 0 0 15 0 19 0 814182873 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24655] ppid=24637 vsize=10552200 CPUtime=0.72 cores=1,3,5,7
/proc/24639/task/24655/stat : 24655 (java) S 24637 24639 24457 0 -1 4202560 6411 0 0 0 72 0 0 0 16 0 19 0 814182873 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24656] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24656/stat : 24656 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814182873 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24657] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24657/stat : 24657 (java) S 24637 24639 24457 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 814182873 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24685] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24685/stat : 24685 (java) S 24637 24639 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182894 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 330.97
Current children cumulated vsize (KiB) 10552200

[startup+329.101 s]
/proc/loadavg: 2.02 2.02 1.79 3/572 24741
/proc/meminfo: memFree=17869528/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=10552200 CPUtime=331.37 cores=1,3,5,7
/proc/24639/stat : 24639 (java) S 24637 24639 24457 0 -1 4202496 897575 0 1 0 33034 103 0 0 22 0 19 0 814182867 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 2638050 892867 2258 9 0 2628784 0
[pid=24639/tid=24640] ppid=24637 vsize=10552200 CPUtime=328.4 cores=1,3,5,7
/proc/24639/task/24640/stat : 24640 (java) R 24637 24639 24457 0 -1 4202560 831632 0 1 0 32745 95 0 0 25 0 19 0 814182868 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 46912505925142 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24639/tid=24642] ppid=24637 vsize=10552200 CPUtime=0.14 cores=1,3,5,7
/proc/24639/task/24642/stat : 24642 (java) S 24637 24639 24457 0 -1 4202560 4899 0 0 0 14 0 0 0 16 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24643] ppid=24637 vsize=10552200 CPUtime=0.14 cores=1,3,5,7
/proc/24639/task/24643/stat : 24643 (java) S 24637 24639 24457 0 -1 4202560 7794 0 0 0 14 0 0 0 15 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24644] ppid=24637 vsize=10552200 CPUtime=0.17 cores=1,3,5,7
/proc/24639/task/24644/stat : 24644 (java) S 24637 24639 24457 0 -1 4202560 7565 0 0 0 16 1 0 0 15 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24645] ppid=24637 vsize=10552200 CPUtime=0.15 cores=1,3,5,7
/proc/24639/task/24645/stat : 24645 (java) S 24637 24639 24457 0 -1 4202560 7922 0 0 0 15 0 0 0 15 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24646] ppid=24637 vsize=10552200 CPUtime=0.15 cores=1,3,5,7
/proc/24639/task/24646/stat : 24646 (java) S 24637 24639 24457 0 -1 4202560 7028 0 0 0 15 0 0 0 16 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24647] ppid=24637 vsize=10552200 CPUtime=0.13 cores=1,3,5,7
/proc/24639/task/24647/stat : 24647 (java) S 24637 24639 24457 0 -1 4202560 4736 0 0 0 13 0 0 0 16 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24648] ppid=24637 vsize=10552200 CPUtime=0.11 cores=1,3,5,7
/proc/24639/task/24648/stat : 24648 (java) S 24637 24639 24457 0 -1 4202560 2807 0 0 0 11 0 0 0 16 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24649] ppid=24637 vsize=10552200 CPUtime=0.19 cores=1,3,5,7
/proc/24639/task/24649/stat : 24649 (java) S 24637 24639 24457 0 -1 4202560 8975 0 0 0 18 1 0 0 16 0 19 0 814182869 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24650] ppid=24637 vsize=10552200 CPUtime=0.24 cores=1,3,5,7
/proc/24639/task/24650/stat : 24650 (java) S 24637 24639 24457 0 -1 4202560 2881 0 0 0 24 0 0 0 15 0 19 0 814182870 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 0 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24651] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24651/stat : 24651 (java) S 24637 24639 24457 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 814182871 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24652] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24652/stat : 24652 (java) S 24637 24639 24457 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814182871 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24653] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24653/stat : 24653 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 814182873 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051478961 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24654] ppid=24637 vsize=10552200 CPUtime=0.71 cores=1,3,5,7
/proc/24639/task/24654/stat : 24654 (java) S 24637 24639 24457 0 -1 4202560 3754 0 0 0 71 0 0 0 15 0 19 0 814182873 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 5 0 0 0
[pid=24639/tid=24655] ppid=24637 vsize=10552200 CPUtime=0.72 cores=1,3,5,7
/proc/24639/task/24655/stat : 24655 (java) S 24637 24639 24457 0 -1 4202560 6411 0 0 0 72 0 0 0 16 0 19 0 814182873 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
[pid=24639/tid=24656] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24656/stat : 24656 (java) S 24637 24639 24457 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 814182873 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471257 0 4 0 16800975 18446604462903260352 0 0 -1 3 0 0 0
[pid=24639/tid=24657] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24657/stat : 24657 (java) S 24637 24639 24457 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 19 0 814182873 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 1 0 0 0
[pid=24639/tid=24685] ppid=24637 vsize=10552200 CPUtime=0 cores=1,3,5,7
/proc/24639/task/24685/stat : 24685 (java) S 24637 24639 24457 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814182894 10805452800 892867 33554432000 1073741824 1073778376 140736469089744 18446744073709551615 212051471872 0 4 0 16800975 18446604462903260352 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 331.37
Current children cumulated vsize (KiB) 10552200

[startup+329.502 s]
/proc/loadavg: 2.02 2.02 1.79 3/572 24741
/proc/meminfo: memFree=17869528/32951124 swapFree=46970528/67111528
[pid=24639] ppid=24637 vsize=0 CPUtime=331.79 cores=1,3,5,7
/proc/24639/stat : 24639 (java) R 24637 24639 24457 0 -1 4203524 897599 0 1 0 33071 108 0 0 18 0 1 0 814182867 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/24639/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 331.79
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 329.585
CPU time (s): 331.876
CPU user time (s): 330.711
CPU system time (s): 1.16482
CPU usage (%): 100.695
Max. virtual memory (cumulated for all children) (KiB): 10555344

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 330.711
system time used= 1.16482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 897599
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= 7937
involuntary context switches= 2121

runsolver used 1.67974 second user time and 4.32034 second system time

The end
Name	normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
MD5SUM	7b1cf6104f891053895193aa96c054c6
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.017996
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	900
Total number of constraints	673
Number of constraints which are clauses	624
Number of constraints which are cardinality constraints (but not clauses)	49
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 3457154

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
