runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740869-1338737833/watcher-3740869-1338737833 -o /tmp/evaluation-result-3740869-1338737833/solver-3740869-1338737833 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3740869-1338737833.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.03 2.01 3/194 10107
/proc/meminfo: memFree=27007408/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/10107/stat : 10107 (java) D 10105 10107 5567 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 339850427 9515008 183 33554432000 1073741824 1073778376 140733801264032 140733801255064 209097408181 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 2323 183 140 9 0 71 0
[startup+0.0568889 s]
/proc/loadavg: 1.92 2.03 2.01 3/194 10107
/proc/meminfo: memFree=27007408/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=2623916 CPUtime=0.03 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10105 10107 5567 0 -1 4202496 3940 0 1 0 3 0 0 0 20 0 13 0 339850427 2686889984 5148 33554432000 1073741824 1073778376 140733490834464 140733490825600 209100767293 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 655979 5148 1703 9 0 646680 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2623916
[startup+0.100256 s]
/proc/loadavg: 1.92 2.03 2.01 3/194 10107
/proc/meminfo: memFree=27007408/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10105 10107 5567 0 -1 4202496 4141 0 1 0 6 1 0 0 20 0 18 0 339850427 3028844544 5859 33554432000 1073741824 1073778376 140733490834464 140733490825600 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 739464 5859 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300229 s]
/proc/loadavg: 1.92 2.03 2.01 3/194 10107
/proc/meminfo: memFree=27007408/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=2957856 CPUtime=0.42 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10105 10107 5567 0 -1 4202496 5703 0 1 0 41 1 0 0 20 0 18 0 339850427 3028844544 9201 33554432000 1073741824 1073778376 140733490834464 140733490825600 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 739464 9201 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2957856
[startup+0.700244 s]
/proc/loadavg: 1.92 2.03 2.01 3/194 10107
/proc/meminfo: memFree=27007408/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=2957856 CPUtime=1.53 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10105 10107 5567 0 -1 4202496 14444 0 1 0 150 3 0 0 20 0 18 0 339850427 3028844544 33282 33554432000 1073741824 1073778376 140733490834464 140733490825600 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 739464 33282 2253 9 0 729885 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 2957856
[startup+1.50069 s]
/proc/loadavg: 2.01 2.04 2.01 3/212 10125
/proc/meminfo: memFree=26735468/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=2957856 CPUtime=2.52 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10105 10107 5567 0 -1 4202496 14658 0 1 0 242 10 0 0 20 0 18 0 339850427 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 140733490825600 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 739464 117784 2270 9 0 729885 0
[pid=10107/tid=10109] ppid=10105 vsize=2957856 CPUtime=1.43 cores=0,2,4,6
/proc/10107/task/10109/stat : 10109 (java) R 10105 10107 5567 0 -1 4202560 3243 0 1 0 136 7 0 0 20 0 18 0 339850428 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766181118032 139766037612944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10110] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10110/stat : 10110 (java) S 10105 10107 5567 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 339850429 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766164552360 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10111] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10111/stat : 10111 (java) S 10105 10107 5567 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339850429 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766163499816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10112] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10112/stat : 10112 (java) S 10105 10107 5567 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339850429 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766162447272 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10113] ppid=10105 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/10107/task/10113/stat : 10113 (java) S 10105 10107 5567 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 339850429 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766161394728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10114] ppid=10105 vsize=2957856 CPUtime=0.01 cores=0,2,4,6
/proc/10107/task/10114/stat : 10114 (java) S 10105 10107 5567 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 339850429 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766160341160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10115] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10115/stat : 10115 (java) S 10105 10107 5567 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339850429 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766159288616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10116] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10116/stat : 10116 (java) S 10105 10107 5567 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339850429 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766158236072 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10117] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10117/stat : 10117 (java) S 10105 10107 5567 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339850429 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766157183528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10118] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10118/stat : 10118 (java) S 10105 10107 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339850431 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766025853544 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10119] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10119/stat : 10119 (java) S 10105 10107 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339850431 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766024799864 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10120] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10120/stat : 10120 (java) S 10105 10107 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339850431 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766156129928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10121] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10121/stat : 10121 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339850434 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766023748624 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10122] ppid=10105 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/10107/task/10122/stat : 10122 (java) S 10105 10107 5567 0 -1 4202560 5314 0 0 0 47 0 0 0 20 0 18 0 339850434 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766022694968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10123] ppid=10105 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/10107/task/10123/stat : 10123 (java) S 10105 10107 5567 0 -1 4202560 4864 0 0 0 44 0 0 0 20 0 18 0 339850434 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139766021642424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10124] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10124/stat : 10124 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339850434 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139765148019192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10125] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10125/stat : 10125 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339850434 3028844544 117784 33554432000 1073741824 1073778376 140733490834464 139765146966856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 2957856
[startup+3.10068 s]
/proc/loadavg: 2.01 2.04 2.01 3/212 10125
/proc/meminfo: memFree=26546060/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=2957856 CPUtime=4.44 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10105 10107 5567 0 -1 4202496 14797 0 1 0 423 21 0 0 20 0 18 0 339850427 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 140733490825600 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 739464 135197 2270 9 0 729885 0
[pid=10107/tid=10109] ppid=10105 vsize=2957856 CPUtime=2.91 cores=0,2,4,6
/proc/10107/task/10109/stat : 10109 (java) R 10105 10107 5567 0 -1 4202560 3245 0 1 0 284 7 0 0 20 0 18 0 339850428 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766181125384 139766037668347 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10110] ppid=10105 vsize=2957856 CPUtime=0.04 cores=0,2,4,6
/proc/10107/task/10110/stat : 10110 (java) S 10105 10107 5567 0 -1 4202560 24 0 0 0 3 1 0 0 20 0 18 0 339850429 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766164552360 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10111] ppid=10105 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10111/stat : 10111 (java) S 10105 10107 5567 0 -1 4202560 32 0 0 0 6 2 0 0 20 0 18 0 339850429 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766163499816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10112] ppid=10105 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/10107/task/10112/stat : 10112 (java) S 10105 10107 5567 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 339850429 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766162447272 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10113] ppid=10105 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/10107/task/10113/stat : 10113 (java) S 10105 10107 5567 0 -1 4202560 44 0 0 0 7 3 0 0 20 0 18 0 339850429 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766161394728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10114] ppid=10105 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/10107/task/10114/stat : 10114 (java) S 10105 10107 5567 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 18 0 339850429 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766160341160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10115] ppid=10105 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/10107/task/10115/stat : 10115 (java) S 10105 10107 5567 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 339850429 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766159288616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10116] ppid=10105 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/10107/task/10116/stat : 10116 (java) S 10105 10107 5567 0 -1 4202560 31 0 0 0 5 3 0 0 20 0 18 0 339850429 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766158236072 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10117] ppid=10105 vsize=2957856 CPUtime=0.05 cores=0,2,4,6
/proc/10107/task/10117/stat : 10117 (java) S 10105 10107 5567 0 -1 4202560 20 0 0 0 4 1 0 0 20 0 18 0 339850429 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766157183528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10118] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10118/stat : 10118 (java) S 10105 10107 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339850431 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766025853544 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10119] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10119/stat : 10119 (java) S 10105 10107 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339850431 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766024799864 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10120] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10120/stat : 10120 (java) S 10105 10107 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339850431 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766156129928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10121] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10121/stat : 10121 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339850434 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766023748624 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10122] ppid=10105 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/10107/task/10122/stat : 10122 (java) S 10105 10107 5567 0 -1 4202560 5314 0 0 0 47 0 0 0 20 0 18 0 339850434 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766022694968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10123] ppid=10105 vsize=2957856 CPUtime=0.46 cores=0,2,4,6
/proc/10107/task/10123/stat : 10123 (java) S 10105 10107 5567 0 -1 4202560 4864 0 0 0 46 0 0 0 20 0 18 0 339850434 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139766021642424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10124] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10124/stat : 10124 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339850434 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139765148019192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10125] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10125/stat : 10125 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339850434 3028844544 135197 33554432000 1073741824 1073778376 140733490834464 139765146966856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.44
Current children cumulated vsize (KiB) 2957856
[startup+6.30069 s]
/proc/loadavg: 2.57 2.16 2.05 3/212 10125
/proc/meminfo: memFree=26396680/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=2957856 CPUtime=8.56 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10105 10107 5567 0 -1 4202496 15045 0 1 0 818 38 0 0 20 0 18 0 339850427 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 140733490825600 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 739464 157147 2270 9 0 729885 0
[pid=10107/tid=10109] ppid=10105 vsize=2957856 CPUtime=5.78 cores=0,2,4,6
/proc/10107/task/10109/stat : 10109 (java) R 10105 10107 5567 0 -1 4202560 3250 0 1 0 570 8 0 0 20 0 18 0 339850428 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766181118128 209100793101 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10110] ppid=10105 vsize=2957856 CPUtime=0.24 cores=0,2,4,6
/proc/10107/task/10110/stat : 10110 (java) S 10105 10107 5567 0 -1 4202560 67 0 0 0 20 4 0 0 20 0 18 0 339850429 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766164552360 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10111] ppid=10105 vsize=2957856 CPUtime=0.21 cores=0,2,4,6
/proc/10107/task/10111/stat : 10111 (java) S 10105 10107 5567 0 -1 4202560 57 0 0 0 17 4 0 0 20 0 18 0 339850429 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766163499816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10112] ppid=10105 vsize=2957856 CPUtime=0.15 cores=0,2,4,6
/proc/10107/task/10112/stat : 10112 (java) S 10105 10107 5567 0 -1 4202560 38 0 0 0 12 3 0 0 20 0 18 0 339850429 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766162447272 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10113] ppid=10105 vsize=2957856 CPUtime=0.23 cores=0,2,4,6
/proc/10107/task/10113/stat : 10113 (java) S 10105 10107 5567 0 -1 4202560 70 0 0 0 18 5 0 0 20 0 18 0 339850429 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766161394728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10114] ppid=10105 vsize=2957856 CPUtime=0.23 cores=0,2,4,6
/proc/10107/task/10114/stat : 10114 (java) S 10105 10107 5567 0 -1 4202560 51 0 0 0 19 4 0 0 20 0 18 0 339850429 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766160341160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10115] ppid=10105 vsize=2957856 CPUtime=0.2 cores=0,2,4,6
/proc/10107/task/10115/stat : 10115 (java) S 10105 10107 5567 0 -1 4202560 48 0 0 0 16 4 0 0 20 0 18 0 339850429 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766159288616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10116] ppid=10105 vsize=2957856 CPUtime=0.19 cores=0,2,4,6
/proc/10107/task/10116/stat : 10116 (java) S 10105 10107 5567 0 -1 4202560 57 0 0 0 15 4 0 0 20 0 18 0 339850429 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766158236072 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10117] ppid=10105 vsize=2957856 CPUtime=0.22 cores=0,2,4,6
/proc/10107/task/10117/stat : 10117 (java) S 10105 10107 5567 0 -1 4202560 47 0 0 0 19 3 0 0 20 0 18 0 339850429 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766157183528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10118] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10118/stat : 10118 (java) S 10105 10107 5567 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339850431 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766025853544 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10119] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10119/stat : 10119 (java) S 10105 10107 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339850431 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766024799864 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10120] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10120/stat : 10120 (java) S 10105 10107 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339850431 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766156129928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10121] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10121/stat : 10121 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339850434 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766023748624 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10122] ppid=10105 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/10107/task/10122/stat : 10122 (java) S 10105 10107 5567 0 -1 4202560 5314 0 0 0 47 0 0 0 20 0 18 0 339850434 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766022694968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10123] ppid=10105 vsize=2957856 CPUtime=0.47 cores=0,2,4,6
/proc/10107/task/10123/stat : 10123 (java) S 10105 10107 5567 0 -1 4202560 4864 0 0 0 47 0 0 0 20 0 18 0 339850434 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139766021642424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10124] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10124/stat : 10124 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339850434 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139765148019192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10125] ppid=10105 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10125/stat : 10125 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339850434 3028844544 157147 33554432000 1073741824 1073778376 140733490834464 139765146966856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 8.56
Current children cumulated vsize (KiB) 2957856
[startup+12.7007 s]
/proc/loadavg: 2.52 2.16 2.05 3/213 10126
/proc/meminfo: memFree=26277744/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=3024420 CPUtime=16.16 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10105 10107 5567 0 -1 4202496 15812 0 1 0 1565 51 0 0 20 0 19 0 339850427 3097006080 184829 33554432000 1073741824 1073778376 140733490834464 140733490825600 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 756105 184829 2289 9 0 746526 0
[pid=10107/tid=10109] ppid=10105 vsize=3024420 CPUtime=11.86 cores=0,2,4,6
################
# More data... #
################
[pid=10107/tid=10122] ppid=10105 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/10107/task/10122/stat : 10122 (java) S 10105 10107 5567 0 -1 4202560 5324 0 0 0 66 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766022694968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10123] ppid=10105 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/10107/task/10123/stat : 10123 (java) S 10105 10107 5567 0 -1 4202560 4867 0 0 0 69 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766021642424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10124] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10124/stat : 10124 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765148019192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10125] ppid=10105 vsize=3024420 CPUtime=0.76 cores=0,2,4,6
/proc/10107/task/10125/stat : 10125 (java) S 10105 10107 5567 0 -1 4202560 95 0 0 0 38 38 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765146966856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10126] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10126/stat : 10126 (java) S 10105 10107 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339851140 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765144835368 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1666.71
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10222
/proc/meminfo: memFree=25942056/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=3024420 CPUtime=1726.73 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10105 10107 5567 0 -1 4202496 16360 0 1 0 172559 114 0 0 20 0 19 0 339850427 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 140733490825600 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 756105 239619 2290 9 0 746526 0
[pid=10107/tid=10109] ppid=10105 vsize=3024420 CPUtime=1716.82 cores=0,2,4,6
/proc/10107/task/10109/stat : 10109 (java) R 10105 10107 5567 0 -1 4202560 3273 0 1 0 171646 36 0 0 20 0 19 0 339850428 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766181125328 139766038201495 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10110] ppid=10105 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/10107/task/10110/stat : 10110 (java) S 10105 10107 5567 0 -1 4202560 157 0 0 0 36 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766164552360 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10111] ppid=10105 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/10107/task/10111/stat : 10111 (java) S 10105 10107 5567 0 -1 4202560 164 0 0 0 29 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766163499816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10112] ppid=10105 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/10107/task/10112/stat : 10112 (java) S 10105 10107 5567 0 -1 4202560 345 0 0 0 35 11 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766162447272 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10113] ppid=10105 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/10107/task/10113/stat : 10113 (java) S 10105 10107 5567 0 -1 4202560 197 0 0 0 37 10 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766161394728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10114] ppid=10105 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/10107/task/10114/stat : 10114 (java) S 10105 10107 5567 0 -1 4202560 147 0 0 0 35 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766160341160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10115] ppid=10105 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/10107/task/10115/stat : 10115 (java) S 10105 10107 5567 0 -1 4202560 132 0 0 0 37 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766159288616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10116] ppid=10105 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/10107/task/10116/stat : 10116 (java) S 10105 10107 5567 0 -1 4202560 234 0 0 0 36 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766158236072 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10117] ppid=10105 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/10107/task/10117/stat : 10117 (java) S 10105 10107 5567 0 -1 4202560 226 0 0 0 44 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766157183528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10118] ppid=10105 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/10107/task/10118/stat : 10118 (java) S 10105 10107 5567 0 -1 4202560 13 0 0 0 0 2 0 0 20 0 19 0 339850431 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766025853544 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10119] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10119/stat : 10119 (java) S 10105 10107 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339850431 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766024799864 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10120] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10120/stat : 10120 (java) S 10105 10107 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339850431 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766156129928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10121] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10121/stat : 10121 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766023748624 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10122] ppid=10105 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/10107/task/10122/stat : 10122 (java) S 10105 10107 5567 0 -1 4202560 5324 0 0 0 66 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766022694968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10123] ppid=10105 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/10107/task/10123/stat : 10123 (java) S 10105 10107 5567 0 -1 4202560 4867 0 0 0 69 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766021642424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10124] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10124/stat : 10124 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765148019192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10125] ppid=10105 vsize=3024420 CPUtime=0.78 cores=0,2,4,6
/proc/10107/task/10125/stat : 10125 (java) S 10105 10107 5567 0 -1 4202560 99 0 0 0 39 39 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765146966856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10126] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10126/stat : 10126 (java) S 10105 10107 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339851140 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765144835368 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1726.73
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10223
/proc/meminfo: memFree=25900724/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=3024420 CPUtime=1786.75 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10105 10107 5567 0 -1 4202496 16364 0 1 0 178560 115 0 0 20 0 19 0 339850427 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 140733490825600 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 756105 239619 2290 9 0 746526 0
[pid=10107/tid=10109] ppid=10105 vsize=3024420 CPUtime=1776.66 cores=0,2,4,6
/proc/10107/task/10109/stat : 10109 (java) R 10105 10107 5567 0 -1 4202560 3273 0 1 0 177629 37 0 0 20 0 19 0 339850428 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766181125328 139766038201521 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10110] ppid=10105 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/10107/task/10110/stat : 10110 (java) S 10105 10107 5567 0 -1 4202560 157 0 0 0 36 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766164552360 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10111] ppid=10105 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/10107/task/10111/stat : 10111 (java) S 10105 10107 5567 0 -1 4202560 164 0 0 0 29 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766163499816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10112] ppid=10105 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/10107/task/10112/stat : 10112 (java) S 10105 10107 5567 0 -1 4202560 345 0 0 0 35 11 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766162447272 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10113] ppid=10105 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/10107/task/10113/stat : 10113 (java) S 10105 10107 5567 0 -1 4202560 197 0 0 0 37 10 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766161394728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10114] ppid=10105 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/10107/task/10114/stat : 10114 (java) S 10105 10107 5567 0 -1 4202560 147 0 0 0 35 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766160341160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10115] ppid=10105 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/10107/task/10115/stat : 10115 (java) S 10105 10107 5567 0 -1 4202560 132 0 0 0 37 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766159288616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10116] ppid=10105 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/10107/task/10116/stat : 10116 (java) S 10105 10107 5567 0 -1 4202560 234 0 0 0 36 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766158236072 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10117] ppid=10105 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/10107/task/10117/stat : 10117 (java) S 10105 10107 5567 0 -1 4202560 226 0 0 0 44 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766157183528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10118] ppid=10105 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/10107/task/10118/stat : 10118 (java) S 10105 10107 5567 0 -1 4202560 13 0 0 0 0 2 0 0 20 0 19 0 339850431 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766025853544 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10119] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10119/stat : 10119 (java) S 10105 10107 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339850431 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766024799864 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10120] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10120/stat : 10120 (java) S 10105 10107 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339850431 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766156129928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10121] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10121/stat : 10121 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766023748624 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10122] ppid=10105 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/10107/task/10122/stat : 10122 (java) S 10105 10107 5567 0 -1 4202560 5324 0 0 0 66 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766022694968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10123] ppid=10105 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/10107/task/10123/stat : 10123 (java) S 10105 10107 5567 0 -1 4202560 4867 0 0 0 69 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766021642424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10124] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10124/stat : 10124 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765148019192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10125] ppid=10105 vsize=3024420 CPUtime=0.81 cores=0,2,4,6
/proc/10107/task/10125/stat : 10125 (java) S 10105 10107 5567 0 -1 4202560 103 0 0 0 42 39 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765146966856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10126] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10126/stat : 10126 (java) S 10105 10107 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339851140 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765144835368 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1786.75
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 10223
/proc/meminfo: memFree=25890484/32873844 swapFree=7128/7128
[pid=10107] ppid=10105 vsize=3024420 CPUtime=1800.05 cores=0,2,4,6
/proc/10107/stat : 10107 (java) S 10105 10107 5567 0 -1 4202496 16364 0 1 0 179890 115 0 0 20 0 19 0 339850427 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 140733490825600 209100767293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10107/statm: 756105 239619 2290 9 0 746526 0
[pid=10107/tid=10109] ppid=10105 vsize=3024420 CPUtime=1789.94 cores=0,2,4,6
/proc/10107/task/10109/stat : 10109 (java) R 10105 10107 5567 0 -1 4202560 3273 0 1 0 178957 37 0 0 20 0 19 0 339850428 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766181125328 139766038184843 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10110] ppid=10105 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/10107/task/10110/stat : 10110 (java) S 10105 10107 5567 0 -1 4202560 157 0 0 0 36 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766164552360 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10111] ppid=10105 vsize=3024420 CPUtime=0.38 cores=0,2,4,6
/proc/10107/task/10111/stat : 10111 (java) S 10105 10107 5567 0 -1 4202560 164 0 0 0 29 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766163499816 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10112] ppid=10105 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/10107/task/10112/stat : 10112 (java) S 10105 10107 5567 0 -1 4202560 345 0 0 0 35 11 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766162447272 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10113] ppid=10105 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/10107/task/10113/stat : 10113 (java) S 10105 10107 5567 0 -1 4202560 197 0 0 0 37 10 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766161394728 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10114] ppid=10105 vsize=3024420 CPUtime=0.44 cores=0,2,4,6
/proc/10107/task/10114/stat : 10114 (java) S 10105 10107 5567 0 -1 4202560 147 0 0 0 35 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766160341160 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10115] ppid=10105 vsize=3024420 CPUtime=0.46 cores=0,2,4,6
/proc/10107/task/10115/stat : 10115 (java) S 10105 10107 5567 0 -1 4202560 132 0 0 0 37 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766159288616 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10116] ppid=10105 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/10107/task/10116/stat : 10116 (java) S 10105 10107 5567 0 -1 4202560 234 0 0 0 36 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766158236072 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10107/tid=10117] ppid=10105 vsize=3024420 CPUtime=0.53 cores=0,2,4,6
/proc/10107/task/10117/stat : 10117 (java) S 10105 10107 5567 0 -1 4202560 226 0 0 0 44 9 0 0 20 0 19 0 339850429 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766157183528 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10118] ppid=10105 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/10107/task/10118/stat : 10118 (java) S 10105 10107 5567 0 -1 4202560 13 0 0 0 1 2 0 0 20 0 19 0 339850431 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766025853544 209100781481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10119] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10119/stat : 10119 (java) S 10105 10107 5567 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339850431 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766024799864 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10120] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10120/stat : 10120 (java) S 10105 10107 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339850431 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766156129928 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10121] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10121/stat : 10121 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766023748624 209100789536 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10122] ppid=10105 vsize=3024420 CPUtime=0.66 cores=0,2,4,6
/proc/10107/task/10122/stat : 10122 (java) S 10105 10107 5567 0 -1 4202560 5324 0 0 0 66 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766022694968 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10107/tid=10123] ppid=10105 vsize=3024420 CPUtime=0.69 cores=0,2,4,6
/proc/10107/task/10123/stat : 10123 (java) S 10105 10107 5567 0 -1 4202560 4867 0 0 0 69 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139766021642424 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10124] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10124/stat : 10124 (java) S 10105 10107 5567 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765148019192 209100780604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10107/tid=10125] ppid=10105 vsize=3024420 CPUtime=0.81 cores=0,2,4,6
/proc/10107/task/10125/stat : 10125 (java) S 10105 10107 5567 0 -1 4202560 103 0 0 0 42 39 0 0 20 0 19 0 339850434 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765146966856 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10107/tid=10126] ppid=10105 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/10107/task/10126/stat : 10126 (java) S 10105 10107 5567 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339851140 3097006080 239619 33554432000 1073741824 1073778376 140733490834464 139765144835368 209100781481 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10107 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=379212
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=661747
# CPU time returned by wait4() is 1796.04
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.62
CPU time (s): 1800.05
CPU user time (s): 1798.9
CPU system time (s): 1.15
CPU usage (%): 100.247
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.38
system time used= 1.66175
maximum resident set size= 958612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16399
page faults= 1
swaps= 0
block input operations= 0
block output operations= 936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38440
involuntary context switches= 6013
runsolver used 6.07108 second user time and 15.4726 second system time
The end