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

Solver Name	Answer	CPU time	Wall clock time
Sat4j CuttingPlanes 2.3.0	SAT	18.0313	16.586
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-3455811-1307227348/watcher-3455811-1307227348 -o /tmp/evaluation-result-3455811-1307227348/solver-3455811-1307227348 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455811-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.00 2.02 2.00 3/418 18272
/proc/meminfo: memFree=26133828/32950904 swapFree=56615552/67111528
[pid=18272] ppid=18270 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 15661 0 -1 4202496 1369 0 1 0 0 0 0 0 25 0 2 0 834334541 37810176 1072 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 9231 1072 832 9 0 387 0
[pid=18272/tid=18273] ppid=18270 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 15661 0 -1 4202560 1893 0 1 0 0 0 0 0 25 0 2 0 834334542 10681323520 2709 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 2 0 0 0

[startup+0.035717 s]
/proc/loadavg: 2.00 2.02 2.00 3/418 18272
/proc/meminfo: memFree=26133828/32950904 swapFree=56615552/67111528
[pid=18272] ppid=18270 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 15661 0 -1 4202496 10949 0 1 0 1 1 0 0 25 0 11 0 834334541 10716594176 10648 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2616356 10649 1600 9 0 2607104 0
[pid=18272/tid=18273] ppid=18270 vsize=10465424 CPUtime=0.02 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 15661 0 -1 4202560 9827 0 1 0 1 1 0 0 25 0 11 0 834334542 10716594176 10650 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 47513450853912 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424

[startup+0.100754 s]
/proc/loadavg: 2.00 2.02 2.00 3/418 18272
/proc/meminfo: memFree=26133828/32950904 swapFree=56615552/67111528
[pid=18272] ppid=18270 vsize=10539788 CPUtime=0.1 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 15661 0 -1 4202496 12891 0 1 0 9 1 0 0 25 0 18 0 834334541 10792742912 12588 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2634947 12589 2092 9 0 2625681 0
[pid=18272/tid=18273] ppid=18270 vsize=10539788 CPUtime=0.08 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 15661 0 -1 4202560 11108 0 1 0 7 1 0 0 18 0 18 0 834334542 10792742912 12589 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237278922935 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539788

[startup+0.313142 s]
/proc/loadavg: 2.00 2.02 2.00 3/418 18272
/proc/meminfo: memFree=26133828/32950904 swapFree=56615552/67111528
[pid=18272] ppid=18270 vsize=10542372 CPUtime=0.52 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 15661 0 -1 4202496 16437 0 1 0 50 2 0 0 25 0 18 0 834334541 10795388928 15807 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2635593 15807 2222 9 0 2626327 0
[pid=18272/tid=18273] ppid=18270 vsize=10542372 CPUtime=0.29 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 15661 0 -1 4202560 12963 0 1 0 28 1 0 0 18 0 18 0 834334542 10795388928 15807 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10542372

[startup+0.700667 s]
/proc/loadavg: 2.00 2.02 2.00 3/418 18272
/proc/meminfo: memFree=26133828/32950904 swapFree=56615552/67111528
[pid=18272] ppid=18270 vsize=10550380 CPUtime=1.56 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 15661 0 -1 4202496 27498 0 1 0 153 3 0 0 25 0 19 0 834334541 10803589120 24715 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2637595 24715 2231 9 0 2628329 0
[pid=18272/tid=18273] ppid=18270 vsize=10550380 CPUtime=0.68 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 15661 0 -1 4202560 17736 0 1 0 66 2 0 0 19 0 19 0 834334542 10803589120 24715 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 46912505874116 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10550380

[startup+1.50551 s]
/proc/loadavg: 2.00 2.02 2.00 4/437 18291
/proc/meminfo: memFree=26031820/32950904 swapFree=56615552/67111528
[pid=18272] ppid=18270 vsize=10550672 CPUtime=2.68 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 15661 0 -1 4202496 33294 0 1 0 264 4 0 0 25 0 19 0 834334541 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2637668 30510 2235 9 0 2628402 0
[pid=18272/tid=18273] ppid=18270 vsize=10550672 CPUtime=1.49 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 15661 0 -1 4202560 23206 0 1 0 146 3 0 0 20 0 19 0 834334542 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 46912505874329 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834334545 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 0 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834334545 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834334545 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290703281 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10550672 CPUtime=0.62 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 15661 0 -1 4202560 4925 0 0 0 62 0 0 0 16 0 19 0 834334547 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10550672 CPUtime=0.55 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) R 18270 18272 15661 0 -1 4202560 4003 0 0 0 55 0 0 0 15 0 19 0 834334547 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237278572240 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834334547 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0
[pid=18272/tid=18291] ppid=18270 vsize=10550672 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18291/stat : 18291 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834334596 10803888128 30510 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10550672

[startup+3.10117 s]
/proc/loadavg: 2.00 2.02 2.00 3/437 18291
/proc/meminfo: memFree=26003176/32950904 swapFree=56615552/67111528
[pid=18272] ppid=18270 vsize=10550152 CPUtime=4.43 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 15661 0 -1 4202496 46855 0 1 0 438 5 0 0 25 0 19 0 834334541 10803355648 43661 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2637538 43661 2235 9 0 2628272 0
[pid=18272/tid=18273] ppid=18270 vsize=10550152 CPUtime=3.08 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 15661 0 -1 4202560 36374 0 1 0 304 4 0 0 25 0 19 0 834334542 10803355648 43661 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 46912505847521 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803355648 43661 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803355648 43661 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803355648 43661 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803355648 43661 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803355648 43662 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803355648 43662 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803355648 43662 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10803355648 43662 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 15661 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834334545 10803355648 43665 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 0 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834334545 10803355648 43666 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834334545 10803355648 43666 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10803355648 43666 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290703281 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10550152 CPUtime=0.65 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 15661 0 -1 4202560 4927 0 0 0 65 0 0 0 15 0 19 0 834334547 10803355648 43666 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10550152 CPUtime=0.68 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 15661 0 -1 4202560 4394 0 0 0 68 0 0 0 15 0 19 0 834334547 10803355648 43666 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10803355648 43666 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834334547 10803355648 43666 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0
[pid=18272/tid=18291] ppid=18270 vsize=10550152 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18291/stat : 18291 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834334596 10803355648 43666 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 10550152

[startup+6.30165 s]
/proc/loadavg: 2.00 2.02 2.00 2/417 18294
/proc/meminfo: memFree=29724176/32950904 swapFree=56615552/67111528
[pid=18272] ppid=18270 vsize=10548112 CPUtime=7.67 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 15661 0 -1 4202496 90862 0 1 0 756 11 0 0 25 0 19 0 834334541 10801266688 87106 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2637028 87106 2238 9 0 2627762 0
[pid=18272/tid=18273] ppid=18270 vsize=10548112 CPUtime=6.28 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 15661 0 -1 4202560 80375 0 1 0 619 9 0 0 25 0 19 0 834334542 10801266688 87107 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 46912505847521 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 87107 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 87107 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 87108 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 87109 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 87111 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 87112 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 87113 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 87114 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834334545 10801266688 87116 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 0 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834334545 10801266688 87117 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834334545 10801266688 87118 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10801266688 87120 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290703281 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10548112 CPUtime=0.68 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 15661 0 -1 4202560 4933 0 0 0 68 0 0 0 15 0 19 0 834334547 10801266688 87122 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10548112 CPUtime=0.68 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 15661 0 -1 4202560 4394 0 0 0 68 0 0 0 15 0 19 0 834334547 10801266688 87123 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0

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

/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 284031 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 284031 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 284032 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 284032 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 284032 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 284032 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 284033 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 284033 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834334545 10801266688 284034 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 0 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834334545 10801266688 284034 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834334545 10801266688 284035 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10801266688 284035 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290703281 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10548112 CPUtime=0.69 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 15661 0 -1 4202560 4933 0 0 0 69 0 0 0 15 0 19 0 834334547 10801266688 284035 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10548112 CPUtime=0.73 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 15661 0 -1 4202560 4403 0 0 0 73 0 0 0 15 0 19 0 834334547 10801266688 284036 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10801266688 284036 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 15661 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834334547 10801266688 284036 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0
[pid=18272/tid=18291] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18291/stat : 18291 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834334596 10801266688 284037 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 15.75
Current children cumulated vsize (KiB) 10548112

[startup+15.901 s]
/proc/loadavg: 2.15 2.05 2.01 3/437 18385
/proc/meminfo: memFree=27499164/32950904 swapFree=56615552/67111528
[pid=18272] ppid=18270 vsize=10548112 CPUtime=17.33 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 15661 0 -1 4202496 316955 0 1 0 1698 35 0 0 25 0 19 0 834334541 10801266688 311987 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2637028 311989 2239 9 0 2627762 0
[pid=18272/tid=18273] ppid=18270 vsize=10548112 CPUtime=15.88 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 15661 0 -1 4202560 306460 0 1 0 1554 34 0 0 25 0 19 0 834334542 10801266688 311989 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 46912505601514 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 311990 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 311990 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 311991 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 311991 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 311992 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 311992 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 311993 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 311993 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834334545 10801266688 311993 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 0 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834334545 10801266688 311994 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834334545 10801266688 311995 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10801266688 311995 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290703281 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10548112 CPUtime=0.69 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 15661 0 -1 4202560 4933 0 0 0 69 0 0 0 15 0 19 0 834334547 10801266688 311996 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10548112 CPUtime=0.73 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 15661 0 -1 4202560 4403 0 0 0 73 0 0 0 15 0 19 0 834334547 10801266688 311996 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10801266688 311997 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 15661 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834334547 10801266688 311997 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0
[pid=18272/tid=18291] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18291/stat : 18291 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834334596 10801266688 311997 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 17.33
Current children cumulated vsize (KiB) 10548112

[startup+16.3009 s]
/proc/loadavg: 2.15 2.05 2.01 3/437 18385
/proc/meminfo: memFree=27499164/32950904 swapFree=56615552/67111528
[pid=18272] ppid=18270 vsize=10548112 CPUtime=17.73 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 15661 0 -1 4202496 324302 0 1 0 1737 36 0 0 25 0 19 0 834334541 10801266688 319334 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2637028 319334 2239 9 0 2627762 0
[pid=18272/tid=18273] ppid=18270 vsize=10548112 CPUtime=16.28 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 15661 0 -1 4202560 313806 0 1 0 1594 34 0 0 25 0 19 0 834334542 10801266688 319335 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 46912505847521 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 319335 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 319335 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 319336 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 319336 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 319337 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 319338 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 319339 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 319340 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 15661 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834334545 10801266688 319340 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 0 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834334545 10801266688 319341 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834334545 10801266688 319341 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10801266688 319341 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290703281 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10548112 CPUtime=0.69 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 15661 0 -1 4202560 4933 0 0 0 69 0 0 0 15 0 19 0 834334547 10801266688 319342 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10548112 CPUtime=0.73 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 15661 0 -1 4202560 4403 0 0 0 73 0 0 0 15 0 19 0 834334547 10801266688 319342 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10801266688 319343 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 15661 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834334547 10801266688 319343 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0
[pid=18272/tid=18291] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18291/stat : 18291 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834334596 10801266688 319344 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 17.73
Current children cumulated vsize (KiB) 10548112

[startup+16.5158 s]
/proc/loadavg: 2.15 2.05 2.01 3/437 18386
/proc/meminfo: memFree=27246716/32950904 swapFree=56615552/67111528
[pid=18272] ppid=18270 vsize=10548112 CPUtime=17.95 cores=0,2,4,6
/proc/18272/stat : 18272 (java) S 18270 18272 15661 0 -1 4202496 329028 0 1 0 1759 36 0 0 25 0 19 0 834334541 10801266688 324059 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18272/statm: 2637028 324059 2239 9 0 2627762 0
[pid=18272/tid=18273] ppid=18270 vsize=10548112 CPUtime=16.49 cores=0,2,4,6
/proc/18272/task/18273/stat : 18273 (java) R 18270 18272 15661 0 -1 4202560 318530 0 1 0 1614 35 0 0 25 0 19 0 834334542 10801266688 324059 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 46912505933862 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18272/tid=18275] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18275/stat : 18275 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 324060 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18276] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18276/stat : 18276 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 324061 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18277] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18277/stat : 18277 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 324061 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18278] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18278/stat : 18278 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 324062 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18279] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18279/stat : 18279 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 324063 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18280] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18280/stat : 18280 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 324065 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18281] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18281/stat : 18281 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 324066 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18282] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18282/stat : 18282 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334544 10801266688 324067 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18283] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18283/stat : 18283 (java) S 18270 18272 15661 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 834334545 10801266688 324068 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 0 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18284] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18284/stat : 18284 (java) S 18270 18272 15661 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834334545 10801266688 324070 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18285] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18285/stat : 18285 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834334545 10801266688 324071 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18286] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18286/stat : 18286 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10801266688 324073 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290703281 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18287] ppid=18270 vsize=10548112 CPUtime=0.69 cores=0,2,4,6
/proc/18272/task/18287/stat : 18287 (java) S 18270 18272 15661 0 -1 4202560 4933 0 0 0 69 0 0 0 15 0 19 0 834334547 10801266688 324074 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18288] ppid=18270 vsize=10548112 CPUtime=0.74 cores=0,2,4,6
/proc/18272/task/18288/stat : 18288 (java) S 18270 18272 15661 0 -1 4202560 4404 0 0 0 74 0 0 0 15 0 19 0 834334547 10801266688 324075 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 0 0 0 0
[pid=18272/tid=18289] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18289/stat : 18289 (java) S 18270 18272 15661 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834334547 10801266688 324076 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290695577 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
[pid=18272/tid=18290] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18290/stat : 18290 (java) S 18270 18272 15661 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834334547 10801266688 324076 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 6 0 0 0
[pid=18272/tid=18291] ppid=18270 vsize=10548112 CPUtime=0 cores=0,2,4,6
/proc/18272/task/18291/stat : 18291 (java) S 18270 18272 15661 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834334596 10801266688 324078 33554432000 1073741824 1073778376 140736816158320 18446744073709551615 237290696192 0 4 0 16800975 18446604446479768256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 17.95
Current children cumulated vsize (KiB) 10548112

Child status: 10
Real time (s): 16.586
CPU time (s): 18.0313
CPU user time (s): 17.6043
CPU system time (s): 0.426935
CPU usage (%): 108.714
Max. virtual memory (cumulated for all children) (KiB): 10550672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.6043
system time used= 0.426935
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329188
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= 671
involuntary context switches= 112

runsolver used 0.075988 second user time and 0.154976 second system time

The end
Name	normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_4_80.opb
MD5SUM	7cde2502e7fdd6b310da5651aff97d88
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	3.99539
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)	12652
Sum of products size (including duplicates)	25304
Number of different products	6326
Sum of products size	12652
Trace number 3455811

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
