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-4084654-1465283952/watcher-4084654-1465283952 -o /tmp/evaluation-result-4084654-1465283952/solver-4084654-1465283952 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465270992-28820 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4084654-1465283952.opb
pid=30394
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.17 2.10 2.03 3/194 30397
/proc/meminfo: memFree=30671652/32872528 swapFree=11320/319964
[pid=30397] ppid=30394 vsize=9160 CPUtime=0 cores=1,3,5,7
/proc/30397/stat : 30397 (java) R 30394 30397 28803 0 -1 4202496 466 0 0 0 0 0 0 0 20 0 1 0 110328485 9379840 122 33554432000 1073741824 1073778376 140734653921008 140734653918136 262966120928 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/30397/statm: 2323 127 98 9 0 71 0
[startup+0.10006 s]
/proc/loadavg: 2.17 2.10 2.03 3/194 30397
/proc/meminfo: memFree=30671652/32872528 swapFree=11320/319964
[pid=30397] ppid=30394 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/30397/stat : 30397 (java) S 30394 30397 28803 0 -1 4202496 4467 0 1 0 8 0 0 0 20 0 18 0 110328485 9787879424 5583 33554432000 1073741824 1073778376 140734653921008 140734653912144 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30397/statm: 2389619 5583 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200215 s]
/proc/loadavg: 2.17 2.10 2.03 3/194 30397
/proc/meminfo: memFree=30671652/32872528 swapFree=11320/319964
[pid=30397] ppid=30394 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/30397/stat : 30397 (java) S 30394 30397 28803 0 -1 4202496 5083 0 1 0 27 1 0 0 20 0 18 0 110328485 9787879424 6563 33554432000 1073741824 1073778376 140734653921008 140734653912144 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30397/statm: 2389619 6563 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300236 s]
/proc/loadavg: 2.17 2.10 2.03 3/194 30397
/proc/meminfo: memFree=30671652/32872528 swapFree=11320/319964
[pid=30397] ppid=30394 vsize=9558476 CPUtime=0.56 cores=1,3,5,7
/proc/30397/stat : 30397 (java) S 30394 30397 28803 0 -1 4202496 7393 0 1 0 55 1 0 0 20 0 18 0 110328485 9787879424 9415 33554432000 1073741824 1073778376 140734653921008 140734653912144 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30397/statm: 2389619 9415 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 9558476
[startup+0.700186 s]
/proc/loadavg: 2.17 2.10 2.03 3/194 30397
/proc/meminfo: memFree=30671652/32872528 swapFree=11320/319964
[pid=30397] ppid=30394 vsize=9625040 CPUtime=1.38 cores=1,3,5,7
/proc/30397/stat : 30397 (java) S 30394 30397 28803 0 -1 4202496 7880 0 1 0 137 1 0 0 20 0 19 0 110328485 9856040960 16231 33554432000 1073741824 1073778376 140734653921008 140734653912144 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30397/statm: 2406260 16231 2262 9 0 2396937 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9625040
[startup+1.50087 s]
/proc/loadavg: 2.15 2.10 2.03 3/213 30416
/proc/meminfo: memFree=30612904/32872528 swapFree=11320/319964
[pid=30397] ppid=30394 vsize=9625040 CPUtime=2.56 cores=1,3,5,7
/proc/30397/stat : 30397 (java) S 30394 30397 28803 0 -1 4202496 15271 0 1 0 254 2 0 0 20 0 19 0 110328485 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140734653912144 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30397/statm: 2406260 22283 2268 9 0 2396937 0
[pid=30397/tid=30399] ppid=30394 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/30397/task/30399/stat : 30399 (java) R 30394 30397 28803 0 -1 4202560 2478 0 1 0 144 2 0 0 20 0 19 0 110328486 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140446170843752 140446043161737 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30400] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30400/stat : 30400 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140446014892456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30401] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30401/stat : 30401 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140446013839912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30402] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30402/stat : 30402 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140446012786856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30403] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30403/stat : 30403 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140446011734312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30404] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30404/stat : 30404 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140446010682280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30405] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30405/stat : 30405 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140446009629736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30406] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30406/stat : 30406 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140446008576680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30407] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30407/stat : 30407 (java) S 30394 30397 28803 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140446007524136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30408] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30408/stat : 30408 (java) S 30394 30397 28803 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140445995112808 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30409] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30409/stat : 30409 (java) S 30394 30397 28803 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140445994059128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30410] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30410/stat : 30410 (java) S 30394 30397 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140445993005960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30411] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30411/stat : 30411 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140445991954704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30412] ppid=30394 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/30397/task/30412/stat : 30412 (java) R 30394 30397 28803 0 -1 4202560 8750 0 0 0 62 1 0 0 20 0 19 0 110328491 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140445990889864 140446174962128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30413] ppid=30394 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/30397/task/30413/stat : 30413 (java) S 30394 30397 28803 0 -1 4202560 2772 0 0 0 43 0 0 0 20 0 19 0 110328491 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140445989850040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30414] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30414/stat : 30414 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140445988797176 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30415] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30415/stat : 30415 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140445987744840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30416] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30416/stat : 30416 (java) S 30394 30397 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110328525 9856040960 22283 33554432000 1073741824 1073778376 140734653921008 140445986640936 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 9625040
[startup+3.10086 s]
/proc/loadavg: 2.15 2.10 2.03 3/213 30416
/proc/meminfo: memFree=30587656/32872528 swapFree=11320/319964
[pid=30397] ppid=30394 vsize=9625040 CPUtime=4.3 cores=1,3,5,7
/proc/30397/stat : 30397 (java) S 30394 30397 28803 0 -1 4202496 15804 0 1 0 427 3 0 0 20 0 19 0 110328485 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140734653912144 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30397/statm: 2406260 23878 2268 9 0 2396937 0
[pid=30397/tid=30399] ppid=30394 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/30397/task/30399/stat : 30399 (java) R 30394 30397 28803 0 -1 4202560 2483 0 1 0 304 2 0 0 20 0 19 0 110328486 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140446170836688 140446043234380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30400] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30400/stat : 30400 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140446014892456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30401] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30401/stat : 30401 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140446013839912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30402] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30402/stat : 30402 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140446012786856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30403] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30403/stat : 30403 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140446011734312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30404] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30404/stat : 30404 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140446010682280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30405] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30405/stat : 30405 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140446009629736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30406] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30406/stat : 30406 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140446008576680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30407] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30407/stat : 30407 (java) S 30394 30397 28803 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140446007524136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30408] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30408/stat : 30408 (java) S 30394 30397 28803 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140445995112808 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30409] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30409/stat : 30409 (java) S 30394 30397 28803 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140445994059128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30410] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30410/stat : 30410 (java) S 30394 30397 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140445993005960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30411] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30411/stat : 30411 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140445991954704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30412] ppid=30394 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/30397/task/30412/stat : 30412 (java) S 30394 30397 28803 0 -1 4202560 9278 0 0 0 73 1 0 0 20 0 19 0 110328491 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140445990902584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30413] ppid=30394 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/30397/task/30413/stat : 30413 (java) S 30394 30397 28803 0 -1 4202560 2772 0 0 0 46 0 0 0 20 0 19 0 110328491 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140445989850040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30414] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30414/stat : 30414 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140445988797176 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30415] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30415/stat : 30415 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140445987744840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30416] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30416/stat : 30416 (java) S 30394 30397 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110328525 9856040960 23878 33554432000 1073741824 1073778376 140734653921008 140445986640936 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.3
Current children cumulated vsize (KiB) 9625040
[startup+6.30086 s]
/proc/loadavg: 2.15 2.10 2.03 3/213 30416
/proc/meminfo: memFree=30575432/32872528 swapFree=11320/319964
[pid=30397] ppid=30394 vsize=9625040 CPUtime=7.51 cores=1,3,5,7
/proc/30397/stat : 30397 (java) S 30394 30397 28803 0 -1 4202496 15815 0 1 0 748 3 0 0 20 0 19 0 110328485 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140734653912144 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30397/statm: 2406260 26866 2269 9 0 2396937 0
[pid=30397/tid=30399] ppid=30394 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/30397/task/30399/stat : 30399 (java) R 30394 30397 28803 0 -1 4202560 2491 0 1 0 624 2 0 0 20 0 19 0 110328486 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140446170836672 140446043162218 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30400] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30400/stat : 30400 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140446014892456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30401] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30401/stat : 30401 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140446013839912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30402] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30402/stat : 30402 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140446012786856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30403] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30403/stat : 30403 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140446011734312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30404] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30404/stat : 30404 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140446010682280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30405] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30405/stat : 30405 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140446009629736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30406] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30406/stat : 30406 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140446008576680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30407] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30407/stat : 30407 (java) S 30394 30397 28803 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 110328487 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140446007524136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30408] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30408/stat : 30408 (java) S 30394 30397 28803 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140445995112808 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30409] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30409/stat : 30409 (java) S 30394 30397 28803 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140445994059128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30410] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30410/stat : 30410 (java) S 30394 30397 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140445993005960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30411] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30411/stat : 30411 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140445991954704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30412] ppid=30394 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/30397/task/30412/stat : 30412 (java) S 30394 30397 28803 0 -1 4202560 9280 0 0 0 75 1 0 0 20 0 19 0 110328491 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140445990902584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30413] ppid=30394 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/30397/task/30413/stat : 30413 (java) S 30394 30397 28803 0 -1 4202560 2772 0 0 0 46 0 0 0 20 0 19 0 110328491 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140445989850040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30414] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30414/stat : 30414 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140445988797176 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30415] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30415/stat : 30415 (java) S 30394 30397 28803 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140445987744840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30416] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30416/stat : 30416 (java) S 30394 30397 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110328525 9856040960 26866 33554432000 1073741824 1073778376 140734653921008 140445986640936 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=30397/tid=30409] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30409/stat : 30409 (java) S 30394 30397 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 75351 33554432000 1073741824 1073778376 140734653921008 140445994059128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30410] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30410/stat : 30410 (java) S 30394 30397 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 75351 33554432000 1073741824 1073778376 140734653921008 140445993005960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30411] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30411/stat : 30411 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 75351 33554432000 1073741824 1073778376 140734653921008 140445991954704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30412] ppid=30394 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/30397/task/30412/stat : 30412 (java) S 30394 30397 28803 0 -1 4202560 9286 0 0 0 78 1 0 0 20 0 19 0 110328491 9856040960 75351 33554432000 1073741824 1073778376 140734653921008 140445990902584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30413] ppid=30394 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/30397/task/30413/stat : 30413 (java) S 30394 30397 28803 0 -1 4202560 2772 0 0 0 46 0 0 0 20 0 19 0 110328491 9856040960 75351 33554432000 1073741824 1073778376 140734653921008 140445989850040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30414] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30414/stat : 30414 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 75351 33554432000 1073741824 1073778376 140734653921008 140445988797176 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30415] ppid=30394 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/30397/task/30415/stat : 30415 (java) S 30394 30397 28803 0 -1 4202560 96 0 0 0 30 39 0 0 20 0 19 0 110328491 9856040960 75351 33554432000 1073741824 1073778376 140734653921008 140445987744840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30416] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30416/stat : 30416 (java) S 30394 30397 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110328525 9856040960 75351 33554432000 1073741824 1073778376 140734653921008 140445986640936 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1671.74
Current children cumulated vsize (KiB) 9625040
[startup+1722.31 s]
/proc/loadavg: 2.05 2.09 2.08 3/213 30523
/proc/meminfo: memFree=30933812/32872528 swapFree=11320/319964
[pid=30397] ppid=30394 vsize=9625040 CPUtime=1732.32 cores=1,3,5,7
/proc/30397/stat : 30397 (java) S 30394 30397 28803 0 -1 4202496 21164 0 1 0 173092 140 0 0 20 0 19 0 110328485 9856040960 61034 33554432000 1073741824 1073778376 140734653921008 140734653912144 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30397/statm: 2406260 61034 2291 9 0 2396937 0
[pid=30397/tid=30399] ppid=30394 vsize=9625040 CPUtime=1716.26 cores=1,3,5,7
/proc/30397/task/30399/stat : 30399 (java) S 30394 30397 28803 0 -1 4202560 2655 0 1 0 171592 34 0 0 20 0 19 0 110328486 9856040960 60682 33554432000 1073741824 1073778376 140734653921008 140446170844616 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30400] ppid=30394 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/30397/task/30400/stat : 30400 (java) R 30394 30397 28803 0 -1 4202560 505 0 0 0 142 12 0 0 20 0 19 0 110328487 9856040960 60682 33554432000 1073741824 1073778376 140734653921008 140446014892456 262966129724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30401] ppid=30394 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/30397/task/30401/stat : 30401 (java) S 30394 30397 28803 0 -1 4202560 584 0 0 0 143 11 0 0 20 0 19 0 110328487 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140446013839912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30402] ppid=30394 vsize=9625040 CPUtime=1.44 cores=1,3,5,7
/proc/30397/task/30402/stat : 30402 (java) R 30394 30397 28803 0 -1 4202560 860 0 0 0 132 12 0 0 20 0 19 0 110328487 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140446012786880 262966141365 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30403] ppid=30394 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/30397/task/30403/stat : 30403 (java) S 30394 30397 28803 0 -1 4202560 671 0 0 0 133 13 0 0 20 0 19 0 110328487 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140446011734312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30404] ppid=30394 vsize=9625040 CPUtime=1.3 cores=1,3,5,7
/proc/30397/task/30404/stat : 30404 (java) S 30394 30397 28803 0 -1 4202560 409 0 0 0 120 10 0 0 20 0 19 0 110328487 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140446010682280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30405] ppid=30394 vsize=9625040 CPUtime=1.54 cores=1,3,5,7
/proc/30397/task/30405/stat : 30405 (java) S 30394 30397 28803 0 -1 4202560 635 0 0 0 142 12 0 0 20 0 19 0 110328487 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140446009629736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30406] ppid=30394 vsize=9625040 CPUtime=1.34 cores=1,3,5,7
/proc/30397/task/30406/stat : 30406 (java) S 30394 30397 28803 0 -1 4202560 270 0 0 0 124 10 0 0 20 0 19 0 110328487 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140446008576680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30407] ppid=30394 vsize=9625040 CPUtime=1.49 cores=1,3,5,7
/proc/30397/task/30407/stat : 30407 (java) S 30394 30397 28803 0 -1 4202560 628 0 0 0 137 12 0 0 20 0 19 0 110328487 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140446007524136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30408] ppid=30394 vsize=9625040 CPUtime=2.6 cores=1,3,5,7
/proc/30397/task/30408/stat : 30408 (java) R 30394 30397 28803 0 -1 4202560 531 0 0 0 255 5 0 0 20 0 19 0 110328488 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140445995111528 262962799498 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30409] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30409/stat : 30409 (java) S 30394 30397 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140445994059128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30410] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30410/stat : 30410 (java) S 30394 30397 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140445993005960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30411] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30411/stat : 30411 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140445991954704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30412] ppid=30394 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/30397/task/30412/stat : 30412 (java) S 30394 30397 28803 0 -1 4202560 9286 0 0 0 78 1 0 0 20 0 19 0 110328491 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140445990902584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30413] ppid=30394 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/30397/task/30413/stat : 30413 (java) S 30394 30397 28803 0 -1 4202560 2772 0 0 0 46 0 0 0 20 0 19 0 110328491 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140445989850040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30414] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30414/stat : 30414 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140445988797176 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30415] ppid=30394 vsize=9625040 CPUtime=0.71 cores=1,3,5,7
/proc/30397/task/30415/stat : 30415 (java) S 30394 30397 28803 0 -1 4202560 100 0 0 0 31 40 0 0 20 0 19 0 110328491 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140445987744840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30416] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30416/stat : 30416 (java) S 30394 30397 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110328525 9856040960 60681 33554432000 1073741824 1073778376 140734653921008 140445986640936 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1732.32
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.14 2.10 2.09 3/213 30525
/proc/meminfo: memFree=30950792/32872528 swapFree=11320/319964
[pid=30397] ppid=30394 vsize=9625040 CPUtime=1793.02 cores=1,3,5,7
/proc/30397/stat : 30397 (java) S 30394 30397 28803 0 -1 4202496 22221 0 1 0 179155 147 0 0 20 0 19 0 110328485 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140734653912144 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30397/statm: 2406260 68376 2291 9 0 2396937 0
[pid=30397/tid=30399] ppid=30394 vsize=9625040 CPUtime=1775.62 cores=1,3,5,7
/proc/30397/task/30399/stat : 30399 (java) R 30394 30397 28803 0 -1 4202560 2676 0 1 0 177527 35 0 0 20 0 19 0 110328486 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140446170844496 140446043162064 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30400] ppid=30394 vsize=9625040 CPUtime=1.7 cores=1,3,5,7
/proc/30397/task/30400/stat : 30400 (java) S 30394 30397 28803 0 -1 4202560 518 0 0 0 157 13 0 0 20 0 19 0 110328487 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140446014892456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30401] ppid=30394 vsize=9625040 CPUtime=1.65 cores=1,3,5,7
/proc/30397/task/30401/stat : 30401 (java) S 30394 30397 28803 0 -1 4202560 829 0 0 0 154 11 0 0 20 0 19 0 110328487 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140446013839912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30402] ppid=30394 vsize=9625040 CPUtime=1.57 cores=1,3,5,7
/proc/30397/task/30402/stat : 30402 (java) S 30394 30397 28803 0 -1 4202560 940 0 0 0 144 13 0 0 20 0 19 0 110328487 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140446012786856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30403] ppid=30394 vsize=9625040 CPUtime=1.62 cores=1,3,5,7
/proc/30397/task/30403/stat : 30403 (java) S 30394 30397 28803 0 -1 4202560 954 0 0 0 148 14 0 0 20 0 19 0 110328487 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140446011734312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30404] ppid=30394 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/30397/task/30404/stat : 30404 (java) S 30394 30397 28803 0 -1 4202560 517 0 0 0 131 11 0 0 20 0 19 0 110328487 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140446010682280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30405] ppid=30394 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/30397/task/30405/stat : 30405 (java) S 30394 30397 28803 0 -1 4202560 669 0 0 0 152 12 0 0 20 0 19 0 110328487 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140446009629736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30406] ppid=30394 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/30397/task/30406/stat : 30406 (java) S 30394 30397 28803 0 -1 4202560 465 0 0 0 134 11 0 0 20 0 19 0 110328487 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140446008576680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30407] ppid=30394 vsize=9625040 CPUtime=1.59 cores=1,3,5,7
/proc/30397/task/30407/stat : 30407 (java) S 30394 30397 28803 0 -1 4202560 636 0 0 0 147 12 0 0 20 0 19 0 110328487 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140446007524136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30408] ppid=30394 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/30397/task/30408/stat : 30408 (java) S 30394 30397 28803 0 -1 4202560 597 0 0 0 288 5 0 0 20 0 19 0 110328488 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140445995112808 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30409] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30409/stat : 30409 (java) S 30394 30397 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140445994059128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30410] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30410/stat : 30410 (java) S 30394 30397 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140445993005960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30411] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30411/stat : 30411 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140445991954704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30412] ppid=30394 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/30397/task/30412/stat : 30412 (java) S 30394 30397 28803 0 -1 4202560 9286 0 0 0 78 1 0 0 20 0 19 0 110328491 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140445990902584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30413] ppid=30394 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/30397/task/30413/stat : 30413 (java) S 30394 30397 28803 0 -1 4202560 2772 0 0 0 46 0 0 0 20 0 19 0 110328491 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140445989850040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30414] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30414/stat : 30414 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140445988797176 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30415] ppid=30394 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/30397/task/30415/stat : 30415 (java) S 30394 30397 28803 0 -1 4202560 104 0 0 0 33 42 0 0 20 0 19 0 110328491 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140445987744840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30416] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30416/stat : 30416 (java) S 30394 30397 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110328525 9856040960 68376 33554432000 1073741824 1073778376 140734653921008 140445986640936 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1793.02
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1789.2 s]
/proc/loadavg: 2.12 2.10 2.09 3/213 30526
/proc/meminfo: memFree=30937936/32872528 swapFree=11320/319964
[pid=30397] ppid=30394 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/30397/stat : 30397 (java) S 30394 30397 28803 0 -1 4202496 22223 0 1 0 179852 148 0 0 20 0 19 0 110328485 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140734653912144 262966116413 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30397/statm: 2406260 67671 2291 9 0 2396937 0
[pid=30397/tid=30399] ppid=30394 vsize=9625040 CPUtime=1782.48 cores=1,3,5,7
/proc/30397/task/30399/stat : 30399 (java) R 30394 30397 28803 0 -1 4202560 2678 0 1 0 178212 36 0 0 20 0 19 0 110328486 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140446170844496 140446043070994 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30400] ppid=30394 vsize=9625040 CPUtime=1.72 cores=1,3,5,7
/proc/30397/task/30400/stat : 30400 (java) S 30394 30397 28803 0 -1 4202560 518 0 0 0 159 13 0 0 20 0 19 0 110328487 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140446014892456 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30401] ppid=30394 vsize=9625040 CPUtime=1.66 cores=1,3,5,7
/proc/30397/task/30401/stat : 30401 (java) S 30394 30397 28803 0 -1 4202560 829 0 0 0 155 11 0 0 20 0 19 0 110328487 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140446013839912 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30402] ppid=30394 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/30397/task/30402/stat : 30402 (java) S 30394 30397 28803 0 -1 4202560 940 0 0 0 145 13 0 0 20 0 19 0 110328487 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140446012786856 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30403] ppid=30394 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/30397/task/30403/stat : 30403 (java) S 30394 30397 28803 0 -1 4202560 954 0 0 0 150 14 0 0 20 0 19 0 110328487 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140446011734312 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30404] ppid=30394 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/30397/task/30404/stat : 30404 (java) S 30394 30397 28803 0 -1 4202560 517 0 0 0 132 11 0 0 20 0 19 0 110328487 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140446010682280 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30397/tid=30405] ppid=30394 vsize=9625040 CPUtime=1.65 cores=1,3,5,7
/proc/30397/task/30405/stat : 30405 (java) S 30394 30397 28803 0 -1 4202560 669 0 0 0 153 12 0 0 20 0 19 0 110328487 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140446009629736 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30406] ppid=30394 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/30397/task/30406/stat : 30406 (java) S 30394 30397 28803 0 -1 4202560 465 0 0 0 136 11 0 0 20 0 19 0 110328487 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140446008576680 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30407] ppid=30394 vsize=9625040 CPUtime=1.6 cores=1,3,5,7
/proc/30397/task/30407/stat : 30407 (java) S 30394 30397 28803 0 -1 4202560 636 0 0 0 148 12 0 0 20 0 19 0 110328487 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140446007524136 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30408] ppid=30394 vsize=9625040 CPUtime=2.93 cores=1,3,5,7
/proc/30397/task/30408/stat : 30408 (java) S 30394 30397 28803 0 -1 4202560 597 0 0 0 288 5 0 0 20 0 19 0 110328488 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140445995112808 262966130601 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30409] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30409/stat : 30409 (java) S 30394 30397 28803 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140445994059128 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30410] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30410/stat : 30410 (java) S 30394 30397 28803 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 110328488 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140445993005960 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30411] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30411/stat : 30411 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140445991954704 262966138656 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30412] ppid=30394 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/30397/task/30412/stat : 30412 (java) S 30394 30397 28803 0 -1 4202560 9286 0 0 0 78 1 0 0 20 0 19 0 110328491 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140445990902584 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30413] ppid=30394 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/30397/task/30413/stat : 30413 (java) S 30394 30397 28803 0 -1 4202560 2772 0 0 0 46 0 0 0 20 0 19 0 110328491 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140445989850040 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30397/tid=30414] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30414/stat : 30414 (java) S 30394 30397 28803 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 110328491 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140445988797176 262966129724 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30397/tid=30415] ppid=30394 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/30397/task/30415/stat : 30415 (java) S 30394 30397 28803 0 -1 4202560 104 0 0 0 33 42 0 0 20 0 19 0 110328491 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140445987744840 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30397/tid=30416] ppid=30394 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/30397/task/30416/stat : 30416 (java) S 30394 30397 28803 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 110328525 9856040960 67671 33554432000 1073741824 1073778376 140734653921008 140445986640936 262966130601 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
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 30397 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1789.28
CPU time (s): 1800.53
CPU user time (s): 1798.58
CPU system time (s): 1.9507
CPU usage (%): 100.629
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.9507
maximum resident set size= 836868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22265
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42144
involuntary context switches= 23484
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.09223 second user time and 7.02893 second system time
The end