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

Solver Name	Answer	CPU time	Wall clock time
Sat4j PB 2.3.6 Resolution PB16	? (TO)	1800.76	1773.04

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-4084477-1465239601/watcher-4084477-1465239601 -o /tmp/evaluation-result-4084477-1465239601/solver-4084477-1465239601 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465217315-754 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084477-1465239601.opb 

pid=4161
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.32 2.26 2.26 4/195 4164
/proc/meminfo: memFree=29152496/32872528 swapFree=16252/1391864
[pid=4164] ppid=4161 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/4164/stat : 4164 (java) R 4161 4164 737 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 105893299 3653632 47 33554432000 1073741824 1073778376 140734665157280 140734665154408 272877318023 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/4164/statm: 892 49 38 9 0 30 0

[startup+0.10006 s]
/proc/loadavg: 2.32 2.26 2.26 4/195 4164
/proc/meminfo: memFree=29152496/32872528 swapFree=16252/1391864
[pid=4164] ppid=4161 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/4164/stat : 4164 (java) S 4161 4164 737 0 -1 4202496 4401 0 1 0 8 1 0 0 20 0 18 0 105893299 9787879424 6037 33554432000 1073741824 1073778376 140734665157280 140734665148416 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4164/statm: 2389619 6037 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200254 s]
/proc/loadavg: 2.32 2.26 2.26 4/195 4164
/proc/meminfo: memFree=29152496/32872528 swapFree=16252/1391864
[pid=4164] ppid=4161 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/4164/stat : 4164 (java) S 4161 4164 737 0 -1 4202496 4980 0 1 0 26 1 0 0 20 0 18 0 105893299 9787879424 6947 33554432000 1073741824 1073778376 140734665157280 140734665148416 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4164/statm: 2389619 6947 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9558476

[startup+0.300227 s]
/proc/loadavg: 2.32 2.26 2.26 4/195 4164
/proc/meminfo: memFree=29152496/32872528 swapFree=16252/1391864
[pid=4164] ppid=4161 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/4164/stat : 4164 (java) S 4161 4164 737 0 -1 4202496 6577 0 1 0 52 2 0 0 20 0 19 0 105893299 9856040960 8209 33554432000 1073741824 1073778376 140734665157280 140734665148416 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4164/statm: 2406260 8209 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9625040

[startup+0.700326 s]
/proc/loadavg: 2.32 2.26 2.26 4/195 4164
/proc/meminfo: memFree=29152496/32872528 swapFree=16252/1391864
[pid=4164] ppid=4161 vsize=9625040 CPUtime=1.03 cores=0,2,4,6
/proc/4164/stat : 4164 (java) S 4161 4164 737 0 -1 4202496 6740 0 1 0 101 2 0 0 20 0 19 0 105893299 9856040960 9597 33554432000 1073741824 1073778376 140734665157280 140734665148416 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4164/statm: 2406260 9597 2246 9 0 2396937 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9625040

[startup+1.50085 s]
/proc/loadavg: 2.32 2.26 2.26 4/214 4183
/proc/meminfo: memFree=29086920/32872528 swapFree=16252/1391864
[pid=4164] ppid=4161 vsize=9625040 CPUtime=2.15 cores=0,2,4,6
/proc/4164/stat : 4164 (java) S 4161 4164 737 0 -1 4202496 15922 0 1 0 211 4 0 0 20 0 19 0 105893299 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140734665148416 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4164/statm: 2406260 18862 2258 9 0 2396937 0
[pid=4164/tid=4166] ppid=4161 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/4164/task/4166/stat : 4166 (java) R 4161 4164 737 0 -1 4202560 2426 0 1 0 144 2 0 0 20 0 19 0 105893300 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140436274175712 140436119770326 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4167] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4167/stat : 4167 (java) S 4161 4164 737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140436246637096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4168] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4168/stat : 4168 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140436245584296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4169] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4169/stat : 4169 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140436244531496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4170] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4170/stat : 4170 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140436243478696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4171] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4171/stat : 4171 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140436242426920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4172] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4172/stat : 4172 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140436241374120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4173] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4173/stat : 4173 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140436240321320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4174] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4174/stat : 4174 (java) S 4161 4164 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140436239268520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4175] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4175/stat : 4175 (java) S 4161 4164 737 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105893302 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140435627416040 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4176] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4176/stat : 4176 (java) S 4161 4164 737 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140435626362104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4177] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4177/stat : 4177 (java) S 4161 4164 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140435625309192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4178] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4178/stat : 4178 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140435624257680 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4179] ppid=4161 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/4164/task/4179/stat : 4179 (java) S 4161 4164 737 0 -1 4202560 8464 0 0 0 35 2 0 0 20 0 19 0 105893305 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140435623205816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4180] ppid=4161 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/4164/task/4180/stat : 4180 (java) S 4161 4164 737 0 -1 4202560 3754 0 0 0 29 0 0 0 20 0 19 0 105893305 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140435622153016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4181] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4181/stat : 4181 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140435621100408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4182] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4182/stat : 4182 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140435620047816 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4183] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4183/stat : 4183 (java) S 4161 4164 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105893323 9856040960 18862 33554432000 1073741824 1073778376 140734665157280 140435618993320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 2.32 2.26 2.26 3/213 4183
/proc/meminfo: memFree=29070040/32872528 swapFree=16252/1391864
[pid=4164] ppid=4161 vsize=9625040 CPUtime=3.76 cores=0,2,4,6
/proc/4164/stat : 4164 (java) S 4161 4164 737 0 -1 4202496 15931 0 1 0 372 4 0 0 20 0 19 0 105893299 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140734665148416 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4164/statm: 2406260 22958 2258 9 0 2396937 0
[pid=4164/tid=4166] ppid=4161 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/4164/task/4166/stat : 4166 (java) R 4161 4164 737 0 -1 4202560 2435 0 1 0 304 2 0 0 20 0 19 0 105893300 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140436274175712 140436119749649 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4167] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4167/stat : 4167 (java) S 4161 4164 737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140436246637096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4168] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4168/stat : 4168 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140436245584296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4169] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4169/stat : 4169 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140436244531496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4170] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4170/stat : 4170 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140436243478696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4171] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4171/stat : 4171 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140436242426920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4172] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4172/stat : 4172 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140436241374120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4173] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4173/stat : 4173 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140436240321320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4174] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4174/stat : 4174 (java) S 4161 4164 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140436239268520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4175] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4175/stat : 4175 (java) S 4161 4164 737 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105893302 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140435627416040 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4176] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4176/stat : 4176 (java) S 4161 4164 737 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140435626362104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4177] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4177/stat : 4177 (java) S 4161 4164 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140435625309192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4178] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4178/stat : 4178 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140435624257680 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4179] ppid=4161 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/4164/task/4179/stat : 4179 (java) S 4161 4164 737 0 -1 4202560 8464 0 0 0 35 2 0 0 20 0 19 0 105893305 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140435623205816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4180] ppid=4161 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/4164/task/4180/stat : 4180 (java) S 4161 4164 737 0 -1 4202560 3754 0 0 0 30 0 0 0 20 0 19 0 105893305 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140435622153016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4181] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4181/stat : 4181 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140435621100408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4182] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4182/stat : 4182 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140435620047816 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4183] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4183/stat : 4183 (java) S 4161 4164 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105893323 9856040960 22958 33554432000 1073741824 1073778376 140734665157280 140435618993320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.30 2.26 2.26 3/213 4183
/proc/meminfo: memFree=29026256/32872528 swapFree=16252/1391864
[pid=4164] ppid=4161 vsize=9625040 CPUtime=7 cores=0,2,4,6
/proc/4164/stat : 4164 (java) S 4161 4164 737 0 -1 4202496 15953 0 1 0 695 5 0 0 20 0 19 0 105893299 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140734665148416 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4164/statm: 2406260 31241 2259 9 0 2396937 0
[pid=4164/tid=4166] ppid=4161 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/4164/task/4166/stat : 4166 (java) R 4161 4164 737 0 -1 4202560 2456 0 1 0 623 3 0 0 20 0 19 0 105893300 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140436274175680 140436119744317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4167] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4167/stat : 4167 (java) S 4161 4164 737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140436246637096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4168] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4168/stat : 4168 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140436245584296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4169] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4169/stat : 4169 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140436244531496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4170] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4170/stat : 4170 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140436243478696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4171] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4171/stat : 4171 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140436242426920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4172] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4172/stat : 4172 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140436241374120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4173] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4173/stat : 4173 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140436240321320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4174] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4174/stat : 4174 (java) S 4161 4164 737 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105893301 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140436239268520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4175] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4175/stat : 4175 (java) S 4161 4164 737 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105893302 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140435627416040 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4176] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4176/stat : 4176 (java) S 4161 4164 737 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140435626362104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4177] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4177/stat : 4177 (java) S 4161 4164 737 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140435625309192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4178] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4178/stat : 4178 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140435624257680 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4179] ppid=4161 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/4164/task/4179/stat : 4179 (java) S 4161 4164 737 0 -1 4202560 8464 0 0 0 35 2 0 0 20 0 19 0 105893305 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140435623205816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4180] ppid=4161 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/4164/task/4180/stat : 4180 (java) S 4161 4164 737 0 -1 4202560 3754 0 0 0 33 0 0 0 20 0 19 0 105893305 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140435622153016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4181] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4181/stat : 4181 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140435621100408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4182] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4182/stat : 4182 (java) S 4161 4164 737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140435620047816 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4183] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4183/stat : 4183 (java) S 4161 4164 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105893323 9856040960 31241 33554432000 1073741824 1073778376 140734665157280 140435618993320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7
Current children cumulated vsize (KiB) 9625040


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

[pid=4164/tid=4176] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4176/stat : 4176 (java) S 4161 4164 737 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 296074 33554432000 1073741824 1073778376 140734665157280 140435626362104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4177] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4177/stat : 4177 (java) S 4161 4164 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 296074 33554432000 1073741824 1073778376 140734665157280 140435625309192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4178] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4178/stat : 4178 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 296074 33554432000 1073741824 1073778376 140734665157280 140435624257680 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4179] ppid=4161 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/4164/task/4179/stat : 4179 (java) S 4161 4164 737 0 -1 4202560 8464 0 0 0 35 2 0 0 20 0 19 0 105893305 9856040960 296074 33554432000 1073741824 1073778376 140734665157280 140435623205816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4180] ppid=4161 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/4164/task/4180/stat : 4180 (java) S 4161 4164 737 0 -1 4202560 3754 0 0 0 33 0 0 0 20 0 19 0 105893305 9856040960 296074 33554432000 1073741824 1073778376 140734665157280 140435622153016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4181] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4181/stat : 4181 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 296074 33554432000 1073741824 1073778376 140734665157280 140435621100408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4182] ppid=4161 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/4164/task/4182/stat : 4182 (java) S 4161 4164 737 0 -1 4202560 94 0 0 0 29 28 0 0 20 0 19 0 105893305 9856040960 296074 33554432000 1073741824 1073778376 140734665157280 140435620047816 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4183] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4183/stat : 4183 (java) S 4161 4164 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105893323 9856040960 296074 33554432000 1073741824 1073778376 140734665157280 140435618993320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1626.67
Current children cumulated vsize (KiB) 9625040

[startup+1662.3 s]
/proc/loadavg: 2.19 2.16 2.18 3/213 4311
/proc/meminfo: memFree=28797160/32872528 swapFree=16252/1391864
[pid=4164] ppid=4161 vsize=9625040 CPUtime=1687.76 cores=0,2,4,6
/proc/4164/stat : 4164 (java) S 4161 4164 737 0 -1 4202496 40850 0 1 0 168307 469 0 0 20 0 19 0 105893299 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140734665148416 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4164/statm: 2406260 344340 2280 9 0 2396937 0
[pid=4164/tid=4166] ppid=4161 vsize=9625040 CPUtime=1646.75 cores=0,2,4,6
/proc/4164/task/4166/stat : 4166 (java) R 4161 4164 737 0 -1 4202560 2718 0 1 0 164643 32 0 0 20 0 19 0 105893300 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140436274183392 140436119716477 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4167] ppid=4161 vsize=9625040 CPUtime=4.22 cores=0,2,4,6
/proc/4164/task/4167/stat : 4167 (java) S 4161 4164 737 0 -1 4202560 2441 0 0 0 367 55 0 0 20 0 19 0 105893301 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140436246637096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4164/tid=4168] ppid=4161 vsize=9625040 CPUtime=4.31 cores=0,2,4,6
/proc/4164/task/4168/stat : 4168 (java) S 4161 4164 737 0 -1 4202560 2514 0 0 0 371 60 0 0 20 0 19 0 105893301 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140436245584296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4164/tid=4169] ppid=4161 vsize=9625040 CPUtime=4.17 cores=0,2,4,6
/proc/4164/task/4169/stat : 4169 (java) S 4161 4164 737 0 -1 4202560 2650 0 0 0 364 53 0 0 20 0 19 0 105893301 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140436244531496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4164/tid=4170] ppid=4161 vsize=9625040 CPUtime=4.39 cores=0,2,4,6
/proc/4164/task/4170/stat : 4170 (java) S 4161 4164 737 0 -1 4202560 2565 0 0 0 380 59 0 0 20 0 19 0 105893301 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140436243478696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4164/tid=4171] ppid=4161 vsize=9625040 CPUtime=4.28 cores=0,2,4,6
/proc/4164/task/4171/stat : 4171 (java) S 4161 4164 737 0 -1 4202560 2182 0 0 0 380 48 0 0 20 0 19 0 105893301 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140436242426920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4172] ppid=4161 vsize=9625040 CPUtime=4.1 cores=0,2,4,6
/proc/4164/task/4172/stat : 4172 (java) S 4161 4164 737 0 -1 4202560 3034 0 0 0 358 52 0 0 20 0 19 0 105893301 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140436241374120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4164/tid=4173] ppid=4161 vsize=9625040 CPUtime=4.12 cores=0,2,4,6
/proc/4164/task/4173/stat : 4173 (java) S 4161 4164 737 0 -1 4202560 2168 0 0 0 357 55 0 0 20 0 19 0 105893301 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140436240321320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4164/tid=4174] ppid=4161 vsize=9625040 CPUtime=4.26 cores=0,2,4,6
/proc/4164/task/4174/stat : 4174 (java) S 4161 4164 737 0 -1 4202560 2217 0 0 0 374 52 0 0 20 0 19 0 105893301 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140436239268520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4175] ppid=4161 vsize=9625040 CPUtime=6.27 cores=0,2,4,6
/proc/4164/task/4175/stat : 4175 (java) S 4161 4164 737 0 -1 4202560 4781 0 0 0 621 6 0 0 20 0 19 0 105893302 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140435627416040 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4176] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4176/stat : 4176 (java) S 4161 4164 737 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140435626362104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4177] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4177/stat : 4177 (java) S 4161 4164 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140435625309192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4178] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4178/stat : 4178 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140435624257680 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4179] ppid=4161 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/4164/task/4179/stat : 4179 (java) S 4161 4164 737 0 -1 4202560 8464 0 0 0 35 2 0 0 20 0 19 0 105893305 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140435623205816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4180] ppid=4161 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/4164/task/4180/stat : 4180 (java) S 4161 4164 737 0 -1 4202560 3754 0 0 0 33 0 0 0 20 0 19 0 105893305 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140435622153016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4181] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4181/stat : 4181 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140435621100408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4182] ppid=4161 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/4164/task/4182/stat : 4182 (java) S 4161 4164 737 0 -1 4202560 98 0 0 0 30 29 0 0 20 0 19 0 105893305 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140435620047816 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4183] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4183/stat : 4183 (java) S 4161 4164 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105893323 9856040960 344340 33554432000 1073741824 1073778376 140734665157280 140435618993320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1687.76
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.21 2.18 2.18 3/213 4312
/proc/meminfo: memFree=28819248/32872528 swapFree=16252/1391864
[pid=4164] ppid=4161 vsize=9625040 CPUtime=1748.78 cores=0,2,4,6
/proc/4164/stat : 4164 (java) S 4161 4164 737 0 -1 4202496 41236 0 1 0 174387 491 0 0 20 0 19 0 105893299 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140734665148416 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4164/statm: 2406260 328049 2280 9 0 2396937 0
[pid=4164/tid=4166] ppid=4161 vsize=9625040 CPUtime=1706.25 cores=0,2,4,6
/proc/4164/task/4166/stat : 4166 (java) R 4161 4164 737 0 -1 4202560 2729 0 1 0 170593 32 0 0 20 0 19 0 105893300 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140436274183392 140436119744317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4167] ppid=4161 vsize=9625040 CPUtime=4.41 cores=0,2,4,6
/proc/4164/task/4167/stat : 4167 (java) S 4161 4164 737 0 -1 4202560 2493 0 0 0 383 58 0 0 20 0 19 0 105893301 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140436246637096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4168] ppid=4161 vsize=9625040 CPUtime=4.48 cores=0,2,4,6
/proc/4164/task/4168/stat : 4168 (java) S 4161 4164 737 0 -1 4202560 2550 0 0 0 386 62 0 0 20 0 19 0 105893301 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140436245584296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4164/tid=4169] ppid=4161 vsize=9625040 CPUtime=4.37 cores=0,2,4,6
/proc/4164/task/4169/stat : 4169 (java) S 4161 4164 737 0 -1 4202560 2723 0 0 0 380 57 0 0 20 0 19 0 105893301 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140436244531496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4170] ppid=4161 vsize=9625040 CPUtime=4.57 cores=0,2,4,6
/proc/4164/task/4170/stat : 4170 (java) S 4161 4164 737 0 -1 4202560 2621 0 0 0 395 62 0 0 20 0 19 0 105893301 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140436243478696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4171] ppid=4161 vsize=9625040 CPUtime=4.42 cores=0,2,4,6
/proc/4164/task/4171/stat : 4171 (java) S 4161 4164 737 0 -1 4202560 2209 0 0 0 392 50 0 0 20 0 19 0 105893301 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140436242426920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4164/tid=4172] ppid=4161 vsize=9625040 CPUtime=4.25 cores=0,2,4,6
/proc/4164/task/4172/stat : 4172 (java) S 4161 4164 737 0 -1 4202560 3070 0 0 0 371 54 0 0 20 0 19 0 105893301 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140436241374120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4173] ppid=4161 vsize=9625040 CPUtime=4.3 cores=0,2,4,6
/proc/4164/task/4173/stat : 4173 (java) S 4161 4164 737 0 -1 4202560 2226 0 0 0 372 58 0 0 20 0 19 0 105893301 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140436240321320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4174] ppid=4161 vsize=9625040 CPUtime=4.45 cores=0,2,4,6
/proc/4164/task/4174/stat : 4174 (java) S 4161 4164 737 0 -1 4202560 2247 0 0 0 391 54 0 0 20 0 19 0 105893301 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140436239268520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4175] ppid=4161 vsize=9625040 CPUtime=6.41 cores=0,2,4,6
/proc/4164/task/4175/stat : 4175 (java) S 4161 4164 737 0 -1 4202560 4786 0 0 0 635 6 0 0 20 0 19 0 105893302 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140435627416040 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4176] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4176/stat : 4176 (java) S 4161 4164 737 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140435626362104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4177] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4177/stat : 4177 (java) S 4161 4164 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140435625309192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4178] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4178/stat : 4178 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140435624257680 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4179] ppid=4161 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/4164/task/4179/stat : 4179 (java) S 4161 4164 737 0 -1 4202560 8464 0 0 0 35 2 0 0 20 0 19 0 105893305 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140435623205816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4180] ppid=4161 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/4164/task/4180/stat : 4180 (java) S 4161 4164 737 0 -1 4202560 3754 0 0 0 33 0 0 0 20 0 19 0 105893305 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140435622153016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4181] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4181/stat : 4181 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140435621100408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4182] ppid=4161 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/4164/task/4182/stat : 4182 (java) S 4161 4164 737 0 -1 4202560 100 0 0 0 31 30 0 0 20 0 19 0 105893305 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140435620047816 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4183] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4183/stat : 4183 (java) S 4161 4164 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105893323 9856040960 328049 33554432000 1073741824 1073778376 140734665157280 140435618993320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1748.78
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1773 s]
/proc/loadavg: 2.39 2.22 2.19 3/213 4313
/proc/meminfo: memFree=29079604/32872528 swapFree=16252/1391864
[pid=4164] ppid=4161 vsize=9625040 CPUtime=1800 cores=0,2,4,6
/proc/4164/stat : 4164 (java) S 4161 4164 737 0 -1 4202496 41542 0 1 0 179508 492 0 0 20 0 19 0 105893299 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140734665148416 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4164/statm: 2406260 276316 2280 9 0 2396937 0
[pid=4164/tid=4166] ppid=4161 vsize=9625040 CPUtime=1756.5 cores=0,2,4,6
/proc/4164/task/4166/stat : 4166 (java) R 4161 4164 737 0 -1 4202560 2735 0 1 0 175617 33 0 0 20 0 19 0 105893300 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140436274183392 140436119715311 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4167] ppid=4161 vsize=9625040 CPUtime=4.52 cores=0,2,4,6
/proc/4164/task/4167/stat : 4167 (java) S 4161 4164 737 0 -1 4202560 2501 0 0 0 394 58 0 0 20 0 19 0 105893301 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140436246637096 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4168] ppid=4161 vsize=9625040 CPUtime=4.57 cores=0,2,4,6
/proc/4164/task/4168/stat : 4168 (java) S 4161 4164 737 0 -1 4202560 2550 0 0 0 395 62 0 0 20 0 19 0 105893301 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140436245584296 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4164/tid=4169] ppid=4161 vsize=9625040 CPUtime=4.43 cores=0,2,4,6
/proc/4164/task/4169/stat : 4169 (java) S 4161 4164 737 0 -1 4202560 2723 0 0 0 386 57 0 0 20 0 19 0 105893301 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140436244531496 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4170] ppid=4161 vsize=9625040 CPUtime=4.65 cores=0,2,4,6
/proc/4164/task/4170/stat : 4170 (java) S 4161 4164 737 0 -1 4202560 2634 0 0 0 403 62 0 0 20 0 19 0 105893301 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140436243478696 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4171] ppid=4161 vsize=9625040 CPUtime=4.52 cores=0,2,4,6
/proc/4164/task/4171/stat : 4171 (java) S 4161 4164 737 0 -1 4202560 2209 0 0 0 402 50 0 0 20 0 19 0 105893301 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140436242426920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4172] ppid=4161 vsize=9625040 CPUtime=4.36 cores=0,2,4,6
/proc/4164/task/4172/stat : 4172 (java) S 4161 4164 737 0 -1 4202560 3070 0 0 0 382 54 0 0 20 0 19 0 105893301 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140436241374120 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4173] ppid=4161 vsize=9625040 CPUtime=4.38 cores=0,2,4,6
/proc/4164/task/4173/stat : 4173 (java) S 4161 4164 737 0 -1 4202560 2226 0 0 0 380 58 0 0 20 0 19 0 105893301 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140436240321320 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4174] ppid=4161 vsize=9625040 CPUtime=4.52 cores=0,2,4,6
/proc/4164/task/4174/stat : 4174 (java) S 4161 4164 737 0 -1 4202560 2247 0 0 0 398 54 0 0 20 0 19 0 105893301 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140436239268520 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4175] ppid=4161 vsize=9625040 CPUtime=6.65 cores=0,2,4,6
/proc/4164/task/4175/stat : 4175 (java) S 4161 4164 737 0 -1 4202560 5061 0 0 0 658 7 0 0 20 0 19 0 105893302 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140435627416040 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4164/tid=4176] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4176/stat : 4176 (java) S 4161 4164 737 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140435626362104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4177] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4177/stat : 4177 (java) S 4161 4164 737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105893303 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140435625309192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4178] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4178/stat : 4178 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140435624257680 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4179] ppid=4161 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/4164/task/4179/stat : 4179 (java) S 4161 4164 737 0 -1 4202560 8464 0 0 0 35 2 0 0 20 0 19 0 105893305 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140435623205816 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4164/tid=4180] ppid=4161 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/4164/task/4180/stat : 4180 (java) S 4161 4164 737 0 -1 4202560 3754 0 0 0 33 0 0 0 20 0 19 0 105893305 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140435622153016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4181] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4181/stat : 4181 (java) S 4161 4164 737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105893305 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140435621100408 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4182] ppid=4161 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/4164/task/4182/stat : 4182 (java) S 4161 4164 737 0 -1 4202560 104 0 0 0 33 30 0 0 20 0 19 0 105893305 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140435620047816 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4164/tid=4183] ppid=4161 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/4164/task/4183/stat : 4183 (java) S 4161 4164 737 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 105893323 9856040960 276316 33554432000 1073741824 1073778376 140734665157280 140435618993320 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 143
Real time (s): 1773.04
CPU time (s): 1800.76
CPU user time (s): 1795.35
CPU system time (s): 5.41218
CPU usage (%): 101.563
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.35
system time used= 5.41218
maximum resident set size= 1520640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41586
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45214
involuntary context switches= 40606

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.842 second user time and 16.0086 second system time

The end

Begin job on node119 at 2016-06-06 21:00:02
IDJOB=4084477
IDBENCH=2573
IDSOLVER=2546
FILE ID=node119/4084477-1465239601
RUNJOBID= node119-1465217315-754
PBS_JOBID= 19843200
Free space on /tmp= 71728 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4084477-1465239601/watcher-4084477-1465239601 -o /tmp/evaluation-result-4084477-1465239601/solver-4084477-1465239601 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465217315-754 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4084477-1465239601.opb

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

MD5SUM BENCH= 277dd35641d3866b31d8fb041eb7f9fb
RANDOM SEED=402858963

node119.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.410
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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	: 5332.82
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.410
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.55
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.410
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.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.410
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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.56
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.410
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29152760 kB
Buffers:           32272 kB
Cached:           104536 kB
SwapCached:          856 kB
Active:          1554672 kB
Inactive:          67280 kB
Active(anon):    1485624 kB
Inactive(anon):     1640 kB
Active(file):      69048 kB
Inactive(file):    65640 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100136 kB
Dirty:               916 kB
Writeback:             0 kB
AnonPages:       2878328 kB
Mapped:            15308 kB
Shmem:                 0 kB
Slab:             566708 kB
SReclaimable:      10448 kB
SUnreclaim:       556260 kB
KernelStack:        1600 kB
PageTables:         9656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4080336 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2842624 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 node119 at 2016-06-06 21:29:35

Name	normalized-PB06/SATUNSAT-SMALLINT/ submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
MD5SUM	277dd35641d3866b31d8fb041eb7f9fb
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	0.027995
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	2750
Total number of constraints	105
Number of constraints which are clauses	55
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	55
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	56
Number of bits of the biggest sum of numbers	6
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 4084477

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data