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

Solver Name	Answer	CPU time	Wall clock time
Sat4j CuttingPlanes 2.3.0	SAT	26.7599	25.4316
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-3455769-1307227087/watcher-3455769-1307227087 -o /tmp/evaluation-result-3455769-1307227087/solver-3455769-1307227087 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3455769-1307227087.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: 1.92 2.01 2.00 2/476 23956
/proc/meminfo: memFree=22572568/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/23956/stat : 23956 (java) S 23954 23956 22575 0 -1 4202496 3078 0 1 0 0 0 0 0 25 0 2 0 834306827 10681323520 2780 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 2607745 2794 906 9 0 2598901 0
[pid=23956/tid=23957] ppid=23954 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (java) R 23954 23956 22575 0 -1 4202560 5055 0 1 0 0 0 0 0 25 0 2 0 834306828 10694979584 5870 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.102908 s]
/proc/loadavg: 1.92 2.01 2.00 2/476 23956
/proc/meminfo: memFree=22572568/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=10540084 CPUtime=0.1 cores=0,2,4,6
/proc/23956/stat : 23956 (java) S 23954 23956 22575 0 -1 4202496 13100 0 1 0 9 1 0 0 25 0 18 0 834306827 10793046016 12797 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 2635021 12797 2092 9 0 2625755 0
[pid=23956/tid=23957] ppid=23954 vsize=10540084 CPUtime=0.08 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (java) R 23954 23956 22575 0 -1 4202560 11198 0 1 0 7 1 0 0 18 0 18 0 834306828 10793046016 12797 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 47094859729859 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) 10540084

[startup+0.200926 s]
/proc/loadavg: 1.92 2.01 2.00 2/476 23956
/proc/meminfo: memFree=22572568/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=10540704 CPUtime=0.26 cores=0,2,4,6
/proc/23956/stat : 23956 (java) S 23954 23956 22575 0 -1 4202496 14021 0 1 0 24 2 0 0 25 0 18 0 834306827 10793680896 13688 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 2635176 13688 2169 9 0 2625910 0
[pid=23956/tid=23957] ppid=23954 vsize=10540704 CPUtime=0.18 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (java) R 23954 23956 22575 0 -1 4202560 11893 0 1 0 17 1 0 0 18 0 18 0 834306828 10793680896 13688 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10540704

[startup+0.304894 s]
/proc/loadavg: 1.92 2.01 2.00 2/476 23956
/proc/meminfo: memFree=22572568/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=10541420 CPUtime=0.49 cores=0,2,4,6
/proc/23956/stat : 23956 (java) S 23954 23956 22575 0 -1 4202496 15438 0 1 0 47 2 0 0 25 0 18 0 834306827 10794414080 15101 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 2635355 15101 2218 9 0 2626089 0
[pid=23956/tid=23957] ppid=23954 vsize=10541420 CPUtime=0.28 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (java) R 23954 23956 22575 0 -1 4202560 12905 0 1 0 27 1 0 0 18 0 18 0 834306828 10794414080 15102 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10541420

[startup+0.704804 s]
/proc/loadavg: 1.92 2.01 2.00 2/476 23956
/proc/meminfo: memFree=22572568/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=10548644 CPUtime=1.56 cores=0,2,4,6
/proc/23956/stat : 23956 (java) S 23954 23956 22575 0 -1 4202496 26957 0 1 0 152 4 0 0 25 0 19 0 834306827 10801811456 24617 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 2637161 24617 2230 9 0 2627895 0
[pid=23956/tid=23957] ppid=23954 vsize=10548644 CPUtime=0.67 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (java) R 23954 23956 22575 0 -1 4202560 17784 0 1 0 65 2 0 0 19 0 19 0 834306828 10801811456 24617 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 46912505875497 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10548644

[startup+1.50066 s]
/proc/loadavg: 1.92 2.01 2.00 3/495 23975
/proc/meminfo: memFree=22470436/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=10551556 CPUtime=2.69 cores=0,2,4,6
/proc/23956/stat : 23956 (java) S 23954 23956 22575 0 -1 4202496 33154 0 1 0 264 5 0 0 25 0 19 0 834306827 10804793344 30417 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 2637889 30417 2234 9 0 2628623 0
[pid=23956/tid=23957] ppid=23954 vsize=10551556 CPUtime=1.46 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (java) R 23954 23956 22575 0 -1 4202560 22798 0 1 0 143 3 0 0 20 0 19 0 834306828 10804793344 30417 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 46912505587327 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 30417 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23960] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 30417 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23961] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 30417 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23962] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 30418 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23963] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 30418 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23964] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 30418 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23965] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23965/stat : 23965 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 30418 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23966] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23966/stat : 23966 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 30419 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23967] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23967/stat : 23967 (java) S 23954 23956 22575 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834306831 10804793344 30419 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 0 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23968] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23968/stat : 23968 (java) S 23954 23956 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 30419 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23969] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23969/stat : 23969 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 30419 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23970] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23970/stat : 23970 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 30419 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347716017 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23971] ppid=23954 vsize=10551556 CPUtime=0.61 cores=0,2,4,6
/proc/23956/task/23971/stat : 23971 (java) S 23954 23956 22575 0 -1 4202560 5691 0 0 0 60 1 0 0 15 0 19 0 834306833 10804793344 30419 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 2 0 0 0
[pid=23956/tid=23972] ppid=23954 vsize=10551556 CPUtime=0.59 cores=0,2,4,6
/proc/23956/task/23972/stat : 23972 (java) S 23954 23956 22575 0 -1 4202560 3506 0 0 0 59 0 0 0 15 0 19 0 834306833 10804793344 30420 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 0 0 0 0
[pid=23956/tid=23973] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23973/stat : 23973 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 30423 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23974] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23974/stat : 23974 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834306833 10804793344 30423 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23975] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23975/stat : 23975 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306882 10804793344 30423 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 10551556

[startup+3.10138 s]
/proc/loadavg: 1.93 2.01 2.00 3/495 23975
/proc/meminfo: memFree=22442384/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=10551556 CPUtime=4.3 cores=0,2,4,6
/proc/23956/stat : 23956 (java) S 23954 23956 22575 0 -1 4202496 43048 0 1 0 424 6 0 0 25 0 19 0 834306827 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 2637889 40310 2234 9 0 2628623 0
[pid=23956/tid=23957] ppid=23954 vsize=10551556 CPUtime=3.06 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (java) R 23954 23956 22575 0 -1 4202560 32690 0 1 0 302 4 0 0 25 0 19 0 834306828 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 46912505875271 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23960] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23961] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23962] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23963] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23964] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23965] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23965/stat : 23965 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23966] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23966/stat : 23966 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23967] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23967/stat : 23967 (java) S 23954 23956 22575 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 834306831 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 0 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23968] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23968/stat : 23968 (java) S 23954 23956 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 40310 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23969] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23969/stat : 23969 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 40311 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23970] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23970/stat : 23970 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 40311 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347716017 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23971] ppid=23954 vsize=10551556 CPUtime=0.62 cores=0,2,4,6
/proc/23956/task/23971/stat : 23971 (java) S 23954 23956 22575 0 -1 4202560 5693 0 0 0 61 1 0 0 15 0 19 0 834306833 10804793344 40311 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 2 0 0 0
[pid=23956/tid=23972] ppid=23954 vsize=10551556 CPUtime=0.59 cores=0,2,4,6
/proc/23956/task/23972/stat : 23972 (java) S 23954 23956 22575 0 -1 4202560 3506 0 0 0 59 0 0 0 15 0 19 0 834306833 10804793344 40311 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 0 0 0 0
[pid=23956/tid=23973] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23973/stat : 23973 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 40311 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23974] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23974/stat : 23974 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 834306833 10804793344 40311 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23975] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23975/stat : 23975 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306882 10804793344 40311 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 10551556

[startup+6.30077 s]
/proc/loadavg: 1.93 2.01 2.00 3/495 23975
/proc/meminfo: memFree=22333264/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=10551556 CPUtime=7.52 cores=0,2,4,6
/proc/23956/stat : 23956 (java) S 23954 23956 22575 0 -1 4202496 75560 0 1 0 742 10 0 0 25 0 19 0 834306827 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 2637889 72819 2236 9 0 2628623 0
[pid=23956/tid=23957] ppid=23954 vsize=10551556 CPUtime=6.25 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (java) R 23954 23956 22575 0 -1 4202560 65187 0 1 0 617 8 0 0 25 0 19 0 834306828 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 46912505917501 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23960] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23961] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23962] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23963] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23964] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23965] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23965/stat : 23965 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23966] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23966/stat : 23966 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23967] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23967/stat : 23967 (java) S 23954 23956 22575 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834306831 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 0 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23968] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23968/stat : 23968 (java) S 23954 23956 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23969] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23969/stat : 23969 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23970] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23970/stat : 23970 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347716017 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23971] ppid=23954 vsize=10551556 CPUtime=0.64 cores=0,2,4,6
/proc/23956/task/23971/stat : 23971 (java) S 23954 23956 22575 0 -1 4202560 5693 0 0 0 63 1 0 0 15 0 19 0 834306833 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 2 0 0 0
[pid=23956/tid=23972] ppid=23954 vsize=10551556 CPUtime=0.61 cores=0,2,4,6
/proc/23956/task/23972/stat : 23972 (java) S 23954 23956 22575 0 -1 4202560 3520 0 0 0 61 0 0 0 15 0 19 0 834306833 10804793344 72819 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 0 0 0 0

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

[pid=23956/tid=23965] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23965/stat : 23965 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 322899 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23966] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23966/stat : 23966 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 322900 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23967] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23967/stat : 23967 (java) S 23954 23956 22575 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834306831 10804793344 322901 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 0 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23968] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23968/stat : 23968 (java) S 23954 23956 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 322902 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23969] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23969/stat : 23969 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 322902 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23970] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23970/stat : 23970 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 322903 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347716017 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23971] ppid=23954 vsize=10551556 CPUtime=0.72 cores=0,2,4,6
/proc/23956/task/23971/stat : 23971 (java) S 23954 23956 22575 0 -1 4202560 5710 0 0 0 71 1 0 0 15 0 19 0 834306833 10804793344 322903 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 2 0 0 0
[pid=23956/tid=23972] ppid=23954 vsize=10551556 CPUtime=0.62 cores=0,2,4,6
/proc/23956/task/23972/stat : 23972 (java) S 23954 23956 22575 0 -1 4202560 3520 0 0 0 62 0 0 0 15 0 19 0 834306833 10804793344 322903 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 0 0 0 0
[pid=23956/tid=23973] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23973/stat : 23973 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 322903 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23974] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23974/stat : 23974 (java) S 23954 23956 22575 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834306833 10804793344 322903 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 2 0 0 0
[pid=23956/tid=23975] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23975/stat : 23975 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306882 10804793344 322904 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 23.71
Current children cumulated vsize (KiB) 10551556

[startup+24.0007 s]
/proc/loadavg: 1.95 2.01 2.00 3/495 23975
/proc/meminfo: memFree=21237820/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=10551556 CPUtime=25.31 cores=0,2,4,6
/proc/23956/stat : 23956 (java) S 23954 23956 22575 0 -1 4202496 348526 0 1 0 2487 44 0 0 25 0 19 0 834306827 10804793344 345785 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 2637889 345786 2237 9 0 2628623 0
[pid=23956/tid=23957] ppid=23954 vsize=10551556 CPUtime=23.95 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (java) R 23954 23956 22575 0 -1 4202560 338137 0 1 0 2353 42 0 0 25 0 19 0 834306828 10804793344 345786 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 46912505917680 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 345786 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23960] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 345786 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23961] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 345787 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23962] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 345787 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23963] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 345787 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23964] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 345787 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23965] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23965/stat : 23965 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 345788 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23966] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23966/stat : 23966 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 345788 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23967] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23967/stat : 23967 (java) S 23954 23956 22575 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834306831 10804793344 345788 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 0 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23968] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23968/stat : 23968 (java) S 23954 23956 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 345788 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23969] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23969/stat : 23969 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 345788 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23970] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23970/stat : 23970 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 345789 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347716017 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23971] ppid=23954 vsize=10551556 CPUtime=0.72 cores=0,2,4,6
/proc/23956/task/23971/stat : 23971 (java) S 23954 23956 22575 0 -1 4202560 5710 0 0 0 71 1 0 0 15 0 19 0 834306833 10804793344 345789 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 2 0 0 0
[pid=23956/tid=23972] ppid=23954 vsize=10551556 CPUtime=0.62 cores=0,2,4,6
/proc/23956/task/23972/stat : 23972 (java) S 23954 23956 22575 0 -1 4202560 3520 0 0 0 62 0 0 0 15 0 19 0 834306833 10804793344 345789 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 0 0 0 0
[pid=23956/tid=23973] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23973/stat : 23973 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 345789 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23974] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23974/stat : 23974 (java) S 23954 23956 22575 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834306833 10804793344 345789 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 2 0 0 0
[pid=23956/tid=23975] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23975/stat : 23975 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306882 10804793344 345790 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 10551556

[startup+24.8015 s]
/proc/loadavg: 1.95 2.01 2.00 3/495 23975
/proc/meminfo: memFree=21179168/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=10551556 CPUtime=26.11 cores=0,2,4,6
/proc/23956/stat : 23956 (java) S 23954 23956 22575 0 -1 4202496 358993 0 1 0 2566 45 0 0 25 0 19 0 834306827 10804793344 356252 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 2637889 356252 2237 9 0 2628623 0
[pid=23956/tid=23957] ppid=23954 vsize=10551556 CPUtime=24.75 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (java) R 23954 23956 22575 0 -1 4202560 348603 0 1 0 2432 43 0 0 25 0 19 0 834306828 10804793344 356252 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 46912505835382 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 356253 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23960] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 356254 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23961] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 356254 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23962] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 356255 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23963] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 356255 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23964] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 356256 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23965] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23965/stat : 23965 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 356256 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23966] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23966/stat : 23966 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 356256 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23967] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23967/stat : 23967 (java) S 23954 23956 22575 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834306831 10804793344 356257 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 0 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23968] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23968/stat : 23968 (java) S 23954 23956 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 356257 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23969] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23969/stat : 23969 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 356258 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23970] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23970/stat : 23970 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 356258 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347716017 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23971] ppid=23954 vsize=10551556 CPUtime=0.72 cores=0,2,4,6
/proc/23956/task/23971/stat : 23971 (java) S 23954 23956 22575 0 -1 4202560 5710 0 0 0 71 1 0 0 15 0 19 0 834306833 10804793344 356259 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 2 0 0 0
[pid=23956/tid=23972] ppid=23954 vsize=10551556 CPUtime=0.62 cores=0,2,4,6
/proc/23956/task/23972/stat : 23972 (java) S 23954 23956 22575 0 -1 4202560 3520 0 0 0 62 0 0 0 15 0 19 0 834306833 10804793344 356259 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 0 0 0 0
[pid=23956/tid=23973] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23973/stat : 23973 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 356260 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23974] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23974/stat : 23974 (java) S 23954 23956 22575 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834306833 10804793344 356260 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 2 0 0 0
[pid=23956/tid=23975] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23975/stat : 23975 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306882 10804793344 356260 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26.11
Current children cumulated vsize (KiB) 10551556

[startup+25.2014 s]
/proc/loadavg: 1.95 2.01 2.00 3/495 23975
/proc/meminfo: memFree=21179168/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=10551556 CPUtime=26.52 cores=0,2,4,6
/proc/23956/stat : 23956 (java) S 23954 23956 22575 0 -1 4202496 363749 0 1 0 2606 46 0 0 25 0 19 0 834306827 10804793344 361008 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 2637889 361008 2237 9 0 2628623 0
[pid=23956/tid=23957] ppid=23954 vsize=10551556 CPUtime=25.15 cores=0,2,4,6
/proc/23956/task/23957/stat : 23957 (java) R 23954 23956 22575 0 -1 4202560 353358 0 1 0 2471 44 0 0 25 0 19 0 834306828 10804793344 361009 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 46912505587370 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23956/tid=23959] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23959/stat : 23959 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 361009 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23960] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23960/stat : 23960 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 361009 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23961] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23961/stat : 23961 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 361009 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23962] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23962/stat : 23962 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 361010 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23963] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23963/stat : 23963 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 361010 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23964] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23964/stat : 23964 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 361010 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23965] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23965/stat : 23965 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 361010 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23966] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23966/stat : 23966 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306830 10804793344 361010 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
[pid=23956/tid=23967] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23967/stat : 23967 (java) S 23954 23956 22575 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 834306831 10804793344 361010 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 0 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23968] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23968/stat : 23968 (java) S 23954 23956 22575 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 361010 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23969] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23969/stat : 23969 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 834306831 10804793344 361011 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23970] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23970/stat : 23970 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 361011 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347716017 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23971] ppid=23954 vsize=10551556 CPUtime=0.73 cores=0,2,4,6
/proc/23956/task/23971/stat : 23971 (java) S 23954 23956 22575 0 -1 4202560 5712 0 0 0 72 1 0 0 15 0 19 0 834306833 10804793344 361011 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 2 0 0 0
[pid=23956/tid=23972] ppid=23954 vsize=10551556 CPUtime=0.62 cores=0,2,4,6
/proc/23956/task/23972/stat : 23972 (java) S 23954 23956 22575 0 -1 4202560 3520 0 0 0 62 0 0 0 16 0 19 0 834306833 10804793344 361012 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 0 0 0 0
[pid=23956/tid=23973] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23973/stat : 23973 (java) S 23954 23956 22575 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 834306833 10804793344 361012 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708313 0 4 0 16800975 18446604453909786688 0 0 -1 4 0 0 0
[pid=23956/tid=23974] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23974/stat : 23974 (java) S 23954 23956 22575 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 834306833 10804793344 361012 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 2 0 0 0
[pid=23956/tid=23975] ppid=23954 vsize=10551556 CPUtime=0 cores=0,2,4,6
/proc/23956/task/23975/stat : 23975 (java) S 23954 23956 22575 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 834306882 10804793344 361012 33554432000 1073741824 1073778376 140737278325424 18446744073709551615 232347708928 0 4 0 16800975 18446604453909786688 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26.52
Current children cumulated vsize (KiB) 10551556

[startup+25.4174 s]
/proc/loadavg: 1.95 2.01 2.00 3/495 23975
/proc/meminfo: memFree=21124484/32951124 swapFree=60688864/67111528
[pid=23956] ppid=23954 vsize=0 CPUtime=26.73 cores=0,2,4,6
/proc/23956/stat : 23956 (java) Z 23954 23956 22575 0 -1 4203548 365531 0 1 0 2623 50 0 0 18 0 2 0 834306827 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/23956/statm: 0 0 0 0 0 0 0
[pid=23956/tid=23966] ppid=23954 vsize=0 CPUtime=0.04 cores=0,2,4,6
/proc/23956/task/23966/stat : 23966 (java) R 23954 23956 22575 0 -1 4203588 1 0 0 0 0 4 0 0 18 0 2 0 834306830 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 26.73
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 25.4316
CPU time (s): 26.7599
CPU user time (s): 26.236
CPU system time (s): 0.52392
CPU usage (%): 105.223
Max. virtual memory (cumulated for all children) (KiB): 10551556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26.236
system time used= 0.52392
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365531
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= 826
involuntary context switches= 157

runsolver used 0.13098 second user time and 0.278957 second system time

The end
Name	normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_500_10_2_80.opb
MD5SUM	4b0064bdd43b7a445f2334396cfebe4e
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.79742
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)	12656
Sum of products size (including duplicates)	25312
Number of different products	6328
Sum of products size	12656
Trace number 3455769

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
