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-4262259-1502450774/watcher-4262259-1502450774 -o /tmp/evaluation-result-4262259-1502450774/solver-4262259-1502450774 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7498 --watchdog 2580 bin/concrete HOME/instance-4262259-1502450774.xml
pid=21442
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.20 1.35 1.39 3/194 21445
/proc/meminfo: memFree=30704596/32770624 swapFree=0/392856
[pid=21445] ppid=21442 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21445/stat : 21445 (runsolver) D 21442 21445 7434 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 33418093 24240128 107 18446744073709551615 4194304 4338465 140721302983504 140721302981144 140553807291095 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 34660352 140721302991057 140721302991433 140721302991433 140721302994890 0
/proc/21445/statm: 5918 107 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 1.20 1.35 1.39 3/194 21445
/proc/meminfo: memFree=30704596/32770624 swapFree=0/392856
[pid=21445] ppid=21442 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/21445/stat : 21445 (bash) S 21442 21445 7434 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 33418093 9736192 352 18446744073709551615 4194304 5098028 140732800829936 140732800827576 140539156741120 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 13508608 140732800832020 140732800832105 140732800832105 140732800835562 0
/proc/21445/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200295 s]
/proc/loadavg: 1.20 1.35 1.39 3/194 21445
/proc/meminfo: memFree=30704596/32770624 swapFree=0/392856
[pid=21445] ppid=21442 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/21445/stat : 21445 (bash) S 21442 21445 7434 0 -1 4202496 893 6489 0 0 0 0 0 1 20 0 1 0 33418093 9867264 377 18446744073709551615 4194304 5098028 140732800829936 140732800823944 140539156741120 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 13508608 140732800832020 140732800832105 140732800832105 140732800835562 0
/proc/21445/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300265 s]
/proc/loadavg: 1.20 1.35 1.39 3/194 21445
/proc/meminfo: memFree=30704596/32770624 swapFree=0/392856
[pid=21445] ppid=21442 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/21445/stat : 21445 (java) S 21442 21445 7434 0 -1 1077944320 5495 12350 0 0 5 1 4 3 20 0 14 0 33418093 14241083392 5169 18446744073709551615 4194304 4196468 140725894660544 140725894643088 139792553610999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
/proc/21445/statm: 3476827 5169 2559 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.703654 s]
/proc/loadavg: 1.20 1.35 1.39 3/194 21445
/proc/meminfo: memFree=30704596/32770624 swapFree=0/392856
[pid=21445] ppid=21442 vsize=13974784 CPUtime=0.6 cores=1,3,5,7
/proc/21445/stat : 21445 (java) S 21442 21445 7434 0 -1 1077944320 13431 12350 0 0 48 5 4 3 20 0 15 0 33418093 14310178816 14392 18446744073709551615 4194304 4196468 140725894660544 140725894643088 139792553610999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
/proc/21445/statm: 3493696 14392 3072 1 0 3482965 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13974784
[startup+1.50058 s]
/proc/loadavg: 1.34 1.38 1.40 3/209 21508
/proc/meminfo: memFree=30614156/32770624 swapFree=0/393080
[pid=21445] ppid=21442 vsize=13985408 CPUtime=1.83 cores=1,3,5,7
/proc/21445/stat : 21445 (java) S 21442 21445 7434 0 -1 1077944320 27240 12350 0 0 167 9 4 3 20 0 15 0 33418093 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 140725894643088 139792553610999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
/proc/21445/statm: 3496352 33922 3333 1 0 3485525 0
[pid=21445/tid=21495] ppid=21442 vsize=13985408 CPUtime=1.25 cores=1,3,5,7
/proc/21445/task/21495/stat : 21495 (java) R 21442 21445 7434 0 -1 4202560 21401 12350 0 0 112 6 4 3 20 0 15 0 33418117 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792557829456 139792533882855 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21496] ppid=21442 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21496/stat : 21496 (java) S 21442 21445 7434 0 -1 1077944384 1 12350 0 0 0 0 4 3 20 0 15 0 33418118 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792473025040 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21497] ppid=21442 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21497/stat : 21497 (java) S 21442 21445 7434 0 -1 1077944384 1 12350 0 0 0 0 4 3 20 0 15 0 33418118 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792471972496 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21498] ppid=21442 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21498/stat : 21498 (java) S 21442 21445 7434 0 -1 1077944384 1 12350 0 0 0 0 4 3 20 0 15 0 33418118 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792470919440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21499] ppid=21442 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21499/stat : 21499 (java) S 21442 21445 7434 0 -1 1077944384 2 12350 0 0 0 0 4 3 20 0 15 0 33418118 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792469866896 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21500] ppid=21442 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21500/stat : 21500 (java) S 21442 21445 7434 0 -1 1077944384 5 12350 0 0 0 0 4 3 20 0 15 0 33418119 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792030882544 139792553622146 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21501] ppid=21442 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21501/stat : 21501 (java) S 21442 21445 7434 0 -1 1077944384 33 12350 0 0 0 0 4 3 20 0 15 0 33418120 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792029828768 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21502] ppid=21442 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21502/stat : 21502 (java) S 21442 21445 7434 0 -1 1077944384 21 12350 0 0 0 0 4 3 20 0 15 0 33418120 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792028775664 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21503] ppid=21442 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21503/stat : 21503 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418122 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792027724240 139792553629595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21504] ppid=21442 vsize=13985408 CPUtime=0.24 cores=1,3,5,7
/proc/21445/task/21504/stat : 21504 (java) S 21442 21445 7434 0 -1 1077944384 1176 12350 0 0 17 0 4 3 20 0 15 0 33418122 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792026671344 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21505] ppid=21442 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/21445/task/21505/stat : 21505 (java) S 21442 21445 7434 0 -1 1077944384 1178 12350 0 0 14 0 4 3 20 0 15 0 33418122 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792025618800 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21506] ppid=21442 vsize=13985408 CPUtime=0.28 cores=1,3,5,7
/proc/21445/task/21506/stat : 21506 (java) S 21442 21445 7434 0 -1 1077944384 1257 12350 0 0 21 0 4 3 20 0 15 0 33418122 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792024565744 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21507] ppid=21442 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21507/stat : 21507 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418123 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792023513440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21508] ppid=21442 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21508/stat : 21508 (java) S 21442 21445 7434 0 -1 1077944384 6 12350 0 0 0 0 4 3 20 0 15 0 33418129 14321057792 33922 18446744073709551615 4194304 4196468 140725894660544 139792022461488 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 13985408
[startup+3.1006 s]
/proc/loadavg: 1.34 1.38 1.40 5/209 21508
/proc/meminfo: memFree=30532448/32770624 swapFree=0/393080
[pid=21445] ppid=21442 vsize=13997884 CPUtime=5.71 cores=1,3,5,7
/proc/21445/stat : 21445 (java) S 21442 21445 7434 0 -1 1077944320 49205 12350 0 0 547 17 4 3 20 0 15 0 33418093 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 140725894643088 139792553610999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
/proc/21445/statm: 3499471 55029 3454 1 0 3488085 0
[pid=21445/tid=21495] ppid=21442 vsize=13997884 CPUtime=2.81 cores=1,3,5,7
/proc/21445/task/21495/stat : 21495 (java) R 21442 21445 7434 0 -1 4202560 33920 12350 0 0 265 9 4 3 20 0 15 0 33418117 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792557840272 139792553622934 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21496] ppid=21442 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21496/stat : 21496 (java) S 21442 21445 7434 0 -1 1077944384 201 12350 0 0 0 0 4 3 20 0 15 0 33418118 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792473025040 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21497] ppid=21442 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21497/stat : 21497 (java) S 21442 21445 7434 0 -1 1077944384 36 12350 0 0 0 0 4 3 20 0 15 0 33418118 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792471972496 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21498] ppid=21442 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21445/task/21498/stat : 21498 (java) S 21442 21445 7434 0 -1 1077944384 43 12350 0 0 1 0 4 3 20 0 15 0 33418118 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792470919440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21499] ppid=21442 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21499/stat : 21499 (java) S 21442 21445 7434 0 -1 1077944384 71 12350 0 0 0 0 4 3 20 0 15 0 33418118 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792469866896 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21500] ppid=21442 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/21445/task/21500/stat : 21500 (java) S 21442 21445 7434 0 -1 1077944384 1236 12350 0 0 1 0 4 3 20 0 15 0 33418119 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792030882544 139792553622146 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21501] ppid=21442 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21501/stat : 21501 (java) S 21442 21445 7434 0 -1 1077944384 55 12350 0 0 0 0 4 3 20 0 15 0 33418120 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792029828832 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21502] ppid=21442 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21502/stat : 21502 (java) S 21442 21445 7434 0 -1 1077944384 44 12350 0 0 0 0 4 3 20 0 15 0 33418120 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792028775680 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21503] ppid=21442 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21503/stat : 21503 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418122 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792027724240 139792553629595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21504] ppid=21442 vsize=13997884 CPUtime=1 cores=1,3,5,7
/proc/21445/task/21504/stat : 21504 (java) R 21442 21445 7434 0 -1 4202560 4275 12350 0 0 92 1 4 3 20 0 15 0 33418122 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792026671344 139792553622934 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21505] ppid=21442 vsize=13997884 CPUtime=0.95 cores=1,3,5,7
/proc/21445/task/21505/stat : 21505 (java) R 21442 21445 7434 0 -1 4202560 3537 12350 0 0 87 1 4 3 20 0 15 0 33418122 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792025607600 139792534369281 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21506] ppid=21442 vsize=13997884 CPUtime=1.02 cores=1,3,5,7
/proc/21445/task/21506/stat : 21506 (java) S 21442 21445 7434 0 -1 1077944384 3621 12350 0 0 94 1 4 3 20 0 15 0 33418122 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792024565744 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21507] ppid=21442 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21507/stat : 21507 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418123 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792023513440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21508] ppid=21442 vsize=13997884 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21508/stat : 21508 (java) S 21442 21445 7434 0 -1 1077944384 8 12350 0 0 0 0 4 3 20 0 15 0 33418129 14333833216 55029 18446744073709551615 4194304 4196468 140725894660544 139792022461488 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 13997884
[startup+6.30056 s]
/proc/loadavg: 1.34 1.38 1.40 5/209 21508
/proc/meminfo: memFree=30366116/32770624 swapFree=0/393060
[pid=21445] ppid=21442 vsize=14071740 CPUtime=15.61 cores=1,3,5,7
/proc/21445/stat : 21445 (java) S 21442 21445 7434 0 -1 1077944320 92050 12350 0 0 1524 30 4 3 20 0 15 0 33418093 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 140725894643088 139792553610999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
/proc/21445/statm: 3517935 104782 3474 1 0 3506549 0
[pid=21445/tid=21495] ppid=21442 vsize=14071740 CPUtime=5.87 cores=1,3,5,7
/proc/21445/task/21495/stat : 21495 (java) R 21442 21445 7434 0 -1 4202560 53994 12350 0 0 567 13 4 3 20 0 15 0 33418117 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792557844000 139792535476904 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21496] ppid=21442 vsize=14071740 CPUtime=0.16 cores=1,3,5,7
/proc/21445/task/21496/stat : 21496 (java) R 21442 21445 7434 0 -1 1077944384 863 12350 0 0 8 1 4 3 20 0 15 0 33418118 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792473025040 139792553621205 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21497] ppid=21442 vsize=14071740 CPUtime=0.17 cores=1,3,5,7
/proc/21445/task/21497/stat : 21497 (java) S 21442 21445 7434 0 -1 1077944384 153 12350 0 0 9 1 4 3 20 0 15 0 33418118 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792471972496 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21498] ppid=21442 vsize=14071740 CPUtime=0.17 cores=1,3,5,7
/proc/21445/task/21498/stat : 21498 (java) S 21442 21445 7434 0 -1 1077944384 186 12350 0 0 9 1 4 3 20 0 15 0 33418118 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792470919440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21499] ppid=21442 vsize=14071740 CPUtime=0.16 cores=1,3,5,7
/proc/21445/task/21499/stat : 21499 (java) S 21442 21445 7434 0 -1 1077944384 204 12350 0 0 8 1 4 3 20 0 15 0 33418118 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792469866896 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21500] ppid=21442 vsize=14071740 CPUtime=0.11 cores=1,3,5,7
/proc/21445/task/21500/stat : 21500 (java) S 21442 21445 7434 0 -1 1077944384 2164 12350 0 0 4 0 4 3 20 0 15 0 33418119 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792030882544 139792553622146 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21501] ppid=21442 vsize=14071740 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21501/stat : 21501 (java) S 21442 21445 7434 0 -1 1077944384 61 12350 0 0 0 0 4 3 20 0 15 0 33418120 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792029828832 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21502] ppid=21442 vsize=14071740 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21502/stat : 21502 (java) R 21442 21445 7434 0 -1 1077944384 44 12350 0 0 0 0 4 3 20 0 15 0 33418120 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792028775680 139792553621205 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21503] ppid=21442 vsize=14071740 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21503/stat : 21503 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418122 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792027724240 139792553629595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21504] ppid=21442 vsize=14071740 CPUtime=3.57 cores=1,3,5,7
/proc/21445/task/21504/stat : 21504 (java) R 21442 21445 7434 0 -1 4202560 8342 12350 0 0 348 2 4 3 20 0 15 0 33418122 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792026651984 139792539767418 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21505] ppid=21442 vsize=14071740 CPUtime=3.68 cores=1,3,5,7
/proc/21445/task/21505/stat : 21505 (java) R 21442 21445 7434 0 -1 4202560 11427 12350 0 0 359 2 4 3 20 0 15 0 33418122 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792025604776 139792536997787 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21506] ppid=21442 vsize=14071740 CPUtime=2.16 cores=1,3,5,7
/proc/21445/task/21506/stat : 21506 (java) R 21442 21445 7434 0 -1 4202560 12390 12350 0 0 206 3 4 3 20 0 15 0 33418122 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792024565744 139792532466736 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21507] ppid=21442 vsize=14071740 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21507/stat : 21507 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418123 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792023513440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21508] ppid=21442 vsize=14071740 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21508/stat : 21508 (java) S 21442 21445 7434 0 -1 1077944384 64 12350 0 0 0 0 4 3 20 0 15 0 33418129 14409461760 104782 18446744073709551615 4194304 4196468 140725894660544 139792022461488 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
Current children cumulated CPU time (s) 15.61
Current children cumulated vsize (KiB) 14071740
[startup+12.7007 s]
/proc/loadavg: 1.51 1.42 1.41 3/209 21508
/proc/meminfo: memFree=29661356/32770624 swapFree=0/393060
[pid=21445] ppid=21442 vsize=14069564 CPUtime=27.32 cores=1,3,5,7
/proc/21445/stat : 21445 (java) S 21442 21445 7434 0 -1 1077944320 96629 12350 0 0 2675 50 4 3 20 0 15 0 33418093 14407233536 263412 18446744073709551615 4194304 4196468 140725894660544 140725894643088 139792553610999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
/proc/21445/statm: 3517391 263412 3482 1 0 3506005 0
[pid=21445/tid=21495] ppid=21442 vsize=14069564 CPUtime=12.16 cores=1,3,5,7
/proc/21445/task/21495/stat : 21495 (java) R 21442 21445 7434 0 -1 4202560 54863 12350 0 0 1186 23 4 3 20 0 15 0 33418117 14407233536 263412 18446744073709551615 4194304 4196468 140725894660544 139792557845328 139792145958039 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21496] ppid=21442 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/21445/task/21496/stat : 21496 (java) S 21442 21445 7434 0 -1 1077944384 958 12350 0 0 14 3 4 3 20 0 15 0 33418118 14407233536 263412 18446744073709551615 4194304 4196468 140725894660544 139792473025040 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21497] ppid=21442 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/21445/task/21497/stat : 21497 (java) S 21442 21445 7434 0 -1 1077944384 196 12350 0 0 14 3 4 3 20 0 15 0 33418118 14407233536 263412 18446744073709551615 4194304 4196468 140725894660544 139792471972496 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21498] ppid=21442 vsize=14069564 CPUtime=0.24 cores=1,3,5,7
/proc/21445/task/21498/stat : 21498 (java) S 21442 21445 7434 0 -1 1077944384 278 12350 0 0 14 3 4 3 20 0 15 0 33418118 14407233536 263412 18446744073709551615 4194304 4196468 140725894660544 139792470919440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21499] ppid=21442 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/21445/task/21499/stat : 21499 (java) S 21442 21445 7434 0 -1 1077944384 327 12350 0 0 13 3 4 3 20 0 15 0 33418118 14407233536 263412 18446744073709551615 4194304 4196468 140725894660544 139792469866896 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21500] ppid=21442 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/21445/task/21500/stat : 21500 (java) S 21442 21445 7434 0 -1 1077944384 2556 12350 0 0 5 0 4 3 20 0 15 0 33418119 14407233536 263412 18446744073709551615 4194304 4196468 140725894660544 139792030882544 139792553622146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21501] ppid=21442 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21501/stat : 21501 (java) S 21442 21445 7434 0 -1 1077944384 61 12350 0 0 0 0 4 3 20 0 15 0 33418120 14407233536 263412 18446744073709551615 4194304 4196468 140725894660544 139792029828832 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21502] ppid=21442 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21502/stat : 21502 (java) S 21442 21445 7434 0 -1 1077944384 49 12350 0 0 0 0 4 3 20 0 15 0 33418120 14407233536 263412 18446744073709551615 4194304 4196468 140725894660544 139792028775680 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21503] ppid=21442 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21503/stat : 21503 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418122 14407233536 263412 18446744073709551615 4194304 4196468 140725894660544 139792027724240 139792553629595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
################
# More data... #
################
/proc/21445/task/21507/stat : 21507 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418123 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792023513440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21508] ppid=21442 vsize=14069564 CPUtime=1.34 cores=1,3,5,7
/proc/21445/task/21508/stat : 21508 (java) S 21442 21445 7434 0 -1 1077944384 999 12350 0 0 63 64 4 3 20 0 15 0 33418129 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792022461488 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
Current children cumulated CPU time (s) 2420.66
Current children cumulated vsize (KiB) 14069564
[startup+2442.3 s]
/proc/loadavg: 1.30 1.38 1.41 3/210 21920
/proc/meminfo: memFree=26608920/32770624 swapFree=0/393624
[pid=21445] ppid=21442 vsize=14069564 CPUtime=2480.75 cores=1,3,5,7
/proc/21445/stat : 21445 (java) S 21442 21445 7434 0 -1 1077944320 1236438 12350 0 0 247600 468 4 3 20 0 15 0 33418093 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 140725894643088 139792553610999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
/proc/21445/statm: 3517391 1062044 3483 1 0 3506005 0
[pid=21445/tid=21495] ppid=21442 vsize=14069564 CPUtime=2431.29 cores=1,3,5,7
/proc/21445/task/21495/stat : 21495 (java) R 21442 21445 7434 0 -1 4202560 1071841 12350 0 0 242963 159 4 3 20 0 15 0 33418117 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792557844768 139792153069526 0 4 1 16800974 0 0 0 -1 1 0 0 5 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21496] ppid=21442 vsize=14069564 CPUtime=6.45 cores=1,3,5,7
/proc/21445/task/21496/stat : 21496 (java) S 21442 21445 7434 0 -1 1077944384 17780 12350 0 0 586 52 4 3 20 0 15 0 33418118 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792473025040 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21497] ppid=21442 vsize=14069564 CPUtime=6.45 cores=1,3,5,7
/proc/21445/task/21497/stat : 21497 (java) S 21442 21445 7434 0 -1 1077944384 17522 12350 0 0 585 53 4 3 20 0 15 0 33418118 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792471972496 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21498] ppid=21442 vsize=14069564 CPUtime=6.47 cores=1,3,5,7
/proc/21445/task/21498/stat : 21498 (java) S 21442 21445 7434 0 -1 1077944384 16209 12350 0 0 585 55 4 3 20 0 15 0 33418118 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792470919440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21499] ppid=21442 vsize=14069564 CPUtime=6.45 cores=1,3,5,7
/proc/21445/task/21499/stat : 21499 (java) S 21442 21445 7434 0 -1 1077944384 19085 12350 0 0 582 56 4 3 20 0 15 0 33418118 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792469866896 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21500] ppid=21442 vsize=14069564 CPUtime=3.31 cores=1,3,5,7
/proc/21445/task/21500/stat : 21500 (java) S 21442 21445 7434 0 -1 1077944384 30641 12350 0 0 279 45 4 3 20 0 15 0 33418119 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792030882544 139792553622146 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21501] ppid=21442 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21501/stat : 21501 (java) S 21442 21445 7434 0 -1 1077944384 61 12350 0 0 0 0 4 3 20 0 15 0 33418120 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792029828832 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21502] ppid=21442 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21502/stat : 21502 (java) S 21442 21445 7434 0 -1 1077944384 49 12350 0 0 0 0 4 3 20 0 15 0 33418120 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792028775680 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21503] ppid=21442 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21503/stat : 21503 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418122 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792027724240 139792553629595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21504] ppid=21442 vsize=14069564 CPUtime=8.08 cores=1,3,5,7
/proc/21445/task/21504/stat : 21504 (java) S 21442 21445 7434 0 -1 1077944384 18070 12350 0 0 797 4 4 3 20 0 15 0 33418122 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792026671344 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21505] ppid=21442 vsize=14069564 CPUtime=7.97 cores=1,3,5,7
/proc/21445/task/21505/stat : 21505 (java) S 21442 21445 7434 0 -1 1077944384 20755 12350 0 0 786 4 4 3 20 0 15 0 33418122 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792025618800 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21506] ppid=21442 vsize=14069564 CPUtime=3.41 cores=1,3,5,7
/proc/21445/task/21506/stat : 21506 (java) S 21442 21445 7434 0 -1 1077944384 21250 12350 0 0 328 6 4 3 20 0 15 0 33418122 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792024565744 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21507] ppid=21442 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21507/stat : 21507 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418123 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792023513440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21508] ppid=21442 vsize=14069564 CPUtime=1.37 cores=1,3,5,7
/proc/21445/task/21508/stat : 21508 (java) S 21442 21445 7434 0 -1 1077944384 1017 12350 0 0 65 65 4 3 20 0 15 0 33418129 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792022461488 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
Current children cumulated CPU time (s) 2480.75
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2481.6 s]
/proc/loadavg: 1.22 1.35 1.40 3/210 21922
/proc/meminfo: memFree=26609104/32770624 swapFree=0/393624
[pid=21445] ppid=21442 vsize=14069564 CPUtime=2520.1 cores=1,3,5,7
/proc/21445/stat : 21445 (java) S 21442 21445 7434 0 -1 1077944320 1268442 12350 0 0 251532 471 4 3 20 0 15 0 33418093 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 140725894643088 139792553610999 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
/proc/21445/statm: 3517391 1062044 3483 1 0 3506005 0
[pid=21445/tid=21495] ppid=21442 vsize=14069564 CPUtime=2470.58 cores=1,3,5,7
/proc/21445/task/21495/stat : 21495 (java) R 21442 21445 7434 0 -1 4202560 1103459 12350 0 0 246890 161 4 3 20 0 15 0 33418117 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792557845424 139792163611621 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21496] ppid=21442 vsize=14069564 CPUtime=6.46 cores=1,3,5,7
/proc/21445/task/21496/stat : 21496 (java) S 21442 21445 7434 0 -1 1077944384 18043 12350 0 0 587 52 4 3 20 0 15 0 33418118 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792473025040 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21497] ppid=21442 vsize=14069564 CPUtime=6.46 cores=1,3,5,7
/proc/21445/task/21497/stat : 21497 (java) S 21442 21445 7434 0 -1 1077944384 17571 12350 0 0 586 53 4 3 20 0 15 0 33418118 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792471972496 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21498] ppid=21442 vsize=14069564 CPUtime=6.48 cores=1,3,5,7
/proc/21445/task/21498/stat : 21498 (java) S 21442 21445 7434 0 -1 1077944384 16238 12350 0 0 586 55 4 3 20 0 15 0 33418118 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792470919440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21499] ppid=21442 vsize=14069564 CPUtime=6.46 cores=1,3,5,7
/proc/21445/task/21499/stat : 21499 (java) S 21442 21445 7434 0 -1 1077944384 19090 12350 0 0 583 56 4 3 20 0 15 0 33418118 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792469866896 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21500] ppid=21442 vsize=14069564 CPUtime=3.32 cores=1,3,5,7
/proc/21445/task/21500/stat : 21500 (java) S 21442 21445 7434 0 -1 1077944384 30671 12350 0 0 280 45 4 3 20 0 15 0 33418119 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792030882544 139792553622146 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21501] ppid=21442 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21501/stat : 21501 (java) S 21442 21445 7434 0 -1 1077944384 61 12350 0 0 0 0 4 3 20 0 15 0 33418120 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792029828832 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21502] ppid=21442 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21502/stat : 21502 (java) S 21442 21445 7434 0 -1 1077944384 49 12350 0 0 0 0 4 3 20 0 15 0 33418120 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792028775680 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21503] ppid=21442 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21503/stat : 21503 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418122 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792027724240 139792553629595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21504] ppid=21442 vsize=14069564 CPUtime=8.08 cores=1,3,5,7
/proc/21445/task/21504/stat : 21504 (java) S 21442 21445 7434 0 -1 1077944384 18072 12350 0 0 797 4 4 3 20 0 15 0 33418122 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792026671344 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21505] ppid=21442 vsize=14069564 CPUtime=7.97 cores=1,3,5,7
/proc/21445/task/21505/stat : 21505 (java) S 21442 21445 7434 0 -1 1077944384 20757 12350 0 0 786 4 4 3 20 0 15 0 33418122 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792025618800 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21506] ppid=21442 vsize=14069564 CPUtime=3.41 cores=1,3,5,7
/proc/21445/task/21506/stat : 21506 (java) S 21442 21445 7434 0 -1 1077944384 21252 12350 0 0 328 6 4 3 20 0 15 0 33418122 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792024565744 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21507] ppid=21442 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21507/stat : 21507 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 15 0 33418123 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792023513440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21508] ppid=21442 vsize=14069564 CPUtime=1.4 cores=1,3,5,7
/proc/21445/task/21508/stat : 21508 (java) S 21442 21445 7434 0 -1 1077944384 1021 12350 0 0 66 67 4 3 20 0 15 0 33418129 14407233536 1062044 18446744073709551615 4194304 4196468 140725894660544 139792022461488 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
Current children cumulated CPU time (s) 2520.1
Current children cumulated vsize (KiB) 14069564
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 21445 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2481.81 s]
/proc/loadavg: 1.22 1.35 1.40 3/210 21922
/proc/meminfo: memFree=26609104/32770624 swapFree=0/393624
[pid=21445] ppid=21442 vsize=14202692 CPUtime=2520.7 cores=1,3,5,7
/proc/21445/stat : 21445 (java) S 21442 21445 7434 0 -1 1077944320 1275466 12350 0 0 251591 472 4 3 20 0 17 0 33418093 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 140725894643088 139792553610999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
/proc/21445/statm: 3550673 1063113 3483 1 0 3539287 0
[pid=21445/tid=21495] ppid=21442 vsize=14202692 CPUtime=2470.6 cores=1,3,5,7
/proc/21445/task/21495/stat : 21495 (java) S 21442 21445 7434 0 -1 1077944384 1103764 12350 0 0 246891 162 4 3 20 0 17 0 33418117 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792557848720 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21496] ppid=21442 vsize=14202692 CPUtime=6.59 cores=1,3,5,7
/proc/21445/task/21496/stat : 21496 (java) R 21442 21445 7434 0 -1 4202560 18114 12350 0 0 600 52 4 3 20 0 17 0 33418118 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792473025240 139792535208010 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21497] ppid=21442 vsize=14202692 CPUtime=6.59 cores=1,3,5,7
/proc/21445/task/21497/stat : 21497 (java) R 21442 21445 7434 0 -1 4202560 17624 12350 0 0 599 53 4 3 20 0 17 0 33418118 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792471972496 139792538064946 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21498] ppid=21442 vsize=14202692 CPUtime=6.62 cores=1,3,5,7
/proc/21445/task/21498/stat : 21498 (java) R 21442 21445 7434 0 -1 4202560 16283 12350 0 0 600 55 4 3 20 0 17 0 33418118 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792470919640 139792538064928 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21499] ppid=21442 vsize=14202692 CPUtime=6.6 cores=1,3,5,7
/proc/21445/task/21499/stat : 21499 (java) R 21442 21445 7434 0 -1 4202560 19117 12350 0 0 597 56 4 3 20 0 17 0 33418118 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792469866896 139792538308751 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21500] ppid=21442 vsize=14202692 CPUtime=3.38 cores=1,3,5,7
/proc/21445/task/21500/stat : 21500 (java) S 21442 21445 7434 0 -1 1077944384 36998 12350 0 0 285 46 4 3 20 0 17 0 33418119 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792030880944 139792553621205 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21501] ppid=21442 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21501/stat : 21501 (java) S 21442 21445 7434 0 -1 1077944384 63 12350 0 0 0 0 4 3 20 0 17 0 33418120 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792029828464 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21502] ppid=21442 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21502/stat : 21502 (java) S 21442 21445 7434 0 -1 1077944384 49 12350 0 0 0 0 4 3 20 0 17 0 33418120 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792028775680 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21503] ppid=21442 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21503/stat : 21503 (java) S 21442 21445 7434 0 -1 1077944384 84 12350 0 0 0 0 4 3 20 0 17 0 33418122 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792027724240 139792553629595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21504] ppid=21442 vsize=14202692 CPUtime=8.08 cores=1,3,5,7
/proc/21445/task/21504/stat : 21504 (java) S 21442 21445 7434 0 -1 1077944384 18072 12350 0 0 797 4 4 3 20 0 17 0 33418122 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792026671344 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21505] ppid=21442 vsize=14202692 CPUtime=7.97 cores=1,3,5,7
/proc/21445/task/21505/stat : 21505 (java) S 21442 21445 7434 0 -1 1077944384 20757 12350 0 0 786 4 4 3 20 0 17 0 33418122 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792025618800 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21506] ppid=21442 vsize=14202692 CPUtime=3.41 cores=1,3,5,7
/proc/21445/task/21506/stat : 21506 (java) S 21442 21445 7434 0 -1 1077944384 21252 12350 0 0 328 6 4 3 20 0 17 0 33418122 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792024565744 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21507] ppid=21442 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21507/stat : 21507 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 17 0 33418123 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792023513440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21508] ppid=21442 vsize=14202692 CPUtime=1.4 cores=1,3,5,7
/proc/21445/task/21508/stat : 21508 (java) S 21442 21445 7434 0 -1 1077944384 1021 12350 0 0 66 67 4 3 20 0 17 0 33418129 14543556608 1063113 18446744073709551615 4194304 4196468 140725894660544 139792022461488 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
Current children cumulated CPU time (s) 2520.7
Current children cumulated vsize (KiB) 14202692
[startup+2481.9 s]
/proc/loadavg: 1.22 1.35 1.40 3/210 21922
/proc/meminfo: memFree=26609104/32770624 swapFree=0/393624
[pid=21445] ppid=21442 vsize=14202692 CPUtime=2520.95 cores=1,3,5,7
/proc/21445/stat : 21445 (java) S 21442 21445 7434 0 -1 1077944320 1275542 12350 0 0 251616 472 4 3 20 0 17 0 33418093 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 140725894643088 139792553610999 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 9 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
/proc/21445/statm: 3550673 1063133 3484 1 0 3539287 0
[pid=21445/tid=21495] ppid=21442 vsize=14202692 CPUtime=2470.6 cores=1,3,5,7
/proc/21445/task/21495/stat : 21495 (java) S 21442 21445 7434 0 -1 1077944384 1103800 12350 0 0 246891 162 4 3 20 0 17 0 33418117 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792557853872 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21496] ppid=21442 vsize=14202692 CPUtime=6.64 cores=1,3,5,7
/proc/21445/task/21496/stat : 21496 (java) S 21442 21445 7434 0 -1 1077944384 18114 12350 0 0 605 52 4 3 20 0 17 0 33418118 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792473025040 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21497] ppid=21442 vsize=14202692 CPUtime=6.65 cores=1,3,5,7
/proc/21445/task/21497/stat : 21497 (java) S 21442 21445 7434 0 -1 1077944384 17624 12350 0 0 605 53 4 3 20 0 17 0 33418118 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792471972496 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21498] ppid=21442 vsize=14202692 CPUtime=6.67 cores=1,3,5,7
/proc/21445/task/21498/stat : 21498 (java) S 21442 21445 7434 0 -1 1077944384 16283 12350 0 0 605 55 4 3 20 0 17 0 33418118 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792470919440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21499] ppid=21442 vsize=14202692 CPUtime=6.65 cores=1,3,5,7
/proc/21445/task/21499/stat : 21499 (java) S 21442 21445 7434 0 -1 1077944384 19117 12350 0 0 602 56 4 3 20 0 17 0 33418118 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792469866896 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21500] ppid=21442 vsize=14202692 CPUtime=3.42 cores=1,3,5,7
/proc/21445/task/21500/stat : 21500 (java) S 21442 21445 7434 0 -1 1077944384 36998 12350 0 0 289 46 4 3 20 0 17 0 33418119 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792030882544 139792553622146 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21501] ppid=21442 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21501/stat : 21501 (java) S 21442 21445 7434 0 -1 1077944384 63 12350 0 0 0 0 4 3 20 0 17 0 33418120 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792029828832 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21502] ppid=21442 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21502/stat : 21502 (java) S 21442 21445 7434 0 -1 1077944384 52 12350 0 0 0 0 4 3 20 0 17 0 33418120 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792028775680 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21503] ppid=21442 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21503/stat : 21503 (java) S 21442 21445 7434 0 -1 1077944384 84 12350 0 0 0 0 4 3 20 0 17 0 33418122 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792027724240 139792553629595 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21504] ppid=21442 vsize=14202692 CPUtime=8.08 cores=1,3,5,7
/proc/21445/task/21504/stat : 21504 (java) R 21442 21445 7434 0 -1 4202560 18089 12350 0 0 797 4 4 3 20 0 17 0 33418122 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792026671344 139792537139707 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21505] ppid=21442 vsize=14202692 CPUtime=7.97 cores=1,3,5,7
/proc/21445/task/21505/stat : 21505 (java) S 21442 21445 7434 0 -1 1077944384 20757 12350 0 0 786 4 4 3 20 0 17 0 33418122 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792025618800 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21506] ppid=21442 vsize=14202692 CPUtime=3.41 cores=1,3,5,7
/proc/21445/task/21506/stat : 21506 (java) S 21442 21445 7434 0 -1 1077944384 21272 12350 0 0 328 6 4 3 20 0 17 0 33418122 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792024565744 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21507] ppid=21442 vsize=14202692 CPUtime=0.07 cores=1,3,5,7
/proc/21445/task/21507/stat : 21507 (java) S 21442 21445 7434 0 -1 1077944384 3 12350 0 0 0 0 4 3 20 0 17 0 33418123 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792023513440 139792553621205 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
[pid=21445/tid=21508] ppid=21442 vsize=14202692 CPUtime=1.4 cores=1,3,5,7
/proc/21445/task/21508/stat : 21508 (java) S 21442 21445 7434 0 -1 1077944384 1021 12350 0 0 66 67 4 3 20 0 17 0 33418129 14543556608 1063133 18446744073709551615 4194304 4196468 140725894660544 139792022461488 139792553622146 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35794944 140725894666192 140725894668977 140725894668977 140725894672335 0
Current children cumulated CPU time (s) 2520.95
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 2481.93
CPU time (s): 2521
CPU user time (s): 2516.21
CPU system time (s): 4.79152
CPU usage (%): 101.574
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.21
system time used= 4.79152
maximum resident set size= 4253008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1287961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123705
involuntary context switches= 4089
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4985 second user time and 15.6497 second system time
The end