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

Solver Name	Answer	CPU time	Wall clock time
Sat4j PB 2.3.6 Res+CP PB16	UNSAT	7.49186	2.69456

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4098851-1466206081/watcher-4098851-1466206081 -o /tmp/evaluation-result-4098851-1466206081/solver-4098851-1466206081 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15309 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4098851-1466206081.opb 

pid=16310
running on 8 cores: 4-7,12-15

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: 0.99 0.23 0.07 6/284 16313
/proc/meminfo: memFree=31995316/32872528 swapFree=7804/7804
[pid=16313] ppid=16310 vsize=152584 CPUtime=0 cores=4-7,12-15
/proc/16313/stat : 16313 (java) S 16310 16313 15292 0 -1 4202496 1526 0 1 0 0 0 0 0 20 0 2 0 22652711 156246016 1128 33554432000 1073741824 1073778376 140735322165488 140735322156624 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16313/statm: 38146 1128 864 9 0 29255 0
[pid=16313/tid=16314] ppid=16310 vsize=152584 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16314/stat : 16314 (java) R 16310 16313 15292 0 -1 4202560 302 0 1 0 0 0 0 0 20 0 2 0 22652712 156246016 1128 33554432000 1073741824 1073778376 140735322165488 140257489434928 140257493446688 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0

[startup+0.100061 s]
/proc/loadavg: 0.99 0.23 0.07 6/284 16313
/proc/meminfo: memFree=31995316/32872528 swapFree=7804/7804
[pid=16313] ppid=16310 vsize=9896436 CPUtime=0.11 cores=4-7,12-15
/proc/16313/stat : 16313 (java) S 16310 16313 15292 0 -1 4202496 4517 0 1 0 10 1 0 0 20 0 23 0 22652711 10133950464 6139 33554432000 1073741824 1073778376 140735322165488 140735322156624 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16313/statm: 2474109 6139 2156 9 0 2464786 0
[pid=16313/tid=16314] ppid=16310 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/16313/task/16314/stat : 16314 (java) R 16310 16313 15292 0 -1 4202560 2423 0 1 0 7 0 0 0 20 0 23 0 22652712 10133950464 6139 33554432000 1073741824 1073778376 140735322165488 140257489431456 216812021005 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9896436

[startup+0.200279 s]
/proc/loadavg: 0.99 0.23 0.07 6/284 16313
/proc/meminfo: memFree=31995316/32872528 swapFree=7804/7804
[pid=16313] ppid=16310 vsize=10162692 CPUtime=0.27 cores=4-7,12-15
/proc/16313/stat : 16313 (java) S 16310 16313 15292 0 -1 4202496 4849 0 1 0 26 1 0 0 20 0 27 0 22652711 10406596608 7953 33554432000 1073741824 1073778376 140735322165488 140735322156624 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16313/statm: 2540673 7953 2219 9 0 2531350 0
[pid=16313/tid=16314] ppid=16310 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/16313/task/16314/stat : 16314 (java) S 16310 16313 15292 0 -1 4202560 2452 0 1 0 15 0 0 0 20 0 27 0 22652712 10406596608 7953 33554432000 1073741824 1073778376 140735322165488 140257489433464 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10162692

[startup+0.300316 s]
/proc/loadavg: 0.99 0.23 0.07 6/284 16313
/proc/meminfo: memFree=31995316/32872528 swapFree=7804/7804
[pid=16313] ppid=16310 vsize=10162692 CPUtime=0.67 cores=4-7,12-15
/proc/16313/stat : 16313 (java) S 16310 16313 15292 0 -1 4202496 8193 0 1 0 66 1 0 0 20 0 27 0 22652711 10406596608 10021 33554432000 1073741824 1073778376 140735322165488 140735322156624 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16313/statm: 2540673 10021 2247 9 0 2531350 0
[pid=16313/tid=16314] ppid=16310 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/16313/task/16314/stat : 16314 (java) S 16310 16313 15292 0 -1 4202560 2452 0 1 0 15 0 0 0 20 0 27 0 22652712 10406596608 10021 33554432000 1073741824 1073778376 140735322165488 140257489433464 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10162692

[startup+0.700301 s]
/proc/loadavg: 0.99 0.23 0.07 6/284 16313
/proc/meminfo: memFree=31995316/32872528 swapFree=7804/7804
[pid=16313] ppid=16310 vsize=10162692 CPUtime=2.27 cores=4-7,12-15
/proc/16313/stat : 16313 (java) S 16310 16313 15292 0 -1 4202496 17067 0 1 0 224 3 0 0 20 0 27 0 22652711 10406596608 22955 33554432000 1073741824 1073778376 140735322165488 140735322156624 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16313/statm: 2540673 22955 2258 9 0 2531350 0
[pid=16313/tid=16314] ppid=16310 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/16313/task/16314/stat : 16314 (java) S 16310 16313 15292 0 -1 4202560 2452 0 1 0 15 0 0 0 20 0 27 0 22652712 10406596608 22955 33554432000 1073741824 1073778376 140735322165488 140257489433464 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10162692

[startup+1.50112 s]
/proc/loadavg: 0.99 0.23 0.07 5/279 16372
/proc/meminfo: memFree=31869100/32872528 swapFree=7804/7804
[pid=16313] ppid=16310 vsize=10162692 CPUtime=5.33 cores=4-7,12-15
/proc/16313/stat : 16313 (java) S 16310 16313 15292 0 -1 4202496 26055 0 1 0 525 8 0 0 20 0 27 0 22652711 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140735322156624 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16313/statm: 2540673 48447 2284 9 0 2531350 0
[pid=16313/tid=16314] ppid=16310 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/16313/task/16314/stat : 16314 (java) S 16310 16313 15292 0 -1 4202560 2452 0 1 0 15 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140257489433464 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16316] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16316/stat : 16316 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140257461885864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16317] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16317/stat : 16317 (java) S 16310 16313 15292 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140257460833320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16313/tid=16318] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16318/stat : 16318 (java) S 16310 16313 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140257459780264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16319] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16319/stat : 16319 (java) S 16310 16313 15292 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140257330244392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16320] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16320/stat : 16320 (java) S 16310 16313 15292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140257329191336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16313/tid=16321] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16321/stat : 16321 (java) S 16310 16313 15292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140257328138792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16322] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16322/stat : 16322 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140257327085736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16313/tid=16323] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16323/stat : 16323 (java) S 16310 16313 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140257326033192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16324] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16324/stat : 16324 (java) S 16310 16313 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256854666152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16313/tid=16325] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16325/stat : 16325 (java) S 16310 16313 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256853613608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16326] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16326/stat : 16326 (java) S 16310 16313 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256852560552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16327] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16327/stat : 16327 (java) S 16310 16313 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256851508008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16328] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16328/stat : 16328 (java) S 16310 16313 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256850454952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16329] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16329/stat : 16329 (java) S 16310 16313 15292 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 27 0 22652713 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256832993768 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16330] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16330/stat : 16330 (java) S 16310 16313 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 22652714 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256831939576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16331] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16331/stat : 16331 (java) S 16310 16313 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 22652714 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256830886920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16332] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16332/stat : 16332 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22652716 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256829836176 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16333] ppid=16310 vsize=10162692 CPUtime=1.16 cores=4-7,12-15
/proc/16313/task/16333/stat : 16333 (java) S 16310 16313 15292 0 -1 4202560 11880 0 0 0 114 2 0 0 20 0 27 0 22652716 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256828783544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16334] ppid=16310 vsize=10162692 CPUtime=1.27 cores=4-7,12-15
/proc/16313/task/16334/stat : 16334 (java) S 16310 16313 15292 0 -1 4202560 10204 0 0 0 127 0 0 0 20 0 27 0 22652716 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256827730488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16313/tid=16335] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16335/stat : 16335 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22652716 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256826678136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16336] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16336/stat : 16336 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22652716 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256825625288 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16337] ppid=16310 vsize=10162692 CPUtime=1.28 cores=4-7,12-15
/proc/16313/task/16337/stat : 16337 (java) R 16310 16313 15292 0 -1 4202560 27 0 0 0 128 0 0 0 20 0 27 0 22652729 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256824570576 140257341768795 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16338] ppid=16310 vsize=10162692 CPUtime=1.28 cores=4-7,12-15
/proc/16313/task/16338/stat : 16338 (java) R 16310 16313 15292 0 -1 4202560 93 0 0 0 126 2 0 0 20 0 27 0 22652729 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256823515992 140257342260772 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16339] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16339/stat : 16339 (java) S 16310 16313 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22652729 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256822465448 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16340] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16340/stat : 16340 (java) S 16310 16313 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22652729 10406596608 48447 33554432000 1073741824 1073778376 140735322165488 140256821413416 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 10162692

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16313 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1.6013 s]
/proc/loadavg: 0.99 0.23 0.07 5/279 16372
/proc/meminfo: memFree=31869100/32872528 swapFree=7804/7804
[pid=16313] ppid=16310 vsize=10162692 CPUtime=5.66 cores=4-7,12-15
/proc/16313/stat : 16313 (java) S 16310 16313 15292 0 -1 4202496 26097 0 1 0 553 13 0 0 20 0 27 0 22652711 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140735322156624 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16313/statm: 2540673 51520 2284 9 0 2531350 0
[pid=16313/tid=16314] ppid=16310 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/16313/task/16314/stat : 16314 (java) S 16310 16313 15292 0 -1 4202560 2452 0 1 0 15 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140257489433464 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16316] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16316/stat : 16316 (java) R 16310 16313 15292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140257461885992 140257497478304 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16317] ppid=16310 vsize=10162692 CPUtime=0.02 cores=4-7,12-15
/proc/16313/task/16317/stat : 16317 (java) R 16310 16313 15292 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140257460833320 216808590471 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=16313/tid=16318] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16318/stat : 16318 (java) S 16310 16313 15292 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140257459780264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16319] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16319/stat : 16319 (java) S 16310 16313 15292 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140257330244392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16320] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16320/stat : 16320 (java) S 16310 16313 15292 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140257329191304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16313/tid=16321] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16321/stat : 16321 (java) S 16310 16313 15292 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140257328138792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16313/tid=16322] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16322/stat : 16322 (java) S 16310 16313 15292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140257327085736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16323] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16323/stat : 16323 (java) S 16310 16313 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140257326033192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16324] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16324/stat : 16324 (java) S 16310 16313 15292 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256854666152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16313/tid=16325] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16325/stat : 16325 (java) S 16310 16313 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256853613608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16326] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16326/stat : 16326 (java) S 16310 16313 15292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256852560552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16327] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16327/stat : 16327 (java) S 16310 16313 15292 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256851508008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16328] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16328/stat : 16328 (java) S 16310 16313 15292 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 22652712 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256850454952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16329] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16329/stat : 16329 (java) S 16310 16313 15292 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 27 0 22652713 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256832993768 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16313/tid=16330] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16330/stat : 16330 (java) S 16310 16313 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 22652714 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256831939576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16331] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16331/stat : 16331 (java) S 16310 16313 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 22652714 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256830886920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16332] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16332/stat : 16332 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22652716 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256829836176 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16333] ppid=16310 vsize=10162692 CPUtime=1.17 cores=4-7,12-15
/proc/16313/task/16333/stat : 16333 (java) S 16310 16313 15292 0 -1 4202560 11880 0 0 0 115 2 0 0 20 0 27 0 22652716 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256828783544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16334] ppid=16310 vsize=10162692 CPUtime=1.3 cores=4-7,12-15
/proc/16313/task/16334/stat : 16334 (java) S 16310 16313 15292 0 -1 4202560 10204 0 0 0 130 0 0 0 20 0 27 0 22652716 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256827730488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16313/tid=16335] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16335/stat : 16335 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22652716 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256826678136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16336] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16336/stat : 16336 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 22652716 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256825625288 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16337] ppid=16310 vsize=10162692 CPUtime=1.37 cores=4-7,12-15
/proc/16313/task/16337/stat : 16337 (java) R 16310 16313 15292 0 -1 4202560 27 0 0 0 137 0 0 0 20 0 27 0 22652729 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256824568728 140257341797077 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16338] ppid=16310 vsize=10162692 CPUtime=1.37 cores=4-7,12-15
/proc/16313/task/16338/stat : 16338 (java) R 16310 16313 15292 0 -1 4202560 94 0 0 0 135 2 0 0 20 0 27 0 22652729 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256823516200 140257341756112 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16339] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16339/stat : 16339 (java) S 16310 16313 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22652729 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256822465448 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16340] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16340/stat : 16340 (java) S 16310 16313 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 22652729 10406596608 51520 33554432000 1073741824 1073778376 140735322165488 140256821413416 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 10162692

[startup+2.40109 s]
/proc/loadavg: 0.99 0.23 0.07 3/279 16372
/proc/meminfo: memFree=31847296/32872528 swapFree=7804/7804
[pid=16313] ppid=16310 vsize=10162692 CPUtime=7.3 cores=4-7,12-15
/proc/16313/stat : 16313 (java) S 16310 16313 15292 0 -1 4202496 26172 0 1 0 716 14 0 0 20 0 25 0 22652711 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140735322156624 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16313/statm: 2540673 51515 2285 9 0 2531350 0
[pid=16313/tid=16314] ppid=16310 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/16313/task/16314/stat : 16314 (java) S 16310 16313 15292 0 -1 4202560 2452 0 1 0 15 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140257489433464 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16316] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16316/stat : 16316 (java) S 16310 16313 15292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140257461885864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16317] ppid=16310 vsize=10162692 CPUtime=0.02 cores=4-7,12-15
/proc/16313/task/16317/stat : 16317 (java) S 16310 16313 15292 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140257460833320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16313/tid=16318] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16318/stat : 16318 (java) S 16310 16313 15292 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140257459780264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16319] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16319/stat : 16319 (java) S 16310 16313 15292 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140257330244392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16320] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16320/stat : 16320 (java) S 16310 16313 15292 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140257329191336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16313/tid=16321] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16321/stat : 16321 (java) S 16310 16313 15292 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140257328138792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16313/tid=16322] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16322/stat : 16322 (java) S 16310 16313 15292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140257327085736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16323] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16323/stat : 16323 (java) S 16310 16313 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140257326033192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16324] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16324/stat : 16324 (java) S 16310 16313 15292 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256854666152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16313/tid=16325] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16325/stat : 16325 (java) S 16310 16313 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256853613608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16326] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16326/stat : 16326 (java) S 16310 16313 15292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256852560552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16327] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16327/stat : 16327 (java) S 16310 16313 15292 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256851508008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16328] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16328/stat : 16328 (java) S 16310 16313 15292 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 25 0 22652712 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256850454952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16329] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16329/stat : 16329 (java) S 16310 16313 15292 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 25 0 22652713 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256832993768 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16313/tid=16330] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16330/stat : 16330 (java) S 16310 16313 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 25 0 22652714 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256831939576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16331] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16331/stat : 16331 (java) S 16310 16313 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 25 0 22652714 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256830886920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16332] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16332/stat : 16332 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 25 0 22652716 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256829836176 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16333] ppid=16310 vsize=10162692 CPUtime=1.17 cores=4-7,12-15
/proc/16313/task/16333/stat : 16333 (java) S 16310 16313 15292 0 -1 4202560 11880 0 0 0 115 2 0 0 20 0 25 0 22652716 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256828783544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16334] ppid=16310 vsize=10162692 CPUtime=1.39 cores=4-7,12-15
/proc/16313/task/16334/stat : 16334 (java) S 16310 16313 15292 0 -1 4202560 10276 0 0 0 139 0 0 0 20 0 25 0 22652716 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256827730488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16313/tid=16335] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16335/stat : 16335 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 25 0 22652716 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256826678136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16336] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16336/stat : 16336 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 25 0 22652716 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256825625288 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16338] ppid=16310 vsize=10162692 CPUtime=2.16 cores=4-7,12-15
/proc/16313/task/16338/stat : 16338 (java) R 16310 16313 15292 0 -1 4202560 94 0 0 0 214 2 0 0 20 0 25 0 22652729 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256823516200 140257342260772 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16339] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16339/stat : 16339 (java) S 16310 16313 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 25 0 22652729 10406596608 51515 33554432000 1073741824 1073778376 140735322165488 140256822465448 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 7.3
Current children cumulated vsize (KiB) 10162692

[startup+2.60102 s]
/proc/loadavg: 0.99 0.23 0.07 3/279 16372
/proc/meminfo: memFree=31847296/32872528 swapFree=7804/7804
[pid=16313] ppid=16310 vsize=10162692 CPUtime=7.36 cores=4-7,12-15
/proc/16313/stat : 16313 (java) S 16310 16313 15292 0 -1 4202496 26173 0 1 0 721 15 0 0 20 0 24 0 22652711 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140735322156624 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/16313/statm: 2540673 52020 2285 9 0 2531350 0
[pid=16313/tid=16314] ppid=16310 vsize=10162692 CPUtime=0.15 cores=4-7,12-15
/proc/16313/task/16314/stat : 16314 (java) S 16310 16313 15292 0 -1 4202560 2452 0 1 0 15 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140257489433464 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16316] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16316/stat : 16316 (java) S 16310 16313 15292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140257461885864 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16317] ppid=16310 vsize=10162692 CPUtime=0.02 cores=4-7,12-15
/proc/16313/task/16317/stat : 16317 (java) S 16310 16313 15292 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140257460833320 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16313/tid=16318] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16318/stat : 16318 (java) S 16310 16313 15292 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140257459780264 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=16313/tid=16319] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16319/stat : 16319 (java) S 16310 16313 15292 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140257330244392 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16320] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16320/stat : 16320 (java) S 16310 16313 15292 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140257329191336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16313/tid=16321] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16321/stat : 16321 (java) S 16310 16313 15292 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140257328138792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16313/tid=16322] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16322/stat : 16322 (java) S 16310 16313 15292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140257327085736 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16323] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16323/stat : 16323 (java) S 16310 16313 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140257326033192 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16324] ppid=16310 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/16313/task/16324/stat : 16324 (java) S 16310 16313 15292 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256854666152 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=16313/tid=16325] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16325/stat : 16325 (java) S 16310 16313 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256853613608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16326] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16326/stat : 16326 (java) S 16310 16313 15292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256852560552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16327] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16327/stat : 16327 (java) S 16310 16313 15292 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256851508008 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16328] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16328/stat : 16328 (java) S 16310 16313 15292 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 22652712 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256850454952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=16313/tid=16329] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16329/stat : 16329 (java) S 16310 16313 15292 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 24 0 22652713 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256832993768 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16313/tid=16330] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16330/stat : 16330 (java) S 16310 16313 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 24 0 22652714 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256831939576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16331] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16331/stat : 16331 (java) S 16310 16313 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 24 0 22652714 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256830886920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16332] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16332/stat : 16332 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 22652716 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256829836176 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=16313/tid=16333] ppid=16310 vsize=10162692 CPUtime=1.17 cores=4-7,12-15
/proc/16313/task/16333/stat : 16333 (java) S 16310 16313 15292 0 -1 4202560 11880 0 0 0 115 2 0 0 20 0 24 0 22652716 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256828783544 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16334] ppid=16310 vsize=10162692 CPUtime=1.39 cores=4-7,12-15
/proc/16313/task/16334/stat : 16334 (java) S 16310 16313 15292 0 -1 4202560 10276 0 0 0 139 0 0 0 20 0 24 0 22652716 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256827730488 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=16313/tid=16335] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16335/stat : 16335 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 22652716 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256826678136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=16313/tid=16336] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16336/stat : 16336 (java) S 16310 16313 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 24 0 22652716 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256825625288 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16313/tid=16339] ppid=16310 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/16313/task/16339/stat : 16339 (java) S 16310 16313 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 24 0 22652729 10406596608 52020 33554432000 1073741824 1073778376 140735322165488 140256822465448 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 10162692

Child status: 20
Real time (s): 2.69456
CPU time (s): 7.49186
CPU user time (s): 7.26989
CPU system time (s): 0.221966
CPU usage (%): 278.036
Max. virtual memory (cumulated for all children) (KiB): 10162692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.26989
system time used= 0.221966
maximum resident set size= 212204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26189
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 522
involuntary context switches= 249

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025996 second user time and 0.036994 second system time

The end

Begin job on node132 at 2016-06-18 01:28:01
IDJOB=4098851
IDBENCH=1259
IDSOLVER=2543
FILE ID=node132/4098851-1466206081
RUNJOBID= node132-1466206058-15309
PBS_JOBID= 19918145
Free space on /tmp= 71736 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218757.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098851-1466206081/watcher-4098851-1466206081 -o /tmp/evaluation-result-4098851-1466206081/solver-4098851-1466206081 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15309 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4098851-1466206081.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= d6496b44145c310b75c0b7261c5aa1e2
RANDOM SEED=338141032

node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.51
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31999232 kB
Buffers:           32604 kB
Cached:            65604 kB
SwapCached:         1804 kB
Active:            84496 kB
Inactive:          54500 kB
Active(anon):      41964 kB
Inactive(anon):     1028 kB
Active(file):      42532 kB
Inactive(file):    53472 kB
Unevictable:        7804 kB
Mlocked:            7804 kB
SwapTotal:      67108856 kB
SwapFree:       67099272 kB
Dirty:              1820 kB
Writeback:             4 kB
AnonPages:         33600 kB
Mapped:            14812 kB
Shmem:                 0 kB
Slab:             577964 kB
SReclaimable:      15316 kB
SUnreclaim:       562648 kB
KernelStack:        2144 kB
PageTables:         4152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     708356 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71736 MiB
End job on node132 at 2016-06-18 01:28:04

Name	normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111218757.opb
MD5SUM	d6496b44145c310b75c0b7261c5aa1e2
Bench Category	DEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	1.49077
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved	YES
Best value of the objective function
Optimality of the best value was proved
Number of variables	169
Total number of constraints	101
Number of constraints which are clauses	30
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	2
Maximum length of a constraint	169
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	38
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	1266
Number of bits of the biggest sum of numbers	11
Number of products (including duplicates)	0
Sum of products size (including duplicates)	0
Number of different products	0
Sum of products size	0

Trace number 4098851

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data