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

Solver Name	Answer	CPU time	Wall clock time
Sat4j CuttingPlanes 2.3.0	SAT	17.5623	16.2749
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-3455812-1307227348/watcher-3455812-1307227348 -o /tmp/evaluation-result-3455812-1307227348/solver-3455812-1307227348 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455812-1307227348.opb 

running on 4 cores: 0,2,4,6

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.23 2.08 2.02 2/461 2055
/proc/meminfo: memFree=27019384/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/2055/stat : 2055 (java) R 2053 2055 31238 0 -1 4202496 950 0 0 0 0 0 0 0 25 0 1 0 912965471 23580672 693 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231890528145 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2055/statm: 5757 694 511 9 0 124 0
[pid=2055/tid=2056] ppid=2053 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2056/stat : 2056 (java) R 2053 2055 31238 0 -1 4202560 6022 0 1 0 0 0 0 0 25 0 2 0 912965471 10694979584 6838 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.057905 s]
/proc/loadavg: 2.23 2.08 2.02 2/461 2055
/proc/meminfo: memFree=27019384/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=10472784 CPUtime=0.05 cores=0,2,4,6
/proc/2055/stat : 2055 (java) S 2053 2055 31238 0 -1 4202496 11634 0 1 0 4 1 0 0 25 0 18 0 912965471 10724130816 11330 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2055/statm: 2618196 11330 1730 9 0 2608937 0
[pid=2055/tid=2056] ppid=2053 vsize=10472784 CPUtime=0.04 cores=0,2,4,6
/proc/2055/task/2056/stat : 2056 (java) R 2053 2055 31238 0 -1 4202560 10460 0 1 0 3 1 0 0 25 0 18 0 912965471 10724130816 11331 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 47266149721624 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472784

[startup+0.100919 s]
/proc/loadavg: 2.23 2.08 2.02 2/461 2055
/proc/meminfo: memFree=27019384/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=10540320 CPUtime=0.1 cores=0,2,4,6
/proc/2055/stat : 2055 (java) S 2053 2055 31238 0 -1 4202496 13143 0 1 0 9 1 0 0 25 0 18 0 912965471 10793287680 12807 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2055/statm: 2635080 12808 2092 9 0 2625814 0
[pid=2055/tid=2056] ppid=2053 vsize=10540320 CPUtime=0.09 cores=0,2,4,6
/proc/2055/task/2056/stat : 2056 (java) R 2053 2055 31238 0 -1 4202560 11201 0 1 0 8 1 0 0 18 0 18 0 912965471 10793287680 12808 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907317195 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540320

[startup+0.305854 s]
/proc/loadavg: 2.23 2.08 2.02 2/461 2055
/proc/meminfo: memFree=27019384/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=10541800 CPUtime=0.5 cores=0,2,4,6
/proc/2055/stat : 2055 (java) S 2053 2055 31238 0 -1 4202496 15686 0 1 0 48 2 0 0 25 0 18 0 912965471 10794803200 15191 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2055/statm: 2635450 15191 2220 9 0 2626184 0
[pid=2055/tid=2056] ppid=2053 vsize=10541800 CPUtime=0.29 cores=0,2,4,6
/proc/2055/task/2056/stat : 2056 (java) R 2053 2055 31238 0 -1 4202560 12931 0 1 0 28 1 0 0 18 0 18 0 912965471 10794803200 15192 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 46912505609299 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10541800

[startup+0.700789 s]
/proc/loadavg: 2.23 2.08 2.02 2/461 2055
/proc/meminfo: memFree=27019384/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=10554956 CPUtime=1.57 cores=0,2,4,6
/proc/2055/stat : 2055 (java) S 2053 2055 31238 0 -1 4202496 27604 0 1 0 154 3 0 0 25 0 19 0 912965471 10808274944 24598 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2055/statm: 2638739 24598 2231 9 0 2629473 0
[pid=2055/tid=2056] ppid=2053 vsize=10554956 CPUtime=0.68 cores=0,2,4,6
/proc/2055/task/2056/stat : 2056 (java) R 2053 2055 31238 0 -1 4202560 17717 0 1 0 66 2 0 0 19 0 19 0 912965471 10808274944 24598 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 46912505873606 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10554956

[startup+1.50163 s]
/proc/loadavg: 2.23 2.08 2.02 5/480 2074
/proc/meminfo: memFree=26915820/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=10554956 CPUtime=2.66 cores=0,2,4,6
/proc/2055/stat : 2055 (java) S 2053 2055 31238 0 -1 4202496 37157 0 1 0 262 4 0 0 25 0 19 0 912965471 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2055/statm: 2638739 32333 2235 9 0 2629473 0
[pid=2055/tid=2056] ppid=2053 vsize=10554956 CPUtime=1.48 cores=0,2,4,6
/proc/2055/task/2056/stat : 2056 (java) R 2053 2055 31238 0 -1 4202560 25402 0 1 0 146 2 0 0 20 0 19 0 912965471 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 46912505873432 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2055/tid=2058] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2058/stat : 2058 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2059] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2059/stat : 2059 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2060] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2060/stat : 2060 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2061] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2061/stat : 2061 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2062] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2062/stat : 2062 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2063] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2063/stat : 2063 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2064] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2064/stat : 2064 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2065] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2065/stat : 2065 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2066] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2066/stat : 2066 (java) S 2053 2055 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912965474 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 0 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2067] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2067/stat : 2067 (java) S 2053 2055 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2068] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2068/stat : 2068 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2069] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2069/stat : 2069 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965476 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907314097 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2070] ppid=2053 vsize=10554956 CPUtime=0.61 cores=0,2,4,6
/proc/2055/task/2070/stat : 2070 (java) S 2053 2055 31238 0 -1 4202560 5703 0 0 0 61 0 0 0 16 0 19 0 912965476 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 0 0 0 0
[pid=2055/tid=2071] ppid=2053 vsize=10554956 CPUtime=0.54 cores=0,2,4,6
/proc/2055/task/2071/stat : 2071 (java) S 2053 2055 31238 0 -1 4202560 4891 0 0 0 54 0 0 0 15 0 19 0 912965477 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2072] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2072/stat : 2072 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965477 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2073] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2073/stat : 2073 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912965477 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2074] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2074/stat : 2074 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912965525 10808274944 32333 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 10554956

[startup+3.10133 s]
/proc/loadavg: 2.23 2.08 2.02 3/480 2074
/proc/meminfo: memFree=26760944/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=10554956 CPUtime=4.29 cores=0,2,4,6
/proc/2055/stat : 2055 (java) S 2053 2055 31238 0 -1 4202496 50939 0 1 0 424 5 0 0 25 0 19 0 912965471 10808274944 46113 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2055/statm: 2638739 46114 2235 9 0 2629473 0
[pid=2055/tid=2056] ppid=2053 vsize=10554956 CPUtime=3.08 cores=0,2,4,6
/proc/2055/task/2056/stat : 2056 (java) R 2053 2055 31238 0 -1 4202560 39182 0 1 0 304 4 0 0 25 0 19 0 912965471 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 46912505844897 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2055/tid=2058] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2058/stat : 2058 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2059] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2059/stat : 2059 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2060] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2060/stat : 2060 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2061] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2061/stat : 2061 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2062] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2062/stat : 2062 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2063] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2063/stat : 2063 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2064] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2064/stat : 2064 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2065] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2065/stat : 2065 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2066] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2066/stat : 2066 (java) S 2053 2055 31238 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 912965474 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 0 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2067] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2067/stat : 2067 (java) S 2053 2055 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2068] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2068/stat : 2068 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2069] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2069/stat : 2069 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965476 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907314097 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2070] ppid=2053 vsize=10554956 CPUtime=0.61 cores=0,2,4,6
/proc/2055/task/2070/stat : 2070 (java) S 2053 2055 31238 0 -1 4202560 5703 0 0 0 61 0 0 0 15 0 19 0 912965476 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 0 0 0 0
[pid=2055/tid=2071] ppid=2053 vsize=10554956 CPUtime=0.57 cores=0,2,4,6
/proc/2055/task/2071/stat : 2071 (java) S 2053 2055 31238 0 -1 4202560 4894 0 0 0 57 0 0 0 15 0 19 0 912965477 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2072] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2072/stat : 2072 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965477 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2073] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2073/stat : 2073 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 912965477 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2074] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2074/stat : 2074 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912965525 10808274944 46114 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 10554956

[startup+6.30073 s]
/proc/loadavg: 2.21 2.08 2.02 3/480 2074
/proc/meminfo: memFree=25942796/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=10554956 CPUtime=7.51 cores=0,2,4,6
/proc/2055/stat : 2055 (java) S 2053 2055 31238 0 -1 4202496 123417 0 1 0 735 16 0 0 25 0 19 0 912965471 10808274944 118574 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2055/statm: 2638739 118574 2237 9 0 2629473 0
[pid=2055/tid=2056] ppid=2053 vsize=10554956 CPUtime=6.28 cores=0,2,4,6
/proc/2055/task/2056/stat : 2056 (java) R 2053 2055 31238 0 -1 4202560 111658 0 1 0 614 14 0 0 25 0 19 0 912965471 10808274944 118575 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 46912505845122 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2055/tid=2058] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2058/stat : 2058 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 118576 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2059] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2059/stat : 2059 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 118576 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2060] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2060/stat : 2060 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 118577 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2061] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2061/stat : 2061 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 118577 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2062] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2062/stat : 2062 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 118578 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2063] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2063/stat : 2063 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 118579 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2064] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2064/stat : 2064 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 118579 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2065] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2065/stat : 2065 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 118580 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2066] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2066/stat : 2066 (java) S 2053 2055 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912965474 10808274944 118581 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 0 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2067] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2067/stat : 2067 (java) S 2053 2055 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 118581 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2068] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2068/stat : 2068 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 118582 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2069] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2069/stat : 2069 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965476 10808274944 118582 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907314097 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2070] ppid=2053 vsize=10554956 CPUtime=0.61 cores=0,2,4,6
/proc/2055/task/2070/stat : 2070 (java) S 2053 2055 31238 0 -1 4202560 5703 0 0 0 61 0 0 0 15 0 19 0 912965476 10808274944 118583 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 0 0 0 0
[pid=2055/tid=2071] ppid=2053 vsize=10554956 CPUtime=0.58 cores=0,2,4,6
/proc/2055/task/2071/stat : 2071 (java) S 2053 2055 31238 0 -1 4202560 4895 0 0 0 58 0 0 0 15 0 19 0 912965477 10808274944 118584 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0

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

[pid=2055/tid=2064] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2064/stat : 2064 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 427991 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2065] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2065/stat : 2065 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 427992 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2066] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2066/stat : 2066 (java) S 2053 2055 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912965474 10808274944 427992 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 0 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2067] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2067/stat : 2067 (java) S 2053 2055 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 427993 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2068] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2068/stat : 2068 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 427994 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2069] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2069/stat : 2069 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965476 10808274944 427995 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907314097 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2070] ppid=2053 vsize=10554956 CPUtime=0.67 cores=0,2,4,6
/proc/2055/task/2070/stat : 2070 (java) S 2053 2055 31238 0 -1 4202560 5716 0 0 0 67 0 0 0 15 0 19 0 912965476 10808274944 427997 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 0 0 0 0
[pid=2055/tid=2071] ppid=2053 vsize=10554956 CPUtime=0.59 cores=0,2,4,6
/proc/2055/task/2071/stat : 2071 (java) S 2053 2055 31238 0 -1 4202560 4903 0 0 0 59 0 0 0 15 0 19 0 912965477 10808274944 427997 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2072] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2072/stat : 2072 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965477 10808274944 427998 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2073] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2073/stat : 2073 (java) S 2053 2055 31238 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 912965477 10808274944 427999 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2074] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2074/stat : 2074 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912965525 10808274944 427999 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 15.58
Current children cumulated vsize (KiB) 10554956

[startup+15.1011 s]
/proc/loadavg: 2.18 2.08 2.02 3/480 2074
/proc/meminfo: memFree=24598484/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=10554956 CPUtime=16.37 cores=0,2,4,6
/proc/2055/stat : 2055 (java) S 2053 2055 31238 0 -1 4202496 457863 0 1 0 1587 50 0 0 25 0 19 0 912965471 10808274944 453019 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2055/statm: 2638739 453020 2238 9 0 2629473 0
[pid=2055/tid=2056] ppid=2053 vsize=10554956 CPUtime=15.08 cores=0,2,4,6
/proc/2055/task/2056/stat : 2056 (java) R 2053 2055 31238 0 -1 4202560 446083 0 1 0 1460 48 0 0 25 0 19 0 912965471 10808274944 453020 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 46912505844854 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2055/tid=2058] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2058/stat : 2058 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 453021 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2059] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2059/stat : 2059 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 453021 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2060] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2060/stat : 2060 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 453022 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2061] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2061/stat : 2061 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 453023 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2062] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2062/stat : 2062 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 453023 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2063] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2063/stat : 2063 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 453024 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2064] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2064/stat : 2064 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 453025 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2065] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2065/stat : 2065 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 453025 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2066] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2066/stat : 2066 (java) S 2053 2055 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912965474 10808274944 453026 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 0 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2067] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2067/stat : 2067 (java) S 2053 2055 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 453027 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2068] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2068/stat : 2068 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 453027 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2069] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2069/stat : 2069 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965476 10808274944 453027 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907314097 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2070] ppid=2053 vsize=10554956 CPUtime=0.67 cores=0,2,4,6
/proc/2055/task/2070/stat : 2070 (java) S 2053 2055 31238 0 -1 4202560 5716 0 0 0 67 0 0 0 15 0 19 0 912965476 10808274944 453028 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 0 0 0 0
[pid=2055/tid=2071] ppid=2053 vsize=10554956 CPUtime=0.59 cores=0,2,4,6
/proc/2055/task/2071/stat : 2071 (java) S 2053 2055 31238 0 -1 4202560 4903 0 0 0 59 0 0 0 15 0 19 0 912965477 10808274944 453029 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2072] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2072/stat : 2072 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965477 10808274944 453029 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2073] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2073/stat : 2073 (java) S 2053 2055 31238 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 912965477 10808274944 453030 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2074] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2074/stat : 2074 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912965525 10808274944 453030 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 16.37
Current children cumulated vsize (KiB) 10554956

[startup+15.9009 s]
/proc/loadavg: 2.18 2.08 2.02 3/480 2074
/proc/meminfo: memFree=24458620/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=10554956 CPUtime=17.17 cores=0,2,4,6
/proc/2055/stat : 2055 (java) S 2053 2055 31238 0 -1 4202496 482394 0 1 0 1664 53 0 0 25 0 19 0 912965471 10808274944 477550 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2055/statm: 2638739 477550 2238 9 0 2629473 0
[pid=2055/tid=2056] ppid=2053 vsize=10554956 CPUtime=15.88 cores=0,2,4,6
/proc/2055/task/2056/stat : 2056 (java) R 2053 2055 31238 0 -1 4202560 470614 0 1 0 1537 51 0 0 25 0 19 0 912965471 10808274944 477551 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 46912505844854 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2055/tid=2058] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2058/stat : 2058 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 477552 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2059] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2059/stat : 2059 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 477552 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2060] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2060/stat : 2060 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 477553 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2061] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2061/stat : 2061 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 477554 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2062] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2062/stat : 2062 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 477554 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2063] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2063/stat : 2063 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 477554 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2064] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2064/stat : 2064 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 477555 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2065] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2065/stat : 2065 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 477555 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2066] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2066/stat : 2066 (java) S 2053 2055 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912965474 10808274944 477556 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 0 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2067] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2067/stat : 2067 (java) S 2053 2055 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 477557 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2068] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2068/stat : 2068 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 477557 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2069] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2069/stat : 2069 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965476 10808274944 477558 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907314097 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2070] ppid=2053 vsize=10554956 CPUtime=0.67 cores=0,2,4,6
/proc/2055/task/2070/stat : 2070 (java) S 2053 2055 31238 0 -1 4202560 5716 0 0 0 67 0 0 0 15 0 19 0 912965476 10808274944 477558 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 0 0 0 0
[pid=2055/tid=2071] ppid=2053 vsize=10554956 CPUtime=0.59 cores=0,2,4,6
/proc/2055/task/2071/stat : 2071 (java) S 2053 2055 31238 0 -1 4202560 4903 0 0 0 59 0 0 0 15 0 19 0 912965477 10808274944 477559 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2072] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2072/stat : 2072 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965477 10808274944 477559 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2073] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2073/stat : 2073 (java) S 2053 2055 31238 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 912965477 10808274944 477560 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2074] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2074/stat : 2074 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912965525 10808274944 477560 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17.17
Current children cumulated vsize (KiB) 10554956

[startup+16.1009 s]
/proc/loadavg: 2.18 2.08 2.02 3/480 2074
/proc/meminfo: memFree=24458620/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=10554956 CPUtime=17.38 cores=0,2,4,6
/proc/2055/stat : 2055 (java) S 2053 2055 31238 0 -1 4202496 488972 0 1 0 1684 54 0 0 25 0 19 0 912965471 10808274944 484128 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2055/statm: 2638739 484129 2238 9 0 2629473 0
[pid=2055/tid=2056] ppid=2053 vsize=10554956 CPUtime=16.08 cores=0,2,4,6
/proc/2055/task/2056/stat : 2056 (java) R 2053 2055 31238 0 -1 4202560 477192 0 1 0 1556 52 0 0 25 0 19 0 912965471 10808274944 484130 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 46912505595754 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=2055/tid=2058] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2058/stat : 2058 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 484130 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2059] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2059/stat : 2059 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 484131 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2060] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2060/stat : 2060 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 484132 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2061] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2061/stat : 2061 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 484133 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2062] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2062/stat : 2062 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 484133 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2063] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2063/stat : 2063 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 484134 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2064] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2064/stat : 2064 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 484134 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2065] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2065/stat : 2065 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965473 10808274944 484135 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
[pid=2055/tid=2066] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2066/stat : 2066 (java) S 2053 2055 31238 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 912965474 10808274944 484136 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 0 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2067] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2067/stat : 2067 (java) S 2053 2055 31238 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 484136 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2068] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2068/stat : 2068 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 912965474 10808274944 484137 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2069] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2069/stat : 2069 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965476 10808274944 484138 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907314097 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2070] ppid=2053 vsize=10554956 CPUtime=0.68 cores=0,2,4,6
/proc/2055/task/2070/stat : 2070 (java) S 2053 2055 31238 0 -1 4202560 5717 0 0 0 68 0 0 0 15 0 19 0 912965476 10808274944 484138 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 0 0 0 0
[pid=2055/tid=2071] ppid=2053 vsize=10554956 CPUtime=0.59 cores=0,2,4,6
/proc/2055/task/2071/stat : 2071 (java) S 2053 2055 31238 0 -1 4202560 4903 0 0 0 59 0 0 0 15 0 19 0 912965477 10808274944 484139 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2072] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2072/stat : 2072 (java) S 2053 2055 31238 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 912965477 10808274944 484139 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907306393 0 4 0 16800975 18446604445212695424 0 0 -1 4 0 0 0
[pid=2055/tid=2073] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2073/stat : 2073 (java) S 2053 2055 31238 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 912965477 10808274944 484140 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 2 0 0 0
[pid=2055/tid=2074] ppid=2053 vsize=10554956 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2074/stat : 2074 (java) S 2053 2055 31238 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 912965525 10808274944 484141 33554432000 1073741824 1073778376 140733427255504 18446744073709551615 231907307008 0 4 0 16800975 18446604445212695424 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 17.38
Current children cumulated vsize (KiB) 10554956

[startup+16.2008 s]
/proc/loadavg: 2.18 2.08 2.02 3/480 2074
/proc/meminfo: memFree=24458620/32950928 swapFree=52246700/67111528
[pid=2055] ppid=2053 vsize=0 CPUtime=17.48 cores=0,2,4,6
/proc/2055/stat : 2055 (java) Z 2053 2055 31238 0 -1 4203548 492163 0 1 0 1693 55 0 0 18 0 2 0 912965471 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/2055/statm: 0 0 0 0 0 0 0
[pid=2055/tid=2063] ppid=2053 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/2055/task/2063/stat : 2063 (java) R 2053 2055 31238 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 912965473 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 17.48
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 16.2749
CPU time (s): 17.5623
CPU user time (s): 16.9374
CPU system time (s): 0.624905
CPU usage (%): 107.911
Max. virtual memory (cumulated for all children) (KiB): 10554956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.9374
system time used= 0.624905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 492163
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= 602
involuntary context switches= 72

runsolver used 0.05999 second user time and 0.180972 second system time

The end
Name	normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_3_80.opb
MD5SUM	4023d6beb9ef2c356e20e783b830f625
Bench Category	DEC-SMALLINT-NLC (no optimisation, small integers, non 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.442932
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	1000
Total number of constraints	1502
Number of constraints which are clauses	500
Number of constraints which are cardinality constraints (but not clauses)	1
Number of constraints which are nor clauses,nor cardinality constraints	1001
Minimum length of a constraint	2
Maximum length of a constraint	1000
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	80
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	1000
Number of bits of the biggest sum of numbers	10
Number of products (including duplicates)	12632
Sum of products size (including duplicates)	25264
Number of different products	6316
Sum of products size	12632
Trace number 3455812

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
