runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4119213-1467252052/watcher-4119213-1467252052 -o /tmp/evaluation-result-4119213-1467252052/solver-4119213-1467252052 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1467246683-9203 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119213-1467252052.opb
pid=10000
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.09 2.13 2.10 3/195 10003
/proc/meminfo: memFree=23549692/32872528 swapFree=242912/249044
[pid=10003] ppid=10000 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/10003/stat : 10003 (java) R 10000 10003 9187 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 6311502 278528 34 33554432000 1073741824 1073778376 140736840561424 140734123119624 247055084839 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 84 42 33 9 0 25 0
[startup+0.100112 s]
/proc/loadavg: 2.09 2.13 2.10 3/195 10003
/proc/meminfo: memFree=23549692/32872528 swapFree=242912/249044
[pid=10003] ppid=10000 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/10003/stat : 10003 (java) S 10000 10003 9187 0 -1 4202496 4371 0 1 0 8 1 0 0 20 0 18 0 6311502 9787879424 6012 33554432000 1073741824 1073778376 140736840561424 140736840552560 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 2389619 6012 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.20027 s]
/proc/loadavg: 2.09 2.13 2.10 3/195 10003
/proc/meminfo: memFree=23549692/32872528 swapFree=242912/249044
[pid=10003] ppid=10000 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/10003/stat : 10003 (java) S 10000 10003 9187 0 -1 4202496 4686 0 1 0 23 1 0 0 20 0 18 0 6311502 9787879424 6783 33554432000 1073741824 1073778376 140736840561424 140736840552560 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 2389619 6783 2207 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300265 s]
/proc/loadavg: 2.09 2.13 2.10 3/195 10003
/proc/meminfo: memFree=23549692/32872528 swapFree=242912/249044
[pid=10003] ppid=10000 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/10003/stat : 10003 (java) S 10000 10003 9187 0 -1 4202496 6979 0 1 0 47 2 0 0 20 0 19 0 6311502 9856040960 8614 33554432000 1073741824 1073778376 140736840561424 140736840552560 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 2406260 8614 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040
[startup+0.700218 s]
/proc/loadavg: 2.09 2.13 2.10 3/195 10003
/proc/meminfo: memFree=23549692/32872528 swapFree=242912/249044
[pid=10003] ppid=10000 vsize=9625040 CPUtime=1.07 cores=0,2,4,6
/proc/10003/stat : 10003 (java) S 10000 10003 9187 0 -1 4202496 7917 0 1 0 105 2 0 0 20 0 19 0 6311502 9856040960 9728 33554432000 1073741824 1073778376 140736840561424 140736840552560 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 2406260 9728 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9625040
[startup+1.5007 s]
/proc/loadavg: 2.09 2.13 2.10 3/214 10022
/proc/meminfo: memFree=23514352/32872528 swapFree=242912/249044
[pid=10003] ppid=10000 vsize=9625040 CPUtime=1.97 cores=0,2,4,6
/proc/10003/stat : 10003 (java) S 10000 10003 9187 0 -1 4202496 9354 0 1 0 195 2 0 0 20 0 19 0 6311502 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140736840552560 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 2406260 11883 2257 9 0 2396937 0
[pid=10003/tid=10005] ppid=10000 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 9187 0 -1 4202560 2423 0 1 0 145 1 0 0 20 0 19 0 6311503 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377600905720 140377466580540 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10006] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377589967528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10007] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377588914984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10008] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377587862440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10003/tid=10009] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377586809896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10010] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377585756328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10011] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377584703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10012] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377438501288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10013] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377437448744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10014] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10014/stat : 10014 (java) S 10000 10003 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6311505 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377425037928 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10015] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377423984248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10016] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377422931592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10017] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377421880336 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10018] ppid=10000 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 9187 0 -1 4202560 2705 0 0 0 23 0 0 0 20 0 19 0 6311508 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377420826680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10019] ppid=10000 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10003/task/10019/stat : 10019 (java) S 10000 10003 9187 0 -1 4202560 2954 0 0 0 24 0 0 0 20 0 19 0 6311508 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377419774136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10020] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10020/stat : 10020 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377418721784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10021] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10021/stat : 10021 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377417669448 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10022] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10022/stat : 10022 (java) S 10000 10003 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6311522 9856040960 11883 33554432000 1073741824 1073778376 140736840561424 140377416615208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 9625040
[startup+3.10072 s]
/proc/loadavg: 2.09 2.13 2.10 3/214 10022
/proc/meminfo: memFree=23505672/32872528 swapFree=242912/249044
[pid=10003] ppid=10000 vsize=9625040 CPUtime=3.61 cores=0,2,4,6
/proc/10003/stat : 10003 (java) S 10000 10003 9187 0 -1 4202496 9388 0 1 0 358 3 0 0 20 0 19 0 6311502 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140736840552560 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 2406260 14471 2257 9 0 2396937 0
[pid=10003/tid=10005] ppid=10000 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 9187 0 -1 4202560 2429 0 1 0 305 1 0 0 20 0 19 0 6311503 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377600905496 140377466537729 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10006] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377589967528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10007] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377588914984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10008] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377587862440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10003/tid=10009] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377586809896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10010] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377585756328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10011] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377584703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10012] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377438501288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10013] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377437448744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10014] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10014/stat : 10014 (java) S 10000 10003 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6311505 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377425037928 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10015] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377423984248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10016] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377422931592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10017] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377421880336 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10018] ppid=10000 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 9187 0 -1 4202560 2733 0 0 0 26 0 0 0 20 0 19 0 6311508 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377420826680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10019] ppid=10000 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10003/task/10019/stat : 10019 (java) S 10000 10003 9187 0 -1 4202560 2954 0 0 0 24 0 0 0 20 0 19 0 6311508 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377419774136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10020] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10020/stat : 10020 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377418721784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10021] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10021/stat : 10021 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377417669448 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10022] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10022/stat : 10022 (java) S 10000 10003 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6311522 9856040960 14471 33554432000 1073741824 1073778376 140736840561424 140377416615208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.61
Current children cumulated vsize (KiB) 9625040
[startup+6.30086 s]
/proc/loadavg: 2.16 2.14 2.10 3/214 10022
/proc/meminfo: memFree=23483392/32872528 swapFree=242912/249044
[pid=10003] ppid=10000 vsize=9625040 CPUtime=6.8 cores=0,2,4,6
/proc/10003/stat : 10003 (java) S 10000 10003 9187 0 -1 4202496 9400 0 1 0 677 3 0 0 20 0 19 0 6311502 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140736840552560 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 2406260 19400 2258 9 0 2396937 0
[pid=10003/tid=10005] ppid=10000 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 9187 0 -1 4202560 2440 0 1 0 624 2 0 0 20 0 19 0 6311503 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377600896704 140377466596042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10006] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377589967528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10007] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377588914984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10008] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377587862440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10003/tid=10009] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377586809896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10010] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377585756328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10011] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377584703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10012] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377438501288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10013] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 9187 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 6311504 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377437448744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10014] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10014/stat : 10014 (java) S 10000 10003 9187 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 6311505 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377425037928 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10015] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 9187 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377423984248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10016] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377422931592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10017] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377421880336 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10018] ppid=10000 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 9187 0 -1 4202560 2733 0 0 0 26 0 0 0 20 0 19 0 6311508 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377420826680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10019] ppid=10000 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10003/task/10019/stat : 10019 (java) S 10000 10003 9187 0 -1 4202560 2954 0 0 0 24 0 0 0 20 0 19 0 6311508 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377419774136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10020] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10020/stat : 10020 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377418721784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10021] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10021/stat : 10021 (java) S 10000 10003 9187 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377417669448 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10022] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10022/stat : 10022 (java) S 10000 10003 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6311522 9856040960 19400 33554432000 1073741824 1073778376 140736840561424 140377416615208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.8
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 121981 33554432000 1073741824 1073778376 140736840561424 140377423984248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10016] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 121981 33554432000 1073741824 1073778376 140736840561424 140377422931592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10017] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 121981 33554432000 1073741824 1073778376 140736840561424 140377421880336 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10018] ppid=10000 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 9187 0 -1 4202560 2736 0 0 0 30 0 0 0 20 0 19 0 6311508 9856040960 121981 33554432000 1073741824 1073778376 140736840561424 140377420826680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10003/tid=10019] ppid=10000 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10003/task/10019/stat : 10019 (java) S 10000 10003 9187 0 -1 4202560 2954 0 0 0 24 0 0 0 20 0 19 0 6311508 9856040960 121981 33554432000 1073741824 1073778376 140736840561424 140377419774136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10020] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10020/stat : 10020 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 121981 33554432000 1073741824 1073778376 140736840561424 140377418721784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10021] ppid=10000 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/10003/task/10021/stat : 10021 (java) S 10000 10003 9187 0 -1 4202560 96 0 0 0 26 27 0 0 20 0 19 0 6311508 9856040960 121981 33554432000 1073741824 1073778376 140736840561424 140377417669448 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10022] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10022/stat : 10022 (java) S 10000 10003 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6311522 9856040960 121981 33554432000 1073741824 1073778376 140736840561424 140377416615208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1664.86
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.03 2.04 2.07 3/213 10151
/proc/meminfo: memFree=22774676/32872528 swapFree=242912/249044
[pid=10003] ppid=10000 vsize=9625040 CPUtime=1724.94 cores=0,2,4,6
/proc/10003/stat : 10003 (java) S 10000 10003 9187 0 -1 4202496 11882 0 1 0 172411 83 0 0 20 0 19 0 6311502 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140736840552560 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 2406260 120891 2280 9 0 2396937 0
[pid=10003/tid=10005] ppid=10000 vsize=9625040 CPUtime=1721.09 cores=0,2,4,6
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 9187 0 -1 4202560 2509 0 1 0 172076 33 0 0 20 0 19 0 6311503 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377600904384 140377466596074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10006] ppid=10000 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 9187 0 -1 4202560 343 0 0 0 27 5 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377589967528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10007] ppid=10000 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 9187 0 -1 4202560 160 0 0 0 31 6 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377588914984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10003/tid=10008] ppid=10000 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 9187 0 -1 4202560 163 0 0 0 28 6 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377587862440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10009] ppid=10000 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 9187 0 -1 4202560 294 0 0 0 25 6 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377586809896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10010] ppid=10000 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 9187 0 -1 4202560 286 0 0 0 33 7 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377585756328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10011] ppid=10000 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 9187 0 -1 4202560 392 0 0 0 30 6 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377584703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10012] ppid=10000 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 9187 0 -1 4202560 187 0 0 0 31 6 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377438501288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10013] ppid=10000 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 9187 0 -1 4202560 347 0 0 0 28 5 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377437448744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10014] ppid=10000 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/10003/task/10014/stat : 10014 (java) S 10000 10003 9187 0 -1 4202560 153 0 0 0 10 2 0 0 20 0 19 0 6311505 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377425037928 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10015] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377423984248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10016] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377422931592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10017] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377421880336 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10018] ppid=10000 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 9187 0 -1 4202560 2736 0 0 0 30 0 0 0 20 0 19 0 6311508 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377420826680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10003/tid=10019] ppid=10000 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10003/task/10019/stat : 10019 (java) S 10000 10003 9187 0 -1 4202560 2954 0 0 0 24 0 0 0 20 0 19 0 6311508 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377419774136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10020] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10020/stat : 10020 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377418721784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10021] ppid=10000 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/10003/task/10021/stat : 10021 (java) S 10000 10003 9187 0 -1 4202560 100 0 0 0 28 28 0 0 20 0 19 0 6311508 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377417669448 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10022] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10022/stat : 10022 (java) S 10000 10003 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6311522 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377416615208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1724.94
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/214 10155
/proc/meminfo: memFree=22914260/32872528 swapFree=242912/249044
[pid=10003] ppid=10000 vsize=9625040 CPUtime=1784.95 cores=0,2,4,6
/proc/10003/stat : 10003 (java) S 10000 10003 9187 0 -1 4202496 11886 0 1 0 178411 84 0 0 20 0 19 0 6311502 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140736840552560 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 2406260 120891 2280 9 0 2396937 0
[pid=10003/tid=10005] ppid=10000 vsize=9625040 CPUtime=1781.09 cores=0,2,4,6
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 9187 0 -1 4202560 2509 0 1 0 178075 34 0 0 20 0 19 0 6311503 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377600896704 140377466596074 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10006] ppid=10000 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 9187 0 -1 4202560 343 0 0 0 27 5 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377589967528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10007] ppid=10000 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 9187 0 -1 4202560 160 0 0 0 31 6 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377588914984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10003/tid=10008] ppid=10000 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 9187 0 -1 4202560 163 0 0 0 28 6 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377587862440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10009] ppid=10000 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 9187 0 -1 4202560 294 0 0 0 25 6 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377586809896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10010] ppid=10000 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 9187 0 -1 4202560 286 0 0 0 33 7 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377585756328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10011] ppid=10000 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 9187 0 -1 4202560 392 0 0 0 30 6 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377584703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10012] ppid=10000 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 9187 0 -1 4202560 187 0 0 0 31 6 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377438501288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10013] ppid=10000 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 9187 0 -1 4202560 347 0 0 0 28 5 0 0 20 0 19 0 6311504 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377437448744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10014] ppid=10000 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/10003/task/10014/stat : 10014 (java) S 10000 10003 9187 0 -1 4202560 153 0 0 0 10 2 0 0 20 0 19 0 6311505 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377425037928 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10015] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377423984248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10016] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377422931592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10017] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377421880336 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10018] ppid=10000 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 9187 0 -1 4202560 2736 0 0 0 30 0 0 0 20 0 19 0 6311508 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377420826680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10003/tid=10019] ppid=10000 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10003/task/10019/stat : 10019 (java) S 10000 10003 9187 0 -1 4202560 2954 0 0 0 24 0 0 0 20 0 19 0 6311508 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377419774136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10020] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10020/stat : 10020 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377418721784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10021] ppid=10000 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/10003/task/10021/stat : 10021 (java) S 10000 10003 9187 0 -1 4202560 104 0 0 0 29 29 0 0 20 0 19 0 6311508 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377417669448 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10022] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10022/stat : 10022 (java) S 10000 10003 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6311522 9856040960 120891 33554432000 1073741824 1073778376 140736840561424 140377416615208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1784.95
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.4 s]
/proc/loadavg: 2.01 2.03 2.06 3/214 10155
/proc/meminfo: memFree=22915260/32872528 swapFree=242912/249044
[pid=10003] ppid=10000 vsize=9625040 CPUtime=1800.1 cores=0,2,4,6
/proc/10003/stat : 10003 (java) S 10000 10003 9187 0 -1 4202496 11889 0 1 0 179925 85 0 0 20 0 19 0 6311502 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140736840552560 247067607101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/10003/statm: 2406260 120586 2280 9 0 2396937 0
[pid=10003/tid=10005] ppid=10000 vsize=9625040 CPUtime=1796.18 cores=0,2,4,6
/proc/10003/task/10005/stat : 10005 (java) R 10000 10003 9187 0 -1 4202560 2510 0 1 0 179584 34 0 0 20 0 19 0 6311503 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377600904416 140377466579363 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10006] ppid=10000 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10003/task/10006/stat : 10006 (java) S 10000 10003 9187 0 -1 4202560 343 0 0 0 27 5 0 0 20 0 19 0 6311504 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377589967528 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10007] ppid=10000 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/10003/task/10007/stat : 10007 (java) S 10000 10003 9187 0 -1 4202560 160 0 0 0 32 6 0 0 20 0 19 0 6311504 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377588914984 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10003/tid=10008] ppid=10000 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/10003/task/10008/stat : 10008 (java) S 10000 10003 9187 0 -1 4202560 163 0 0 0 28 6 0 0 20 0 19 0 6311504 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377587862440 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10009] ppid=10000 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/10003/task/10009/stat : 10009 (java) S 10000 10003 9187 0 -1 4202560 294 0 0 0 26 6 0 0 20 0 19 0 6311504 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377586809896 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10010] ppid=10000 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/10003/task/10010/stat : 10010 (java) S 10000 10003 9187 0 -1 4202560 286 0 0 0 33 7 0 0 20 0 19 0 6311504 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377585756328 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10011] ppid=10000 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/10003/task/10011/stat : 10011 (java) S 10000 10003 9187 0 -1 4202560 392 0 0 0 30 6 0 0 20 0 19 0 6311504 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377584703784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10003/tid=10012] ppid=10000 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/10003/task/10012/stat : 10012 (java) S 10000 10003 9187 0 -1 4202560 187 0 0 0 32 6 0 0 20 0 19 0 6311504 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377438501288 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10013] ppid=10000 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/10003/task/10013/stat : 10013 (java) S 10000 10003 9187 0 -1 4202560 347 0 0 0 29 5 0 0 20 0 19 0 6311504 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377437448744 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10014] ppid=10000 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/10003/task/10014/stat : 10014 (java) S 10000 10003 9187 0 -1 4202560 155 0 0 0 10 2 0 0 20 0 19 0 6311505 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377425037928 247067621289 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10015] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10015/stat : 10015 (java) S 10000 10003 9187 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377423984248 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10016] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10016/stat : 10016 (java) S 10000 10003 9187 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 6311506 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377422931592 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10017] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10017/stat : 10017 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377421880336 247067629344 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10003/tid=10018] ppid=10000 vsize=9625040 CPUtime=0.3 cores=0,2,4,6
/proc/10003/task/10018/stat : 10018 (java) S 10000 10003 9187 0 -1 4202560 2736 0 0 0 30 0 0 0 20 0 19 0 6311508 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377420826680 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10003/tid=10019] ppid=10000 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10003/task/10019/stat : 10019 (java) S 10000 10003 9187 0 -1 4202560 2954 0 0 0 24 0 0 0 20 0 19 0 6311508 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377419774136 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10020] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10020/stat : 10020 (java) S 10000 10003 9187 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 6311508 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377418721784 247067620412 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10003/tid=10021] ppid=10000 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/10003/task/10021/stat : 10021 (java) S 10000 10003 9187 0 -1 4202560 104 0 0 0 29 30 0 0 20 0 19 0 6311508 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377417669448 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10003/tid=10022] ppid=10000 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10003/task/10022/stat : 10022 (java) S 10000 10003 9187 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 6311522 9856040960 120586 33554432000 1073741824 1073778376 140736840561424 140377416615208 247067621289 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10003 sig 9
??? kill -10003 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.45
CPU time (s): 1800.61
CPU user time (s): 1799.34
CPU system time (s): 1.27081
CPU usage (%): 100.176
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 1.27081
maximum resident set size= 605968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11936
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38687
involuntary context switches= 20015
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6544 second user time and 13.051 second system time
The end