PB'12 competition: WBO track competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
Sat4j PB 2012-05-28	? (TO)	1800.61	1797.54
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3717982-1338256947/watcher-3717982-1338256947 -o /tmp/evaluation-result-3717982-1338256947/solver-3717982-1338256947 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717982-1338256947.wbo 

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

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


[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 1994
/proc/meminfo: memFree=30386560/32873648 swapFree=7116/7116
[pid=1994] ppid=1992 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/1994/stat : 1994 (java) D 1992 1994 30566 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291822098 9515008 183 33554432000 1073741824 1073778376 140733539984320 140733539975352 219513962165 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/1994/statm: 2323 183 140 9 0 71 0

[startup+0.0952869 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 1994
/proc/meminfo: memFree=30386560/32873648 swapFree=7116/7116
[pid=1994] ppid=1992 vsize=9558416 CPUtime=0.07 cores=0,2,4,6
/proc/1994/stat : 1994 (java) S 1992 1994 30566 0 -1 4202496 4246 0 1 0 7 0 0 0 20 0 18 0 291822098 9787817984 4934 33554432000 1073741824 1073778376 140735208263136 140735208254272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1994/statm: 2389604 4934 2081 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558416

[startup+0.100194 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 1994
/proc/meminfo: memFree=30386560/32873648 swapFree=7116/7116
[pid=1994] ppid=1992 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/1994/stat : 1994 (java) S 1992 1994 30566 0 -1 4202496 4321 0 1 0 8 0 0 0 20 0 18 0 291822098 9787817984 5008 33554432000 1073741824 1073778376 140735208263136 140735208254272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1994/statm: 2389604 5009 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416

[startup+0.300224 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 1994
/proc/meminfo: memFree=30386560/32873648 swapFree=7116/7116
[pid=1994] ppid=1992 vsize=9558416 CPUtime=0.47 cores=0,2,4,6
/proc/1994/stat : 1994 (java) S 1992 1994 30566 0 -1 4202496 5484 0 1 0 46 1 0 0 20 0 18 0 291822098 9787817984 7898 33554432000 1073741824 1073778376 140735208263136 140735208254272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1994/statm: 2389604 7898 2216 9 0 2380296 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558416

[startup+0.700237 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 1994
/proc/meminfo: memFree=30386560/32873648 swapFree=7116/7116
[pid=1994] ppid=1992 vsize=9558416 CPUtime=1.21 cores=0,2,4,6
/proc/1994/stat : 1994 (java) S 1992 1994 30566 0 -1 4202496 6929 0 1 0 115 6 0 0 20 0 18 0 291822098 9787817984 44246 33554432000 1073741824 1073778376 140735208263136 140735208254272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1994/statm: 2389604 44246 2249 9 0 2380296 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9558416

[startup+1.5007 s]
/proc/loadavg: 1.92 1.98 1.99 4/213 2013
/proc/meminfo: memFree=30212772/32873648 swapFree=7116/7116
[pid=1994] ppid=1992 vsize=9624980 CPUtime=2.85 cores=0,2,4,6
/proc/1994/stat : 1994 (java) S 1992 1994 30566 0 -1 4202496 12165 0 1 0 278 7 0 0 20 0 19 0 291822098 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140735208254272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1994/statm: 2406245 46611 2268 9 0 2396937 0
[pid=1994/tid=1996] ppid=1992 vsize=9624980 CPUtime=1.42 cores=0,2,4,6
/proc/1994/task/1996/stat : 1996 (java) R 1992 1994 30566 0 -1 4202560 2576 0 1 0 139 3 0 0 20 0 19 0 291822099 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075659366824 140075600108695 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/1997/stat : 1997 (java) S 1992 1994 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291822100 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075598097192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/1998/stat : 1998 (java) S 1992 1994 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291822100 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075597044392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/1999/stat : 1999 (java) S 1992 1994 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291822100 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075595992104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/1994/task/2000/stat : 2000 (java) S 1992 1994 30566 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 291822101 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075594939304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2001/stat : 2001 (java) S 1992 1994 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075498944808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2002] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2002/stat : 2002 (java) S 1992 1994 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075497892008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2003] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2003/stat : 2003 (java) S 1992 1994 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075496839720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1994/tid=2004] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2004/stat : 2004 (java) S 1992 1994 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075495786920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2005] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2005/stat : 2005 (java) S 1992 1994 30566 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075483589352 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2006] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2006/stat : 2006 (java) S 1992 1994 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075482535416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2007] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2007/stat : 2007 (java) S 1992 1994 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075481483016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2008] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2008/stat : 2008 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075480431504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2009] ppid=1992 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/1994/task/2009/stat : 2009 (java) S 1992 1994 30566 0 -1 4202560 4109 0 0 0 68 1 0 0 20 0 19 0 291822105 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075479378104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2010] ppid=1992 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/1994/task/2010/stat : 2010 (java) S 1992 1994 30566 0 -1 4202560 4161 0 0 0 55 0 0 0 20 0 19 0 291822105 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075478325304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2011] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2011/stat : 2011 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075477273208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2012] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2012/stat : 2012 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075476220616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2013] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2013/stat : 2013 (java) S 1992 1994 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291822194 9855979520 46611 33554432000 1073741824 1073778376 140735208263136 140075475166632 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 9624980

[startup+3.10071 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 2013
/proc/meminfo: memFree=30208176/32873648 swapFree=7116/7116
[pid=1994] ppid=1992 vsize=9624980 CPUtime=4.45 cores=0,2,4,6
/proc/1994/stat : 1994 (java) S 1992 1994 30566 0 -1 4202496 12167 0 1 0 438 7 0 0 20 0 19 0 291822098 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140735208254272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1994/statm: 2406245 46612 2268 9 0 2396937 0
[pid=1994/tid=1996] ppid=1992 vsize=9624980 CPUtime=3.02 cores=0,2,4,6
/proc/1994/task/1996/stat : 1996 (java) R 1992 1994 30566 0 -1 4202560 2577 0 1 0 299 3 0 0 20 0 19 0 291822099 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075659366712 140075599999021 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/1997/stat : 1997 (java) S 1992 1994 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291822100 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075598097192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/1998/stat : 1998 (java) S 1992 1994 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291822100 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075597044392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/1999/stat : 1999 (java) S 1992 1994 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291822100 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075595992104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/1994/task/2000/stat : 2000 (java) S 1992 1994 30566 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 291822101 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075594939304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2001/stat : 2001 (java) S 1992 1994 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075498944808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2002] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2002/stat : 2002 (java) S 1992 1994 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075497892008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2003] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2003/stat : 2003 (java) S 1992 1994 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075496839720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1994/tid=2004] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2004/stat : 2004 (java) S 1992 1994 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075495786920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2005] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2005/stat : 2005 (java) S 1992 1994 30566 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075483589352 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2006] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2006/stat : 2006 (java) S 1992 1994 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075482535416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2007] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2007/stat : 2007 (java) S 1992 1994 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075481483016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2008] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2008/stat : 2008 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075480431504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2009] ppid=1992 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/1994/task/2009/stat : 2009 (java) S 1992 1994 30566 0 -1 4202560 4109 0 0 0 68 1 0 0 20 0 19 0 291822105 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075479378104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2010] ppid=1992 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/1994/task/2010/stat : 2010 (java) S 1992 1994 30566 0 -1 4202560 4161 0 0 0 55 0 0 0 20 0 19 0 291822105 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075478325304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2011] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2011/stat : 2011 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075477273208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2012] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2012/stat : 2012 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075476220616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2013] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2013/stat : 2013 (java) S 1992 1994 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291822194 9855979520 46612 33554432000 1073741824 1073778376 140735208263136 140075475166632 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.45
Current children cumulated vsize (KiB) 9624980

[startup+6.30072 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 2013
/proc/meminfo: memFree=30207928/32873648 swapFree=7116/7116
[pid=1994] ppid=1992 vsize=9624980 CPUtime=7.66 cores=0,2,4,6
/proc/1994/stat : 1994 (java) S 1992 1994 30566 0 -1 4202496 12169 0 1 0 759 7 0 0 20 0 19 0 291822098 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140735208254272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1994/statm: 2406245 46574 2268 9 0 2396937 0
[pid=1994/tid=1996] ppid=1992 vsize=9624980 CPUtime=6.22 cores=0,2,4,6
/proc/1994/task/1996/stat : 1996 (java) R 1992 1994 30566 0 -1 4202560 2579 0 1 0 619 3 0 0 20 0 19 0 291822099 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075659366600 140075600031825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/1997/stat : 1997 (java) S 1992 1994 30566 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291822100 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075598097192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/1998/stat : 1998 (java) S 1992 1994 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291822100 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075597044392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/1999/stat : 1999 (java) S 1992 1994 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291822100 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075595992104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/1994/task/2000/stat : 2000 (java) S 1992 1994 30566 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 19 0 291822101 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075594939304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2001/stat : 2001 (java) S 1992 1994 30566 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075498944808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2002] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2002/stat : 2002 (java) S 1992 1994 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075497892008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2003] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2003/stat : 2003 (java) S 1992 1994 30566 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075496839720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1994/tid=2004] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2004/stat : 2004 (java) S 1992 1994 30566 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291822101 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075495786920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2005] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2005/stat : 2005 (java) S 1992 1994 30566 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075483589352 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2006] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2006/stat : 2006 (java) S 1992 1994 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075482535416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2007] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2007/stat : 2007 (java) S 1992 1994 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075481483016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2008] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2008/stat : 2008 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075480431504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2009] ppid=1992 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/1994/task/2009/stat : 2009 (java) S 1992 1994 30566 0 -1 4202560 4109 0 0 0 68 1 0 0 20 0 19 0 291822105 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075479378104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2010] ppid=1992 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/1994/task/2010/stat : 2010 (java) S 1992 1994 30566 0 -1 4202560 4161 0 0 0 56 0 0 0 20 0 19 0 291822105 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075478325304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2011] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2011/stat : 2011 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075477273208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2012] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2012/stat : 2012 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075476220616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2013] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2013/stat : 2013 (java) S 1992 1994 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291822194 9855979520 46574 33554432000 1073741824 1073778376 140735208263136 140075475166632 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.66
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

[pid=1994/tid=2002] ppid=1992 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/1994/task/2002/stat : 2002 (java) S 1992 1994 30566 0 -1 4202560 53 0 0 0 16 3 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075497892008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1994/tid=2003] ppid=1992 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/1994/task/2003/stat : 2003 (java) S 1992 1994 30566 0 -1 4202560 119 0 0 0 14 3 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075496839720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2004] ppid=1992 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/1994/task/2004/stat : 2004 (java) S 1992 1994 30566 0 -1 4202560 143 0 0 0 13 2 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075495786920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2005] ppid=1992 vsize=9624980 CPUtime=3.85 cores=0,2,4,6
/proc/1994/task/2005/stat : 2005 (java) S 1992 1994 30566 0 -1 4202560 195 0 0 0 382 3 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075483589352 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=2006] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2006/stat : 2006 (java) S 1992 1994 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075482535416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2007] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2007/stat : 2007 (java) S 1992 1994 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075481483016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2008] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2008/stat : 2008 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075480431504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2009] ppid=1992 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/1994/task/2009/stat : 2009 (java) S 1992 1994 30566 0 -1 4202560 4138 0 0 0 79 1 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075479378104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2010] ppid=1992 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/1994/task/2010/stat : 2010 (java) S 1992 1994 30566 0 -1 4202560 4177 0 0 0 61 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075478325304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2011] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2011/stat : 2011 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075477273208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2012] ppid=1992 vsize=9624980 CPUtime=0.57 cores=0,2,4,6
/proc/1994/task/2012/stat : 2012 (java) S 1992 1994 30566 0 -1 4202560 99 0 0 0 26 31 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075476220616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=2013] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2013/stat : 2013 (java) S 1992 1994 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291822194 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075475166632 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.86
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/213 2088
/proc/meminfo: memFree=27944960/32873648 swapFree=7116/7116
[pid=1994] ppid=1992 vsize=9624980 CPUtime=1784.86 cores=0,2,4,6
/proc/1994/stat : 1994 (java) S 1992 1994 30566 0 -1 4202496 13198 0 1 0 178436 50 0 0 20 0 19 0 291822098 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140735208254272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1994/statm: 2406245 88714 2282 9 0 2396937 0
[pid=1994/tid=1996] ppid=1992 vsize=9624980 CPUtime=1777.77 cores=0,2,4,6
/proc/1994/task/1996/stat : 1996 (java) R 1992 1994 30566 0 -1 4202560 2615 0 1 0 177744 33 0 0 20 0 19 0 291822099 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075659366688 140075599121568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/1994/task/1997/stat : 1997 (java) S 1992 1994 30566 0 -1 4202560 51 0 0 0 12 2 0 0 20 0 19 0 291822100 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075598097192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=9624980 CPUtime=0.21 cores=0,2,4,6
/proc/1994/task/1998/stat : 1998 (java) S 1992 1994 30566 0 -1 4202560 130 0 0 0 18 3 0 0 20 0 19 0 291822100 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075597044392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/1994/task/1999/stat : 1999 (java) S 1992 1994 30566 0 -1 4202560 165 0 0 0 19 3 0 0 20 0 19 0 291822100 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075595992104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/1994/task/2000/stat : 2000 (java) S 1992 1994 30566 0 -1 4202560 88 0 0 0 17 2 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075594939304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/1994/task/2001/stat : 2001 (java) S 1992 1994 30566 0 -1 4202560 41 0 0 0 16 2 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075498944808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2002] ppid=1992 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/1994/task/2002/stat : 2002 (java) S 1992 1994 30566 0 -1 4202560 53 0 0 0 16 3 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075497892008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1994/tid=2003] ppid=1992 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/1994/task/2003/stat : 2003 (java) S 1992 1994 30566 0 -1 4202560 119 0 0 0 14 3 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075496839720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2004] ppid=1992 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/1994/task/2004/stat : 2004 (java) S 1992 1994 30566 0 -1 4202560 143 0 0 0 13 2 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075495786920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2005] ppid=1992 vsize=9624980 CPUtime=3.85 cores=0,2,4,6
/proc/1994/task/2005/stat : 2005 (java) S 1992 1994 30566 0 -1 4202560 195 0 0 0 382 3 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075483589352 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=2006] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2006/stat : 2006 (java) S 1992 1994 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075482535416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2007] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2007/stat : 2007 (java) S 1992 1994 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075481483016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2008] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2008/stat : 2008 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075480431504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2009] ppid=1992 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/1994/task/2009/stat : 2009 (java) S 1992 1994 30566 0 -1 4202560 4138 0 0 0 79 1 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075479378104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2010] ppid=1992 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/1994/task/2010/stat : 2010 (java) S 1992 1994 30566 0 -1 4202560 4177 0 0 0 61 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075478325304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2011] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2011/stat : 2011 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075477273208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2012] ppid=1992 vsize=9624980 CPUtime=0.59 cores=0,2,4,6
/proc/1994/task/2012/stat : 2012 (java) S 1992 1994 30566 0 -1 4202560 103 0 0 0 27 32 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075476220616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=2013] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2013/stat : 2013 (java) S 1992 1994 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291822194 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075475166632 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.86
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.5 s]
/proc/loadavg: 2.09 2.02 2.01 3/213 2088
/proc/meminfo: memFree=27945208/32873648 swapFree=7116/7116
[pid=1994] ppid=1992 vsize=9624980 CPUtime=1800.07 cores=0,2,4,6
/proc/1994/stat : 1994 (java) S 1992 1994 30566 0 -1 4202496 13198 0 1 0 179957 50 0 0 20 0 19 0 291822098 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140735208254272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1994/statm: 2406245 88714 2282 9 0 2396937 0
[pid=1994/tid=1996] ppid=1992 vsize=9624980 CPUtime=1792.97 cores=0,2,4,6
/proc/1994/task/1996/stat : 1996 (java) R 1992 1994 30566 0 -1 4202560 2615 0 1 0 179264 33 0 0 20 0 19 0 291822099 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075659366688 140075600108723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/1994/task/1997/stat : 1997 (java) S 1992 1994 30566 0 -1 4202560 51 0 0 0 12 2 0 0 20 0 19 0 291822100 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075598097192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=9624980 CPUtime=0.21 cores=0,2,4,6
/proc/1994/task/1998/stat : 1998 (java) S 1992 1994 30566 0 -1 4202560 130 0 0 0 18 3 0 0 20 0 19 0 291822100 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075597044392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/1994/task/1999/stat : 1999 (java) S 1992 1994 30566 0 -1 4202560 165 0 0 0 19 3 0 0 20 0 19 0 291822100 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075595992104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/1994/task/2000/stat : 2000 (java) S 1992 1994 30566 0 -1 4202560 88 0 0 0 17 2 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075594939304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/1994/task/2001/stat : 2001 (java) S 1992 1994 30566 0 -1 4202560 41 0 0 0 16 2 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075498944808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2002] ppid=1992 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/1994/task/2002/stat : 2002 (java) S 1992 1994 30566 0 -1 4202560 53 0 0 0 16 3 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075497892008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1994/tid=2003] ppid=1992 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/1994/task/2003/stat : 2003 (java) S 1992 1994 30566 0 -1 4202560 119 0 0 0 14 3 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075496839720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2004] ppid=1992 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/1994/task/2004/stat : 2004 (java) S 1992 1994 30566 0 -1 4202560 143 0 0 0 13 2 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075495786920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2005] ppid=1992 vsize=9624980 CPUtime=3.85 cores=0,2,4,6
/proc/1994/task/2005/stat : 2005 (java) S 1992 1994 30566 0 -1 4202560 195 0 0 0 382 3 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075483589352 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=2006] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2006/stat : 2006 (java) S 1992 1994 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075482535416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2007] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2007/stat : 2007 (java) S 1992 1994 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075481483016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2008] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2008/stat : 2008 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075480431504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2009] ppid=1992 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/1994/task/2009/stat : 2009 (java) S 1992 1994 30566 0 -1 4202560 4138 0 0 0 79 1 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075479378104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2010] ppid=1992 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/1994/task/2010/stat : 2010 (java) S 1992 1994 30566 0 -1 4202560 4177 0 0 0 61 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075478325304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2011] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2011/stat : 2011 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075477273208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2012] ppid=1992 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/1994/task/2012/stat : 2012 (java) S 1992 1994 30566 0 -1 4202560 103 0 0 0 27 33 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075476220616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=2013] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2013/stat : 2013 (java) S 1992 1994 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291822194 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075475166632 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

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

Solver just ended. Dumping a history of the last processes samples

[startup+1797.5 s]
/proc/loadavg: 2.09 2.02 2.01 3/213 2088
/proc/meminfo: memFree=27945208/32873648 swapFree=7116/7116
[pid=1994] ppid=1992 vsize=9624980 CPUtime=1800.07 cores=0,2,4,6
/proc/1994/stat : 1994 (java) S 1992 1994 30566 0 -1 4202496 13198 0 1 0 179957 50 0 0 20 0 19 0 291822098 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140735208254272 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1994/statm: 2406245 88714 2282 9 0 2396937 0
[pid=1994/tid=1996] ppid=1992 vsize=9624980 CPUtime=1792.97 cores=0,2,4,6
/proc/1994/task/1996/stat : 1996 (java) R 1992 1994 30566 0 -1 4202560 2615 0 1 0 179264 33 0 0 20 0 19 0 291822099 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075659366688 140075600108723 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=1997] ppid=1992 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/1994/task/1997/stat : 1997 (java) S 1992 1994 30566 0 -1 4202560 51 0 0 0 12 2 0 0 20 0 19 0 291822100 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075598097192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=1998] ppid=1992 vsize=9624980 CPUtime=0.21 cores=0,2,4,6
/proc/1994/task/1998/stat : 1998 (java) S 1992 1994 30566 0 -1 4202560 130 0 0 0 18 3 0 0 20 0 19 0 291822100 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075597044392 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=1999] ppid=1992 vsize=9624980 CPUtime=0.22 cores=0,2,4,6
/proc/1994/task/1999/stat : 1999 (java) S 1992 1994 30566 0 -1 4202560 165 0 0 0 19 3 0 0 20 0 19 0 291822100 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075595992104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1994/tid=2000] ppid=1992 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/1994/task/2000/stat : 2000 (java) S 1992 1994 30566 0 -1 4202560 88 0 0 0 17 2 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075594939304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2001] ppid=1992 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/1994/task/2001/stat : 2001 (java) S 1992 1994 30566 0 -1 4202560 41 0 0 0 16 2 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075498944808 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2002] ppid=1992 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/1994/task/2002/stat : 2002 (java) S 1992 1994 30566 0 -1 4202560 53 0 0 0 16 3 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075497892008 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1994/tid=2003] ppid=1992 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/1994/task/2003/stat : 2003 (java) S 1992 1994 30566 0 -1 4202560 119 0 0 0 14 3 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075496839720 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2004] ppid=1992 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/1994/task/2004/stat : 2004 (java) S 1992 1994 30566 0 -1 4202560 143 0 0 0 13 2 0 0 20 0 19 0 291822101 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075495786920 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2005] ppid=1992 vsize=9624980 CPUtime=3.85 cores=0,2,4,6
/proc/1994/task/2005/stat : 2005 (java) S 1992 1994 30566 0 -1 4202560 195 0 0 0 382 3 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075483589352 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=2006] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2006/stat : 2006 (java) S 1992 1994 30566 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075482535416 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2007] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2007/stat : 2007 (java) S 1992 1994 30566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291822102 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075481483016 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2008] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2008/stat : 2008 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075480431504 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2009] ppid=1992 vsize=9624980 CPUtime=0.8 cores=0,2,4,6
/proc/1994/task/2009/stat : 2009 (java) S 1992 1994 30566 0 -1 4202560 4138 0 0 0 79 1 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075479378104 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1994/tid=2010] ppid=1992 vsize=9624980 CPUtime=0.61 cores=0,2,4,6
/proc/1994/task/2010/stat : 2010 (java) S 1992 1994 30566 0 -1 4202560 4177 0 0 0 61 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075478325304 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2011] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2011/stat : 2011 (java) S 1992 1994 30566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075477273208 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1994/tid=2012] ppid=1992 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/1994/task/2012/stat : 2012 (java) S 1992 1994 30566 0 -1 4202560 103 0 0 0 27 33 0 0 20 0 19 0 291822105 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075476220616 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1994/tid=2013] ppid=1992 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/1994/task/2013/stat : 2013 (java) S 1992 1994 30566 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291822194 9855979520 88714 33554432000 1073741824 1073778376 140735208263136 140075475166632 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9624980

Child status: 143
Real time (s): 1797.54
CPU time (s): 1800.61
CPU user time (s): 1799.57
CPU system time (s): 1.04184
CPU usage (%): 100.171
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 1.04184
maximum resident set size= 354992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13237
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39058
involuntary context switches= 17909

runsolver used 5.75212 second user time and 15.5416 second system time

The end
Name	/PARTIAL-BIGINT-LIN/wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo
MD5SUM	ec72443b0cc1ba3c5724b6333eaaea9c
Bench Category	PARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables	1430
Total number of constraints	70954
Number of soft constraints	70873
Number of constraints which are clauses	70873
Number of constraints which are cardinality constraints (but not clauses)	81
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	22
Top cost	3389
Min constraint cost	1
Max constraint cost	2435
Sum of constraints costs	23717414
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	23
Number of bits of the biggest sum of numbers	5
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 3717982

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
