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-3741348-1338772755/watcher-3741348-1338772755 -o /tmp/evaluation-result-3741348-1338772755/solver-3741348-1338772755 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3741348-1338772755.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 5987
/proc/meminfo: memFree=21539724/32873844 swapFree=7112/7112
[pid=5987] ppid=5985 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5987/stat : 5987 (java6) D 5985 5987 3438 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 343404074 9515008 182 33554432000 1073741824 1073778376 140734692223712 140734692214744 235374722741 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5987/statm: 2323 182 140 9 0 71 0
[startup+0.0811009 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 5987
/proc/meminfo: memFree=21539724/32873844 swapFree=7112/7112
[pid=5987] ppid=5985 vsize=2648548 CPUtime=0.05 cores=1,3,5,7
/proc/5987/stat : 5987 (java) S 5985 5987 3438 0 -1 4202496 3805 0 1 0 4 1 0 0 20 0 18 0 343404074 2712113152 5524 33554432000 1073741824 1073778376 140734644484768 140734644475904 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5987/statm: 662137 5524 1754 9 0 652835 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2648548
[startup+0.100383 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 5987
/proc/meminfo: memFree=21539724/32873844 swapFree=7112/7112
[pid=5987] ppid=5985 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/5987/stat : 5987 (java) S 5985 5987 3438 0 -1 4202496 4085 0 1 0 7 1 0 0 20 0 18 0 343404074 2712133632 5804 33554432000 1073741824 1073778376 140734644484768 140734644475904 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5987/statm: 662142 5805 1935 9 0 652835 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2648568
[startup+0.300361 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 5987
/proc/meminfo: memFree=21539724/32873844 swapFree=7112/7112
[pid=5987] ppid=5985 vsize=2648568 CPUtime=0.46 cores=1,3,5,7
/proc/5987/stat : 5987 (java) S 5985 5987 3438 0 -1 4202496 6074 0 1 0 45 1 0 0 20 0 18 0 343404074 2712133632 9353 33554432000 1073741824 1073778376 140734644484768 140734644475904 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5987/statm: 662142 9353 2216 9 0 652835 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2648568
[startup+0.700361 s]
/proc/loadavg: 2.00 2.00 2.00 3/193 5987
/proc/meminfo: memFree=21539724/32873844 swapFree=7112/7112
[pid=5987] ppid=5985 vsize=2715132 CPUtime=1.16 cores=1,3,5,7
/proc/5987/stat : 5987 (java) S 5985 5987 3438 0 -1 4202496 7646 0 1 0 114 2 0 0 20 0 19 0 343404074 2780295168 12268 33554432000 1073741824 1073778376 140734644484768 140734644475904 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5987/statm: 678783 12268 2244 9 0 669476 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 2715132
[startup+1.50066 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 6006
/proc/meminfo: memFree=21493600/32873844 swapFree=7112/7112
[pid=5987] ppid=5985 vsize=2715132 CPUtime=2.06 cores=1,3,5,7
/proc/5987/stat : 5987 (java) S 5985 5987 3438 0 -1 4202496 8032 0 1 0 203 3 0 0 20 0 19 0 343404074 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140734644475904 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5987/statm: 678783 15381 2249 9 0 669476 0
[pid=5987/tid=5989] ppid=5985 vsize=2715132 CPUtime=1.47 cores=1,3,5,7
/proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3438 0 -1 4202560 2763 0 1 0 145 2 0 0 20 0 19 0 343404075 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466549543640 140466385894285 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5990] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466533993128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5991] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466532940584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5992] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466531888040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5987/tid=5993] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466530835496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5994] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466529781928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5995] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466528729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5996] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466527676840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5997] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466526624296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5998] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3438 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343404077 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466514213480 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5999] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3438 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466513159800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6000] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466512107144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6001] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466511055888 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6002] ppid=5985 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/5987/task/6002/stat : 6002 (java) R 5985 5987 3438 0 -1 4202560 1599 0 0 0 24 0 0 0 20 0 19 0 343404081 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466510002232 235378106805 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6003] ppid=5985 vsize=2715132 CPUtime=0.31 cores=1,3,5,7
/proc/5987/task/6003/stat : 6003 (java) R 5985 5987 3438 0 -1 4202560 2475 0 0 0 30 1 0 0 20 0 19 0 343404081 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466508949688 140466552945188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6004] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466507897336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6005] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466506845000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6006] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343404108 2780295168 15381 33554432000 1073741824 1073778376 140734644484768 140466505790760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 2715132
[startup+3.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 6006
/proc/meminfo: memFree=21476720/32873844 swapFree=7112/7112
[pid=5987] ppid=5985 vsize=2715132 CPUtime=3.66 cores=1,3,5,7
/proc/5987/stat : 5987 (java) S 5985 5987 3438 0 -1 4202496 8044 0 1 0 363 3 0 0 20 0 19 0 343404074 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140734644475904 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5987/statm: 678783 21013 2249 9 0 669476 0
[pid=5987/tid=5989] ppid=5985 vsize=2715132 CPUtime=3.06 cores=1,3,5,7
/proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3438 0 -1 4202560 2775 0 1 0 304 2 0 0 20 0 19 0 343404075 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466549541376 140466385893808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5990] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466533993128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5991] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466532940584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5992] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466531888040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5987/tid=5993] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466530835496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5994] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466529781928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5995] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466528729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5996] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466527676840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5997] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466526624296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5998] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3438 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343404077 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466514213480 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5999] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3438 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466513159800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6000] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466512107144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6001] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466511055888 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6002] ppid=5985 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3438 0 -1 4202560 1599 0 0 0 24 0 0 0 20 0 19 0 343404081 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466510002232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6003] ppid=5985 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3438 0 -1 4202560 2475 0 0 0 31 1 0 0 20 0 19 0 343404081 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466508949688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6004] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466507897336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6005] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466506845000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6006] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343404108 2780295168 21013 33554432000 1073741824 1073778376 140734644484768 140466505790760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 2715132
[startup+6.30081 s]
/proc/loadavg: 2.00 2.00 2.00 3/212 6006
/proc/meminfo: memFree=21438188/32873844 swapFree=7112/7112
[pid=5987] ppid=5985 vsize=2715132 CPUtime=6.86 cores=1,3,5,7
/proc/5987/stat : 5987 (java) S 5985 5987 3438 0 -1 4202496 8065 0 1 0 682 4 0 0 20 0 19 0 343404074 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140734644475904 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5987/statm: 678783 30373 2250 9 0 669476 0
[pid=5987/tid=5989] ppid=5985 vsize=2715132 CPUtime=6.26 cores=1,3,5,7
/proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3438 0 -1 4202560 2795 0 1 0 623 3 0 0 20 0 19 0 343404075 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466549541280 140466385906267 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5990] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466533993128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5991] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466532940584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5992] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466531888040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5987/tid=5993] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466530835496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5994] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466529781928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5995] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466528729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5996] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466527676840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5997] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3438 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343404076 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466526624296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5998] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3438 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343404077 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466514213480 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5999] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3438 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466513159800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6000] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466512107144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6001] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466511055888 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6002] ppid=5985 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3438 0 -1 4202560 1599 0 0 0 24 0 0 0 20 0 19 0 343404081 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466510002232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6003] ppid=5985 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3438 0 -1 4202560 2475 0 0 0 31 1 0 0 20 0 19 0 343404081 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466508949688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6004] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466507897336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6005] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3438 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466506845000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6006] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343404108 2780295168 30373 33554432000 1073741824 1073778376 140734644484768 140466505790760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.86
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
[pid=5987/tid=5995] ppid=5985 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3438 0 -1 4202560 248 0 0 0 17 18 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466528729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5987/tid=5996] ppid=5985 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3438 0 -1 4202560 143 0 0 0 6 10 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466527676840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5997] ppid=5985 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3438 0 -1 4202560 119 0 0 0 7 9 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466526624296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5998] ppid=5985 vsize=2715132 CPUtime=3.85 cores=1,3,5,7
/proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3438 0 -1 4202560 192 0 0 0 379 6 0 0 20 0 19 0 343404077 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466514213480 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5999] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466513159800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6000] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466512107144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6001] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466511055888 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6002] ppid=5985 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3438 0 -1 4202560 2983 0 0 0 35 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466510002232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6003] ppid=5985 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3438 0 -1 4202560 2480 0 0 0 35 1 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466508949688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6004] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466507897336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6005] ppid=5985 vsize=2715132 CPUtime=0.87 cores=1,3,5,7
/proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3438 0 -1 4202560 100 0 0 0 53 34 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466506845000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=6006] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343404108 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466505790760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.47
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6282
/proc/meminfo: memFree=19642392/32873844 swapFree=7112/7112
[pid=5987] ppid=5985 vsize=2715132 CPUtime=1785.48 cores=1,3,5,7
/proc/5987/stat : 5987 (java) S 5985 5987 3438 0 -1 4202496 11402 0 1 0 178382 166 0 0 20 0 19 0 343404074 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140734644475904 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5987/statm: 678783 343596 2276 9 0 669476 0
[pid=5987/tid=5989] ppid=5985 vsize=2715132 CPUtime=1777.94 cores=1,3,5,7
/proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3438 0 -1 4202560 2924 0 1 0 177759 35 0 0 20 0 19 0 343404075 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466549543200 140466385893645 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5990] ppid=5985 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3438 0 -1 4202560 219 0 0 0 9 9 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466533993128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5991] ppid=5985 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3438 0 -1 4202560 184 0 0 0 10 14 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466532940584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5992] ppid=5985 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3438 0 -1 4202560 167 0 0 0 10 14 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466531888040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5993] ppid=5985 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3438 0 -1 4202560 269 0 0 0 17 19 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466530835496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5994] ppid=5985 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3438 0 -1 4202560 189 0 0 0 12 13 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466529781928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5995] ppid=5985 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3438 0 -1 4202560 248 0 0 0 17 18 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466528729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5987/tid=5996] ppid=5985 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3438 0 -1 4202560 143 0 0 0 6 10 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466527676840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5997] ppid=5985 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3438 0 -1 4202560 119 0 0 0 7 9 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466526624296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5998] ppid=5985 vsize=2715132 CPUtime=3.85 cores=1,3,5,7
/proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3438 0 -1 4202560 192 0 0 0 379 6 0 0 20 0 19 0 343404077 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466514213480 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5999] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466513159800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6000] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466512107144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6001] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466511055888 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6002] ppid=5985 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3438 0 -1 4202560 2983 0 0 0 35 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466510002232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6003] ppid=5985 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3438 0 -1 4202560 2480 0 0 0 35 1 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466508949688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6004] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466507897336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6005] ppid=5985 vsize=2715132 CPUtime=0.9 cores=1,3,5,7
/proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3438 0 -1 4202560 104 0 0 0 55 35 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466506845000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=6006] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343404108 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466505790760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6283
/proc/meminfo: memFree=19642276/32873844 swapFree=7112/7112
[pid=5987] ppid=5985 vsize=2715132 CPUtime=1800.09 cores=1,3,5,7
/proc/5987/stat : 5987 (java) S 5985 5987 3438 0 -1 4202496 11402 0 1 0 179843 166 0 0 20 0 19 0 343404074 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140734644475904 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5987/statm: 678783 343596 2276 9 0 669476 0
[pid=5987/tid=5989] ppid=5985 vsize=2715132 CPUtime=1792.54 cores=1,3,5,7
/proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3438 0 -1 4202560 2924 0 1 0 179219 35 0 0 20 0 19 0 343404075 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466549543200 140466385937624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5990] ppid=5985 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3438 0 -1 4202560 219 0 0 0 9 9 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466533993128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5991] ppid=5985 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3438 0 -1 4202560 184 0 0 0 10 14 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466532940584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5992] ppid=5985 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3438 0 -1 4202560 167 0 0 0 10 14 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466531888040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5993] ppid=5985 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3438 0 -1 4202560 269 0 0 0 17 19 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466530835496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5994] ppid=5985 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3438 0 -1 4202560 189 0 0 0 12 13 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466529781928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5995] ppid=5985 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3438 0 -1 4202560 248 0 0 0 17 18 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466528729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5987/tid=5996] ppid=5985 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3438 0 -1 4202560 143 0 0 0 6 10 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466527676840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5997] ppid=5985 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3438 0 -1 4202560 119 0 0 0 7 9 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466526624296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5998] ppid=5985 vsize=2715132 CPUtime=3.85 cores=1,3,5,7
/proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3438 0 -1 4202560 192 0 0 0 379 6 0 0 20 0 19 0 343404077 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466514213480 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5999] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466513159800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6000] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466512107144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6001] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466511055888 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6002] ppid=5985 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3438 0 -1 4202560 2983 0 0 0 35 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466510002232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6003] ppid=5985 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3438 0 -1 4202560 2480 0 0 0 35 1 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466508949688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6004] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466507897336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6005] ppid=5985 vsize=2715132 CPUtime=0.91 cores=1,3,5,7
/proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3438 0 -1 4202560 104 0 0 0 55 36 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466506845000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=6006] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343404108 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466505790760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/211 6283
/proc/meminfo: memFree=19642276/32873844 swapFree=7112/7112
[pid=5987] ppid=5985 vsize=2715132 CPUtime=1800.09 cores=1,3,5,7
/proc/5987/stat : 5987 (java) S 5985 5987 3438 0 -1 4202496 11402 0 1 0 179843 166 0 0 20 0 19 0 343404074 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140734644475904 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5987/statm: 678783 343596 2276 9 0 669476 0
[pid=5987/tid=5989] ppid=5985 vsize=2715132 CPUtime=1792.54 cores=1,3,5,7
/proc/5987/task/5989/stat : 5989 (java) R 5985 5987 3438 0 -1 4202560 2924 0 1 0 179219 35 0 0 20 0 19 0 343404075 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466549543200 140466385937624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5990] ppid=5985 vsize=2715132 CPUtime=0.18 cores=1,3,5,7
/proc/5987/task/5990/stat : 5990 (java) S 5985 5987 3438 0 -1 4202560 219 0 0 0 9 9 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466533993128 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=5991] ppid=5985 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/5987/task/5991/stat : 5991 (java) S 5985 5987 3438 0 -1 4202560 184 0 0 0 10 14 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466532940584 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5992] ppid=5985 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/5987/task/5992/stat : 5992 (java) S 5985 5987 3438 0 -1 4202560 167 0 0 0 10 14 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466531888040 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5993] ppid=5985 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/5987/task/5993/stat : 5993 (java) S 5985 5987 3438 0 -1 4202560 269 0 0 0 17 19 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466530835496 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5994] ppid=5985 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/5987/task/5994/stat : 5994 (java) S 5985 5987 3438 0 -1 4202560 189 0 0 0 12 13 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466529781928 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=5995] ppid=5985 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/5987/task/5995/stat : 5995 (java) S 5985 5987 3438 0 -1 4202560 248 0 0 0 17 18 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466528729384 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5987/tid=5996] ppid=5985 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/5987/task/5996/stat : 5996 (java) S 5985 5987 3438 0 -1 4202560 143 0 0 0 6 10 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466527676840 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5997] ppid=5985 vsize=2715132 CPUtime=0.16 cores=1,3,5,7
/proc/5987/task/5997/stat : 5997 (java) S 5985 5987 3438 0 -1 4202560 119 0 0 0 7 9 0 0 20 0 19 0 343404076 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466526624296 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5998] ppid=5985 vsize=2715132 CPUtime=3.85 cores=1,3,5,7
/proc/5987/task/5998/stat : 5998 (java) S 5985 5987 3438 0 -1 4202560 192 0 0 0 379 6 0 0 20 0 19 0 343404077 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466514213480 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=5999] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/5999/stat : 5999 (java) S 5985 5987 3438 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466513159800 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6000] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6000/stat : 6000 (java) S 5985 5987 3438 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343404078 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466512107144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6001] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6001/stat : 6001 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466511055888 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6002] ppid=5985 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/5987/task/6002/stat : 6002 (java) S 5985 5987 3438 0 -1 4202560 2983 0 0 0 35 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466510002232 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5987/tid=6003] ppid=5985 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/5987/task/6003/stat : 6003 (java) S 5985 5987 3438 0 -1 4202560 2480 0 0 0 35 1 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466508949688 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6004] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6004/stat : 6004 (java) S 5985 5987 3438 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466507897336 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5987/tid=6005] ppid=5985 vsize=2715132 CPUtime=0.91 cores=1,3,5,7
/proc/5987/task/6005/stat : 6005 (java) S 5985 5987 3438 0 -1 4202560 104 0 0 0 55 36 0 0 20 0 19 0 343404081 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466506845000 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5987/tid=6006] ppid=5985 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/5987/task/6006/stat : 6006 (java) S 5985 5987 3438 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343404108 2780295168 343596 33554432000 1073741824 1073778376 140734644484768 140466505790760 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 2715132
Child status: 143
Real time (s): 1796.97
CPU time (s): 1800.34
CPU user time (s): 1798.36
CPU system time (s): 1.9797
CPU usage (%): 100.188
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.9797
maximum resident set size= 1374584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11456
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38026
involuntary context switches= 4968
runsolver used 6.66199 second user time and 15.2117 second system time
The end