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-4080889-1465309606/watcher-4080889-1465309606 -o /tmp/evaluation-result-4080889-1465309606/solver-4080889-1465309606 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465299571-21135 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080889-1465309606.opb
pid=23332
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: 4.06 4.07 4.02 4/197 23335
/proc/meminfo: memFree=28425020/32872528 swapFree=11372/178980
[pid=23335] ppid=23332 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/23335/stat : 23335 (java) S 23332 23335 21119 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 112895409 98570240 977 33554432000 1073741824 1073778376 140736674048096 140736674039232 224925876285 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 24065 977 743 9 0 16771 0
[pid=23335/tid=23336] ppid=23332 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23336/stat : 23336 (java) R 23332 23335 21119 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 112895409 98570240 977 33554432000 1073741824 1073778376 140736674048096 140354495741480 224922518912 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.100172 s]
/proc/loadavg: 4.06 4.07 4.02 4/197 23335
/proc/meminfo: memFree=28425020/32872528 swapFree=11372/178980
[pid=23335] ppid=23332 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/23335/stat : 23335 (java) S 23332 23335 21119 0 -1 4202496 4469 0 1 0 9 1 0 0 20 0 18 0 112895409 9787879424 5586 33554432000 1073741824 1073778376 140736674048096 140736674039232 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2389619 5586 2126 9 0 2380296 0
[pid=23335/tid=23336] ppid=23332 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/23335/task/23336/stat : 23336 (java) R 23332 23335 21119 0 -1 4202560 2437 0 1 0 7 0 0 0 20 0 18 0 112895409 9787879424 5586 33554432000 1073741824 1073778376 140736674048096 140354495744928 224925902093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200259 s]
/proc/loadavg: 4.06 4.07 4.02 4/197 23335
/proc/meminfo: memFree=28425020/32872528 swapFree=11372/178980
[pid=23335] ppid=23332 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/23335/stat : 23335 (java) S 23332 23335 21119 0 -1 4202496 5057 0 1 0 27 2 0 0 20 0 18 0 112895409 9787879424 11116 33554432000 1073741824 1073778376 140736674048096 140736674039232 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2389619 11116 2221 9 0 2380296 0
[pid=23335/tid=23336] ppid=23332 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/23335/task/23336/stat : 23336 (java) R 23332 23335 21119 0 -1 4202560 2462 0 1 0 16 1 0 0 20 0 18 0 112895409 9787879424 11116 33554432000 1073741824 1073778376 140736674048096 140354495728856 140354435549780 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9558476
[startup+0.300361 s]
/proc/loadavg: 4.06 4.07 4.02 4/197 23335
/proc/meminfo: memFree=28425020/32872528 swapFree=11372/178980
[pid=23335] ppid=23332 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/23335/stat : 23335 (java) S 23332 23335 21119 0 -1 4202496 5794 0 1 0 46 2 0 0 20 0 18 0 112895409 9787879424 15592 33554432000 1073741824 1073778376 140736674048096 140736674039232 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2389619 15592 2232 9 0 2380296 0
[pid=23335/tid=23336] ppid=23332 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/23335/task/23336/stat : 23336 (java) R 23332 23335 21119 0 -1 4202560 2470 0 1 0 26 1 0 0 20 0 18 0 112895409 9787879424 15592 33554432000 1073741824 1073778376 140736674048096 140354495728856 140354435846040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700342 s]
/proc/loadavg: 4.06 4.07 4.02 4/197 23335
/proc/meminfo: memFree=28425020/32872528 swapFree=11372/178980
[pid=23335] ppid=23332 vsize=9558476 CPUtime=0.97 cores=0,2,4,6
/proc/23335/stat : 23335 (java) S 23332 23335 21119 0 -1 4202496 5986 0 1 0 91 6 0 0 20 0 18 0 112895409 9787879424 46922 33554432000 1073741824 1073778376 140736674048096 140736674039232 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2389619 46922 2248 9 0 2380296 0
[pid=23335/tid=23336] ppid=23332 vsize=9558476 CPUtime=0.64 cores=0,2,4,6
/proc/23335/task/23336/stat : 23336 (java) R 23332 23335 21119 0 -1 4202560 2518 0 1 0 60 4 0 0 20 0 18 0 112895409 9787879424 46922 33554432000 1073741824 1073778376 140736674048096 140354495737600 224925902093 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 9558476
[startup+1.51206 s]
/proc/loadavg: 4.06 4.07 4.02 6/215 23353
/proc/meminfo: memFree=28160928/32872528 swapFree=11372/178980
[pid=23335] ppid=23332 vsize=9558476 CPUtime=2.98 cores=0,2,4,6
/proc/23335/stat : 23335 (java) S 23332 23335 21119 0 -1 4202496 21801 0 1 0 282 16 0 0 20 0 18 0 112895409 9787879424 99476 33554432000 1073741824 1073778376 140736674048096 140736674039232 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2389619 99476 2264 9 0 2380296 0
[pid=23335/tid=23336] ppid=23332 vsize=9558476 CPUtime=1.39 cores=0,2,4,6
/proc/23335/task/23336/stat : 23336 (java) S 23332 23335 21119 0 -1 4202560 2572 0 1 0 134 5 0 0 20 0 18 0 112895409 9787879424 99476 33554432000 1073741824 1073778376 140736674048096 140354495744872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23338] ppid=23332 vsize=9558476 CPUtime=0.04 cores=0,2,4,6
/proc/23335/task/23338/stat : 23338 (java) R 23332 23335 21119 0 -1 4202560 25 0 0 0 4 0 0 0 20 0 18 0 112895410 9787879424 99476 33554432000 1073741824 1073778376 140736674048096 140354434476200 140354498217649 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23339] ppid=23332 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/23335/task/23339/stat : 23339 (java) R 23332 23335 21119 0 -1 4202560 167 0 0 0 1 1 0 0 20 0 18 0 112895410 9787879424 99476 33554432000 1073741824 1073778376 140736674048096 140354433423656 140354498217657 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23340] ppid=23332 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/23335/task/23340/stat : 23340 (java) R 23332 23335 21119 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 112895410 9787879424 99476 33554432000 1073741824 1073778376 140736674048096 140354432371288 140354499503244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23341] ppid=23332 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/23335/task/23341/stat : 23341 (java) R 23332 23335 21119 0 -1 4202560 200 0 0 0 3 0 0 0 20 0 18 0 112895410 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354336275160 140354498217657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23342] ppid=23332 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (java) R 23332 23335 21119 0 -1 4202560 111 0 0 0 3 3 0 0 20 0 18 0 112895410 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354335222616 140354498217649 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23343] ppid=23332 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/23335/task/23343/stat : 23343 (java) R 23332 23335 21119 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 18 0 112895410 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354334169896 224925889596 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23344] ppid=23332 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/23335/task/23344/stat : 23344 (java) R 23332 23335 21119 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 18 0 112895410 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354333117352 140354498217673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23345] ppid=23332 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/23335/task/23345/stat : 23345 (java) R 23332 23335 21119 0 -1 4202560 108 0 0 0 3 0 0 0 20 0 18 0 112895410 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354332064984 140354499503244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23346] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23346/stat : 23346 (java) S 23332 23335 21119 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 18 0 112895411 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354319864840 224925889596 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23347] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23347/stat : 23347 (java) S 23332 23335 21119 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 112895412 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354318812280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23348] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23348/stat : 23348 (java) S 23332 23335 21119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 112895412 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354317759624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23349] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23349/stat : 23349 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112895414 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354316708368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23350] ppid=23332 vsize=9558476 CPUtime=0.58 cores=0,2,4,6
/proc/23335/task/23350/stat : 23350 (java) S 23332 23335 21119 0 -1 4202560 9556 0 0 0 56 2 0 0 20 0 18 0 112895414 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354315641832 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23351] ppid=23332 vsize=9558476 CPUtime=0.64 cores=0,2,4,6
/proc/23335/task/23351/stat : 23351 (java) S 23332 23335 21119 0 -1 4202560 7697 0 0 0 62 2 0 0 20 0 18 0 112895414 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354314589288 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23352] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23352/stat : 23352 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112895414 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354313550840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23353] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23353/stat : 23353 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112895414 9787879424 99988 33554432000 1073741824 1073778376 140736674048096 140354312498504 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 9558476
[startup+3.10081 s]
/proc/loadavg: 4.05 4.07 4.02 4/215 23353
/proc/meminfo: memFree=27640200/32872528 swapFree=11372/178980
[pid=23335] ppid=23332 vsize=9558476 CPUtime=5.23 cores=0,2,4,6
/proc/23335/stat : 23335 (java) S 23332 23335 21119 0 -1 4202496 25269 0 1 0 474 49 0 0 20 0 18 0 112895409 9787879424 471719 33554432000 1073741824 1073778376 140736674048096 140736674039232 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2389619 471719 2264 9 0 2380296 0
[pid=23335/tid=23336] ppid=23332 vsize=9558476 CPUtime=2.75 cores=0,2,4,6
/proc/23335/task/23336/stat : 23336 (java) R 23332 23335 21119 0 -1 4202560 3869 0 1 0 249 26 0 0 20 0 18 0 112895409 9787879424 471719 33554432000 1073741824 1073778376 140736674048096 140354495737808 140354503511130 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23338] ppid=23332 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/23335/task/23338/stat : 23338 (java) S 23332 23335 21119 0 -1 4202560 66 0 0 0 14 3 0 0 20 0 18 0 112895410 9787879424 471719 33554432000 1073741824 1073778376 140736674048096 140354434476200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23339] ppid=23332 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/23335/task/23339/stat : 23339 (java) S 23332 23335 21119 0 -1 4202560 267 0 0 0 13 2 0 0 20 0 18 0 112895410 9787879424 471719 33554432000 1073741824 1073778376 140736674048096 140354433423656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23340] ppid=23332 vsize=9558476 CPUtime=0.13 cores=0,2,4,6
/proc/23335/task/23340/stat : 23340 (java) S 23332 23335 21119 0 -1 4202560 191 0 0 0 11 2 0 0 20 0 18 0 112895410 9787879424 471719 33554432000 1073741824 1073778376 140736674048096 140354432371112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23341] ppid=23332 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/23335/task/23341/stat : 23341 (java) S 23332 23335 21119 0 -1 4202560 483 0 0 0 13 4 0 0 20 0 18 0 112895410 9787879424 471719 33554432000 1073741824 1073778376 140736674048096 140354336274984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23342] ppid=23332 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (java) S 23332 23335 21119 0 -1 4202560 220 0 0 0 12 4 0 0 20 0 18 0 112895410 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354335222440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23343] ppid=23332 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/23335/task/23343/stat : 23343 (java) S 23332 23335 21119 0 -1 4202560 228 0 0 0 8 2 0 0 20 0 18 0 112895410 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354334169896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23344] ppid=23332 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/23335/task/23344/stat : 23344 (java) S 23332 23335 21119 0 -1 4202560 66 0 0 0 6 2 0 0 20 0 18 0 112895410 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354333117352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23345] ppid=23332 vsize=9558476 CPUtime=0.14 cores=0,2,4,6
/proc/23335/task/23345/stat : 23345 (java) S 23332 23335 21119 0 -1 4202560 395 0 0 0 11 3 0 0 20 0 18 0 112895410 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354332064808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23346] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23346/stat : 23346 (java) S 23332 23335 21119 0 -1 4202560 975 0 0 0 0 0 0 0 20 0 18 0 112895411 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354319865960 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23347] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23347/stat : 23347 (java) S 23332 23335 21119 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 112895412 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354318812280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23348] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23348/stat : 23348 (java) S 23332 23335 21119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 112895412 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354317759624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23349] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23349/stat : 23349 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112895414 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354316708368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23350] ppid=23332 vsize=9558476 CPUtime=0.58 cores=0,2,4,6
/proc/23335/task/23350/stat : 23350 (java) S 23332 23335 21119 0 -1 4202560 9557 0 0 0 56 2 0 0 20 0 18 0 112895414 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354315655736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23351] ppid=23332 vsize=9558476 CPUtime=0.65 cores=0,2,4,6
/proc/23335/task/23351/stat : 23351 (java) S 23332 23335 21119 0 -1 4202560 7699 0 0 0 63 2 0 0 20 0 18 0 112895414 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354314603192 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23352] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23352/stat : 23352 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112895414 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354313550840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23353] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23353/stat : 23353 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112895414 9787879424 472231 33554432000 1073741824 1073778376 140736674048096 140354312498504 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.23
Current children cumulated vsize (KiB) 9558476
[startup+6.30086 s]
/proc/loadavg: 4.05 4.07 4.02 4/215 23353
/proc/meminfo: memFree=25465124/32872528 swapFree=11372/178980
[pid=23335] ppid=23332 vsize=9558476 CPUtime=9.9 cores=0,2,4,6
/proc/23335/stat : 23335 (java) S 23332 23335 21119 0 -1 4202496 28928 0 1 0 909 81 0 0 20 0 18 0 112895409 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140736674039232 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2389619 740416 2264 9 0 2380296 0
[pid=23335/tid=23336] ppid=23332 vsize=9558476 CPUtime=5.42 cores=0,2,4,6
/proc/23335/task/23336/stat : 23336 (java) R 23332 23335 21119 0 -1 4202560 4283 0 1 0 504 38 0 0 20 0 18 0 112895409 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354495745504 140354435882961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23338] ppid=23332 vsize=9558476 CPUtime=0.37 cores=0,2,4,6
/proc/23335/task/23338/stat : 23338 (java) S 23332 23335 21119 0 -1 4202560 412 0 0 0 32 5 0 0 20 0 18 0 112895410 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354434476200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23339] ppid=23332 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/23335/task/23339/stat : 23339 (java) S 23332 23335 21119 0 -1 4202560 803 0 0 0 43 4 0 0 20 0 18 0 112895410 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354433423656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23340] ppid=23332 vsize=9558476 CPUtime=0.31 cores=0,2,4,6
/proc/23335/task/23340/stat : 23340 (java) S 23332 23335 21119 0 -1 4202560 674 0 0 0 27 4 0 0 20 0 18 0 112895410 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354432371112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23341] ppid=23332 vsize=9558476 CPUtime=0.42 cores=0,2,4,6
/proc/23335/task/23341/stat : 23341 (java) S 23332 23335 21119 0 -1 4202560 867 0 0 0 36 6 0 0 20 0 18 0 112895410 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354336274984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23342] ppid=23332 vsize=9558476 CPUtime=0.39 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (java) S 23332 23335 21119 0 -1 4202560 530 0 0 0 33 6 0 0 20 0 18 0 112895410 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354335222440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23343] ppid=23332 vsize=9558476 CPUtime=0.29 cores=0,2,4,6
/proc/23335/task/23343/stat : 23343 (java) S 23332 23335 21119 0 -1 4202560 715 0 0 0 26 3 0 0 20 0 18 0 112895410 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354334169896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23344] ppid=23332 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/23335/task/23344/stat : 23344 (java) S 23332 23335 21119 0 -1 4202560 130 0 0 0 34 6 0 0 20 0 18 0 112895410 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354333117352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23345] ppid=23332 vsize=9558476 CPUtime=0.44 cores=0,2,4,6
/proc/23335/task/23345/stat : 23345 (java) S 23332 23335 21119 0 -1 4202560 742 0 0 0 38 6 0 0 20 0 18 0 112895410 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354332064808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23346] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23346/stat : 23346 (java) S 23332 23335 21119 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 18 0 112895411 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354319865960 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23347] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23347/stat : 23347 (java) S 23332 23335 21119 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 112895412 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354318812280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23348] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23348/stat : 23348 (java) S 23332 23335 21119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 112895412 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354317759624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23349] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23349/stat : 23349 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112895414 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354316708368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23350] ppid=23332 vsize=9558476 CPUtime=0.58 cores=0,2,4,6
/proc/23335/task/23350/stat : 23350 (java) S 23332 23335 21119 0 -1 4202560 9557 0 0 0 56 2 0 0 20 0 18 0 112895414 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354315655736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23351] ppid=23332 vsize=9558476 CPUtime=0.66 cores=0,2,4,6
/proc/23335/task/23351/stat : 23351 (java) S 23332 23335 21119 0 -1 4202560 7699 0 0 0 64 2 0 0 20 0 18 0 112895414 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354314603192 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23352] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23352/stat : 23352 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112895414 9787879424 740416 33554432000 1073741824 1073778376 140736674048096 140354313550840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23353] ppid=23332 vsize=9558476 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/23335/task/23340/stat : 23340 (java) S 23332 23335 21119 0 -1 4202560 674 0 0 0 27 4 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354432371112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23341] ppid=23332 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/23335/task/23341/stat : 23341 (java) S 23332 23335 21119 0 -1 4202560 867 0 0 0 36 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354336274984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23342] ppid=23332 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (java) S 23332 23335 21119 0 -1 4202560 530 0 0 0 33 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354335222440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23343] ppid=23332 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/23335/task/23343/stat : 23343 (java) S 23332 23335 21119 0 -1 4202560 715 0 0 0 26 3 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354334169896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23344] ppid=23332 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/23335/task/23344/stat : 23344 (java) S 23332 23335 21119 0 -1 4202560 130 0 0 0 34 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354333117352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23345] ppid=23332 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/23335/task/23345/stat : 23345 (java) S 23332 23335 21119 0 -1 4202560 742 0 0 0 38 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354332064808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23346] ppid=23332 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23335/task/23346/stat : 23346 (java) S 23332 23335 21119 0 -1 4202560 1269 0 0 0 0 3 0 0 20 0 22 0 112895411 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354319865960 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23347] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23347/stat : 23347 (java) S 23332 23335 21119 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 112895412 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354318812280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23348] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23348/stat : 23348 (java) S 23332 23335 21119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 112895412 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354317759624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23349] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23349/stat : 23349 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354316708368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23350] ppid=23332 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/23335/task/23350/stat : 23350 (java) S 23332 23335 21119 0 -1 4202560 12403 0 0 0 215 3 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354315655736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23351] ppid=23332 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/23335/task/23351/stat : 23351 (java) S 23332 23335 21119 0 -1 4202560 7755 0 0 0 110 2 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354314603192 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23352] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23352/stat : 23352 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354313550840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23353] ppid=23332 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/23335/task/23353/stat : 23353 (java) S 23332 23335 21119 0 -1 4202560 47 0 0 0 21 12 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354312498504 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23354] ppid=23332 vsize=9824732 CPUtime=811.45 cores=0,2,4,6
/proc/23335/task/23354/stat : 23354 (java) R 23332 23335 21119 0 -1 4202560 26 0 0 0 81132 13 0 0 20 0 22 0 112896265 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354311442368 140354436682703 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23355] ppid=23332 vsize=9824732 CPUtime=811.4 cores=0,2,4,6
/proc/23335/task/23355/stat : 23355 (java) R 23332 23335 21119 0 -1 4202560 27 0 0 0 81128 12 0 0 20 0 22 0 112896265 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354310387920 140354436680915 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23356] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23356/stat : 23356 (java) S 23332 23335 21119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 112896277 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354309338152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23357] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23357/stat : 23357 (java) S 23332 23335 21119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 112896277 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354308285608 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1641.43
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.15 4.10 4.03 5/219 23453
/proc/meminfo: memFree=26021064/32872528 swapFree=11372/178980
[pid=23335] ppid=23332 vsize=9824732 CPUtime=1761.44 cores=0,2,4,6
/proc/23335/stat : 23335 (java) S 23332 23335 21119 0 -1 4202496 31971 0 1 0 176046 98 0 0 20 0 22 0 112895409 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140736674039232 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2456183 740704 2289 9 0 2446860 0
[pid=23335/tid=23336] ppid=23332 vsize=9824732 CPUtime=7.72 cores=0,2,4,6
/proc/23335/task/23336/stat : 23336 (java) S 23332 23335 21119 0 -1 4202560 4299 0 1 0 731 41 0 0 20 0 22 0 112895409 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354495746936 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23338] ppid=23332 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/23335/task/23338/stat : 23338 (java) S 23332 23335 21119 0 -1 4202560 412 0 0 0 32 5 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354434476200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23339] ppid=23332 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/23335/task/23339/stat : 23339 (java) S 23332 23335 21119 0 -1 4202560 803 0 0 0 43 4 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354433423656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23340] ppid=23332 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/23335/task/23340/stat : 23340 (java) S 23332 23335 21119 0 -1 4202560 674 0 0 0 27 4 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354432371112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23341] ppid=23332 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/23335/task/23341/stat : 23341 (java) S 23332 23335 21119 0 -1 4202560 867 0 0 0 36 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354336274984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23342] ppid=23332 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (java) S 23332 23335 21119 0 -1 4202560 530 0 0 0 33 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354335222440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23343] ppid=23332 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/23335/task/23343/stat : 23343 (java) S 23332 23335 21119 0 -1 4202560 715 0 0 0 26 3 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354334169896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23344] ppid=23332 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/23335/task/23344/stat : 23344 (java) S 23332 23335 21119 0 -1 4202560 130 0 0 0 34 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354333117352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23345] ppid=23332 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/23335/task/23345/stat : 23345 (java) S 23332 23335 21119 0 -1 4202560 742 0 0 0 38 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354332064808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23346] ppid=23332 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23335/task/23346/stat : 23346 (java) S 23332 23335 21119 0 -1 4202560 1269 0 0 0 0 3 0 0 20 0 22 0 112895411 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354319865960 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23347] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23347/stat : 23347 (java) S 23332 23335 21119 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 112895412 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354318812280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23348] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23348/stat : 23348 (java) S 23332 23335 21119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 112895412 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354317759624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23349] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23349/stat : 23349 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354316708368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23350] ppid=23332 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/23335/task/23350/stat : 23350 (java) S 23332 23335 21119 0 -1 4202560 12405 0 0 0 215 3 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354315655736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23351] ppid=23332 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/23335/task/23351/stat : 23351 (java) S 23332 23335 21119 0 -1 4202560 7755 0 0 0 110 2 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354314603192 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23352] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23352/stat : 23352 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354313550840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23353] ppid=23332 vsize=9824732 CPUtime=0.35 cores=0,2,4,6
/proc/23335/task/23353/stat : 23353 (java) S 23332 23335 21119 0 -1 4202560 51 0 0 0 21 14 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354312498504 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23354] ppid=23332 vsize=9824732 CPUtime=871.3 cores=0,2,4,6
/proc/23335/task/23354/stat : 23354 (java) R 23332 23335 21119 0 -1 4202560 26 0 0 0 87115 15 0 0 20 0 22 0 112896265 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354311433888 140354436790420 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23355] ppid=23332 vsize=9824732 CPUtime=871.23 cores=0,2,4,6
/proc/23335/task/23355/stat : 23355 (java) R 23332 23335 21119 0 -1 4202560 27 0 0 0 87110 13 0 0 20 0 22 0 112896265 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354310387920 140354436705244 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23356] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23356/stat : 23356 (java) S 23332 23335 21119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 112896277 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354309338152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23357] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23357/stat : 23357 (java) S 23332 23335 21119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 112896277 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354308285608 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1761.44
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+901.601 s]
/proc/loadavg: 4.19 4.11 4.03 5/219 23453
/proc/meminfo: memFree=26021324/32872528 swapFree=11372/178980
[pid=23335] ppid=23332 vsize=9824732 CPUtime=1800.02 cores=0,2,4,6
/proc/23335/stat : 23335 (java) S 23332 23335 21119 0 -1 4202496 31973 0 1 0 179904 98 0 0 20 0 22 0 112895409 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140736674039232 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23335/statm: 2456183 740704 2289 9 0 2446860 0
[pid=23335/tid=23336] ppid=23332 vsize=9824732 CPUtime=7.72 cores=0,2,4,6
/proc/23335/task/23336/stat : 23336 (java) S 23332 23335 21119 0 -1 4202560 4299 0 1 0 731 41 0 0 20 0 22 0 112895409 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354495746936 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23338] ppid=23332 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/23335/task/23338/stat : 23338 (java) S 23332 23335 21119 0 -1 4202560 412 0 0 0 32 5 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354434476200 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23339] ppid=23332 vsize=9824732 CPUtime=0.47 cores=0,2,4,6
/proc/23335/task/23339/stat : 23339 (java) S 23332 23335 21119 0 -1 4202560 803 0 0 0 43 4 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354433423656 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23340] ppid=23332 vsize=9824732 CPUtime=0.31 cores=0,2,4,6
/proc/23335/task/23340/stat : 23340 (java) S 23332 23335 21119 0 -1 4202560 674 0 0 0 27 4 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354432371112 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23335/tid=23341] ppid=23332 vsize=9824732 CPUtime=0.42 cores=0,2,4,6
/proc/23335/task/23341/stat : 23341 (java) S 23332 23335 21119 0 -1 4202560 867 0 0 0 36 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354336274984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23342] ppid=23332 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/23335/task/23342/stat : 23342 (java) S 23332 23335 21119 0 -1 4202560 530 0 0 0 33 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354335222440 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23343] ppid=23332 vsize=9824732 CPUtime=0.29 cores=0,2,4,6
/proc/23335/task/23343/stat : 23343 (java) S 23332 23335 21119 0 -1 4202560 715 0 0 0 26 3 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354334169896 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23344] ppid=23332 vsize=9824732 CPUtime=0.4 cores=0,2,4,6
/proc/23335/task/23344/stat : 23344 (java) S 23332 23335 21119 0 -1 4202560 130 0 0 0 34 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354333117352 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23345] ppid=23332 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/23335/task/23345/stat : 23345 (java) S 23332 23335 21119 0 -1 4202560 742 0 0 0 38 6 0 0 20 0 22 0 112895410 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354332064808 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23346] ppid=23332 vsize=9824732 CPUtime=0.03 cores=0,2,4,6
/proc/23335/task/23346/stat : 23346 (java) S 23332 23335 21119 0 -1 4202560 1269 0 0 0 0 3 0 0 20 0 22 0 112895411 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354319865960 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23347] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23347/stat : 23347 (java) S 23332 23335 21119 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 112895412 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354318812280 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23348] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23348/stat : 23348 (java) S 23332 23335 21119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 112895412 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354317759624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23349] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23349/stat : 23349 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354316708368 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23350] ppid=23332 vsize=9824732 CPUtime=2.18 cores=0,2,4,6
/proc/23335/task/23350/stat : 23350 (java) S 23332 23335 21119 0 -1 4202560 12405 0 0 0 215 3 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354315655736 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23351] ppid=23332 vsize=9824732 CPUtime=1.12 cores=0,2,4,6
/proc/23335/task/23351/stat : 23351 (java) S 23332 23335 21119 0 -1 4202560 7755 0 0 0 110 2 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354314603192 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23352] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23352/stat : 23352 (java) S 23332 23335 21119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354313550840 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=23335/tid=23353] ppid=23332 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/23335/task/23353/stat : 23353 (java) S 23332 23335 21119 0 -1 4202560 53 0 0 0 22 14 0 0 20 0 22 0 112895414 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354312498504 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23354] ppid=23332 vsize=9824732 CPUtime=890.54 cores=0,2,4,6
/proc/23335/task/23354/stat : 23354 (java) R 23332 23335 21119 0 -1 4202560 26 0 0 0 89039 15 0 0 20 0 22 0 112896265 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354311433888 140354436790425 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=23335/tid=23355] ppid=23332 vsize=9824732 CPUtime=890.46 cores=0,2,4,6
/proc/23335/task/23355/stat : 23355 (java) R 23332 23335 21119 0 -1 4202560 27 0 0 0 89033 13 0 0 20 0 22 0 112896265 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354310387920 140354436705196 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23356] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23356/stat : 23356 (java) S 23332 23335 21119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 112896277 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354309338152 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23335/tid=23357] ppid=23332 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/23335/task/23357/stat : 23357 (java) S 23332 23335 21119 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 112896277 10060525568 740704 33554432000 1073741824 1073778376 140736674048096 140354308285608 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9824732
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 23335 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23335 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=359215
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=471776
# CPU time returned by wait4() is 1795.83
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 901.631
CPU time (s): 1800.02
CPU user time (s): 1799.04
CPU system time (s): 0.98
CPU usage (%): 199.641
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.36
system time used= 1.47178
maximum resident set size= 2965228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32016
page faults= 1
swaps= 0
block input operations= 0
block output operations= 720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22540
involuntary context switches= 17986
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.73413 second user time and 7.66284 second system time
The end