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-4096068-1466101849/watcher-4096068-1466101849 -o /tmp/evaluation-result-4096068-1466101849/solver-4096068-1466101849 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466098249-14520 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4096068-1466101849.opb
pid=15005
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.13 2.19 2.17 3/193 15008
/proc/meminfo: memFree=30393432/32872528 swapFree=1315980/1463148
[pid=15008] ppid=15005 vsize=2500 CPUtime=0 cores=0,2,4,6
/proc/15008/stat : 15008 (java) D 15005 15008 14504 0 -1 4202496 170 0 0 0 0 0 0 0 20 0 1 0 12231878 2560000 46 33554432000 1073741824 1073778376 140737372722720 140737372719848 227503336743 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/15008/statm: 625 46 37 9 0 29 0
[startup+0.100113 s]
/proc/loadavg: 2.13 2.19 2.17 3/193 15008
/proc/meminfo: memFree=30393432/32872528 swapFree=1315980/1463148
[pid=15008] ppid=15005 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/15008/stat : 15008 (java) S 15005 15008 14504 0 -1 4202496 4356 0 1 0 7 1 0 0 20 0 18 0 12231878 9787879424 5478 33554432000 1073741824 1073778376 140737142820768 140737142811904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15008/statm: 2389619 5485 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200277 s]
/proc/loadavg: 2.13 2.19 2.17 3/193 15008
/proc/meminfo: memFree=30393432/32872528 swapFree=1315980/1463148
[pid=15008] ppid=15005 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/15008/stat : 15008 (java) S 15005 15008 14504 0 -1 4202496 6249 0 1 0 25 1 0 0 20 0 19 0 12231878 9856040960 7343 33554432000 1073741824 1073778376 140737142820768 140737142811904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15008/statm: 2406260 7343 2213 9 0 2396937 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625040
[startup+0.300281 s]
/proc/loadavg: 2.13 2.19 2.17 3/193 15008
/proc/meminfo: memFree=30393432/32872528 swapFree=1315980/1463148
[pid=15008] ppid=15005 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/15008/stat : 15008 (java) S 15005 15008 14504 0 -1 4202496 6672 0 1 0 48 1 0 0 20 0 19 0 12231878 9856040960 7426 33554432000 1073741824 1073778376 140737142820768 140737142811904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15008/statm: 2406260 7426 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040
[startup+0.700172 s]
/proc/loadavg: 2.13 2.19 2.17 3/193 15008
/proc/meminfo: memFree=30393432/32872528 swapFree=1315980/1463148
[pid=15008] ppid=15005 vsize=9625040 CPUtime=1.09 cores=0,2,4,6
/proc/15008/stat : 15008 (java) S 15005 15008 14504 0 -1 4202496 9169 0 1 0 107 2 0 0 20 0 19 0 12231878 9856040960 8927 33554432000 1073741824 1073778376 140737142820768 140737142811904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15008/statm: 2406260 8927 2240 9 0 2396937 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 9625040
[startup+1.50069 s]
/proc/loadavg: 2.20 2.21 2.18 3/212 15027
/proc/meminfo: memFree=30363924/32872528 swapFree=1315980/1463148
[pid=15008] ppid=15005 vsize=9625040 CPUtime=1.91 cores=0,2,4,6
/proc/15008/stat : 15008 (java) S 15005 15008 14504 0 -1 4202496 9173 0 1 0 189 2 0 0 20 0 19 0 12231878 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140737142811904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15008/statm: 2406260 9441 2241 9 0 2396937 0
[pid=15008/tid=15010] ppid=15005 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/15008/task/15010/stat : 15010 (java) R 15005 15008 14504 0 -1 4202560 2405 0 1 0 144 1 0 0 20 0 19 0 12231879 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715732324632 140715560991707 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15011] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15011/stat : 15011 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715693816872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15012] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15012/stat : 15012 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715692764072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15013] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15013/stat : 15013 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715691711272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15014] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15014/stat : 15014 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715690658472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15015] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15015/stat : 15015 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715689605672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15016] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15016/stat : 15016 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715688552872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15017] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15017/stat : 15017 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715687500072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15018] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15018/stat : 15018 (java) S 15005 15008 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715686447272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15019] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15019/stat : 15019 (java) S 15005 15008 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12231881 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715556318184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15020] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15020/stat : 15020 (java) S 15005 15008 14504 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715555264248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15021] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15021/stat : 15021 (java) S 15005 15008 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715554211336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15022] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15022/stat : 15022 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715553159824 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15023] ppid=15005 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15008/task/15023/stat : 15023 (java) S 15005 15008 14504 0 -1 4202560 2055 0 0 0 20 0 0 0 20 0 19 0 12231884 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715552106936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15024] ppid=15005 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/15008/task/15024/stat : 15024 (java) S 15005 15008 14504 0 -1 4202560 3444 0 0 0 21 0 0 0 20 0 19 0 12231884 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715551054136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15025] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15025/stat : 15025 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715550001528 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15026] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15026/stat : 15026 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715548948936 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15027] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15027/stat : 15027 (java) S 15005 15008 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12231893 9856040960 9441 33554432000 1073741824 1073778376 140737142820768 140715547895464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 9625040
[startup+3.10074 s]
/proc/loadavg: 2.20 2.21 2.18 3/212 15027
/proc/meminfo: memFree=30361512/32872528 swapFree=1315980/1463148
[pid=15008] ppid=15005 vsize=9625040 CPUtime=3.5 cores=0,2,4,6
/proc/15008/stat : 15008 (java) S 15005 15008 14504 0 -1 4202496 9176 0 1 0 348 2 0 0 20 0 19 0 12231878 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140737142811904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15008/statm: 2406260 10465 2241 9 0 2396937 0
[pid=15008/tid=15010] ppid=15005 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/15008/task/15010/stat : 15010 (java) R 15005 15008 14504 0 -1 4202560 2408 0 1 0 303 1 0 0 20 0 19 0 12231879 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715732315856 140715560991707 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15011] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15011/stat : 15011 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715693816872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15012] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15012/stat : 15012 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715692764072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15013] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15013/stat : 15013 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715691711272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15014] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15014/stat : 15014 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715690658472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15015] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15015/stat : 15015 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715689605672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15016] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15016/stat : 15016 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715688552872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15017] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15017/stat : 15017 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715687500072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15018] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15018/stat : 15018 (java) S 15005 15008 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715686447272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15019] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15019/stat : 15019 (java) S 15005 15008 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12231881 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715556318184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15020] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15020/stat : 15020 (java) S 15005 15008 14504 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715555264248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15021] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15021/stat : 15021 (java) S 15005 15008 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715554211336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15022] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15022/stat : 15022 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715553159824 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15023] ppid=15005 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15008/task/15023/stat : 15023 (java) S 15005 15008 14504 0 -1 4202560 2055 0 0 0 20 0 0 0 20 0 19 0 12231884 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715552106936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15024] ppid=15005 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/15008/task/15024/stat : 15024 (java) S 15005 15008 14504 0 -1 4202560 3444 0 0 0 21 0 0 0 20 0 19 0 12231884 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715551054136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15025] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15025/stat : 15025 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715550001528 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15026] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15026/stat : 15026 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715548948936 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15027] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15027/stat : 15027 (java) S 15005 15008 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12231893 9856040960 10465 33554432000 1073741824 1073778376 140737142820768 140715547895464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 9625040
[startup+6.30076 s]
/proc/loadavg: 2.20 2.21 2.18 4/212 15027
/proc/meminfo: memFree=30355080/32872528 swapFree=1315980/1463148
[pid=15008] ppid=15005 vsize=9625040 CPUtime=6.7 cores=0,2,4,6
/proc/15008/stat : 15008 (java) S 15005 15008 14504 0 -1 4202496 9181 0 1 0 668 2 0 0 20 0 19 0 12231878 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140737142811904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15008/statm: 2406260 12002 2242 9 0 2396937 0
[pid=15008/tid=15010] ppid=15005 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/15008/task/15010/stat : 15010 (java) R 15005 15008 14504 0 -1 4202560 2412 0 1 0 622 1 0 0 20 0 19 0 12231879 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715732315856 140715560955636 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15011] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15011/stat : 15011 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715693816872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15012] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15012/stat : 15012 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715692764072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15013] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15013/stat : 15013 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715691711272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15014] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15014/stat : 15014 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715690658472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15015] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15015/stat : 15015 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715689605672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15016] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15016/stat : 15016 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715688552872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15017] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15017/stat : 15017 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715687500072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15018] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15018/stat : 15018 (java) S 15005 15008 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12231880 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715686447272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15019] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15019/stat : 15019 (java) S 15005 15008 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12231881 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715556318184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15020] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15020/stat : 15020 (java) S 15005 15008 14504 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715555264248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15021] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15021/stat : 15021 (java) S 15005 15008 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715554211336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15022] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15022/stat : 15022 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715553159824 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15023] ppid=15005 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15008/task/15023/stat : 15023 (java) S 15005 15008 14504 0 -1 4202560 2055 0 0 0 20 0 0 0 20 0 19 0 12231884 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715552106936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15024] ppid=15005 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/15008/task/15024/stat : 15024 (java) S 15005 15008 14504 0 -1 4202560 3444 0 0 0 21 0 0 0 20 0 19 0 12231884 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715551054136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15025] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15025/stat : 15025 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715550001528 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15026] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15026/stat : 15026 (java) S 15005 15008 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715548948936 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15027] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15027/stat : 15027 (java) S 15005 15008 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12231893 9856040960 12002 33554432000 1073741824 1073778376 140737142820768 140715547895464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=15008/tid=15027] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15027/stat : 15027 (java) S 15005 15008 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12231893 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715547895464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1663.14
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/211 15132
/proc/meminfo: memFree=30006592/32872528 swapFree=1315980/1463148
[pid=15008] ppid=15005 vsize=9625040 CPUtime=1723.16 cores=0,2,4,6
/proc/15008/stat : 15008 (java) S 15005 15008 14504 0 -1 4202496 9599 0 1 0 172288 28 0 0 20 0 19 0 12231878 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140737142811904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15008/statm: 2406260 52029 2257 9 0 2396937 0
[pid=15008/tid=15010] ppid=15005 vsize=9625040 CPUtime=1717.69 cores=0,2,4,6
/proc/15008/task/15010/stat : 15010 (java) R 15005 15008 14504 0 -1 4202560 2474 0 1 0 171740 29 0 0 20 0 19 0 12231879 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715732315856 140715560991707 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15011] ppid=15005 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15008/task/15011/stat : 15011 (java) S 15005 15008 14504 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715693816872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15012] ppid=15005 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15008/task/15012/stat : 15012 (java) S 15005 15008 14504 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715692764072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15013] ppid=15005 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15008/task/15013/stat : 15013 (java) S 15005 15008 14504 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715691711272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15014] ppid=15005 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15008/task/15014/stat : 15014 (java) S 15005 15008 14504 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715690658472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15015] ppid=15005 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15008/task/15015/stat : 15015 (java) S 15005 15008 14504 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715689605672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15016] ppid=15005 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15008/task/15016/stat : 15016 (java) S 15005 15008 14504 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715688552872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15017] ppid=15005 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15008/task/15017/stat : 15017 (java) S 15005 15008 14504 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715687500072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15018] ppid=15005 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15008/task/15018/stat : 15018 (java) S 15005 15008 14504 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715686447272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15019] ppid=15005 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15008/task/15019/stat : 15019 (java) S 15005 15008 14504 0 -1 4202560 20 0 0 0 0 1 0 0 20 0 19 0 12231881 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715556318184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15020] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15020/stat : 15020 (java) S 15005 15008 14504 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715555264248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15021] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15021/stat : 15021 (java) S 15005 15008 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715554211336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15022] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15022/stat : 15022 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715553159824 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15023] ppid=15005 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15008/task/15023/stat : 15023 (java) S 15005 15008 14504 0 -1 4202560 2055 0 0 0 20 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715552106936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15024] ppid=15005 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/15008/task/15024/stat : 15024 (java) S 15005 15008 14504 0 -1 4202560 3591 0 0 0 23 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715551054136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15025] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15025/stat : 15025 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715550001528 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15026] ppid=15005 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/15008/task/15026/stat : 15026 (java) S 15005 15008 14504 0 -1 4202560 100 0 0 0 26 22 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715548948936 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15027] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15027/stat : 15027 (java) S 15005 15008 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12231893 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715547895464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1723.16
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/212 15136
/proc/meminfo: memFree=30006044/32872528 swapFree=1315980/1463148
[pid=15008] ppid=15005 vsize=9625040 CPUtime=1783.16 cores=0,2,4,6
/proc/15008/stat : 15008 (java) S 15005 15008 14504 0 -1 4202496 9603 0 1 0 178288 28 0 0 20 0 19 0 12231878 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140737142811904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15008/statm: 2406260 52029 2257 9 0 2396937 0
[pid=15008/tid=15010] ppid=15005 vsize=9625040 CPUtime=1777.53 cores=0,2,4,6
/proc/15008/task/15010/stat : 15010 (java) R 15005 15008 14504 0 -1 4202560 2474 0 1 0 177723 30 0 0 20 0 19 0 12231879 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715732315856 140715560991238 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15011] ppid=15005 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15008/task/15011/stat : 15011 (java) S 15005 15008 14504 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715693816872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15012] ppid=15005 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15008/task/15012/stat : 15012 (java) S 15005 15008 14504 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715692764072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15013] ppid=15005 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15008/task/15013/stat : 15013 (java) S 15005 15008 14504 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715691711272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15014] ppid=15005 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15008/task/15014/stat : 15014 (java) S 15005 15008 14504 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715690658472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15015] ppid=15005 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15008/task/15015/stat : 15015 (java) S 15005 15008 14504 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715689605672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15016] ppid=15005 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15008/task/15016/stat : 15016 (java) S 15005 15008 14504 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715688552872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15017] ppid=15005 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15008/task/15017/stat : 15017 (java) S 15005 15008 14504 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715687500072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15018] ppid=15005 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15008/task/15018/stat : 15018 (java) S 15005 15008 14504 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715686447272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15019] ppid=15005 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15008/task/15019/stat : 15019 (java) S 15005 15008 14504 0 -1 4202560 20 0 0 0 0 1 0 0 20 0 19 0 12231881 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715556318184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15020] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15020/stat : 15020 (java) S 15005 15008 14504 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715555264248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15021] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15021/stat : 15021 (java) S 15005 15008 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715554211336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15022] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15022/stat : 15022 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715553159824 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15023] ppid=15005 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15008/task/15023/stat : 15023 (java) S 15005 15008 14504 0 -1 4202560 2055 0 0 0 20 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715552106936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15024] ppid=15005 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/15008/task/15024/stat : 15024 (java) S 15005 15008 14504 0 -1 4202560 3591 0 0 0 23 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715551054136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15025] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15025/stat : 15025 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715550001528 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15026] ppid=15005 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/15008/task/15026/stat : 15026 (java) S 15005 15008 14504 0 -1 4202560 104 0 0 0 27 22 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715548948936 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15027] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15027/stat : 15027 (java) S 15005 15008 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12231893 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715547895464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1783.16
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1799.2 s]
/proc/loadavg: 2.19 2.18 2.18 3/212 15136
/proc/meminfo: memFree=30005928/32872528 swapFree=1315980/1463148
[pid=15008] ppid=15005 vsize=9625040 CPUtime=1800.06 cores=0,2,4,6
/proc/15008/stat : 15008 (java) S 15005 15008 14504 0 -1 4202496 9603 0 1 0 179978 28 0 0 20 0 19 0 12231878 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140737142811904 227515859005 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/15008/statm: 2406260 52029 2257 9 0 2396937 0
[pid=15008/tid=15010] ppid=15005 vsize=9625040 CPUtime=1794.39 cores=0,2,4,6
/proc/15008/task/15010/stat : 15010 (java) R 15005 15008 14504 0 -1 4202560 2474 0 1 0 179409 30 0 0 20 0 19 0 12231879 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715732315856 140715560991886 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15011] ppid=15005 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15008/task/15011/stat : 15011 (java) S 15005 15008 14504 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715693816872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15012] ppid=15005 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15008/task/15012/stat : 15012 (java) S 15005 15008 14504 0 -1 4202560 8 0 0 0 4 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715692764072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15013] ppid=15005 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15008/task/15013/stat : 15013 (java) S 15005 15008 14504 0 -1 4202560 10 0 0 0 4 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715691711272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15014] ppid=15005 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/15008/task/15014/stat : 15014 (java) S 15005 15008 14504 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715690658472 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15015] ppid=15005 vsize=9625040 CPUtime=0.04 cores=0,2,4,6
/proc/15008/task/15015/stat : 15015 (java) S 15005 15008 14504 0 -1 4202560 16 0 0 0 4 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715689605672 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15016] ppid=15005 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15008/task/15016/stat : 15016 (java) S 15005 15008 14504 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715688552872 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15017] ppid=15005 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/15008/task/15017/stat : 15017 (java) S 15005 15008 14504 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715687500072 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15018] ppid=15005 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15008/task/15018/stat : 15018 (java) S 15005 15008 14504 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 19 0 12231880 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715686447272 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15008/tid=15019] ppid=15005 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/15008/task/15019/stat : 15019 (java) S 15005 15008 14504 0 -1 4202560 20 0 0 0 0 1 0 0 20 0 19 0 12231881 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715556318184 227515873193 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15020] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15020/stat : 15020 (java) S 15005 15008 14504 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715555264248 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15021] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15021/stat : 15021 (java) S 15005 15008 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12231882 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715554211336 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15022] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15022/stat : 15022 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715553159824 227515881248 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15023] ppid=15005 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/15008/task/15023/stat : 15023 (java) S 15005 15008 14504 0 -1 4202560 2055 0 0 0 20 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715552106936 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15008/tid=15024] ppid=15005 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/15008/task/15024/stat : 15024 (java) S 15005 15008 14504 0 -1 4202560 3591 0 0 0 23 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715551054136 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15025] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15025/stat : 15025 (java) S 15005 15008 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715550001528 227515872316 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15008/tid=15026] ppid=15005 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/15008/task/15026/stat : 15026 (java) S 15005 15008 14504 0 -1 4202560 104 0 0 0 27 23 0 0 20 0 19 0 12231884 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715548948936 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15008/tid=15027] ppid=15005 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/15008/task/15027/stat : 15027 (java) S 15005 15008 14504 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12231893 9856040960 52029 33554432000 1073741824 1073778376 140737142820768 140715547895464 227515873193 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
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 15008 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15008 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=198088
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=681896
# CPU time returned by wait4() is 1795.88
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1799.24
CPU time (s): 1800.06
CPU user time (s): 1799.78
CPU system time (s): 0.28
CPU usage (%): 100.046
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.2
system time used= 0.681896
maximum resident set size= 208268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9648
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38162
involuntary context switches= 4820
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2723 second user time and 11.3233 second system time
The end