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-3717882-1338256610/watcher-3717882-1338256610 -o /tmp/evaluation-result-3717882-1338256610/solver-3717882-1338256610 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3717882-1338256610.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 3/194 19003
/proc/meminfo: memFree=31704220/32873844 swapFree=6872/6872
[pid=19003] ppid=19001 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/19003/stat : 19003 (java) R 19001 19003 13427 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 291789523 9515008 182 33554432000 1073741824 1073778376 140737086174992 140737086166024 270118239925 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19003/statm: 2323 182 140 9 0 71 0
[startup+0.0401569 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 19003
/proc/meminfo: memFree=31704220/32873844 swapFree=6872/6872
[pid=19003] ppid=19001 vsize=9092432 CPUtime=0.01 cores=0,2,4,6
/proc/19003/stat : 19003 (java) S 19001 19003 13427 0 -1 4202496 2928 0 1 0 1 0 0 0 20 0 11 0 291789523 9310650368 3628 33554432000 1073741824 1073778376 140736570031984 140736570023120 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19003/statm: 2273108 3628 1652 9 0 2263809 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9092432
[startup+0.100267 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 19003
/proc/meminfo: memFree=31704220/32873844 swapFree=6872/6872
[pid=19003] ppid=19001 vsize=9558416 CPUtime=0.08 cores=0,2,4,6
/proc/19003/stat : 19003 (java) S 19001 19003 13427 0 -1 4202496 4143 0 1 0 7 1 0 0 20 0 18 0 291789523 9787817984 5345 33554432000 1073741824 1073778376 140736570031984 140736570023120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19003/statm: 2389604 5348 2072 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558416
[startup+0.300214 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 19003
/proc/meminfo: memFree=31704220/32873844 swapFree=6872/6872
[pid=19003] ppid=19001 vsize=9558416 CPUtime=0.43 cores=0,2,4,6
/proc/19003/stat : 19003 (java) S 19001 19003 13427 0 -1 4202496 5026 0 1 0 42 1 0 0 20 0 18 0 291789523 9787817984 7570 33554432000 1073741824 1073778376 140736570031984 140736570023120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19003/statm: 2389604 7570 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558416
[startup+0.700237 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 19003
/proc/meminfo: memFree=31704220/32873844 swapFree=6872/6872
[pid=19003] ppid=19001 vsize=9558416 CPUtime=1.21 cores=0,2,4,6
/proc/19003/stat : 19003 (java) S 19001 19003 13427 0 -1 4202496 7563 0 1 0 116 5 0 0 20 0 18 0 291789523 9787817984 44954 33554432000 1073741824 1073778376 140736570031984 140736570023120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19003/statm: 2389604 44954 2249 9 0 2380296 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9558416
[startup+1.50069 s]
/proc/loadavg: 1.92 1.98 1.99 4/213 19022
/proc/meminfo: memFree=31525856/32873844 swapFree=6872/6872
[pid=19003] ppid=19001 vsize=9624980 CPUtime=2.66 cores=0,2,4,6
/proc/19003/stat : 19003 (java) S 19001 19003 13427 0 -1 4202496 11890 0 1 0 260 6 0 0 20 0 19 0 291789523 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140736570023120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19003/statm: 2406245 46699 2268 9 0 2396937 0
[pid=19003/tid=19005] ppid=19001 vsize=9624980 CPUtime=1.43 cores=0,2,4,6
/proc/19003/task/19005/stat : 19005 (java) R 19001 19003 13427 0 -1 4202560 2520 0 1 0 140 3 0 0 20 0 19 0 291789524 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398881305048 140398740378208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19006] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19006/stat : 19006 (java) S 19001 19003 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291789525 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398859405992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19007] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19007/stat : 19007 (java) S 19001 19003 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291789525 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398858353448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19008] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19008/stat : 19008 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789525 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398655695784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19009] ppid=19001 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/19003/task/19009/stat : 19009 (java) S 19001 19003 13427 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 291789526 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398654643240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19010] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19010/stat : 19010 (java) S 19001 19003 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398653589672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19011] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19011/stat : 19011 (java) S 19001 19003 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398652537128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19012] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19012/stat : 19012 (java) S 19001 19003 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398651484584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19013] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19013/stat : 19013 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398650432040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19014] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19014/stat : 19014 (java) S 19001 19003 13427 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398638234216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19015] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19015/stat : 19015 (java) S 19001 19003 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398637180536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19016] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19016/stat : 19016 (java) S 19001 19003 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398636127880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19017] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19017/stat : 19017 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398635076624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19018] ppid=19001 vsize=9624980 CPUtime=0.55 cores=0,2,4,6
/proc/19003/task/19018/stat : 19018 (java) S 19001 19003 13427 0 -1 4202560 4925 0 0 0 55 0 0 0 20 0 19 0 291789530 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398634022968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19019] ppid=19001 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/19003/task/19019/stat : 19019 (java) S 19001 19003 13427 0 -1 4202560 3123 0 0 0 51 1 0 0 20 0 19 0 291789530 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398632970424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19020] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19020/stat : 19020 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398631918072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19021] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19021/stat : 19021 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398630865736 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19022] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19022/stat : 19022 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789618 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398629811496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 9624980
[startup+3.10069 s]
/proc/loadavg: 1.92 1.98 1.99 3/213 19022
/proc/meminfo: memFree=31525104/32873844 swapFree=6872/6872
[pid=19003] ppid=19001 vsize=9624980 CPUtime=4.27 cores=0,2,4,6
/proc/19003/stat : 19003 (java) S 19001 19003 13427 0 -1 4202496 11892 0 1 0 421 6 0 0 20 0 19 0 291789523 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140736570023120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19003/statm: 2406245 46699 2268 9 0 2396937 0
[pid=19003/tid=19005] ppid=19001 vsize=9624980 CPUtime=3.03 cores=0,2,4,6
/proc/19003/task/19005/stat : 19005 (java) R 19001 19003 13427 0 -1 4202560 2522 0 1 0 300 3 0 0 20 0 19 0 291789524 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398881305336 140398740510996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19006] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19006/stat : 19006 (java) S 19001 19003 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291789525 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398859405992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19007] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19007/stat : 19007 (java) S 19001 19003 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291789525 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398858353448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19008] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19008/stat : 19008 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789525 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398655695784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19009] ppid=19001 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/19003/task/19009/stat : 19009 (java) S 19001 19003 13427 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 291789526 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398654643240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19010] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19010/stat : 19010 (java) S 19001 19003 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398653589672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19011] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19011/stat : 19011 (java) S 19001 19003 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398652537128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19012] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19012/stat : 19012 (java) S 19001 19003 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398651484584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19013] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19013/stat : 19013 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398650432040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19014] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19014/stat : 19014 (java) S 19001 19003 13427 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398638234216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19015] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19015/stat : 19015 (java) S 19001 19003 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398637180536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19016] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19016/stat : 19016 (java) S 19001 19003 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398636127880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19017] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19017/stat : 19017 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398635076624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19018] ppid=19001 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/19003/task/19018/stat : 19018 (java) S 19001 19003 13427 0 -1 4202560 4925 0 0 0 56 0 0 0 20 0 19 0 291789530 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398634022968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19019] ppid=19001 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/19003/task/19019/stat : 19019 (java) S 19001 19003 13427 0 -1 4202560 3123 0 0 0 51 1 0 0 20 0 19 0 291789530 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398632970424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19020] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19020/stat : 19020 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398631918072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19021] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19021/stat : 19021 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398630865736 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19022] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19022/stat : 19022 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789618 9855979520 46699 33554432000 1073741824 1073778376 140736570031984 140398629811496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 9624980
[startup+6.3007 s]
/proc/loadavg: 2.01 2.00 2.00 3/212 19022
/proc/meminfo: memFree=31524616/32873844 swapFree=6872/6872
[pid=19003] ppid=19001 vsize=9624980 CPUtime=7.47 cores=0,2,4,6
/proc/19003/stat : 19003 (java) S 19001 19003 13427 0 -1 4202496 11893 0 1 0 741 6 0 0 20 0 19 0 291789523 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140736570023120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19003/statm: 2406245 46683 2268 9 0 2396937 0
[pid=19003/tid=19005] ppid=19001 vsize=9624980 CPUtime=6.22 cores=0,2,4,6
/proc/19003/task/19005/stat : 19005 (java) R 19001 19003 13427 0 -1 4202560 2523 0 1 0 619 3 0 0 20 0 19 0 291789524 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398881304776 140398740378256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19006] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19006/stat : 19006 (java) S 19001 19003 13427 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291789525 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398859405992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19007] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19007/stat : 19007 (java) S 19001 19003 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291789525 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398858353448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19008] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19008/stat : 19008 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789525 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398655695784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19009] ppid=19001 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/19003/task/19009/stat : 19009 (java) S 19001 19003 13427 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 291789526 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398654643240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19010] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19010/stat : 19010 (java) S 19001 19003 13427 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398653589672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19011] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19011/stat : 19011 (java) S 19001 19003 13427 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398652537128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19012] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19012/stat : 19012 (java) S 19001 19003 13427 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398651484584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19013] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19013/stat : 19013 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789526 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398650432040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19014] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19014/stat : 19014 (java) S 19001 19003 13427 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398638234216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19015] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19015/stat : 19015 (java) S 19001 19003 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398637180536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19016] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19016/stat : 19016 (java) S 19001 19003 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398636127880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19017] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19017/stat : 19017 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398635076624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19018] ppid=19001 vsize=9624980 CPUtime=0.56 cores=0,2,4,6
/proc/19003/task/19018/stat : 19018 (java) S 19001 19003 13427 0 -1 4202560 4925 0 0 0 56 0 0 0 20 0 19 0 291789530 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398634022968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19019] ppid=19001 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/19003/task/19019/stat : 19019 (java) S 19001 19003 13427 0 -1 4202560 3123 0 0 0 51 1 0 0 20 0 19 0 291789530 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398632970424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19020] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19020/stat : 19020 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398631918072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19021] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19021/stat : 19021 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398630865736 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19022] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19022/stat : 19022 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789618 9855979520 46683 33554432000 1073741824 1073778376 140736570031984 140398629811496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 9624980
[startup+12.7007 s]
################
# More data... #
################
[pid=19003/tid=19018] ppid=19001 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/19003/task/19018/stat : 19018 (java) S 19001 19003 13427 0 -1 4202560 4934 0 0 0 62 0 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398634022968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19019] ppid=19001 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/19003/task/19019/stat : 19019 (java) S 19001 19003 13427 0 -1 4202560 3410 0 0 0 59 1 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398632970424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19020] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19020/stat : 19020 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398631918072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19021] ppid=19001 vsize=9624980 CPUtime=0.65 cores=0,2,4,6
/proc/19003/task/19021/stat : 19021 (java) S 19001 19003 13427 0 -1 4202560 95 0 0 0 37 28 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398630865736 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19022] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19022/stat : 19022 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789618 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398629811496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1664.74
Current children cumulated vsize (KiB) 9624980
[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 19120
/proc/meminfo: memFree=28237948/32873844 swapFree=6872/6872
[pid=19003] ppid=19001 vsize=9624980 CPUtime=1724.75 cores=0,2,4,6
/proc/19003/stat : 19003 (java) S 19001 19003 13427 0 -1 4202496 12990 0 1 0 172428 47 0 0 20 0 19 0 291789523 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140736570023120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19003/statm: 2406245 78360 2282 9 0 2396937 0
[pid=19003/tid=19005] ppid=19001 vsize=9624980 CPUtime=1713.74 cores=0,2,4,6
/proc/19003/task/19005/stat : 19005 (java) R 19001 19003 13427 0 -1 4202560 2550 0 1 0 171345 29 0 0 20 0 19 0 291789524 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398881304896 140398740566465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19006] ppid=19001 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/19003/task/19006/stat : 19006 (java) S 19001 19003 13427 0 -1 4202560 22 0 0 0 13 0 0 0 20 0 19 0 291789525 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398859405992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19007] ppid=19001 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/19003/task/19007/stat : 19007 (java) S 19001 19003 13427 0 -1 4202560 27 0 0 0 12 0 0 0 20 0 19 0 291789525 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398858353448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19008] ppid=19001 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/19003/task/19008/stat : 19008 (java) S 19001 19003 13427 0 -1 4202560 30 0 0 0 13 0 0 0 20 0 19 0 291789525 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398655695784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19009] ppid=19001 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/19003/task/19009/stat : 19009 (java) S 19001 19003 13427 0 -1 4202560 47 0 0 0 15 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398654643240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19010] ppid=19001 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/19003/task/19010/stat : 19010 (java) S 19001 19003 13427 0 -1 4202560 122 0 0 0 13 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398653589672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19011] ppid=19001 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/19003/task/19011/stat : 19011 (java) S 19001 19003 13427 0 -1 4202560 150 0 0 0 14 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398652537128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19012] ppid=19001 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/19003/task/19012/stat : 19012 (java) S 19001 19003 13427 0 -1 4202560 103 0 0 0 14 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398651484584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19013] ppid=19001 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/19003/task/19013/stat : 19013 (java) S 19001 19003 13427 0 -1 4202560 142 0 0 0 10 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398650432040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19014] ppid=19001 vsize=9624980 CPUtime=3.61 cores=0,2,4,6
/proc/19003/task/19014/stat : 19014 (java) S 19001 19003 13427 0 -1 4202560 174 0 0 0 360 1 0 0 20 0 19 0 291789527 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398638234216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19015] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19015/stat : 19015 (java) S 19001 19003 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398637180536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19016] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19016/stat : 19016 (java) S 19001 19003 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398636127880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19017] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19017/stat : 19017 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398635076624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19018] ppid=19001 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/19003/task/19018/stat : 19018 (java) S 19001 19003 13427 0 -1 4202560 4934 0 0 0 62 0 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398634022968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19019] ppid=19001 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/19003/task/19019/stat : 19019 (java) S 19001 19003 13427 0 -1 4202560 3410 0 0 0 59 1 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398632970424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19020] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19020/stat : 19020 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398631918072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19021] ppid=19001 vsize=9624980 CPUtime=0.67 cores=0,2,4,6
/proc/19003/task/19021/stat : 19021 (java) S 19001 19003 13427 0 -1 4202560 99 0 0 0 38 29 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398630865736 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19022] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19022/stat : 19022 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789618 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398629811496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1724.75
Current children cumulated vsize (KiB) 9624980
[startup+1782.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/213 19120
/proc/meminfo: memFree=28237824/32873844 swapFree=6872/6872
[pid=19003] ppid=19001 vsize=9624980 CPUtime=1784.78 cores=0,2,4,6
/proc/19003/stat : 19003 (java) S 19001 19003 13427 0 -1 4202496 12997 0 1 0 178430 48 0 0 20 0 19 0 291789523 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140736570023120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19003/statm: 2406245 78360 2282 9 0 2396937 0
[pid=19003/tid=19005] ppid=19001 vsize=9624980 CPUtime=1773.45 cores=0,2,4,6
/proc/19003/task/19005/stat : 19005 (java) R 19001 19003 13427 0 -1 4202560 2551 0 1 0 177316 29 0 0 20 0 19 0 291789524 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398881304896 140398739652524 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19006] ppid=19001 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/19003/task/19006/stat : 19006 (java) S 19001 19003 13427 0 -1 4202560 22 0 0 0 14 0 0 0 20 0 19 0 291789525 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398859405992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19007] ppid=19001 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/19003/task/19007/stat : 19007 (java) S 19001 19003 13427 0 -1 4202560 27 0 0 0 13 0 0 0 20 0 19 0 291789525 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398858353448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19008] ppid=19001 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/19003/task/19008/stat : 19008 (java) S 19001 19003 13427 0 -1 4202560 30 0 0 0 13 0 0 0 20 0 19 0 291789525 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398655695784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19009] ppid=19001 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/19003/task/19009/stat : 19009 (java) S 19001 19003 13427 0 -1 4202560 47 0 0 0 16 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398654643240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19010] ppid=19001 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/19003/task/19010/stat : 19010 (java) S 19001 19003 13427 0 -1 4202560 122 0 0 0 13 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398653589672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19011] ppid=19001 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/19003/task/19011/stat : 19011 (java) S 19001 19003 13427 0 -1 4202560 150 0 0 0 14 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398652537128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19012] ppid=19001 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/19003/task/19012/stat : 19012 (java) S 19001 19003 13427 0 -1 4202560 103 0 0 0 15 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398651484584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19013] ppid=19001 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/19003/task/19013/stat : 19013 (java) S 19001 19003 13427 0 -1 4202560 142 0 0 0 11 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398650432040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19014] ppid=19001 vsize=9624980 CPUtime=3.74 cores=0,2,4,6
/proc/19003/task/19014/stat : 19014 (java) S 19001 19003 13427 0 -1 4202560 176 0 0 0 373 1 0 0 20 0 19 0 291789527 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398638234216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19015] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19015/stat : 19015 (java) S 19001 19003 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398637180536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19016] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19016/stat : 19016 (java) S 19001 19003 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398636127880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19017] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19017/stat : 19017 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398635076624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19018] ppid=19001 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/19003/task/19018/stat : 19018 (java) S 19001 19003 13427 0 -1 4202560 4934 0 0 0 62 0 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398634022968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19019] ppid=19001 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/19003/task/19019/stat : 19019 (java) S 19001 19003 13427 0 -1 4202560 3410 0 0 0 59 1 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398632970424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19020] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19020/stat : 19020 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398631918072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19021] ppid=19001 vsize=9624980 CPUtime=0.7 cores=0,2,4,6
/proc/19003/task/19021/stat : 19021 (java) S 19001 19003 13427 0 -1 4202560 103 0 0 0 40 30 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398630865736 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19022] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19022/stat : 19022 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789618 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398629811496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1784.78
Current children cumulated vsize (KiB) 9624980
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.6 s]
/proc/loadavg: 2.04 2.03 2.00 3/213 19120
/proc/meminfo: memFree=28237880/32873844 swapFree=6872/6872
[pid=19003] ppid=19001 vsize=9624980 CPUtime=1800.09 cores=0,2,4,6
/proc/19003/stat : 19003 (java) S 19001 19003 13427 0 -1 4202496 12997 0 1 0 179961 48 0 0 20 0 19 0 291789523 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140736570023120 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19003/statm: 2406245 78360 2282 9 0 2396937 0
[pid=19003/tid=19005] ppid=19001 vsize=9624980 CPUtime=1788.72 cores=0,2,4,6
/proc/19003/task/19005/stat : 19005 (java) R 19001 19003 13427 0 -1 4202560 2551 0 1 0 178842 30 0 0 20 0 19 0 291789524 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398881304896 140398740566368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19006] ppid=19001 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/19003/task/19006/stat : 19006 (java) S 19001 19003 13427 0 -1 4202560 22 0 0 0 14 0 0 0 20 0 19 0 291789525 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398859405992 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19007] ppid=19001 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/19003/task/19007/stat : 19007 (java) S 19001 19003 13427 0 -1 4202560 27 0 0 0 13 0 0 0 20 0 19 0 291789525 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398858353448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19008] ppid=19001 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/19003/task/19008/stat : 19008 (java) S 19001 19003 13427 0 -1 4202560 30 0 0 0 13 0 0 0 20 0 19 0 291789525 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398655695784 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19009] ppid=19001 vsize=9624980 CPUtime=0.18 cores=0,2,4,6
/proc/19003/task/19009/stat : 19009 (java) S 19001 19003 13427 0 -1 4202560 47 0 0 0 16 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398654643240 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19010] ppid=19001 vsize=9624980 CPUtime=0.15 cores=0,2,4,6
/proc/19003/task/19010/stat : 19010 (java) S 19001 19003 13427 0 -1 4202560 122 0 0 0 13 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398653589672 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19011] ppid=19001 vsize=9624980 CPUtime=0.16 cores=0,2,4,6
/proc/19003/task/19011/stat : 19011 (java) S 19001 19003 13427 0 -1 4202560 150 0 0 0 14 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398652537128 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19003/tid=19012] ppid=19001 vsize=9624980 CPUtime=0.17 cores=0,2,4,6
/proc/19003/task/19012/stat : 19012 (java) S 19001 19003 13427 0 -1 4202560 103 0 0 0 15 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398651484584 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19013] ppid=19001 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/19003/task/19013/stat : 19013 (java) S 19001 19003 13427 0 -1 4202560 142 0 0 0 11 2 0 0 20 0 19 0 291789526 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398650432040 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19014] ppid=19001 vsize=9624980 CPUtime=3.74 cores=0,2,4,6
/proc/19003/task/19014/stat : 19014 (java) S 19001 19003 13427 0 -1 4202560 176 0 0 0 373 1 0 0 20 0 19 0 291789527 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398638234216 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19015] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19015/stat : 19015 (java) S 19001 19003 13427 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398637180536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19016] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19016/stat : 19016 (java) S 19001 19003 13427 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291789527 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398636127880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19017] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19017/stat : 19017 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398635076624 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19018] ppid=19001 vsize=9624980 CPUtime=0.62 cores=0,2,4,6
/proc/19003/task/19018/stat : 19018 (java) S 19001 19003 13427 0 -1 4202560 4934 0 0 0 62 0 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398634022968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19003/tid=19019] ppid=19001 vsize=9624980 CPUtime=0.6 cores=0,2,4,6
/proc/19003/task/19019/stat : 19019 (java) S 19001 19003 13427 0 -1 4202560 3410 0 0 0 59 1 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398632970424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19020] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19020/stat : 19020 (java) S 19001 19003 13427 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398631918072 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19003/tid=19021] ppid=19001 vsize=9624980 CPUtime=0.7 cores=0,2,4,6
/proc/19003/task/19021/stat : 19021 (java) S 19001 19003 13427 0 -1 4202560 103 0 0 0 40 30 0 0 20 0 19 0 291789530 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398630865736 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19003/tid=19022] ppid=19001 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/19003/task/19022/stat : 19022 (java) S 19001 19003 13427 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291789618 9855979520 78360 33554432000 1073741824 1073778376 140736570031984 140398629811496 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19003 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=37112
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=863868
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1797.65
CPU time (s): 1800.09
CPU user time (s): 1799.61
CPU system time (s): 0.48
CPU usage (%): 100.136
Max. virtual memory (cumulated for all children) (KiB): 9624980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.04
system time used= 0.863868
maximum resident set size= 313580
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13036
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38889
involuntary context switches= 9645
runsolver used 6.20106 second user time and 14.2818 second system time
The end