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-4262127-1502414750/watcher-4262127-1502414750 -o /tmp/evaluation-result-4262127-1502414750/solver-4262127-1502414750 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502411423-4884 --watchdog 2580 bin/concrete HOME/instance-4262127-1502414750.xml
pid=5397
running on 4 cores: 0,2,4,6
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.60 1.39 1.29 2/201 5400
/proc/meminfo: memFree=29944428/32770624 swapFree=0/423280
[pid=5400] ppid=5397 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5400/stat : 5400 (runsolver) D 5397 5400 4821 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 89290213 24240128 106 18446744073709551615 4194304 4338465 140723948513376 140723948511016 140097911280343 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 18362368 140723948519633 140723948520009 140723948520009 140723948523466 0
/proc/5400/statm: 5918 106 53 36 0 2156 0
[startup+0.100161 s]
/proc/loadavg: 1.60 1.39 1.29 2/201 5400
/proc/meminfo: memFree=29944428/32770624 swapFree=0/423280
[pid=5400] ppid=5397 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/5400/stat : 5400 (bash) S 5397 5400 4821 0 -1 4202496 897 6483 0 0 0 0 0 1 20 0 1 0 89290213 9867264 377 18446744073709551615 4194304 5098028 140727296709408 140727296703416 140039651228672 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 7 0 0 7196144 7232144 27172864 140727296713236 140727296713321 140727296713321 140727296716778 0
/proc/5400/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200234 s]
/proc/loadavg: 1.60 1.39 1.29 2/201 5400
/proc/meminfo: memFree=29944428/32770624 swapFree=0/423280
[pid=5400] ppid=5397 vsize=30192 CPUtime=0.07 cores=0,2,4,6
/proc/5400/stat : 5400 (java) R 5397 5400 4821 0 -1 4202496 1475 12373 0 0 0 0 5 2 20 0 1 0 89290213 30916608 462 18446744073709551615 4194304 4196468 140729862946976 140729862927672 139683851314811 0 0 1 0 0 0 0 17 4 0 0 7 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
/proc/5400/statm: 7548 462 356 1 0 160 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 30192
[startup+0.300277 s]
/proc/loadavg: 1.60 1.39 1.29 2/201 5400
/proc/meminfo: memFree=29944428/32770624 swapFree=0/423280
[pid=5400] ppid=5397 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/5400/stat : 5400 (java) S 5397 5400 4821 0 -1 1077944320 5927 12373 0 0 5 1 5 2 20 0 14 0 89290213 14241083392 5623 18446744073709551615 4194304 4196468 140729862946976 140729862929520 139683849092855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
/proc/5400/statm: 3476827 5623 2664 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.707058 s]
/proc/loadavg: 1.60 1.39 1.29 2/201 5400
/proc/meminfo: memFree=29944428/32770624 swapFree=0/423280
[pid=5400] ppid=5397 vsize=13974784 CPUtime=0.67 cores=0,2,4,6
/proc/5400/stat : 5400 (java) S 5397 5400 4821 0 -1 1077944320 13811 12373 0 0 55 5 5 2 20 0 15 0 89290213 14310178816 14265 18446744073709551615 4194304 4196468 140729862946976 140729862929520 139683849092855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
/proc/5400/statm: 3493696 14265 3115 1 0 3482965 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 13974784
[startup+1.50422 s]
/proc/loadavg: 1.60 1.39 1.29 3/216 5463
/proc/meminfo: memFree=29851152/32770624 swapFree=0/423656
[pid=5400] ppid=5397 vsize=13985408 CPUtime=1.84 cores=0,2,4,6
/proc/5400/stat : 5400 (java) S 5397 5400 4821 0 -1 1077944320 25722 12373 0 0 169 8 5 2 20 0 15 0 89290213 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 140729862929520 139683849092855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
/proc/5400/statm: 3496352 33926 3344 1 0 3485525 0
[pid=5400/tid=5450] ppid=5397 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/5400/task/5450/stat : 5450 (java) R 5397 5400 4821 0 -1 4202560 20461 12373 0 0 116 6 5 2 20 0 15 0 89290233 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 139683853310816 139683849114781 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5451] ppid=5397 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5451/stat : 5451 (java) S 5397 5400 4821 0 -1 1077944384 1 12373 0 0 0 0 5 2 20 0 15 0 89290234 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 139683449617552 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5452] ppid=5397 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5452/stat : 5452 (java) S 5397 5400 4821 0 -1 1077944384 1 12373 0 0 0 0 5 2 20 0 15 0 89290234 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 139683448564752 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5453] ppid=5397 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5453/stat : 5453 (java) S 5397 5400 4821 0 -1 1077944384 1 12373 0 0 0 0 5 2 20 0 15 0 89290234 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 139683447511952 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5454] ppid=5397 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5454/stat : 5454 (java) S 5397 5400 4821 0 -1 1077944384 2 12373 0 0 0 0 5 2 20 0 15 0 89290234 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 139683446459152 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5455] ppid=5397 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5455/stat : 5455 (java) S 5397 5400 4821 0 -1 1077944384 5 12373 0 0 0 0 5 2 20 0 15 0 89290235 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 139682765801840 139683849104002 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5456] ppid=5397 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5456/stat : 5456 (java) S 5397 5400 4821 0 -1 1077944384 33 12373 0 0 0 0 5 2 20 0 15 0 89290236 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 139682764747808 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5457] ppid=5397 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5457/stat : 5457 (java) S 5397 5400 4821 0 -1 1077944384 21 12373 0 0 0 0 5 2 20 0 15 0 89290236 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 139682763694960 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5458] ppid=5397 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5458/stat : 5458 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 139682762643280 139683849111451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5459] ppid=5397 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/5400/task/5459/stat : 5459 (java) R 5397 5400 4821 0 -1 4202560 1162 12373 0 0 17 0 5 2 20 0 15 0 89290239 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 139682761591664 139683828809991 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5460] ppid=5397 vsize=13985408 CPUtime=0.19 cores=0,2,4,6
/proc/5400/task/5460/stat : 5460 (java) S 5397 5400 4821 0 -1 1077944384 651 12373 0 0 12 0 5 2 20 0 15 0 89290239 14321057792 33926 18446744073709551615 4194304 4196468 140729862946976 139682760538864 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5461] ppid=5397 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/5400/task/5461/stat : 5461 (java) R 5397 5400 4821 0 -1 4202560 1221 12373 0 0 22 0 5 2 20 0 15 0 89290239 14321057792 33974 18446744073709551615 4194304 4196468 140729862946976 139682759481104 139683849114202 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5462] ppid=5397 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5462/stat : 5462 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14321057792 33974 18446744073709551615 4194304 4196468 140729862946976 139682758433504 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5463] ppid=5397 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5463/stat : 5463 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290246 14321057792 33974 18446744073709551615 4194304 4196468 140729862946976 139682757380784 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13985408
[startup+3.10114 s]
/proc/loadavg: 1.64 1.40 1.29 5/216 5463
/proc/meminfo: memFree=29771796/32770624 swapFree=0/423640
[pid=5400] ppid=5397 vsize=13997884 CPUtime=5.61 cores=0,2,4,6
/proc/5400/stat : 5400 (java) S 5397 5400 4821 0 -1 1077944320 35170 12373 0 0 540 14 5 2 20 0 15 0 89290213 14333833216 54930 18446744073709551615 4194304 4196468 140729862946976 140729862929520 139683849092855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
/proc/5400/statm: 3499471 54930 3441 1 0 3488085 0
[pid=5400/tid=5450] ppid=5397 vsize=13997884 CPUtime=2.85 cores=0,2,4,6
/proc/5400/task/5450/stat : 5450 (java) R 5397 5400 4821 0 -1 4202560 24161 12373 0 0 270 8 5 2 20 0 15 0 89290233 14333833216 54930 18446744073709551615 4194304 4196468 140729862946976 139683853320000 139683491247985 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5451] ppid=5397 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5451/stat : 5451 (java) S 5397 5400 4821 0 -1 1077944384 38 12373 0 0 0 0 5 2 20 0 15 0 89290234 14333833216 54930 18446744073709551615 4194304 4196468 140729862946976 139683449617552 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5452] ppid=5397 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5400/task/5452/stat : 5452 (java) S 5397 5400 4821 0 -1 1077944384 36 12373 0 0 1 0 5 2 20 0 15 0 89290234 14333833216 54930 18446744073709551615 4194304 4196468 140729862946976 139683448564752 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5453] ppid=5397 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5400/task/5453/stat : 5453 (java) S 5397 5400 4821 0 -1 1077944384 177 12373 0 0 1 0 5 2 20 0 15 0 89290234 14333833216 54930 18446744073709551615 4194304 4196468 140729862946976 139683447511952 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5454] ppid=5397 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5400/task/5454/stat : 5454 (java) S 5397 5400 4821 0 -1 1077944384 60 12373 0 0 1 0 5 2 20 0 15 0 89290234 14333833216 54930 18446744073709551615 4194304 4196468 140729862946976 139683446459152 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5455] ppid=5397 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/5400/task/5455/stat : 5455 (java) S 5397 5400 4821 0 -1 1077944384 661 12373 0 0 1 0 5 2 20 0 15 0 89290235 14333833216 54930 18446744073709551615 4194304 4196468 140729862946976 139682765801840 139683849104002 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5456] ppid=5397 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5456/stat : 5456 (java) S 5397 5400 4821 0 -1 1077944384 56 12373 0 0 0 0 5 2 20 0 15 0 89290236 14333833216 54930 18446744073709551615 4194304 4196468 140729862946976 139682764747872 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5457] ppid=5397 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5457/stat : 5457 (java) S 5397 5400 4821 0 -1 1077944384 44 12373 0 0 0 0 5 2 20 0 15 0 89290236 14333833216 54930 18446744073709551615 4194304 4196468 140729862946976 139682763694960 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5458] ppid=5397 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5458/stat : 5458 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14333833216 55442 18446744073709551615 4194304 4196468 140729862946976 139682762643280 139683849111451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5459] ppid=5397 vsize=13997884 CPUtime=0.84 cores=0,2,4,6
/proc/5400/task/5459/stat : 5459 (java) R 5397 5400 4821 0 -1 1077944384 2289 12373 0 0 77 0 5 2 20 0 15 0 89290239 14333833216 55442 18446744073709551615 4194304 4196468 140729862946976 139682761579344 139683849103061 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5460] ppid=5397 vsize=13997884 CPUtime=0.82 cores=0,2,4,6
/proc/5400/task/5460/stat : 5460 (java) R 5397 5400 4821 0 -1 4202560 1387 12373 0 0 75 0 5 2 20 0 15 0 89290239 14333833216 55442 18446744073709551615 4194304 4196468 140729862946976 139682760520928 139683832470213 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5461] ppid=5397 vsize=13997884 CPUtime=1.18 cores=0,2,4,6
/proc/5400/task/5461/stat : 5461 (java) S 5397 5400 4821 0 -1 1077944384 4096 12373 0 0 110 1 5 2 20 0 15 0 89290239 14333833216 55442 18446744073709551615 4194304 4196468 140729862946976 139682759486064 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5462] ppid=5397 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5462/stat : 5462 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14333833216 55442 18446744073709551615 4194304 4196468 140729862946976 139682758433504 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5463] ppid=5397 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5463/stat : 5463 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290246 14333833216 55442 18446744073709551615 4194304 4196468 140729862946976 139682757380784 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 13997884
[startup+6.30088 s]
/proc/loadavg: 1.64 1.40 1.29 5/215 5463
/proc/meminfo: memFree=29412380/32770624 swapFree=0/423632
[pid=5400] ppid=5397 vsize=14001980 CPUtime=14.87 cores=0,2,4,6
/proc/5400/stat : 5400 (java) S 5397 5400 4821 0 -1 1077944320 60422 12373 0 0 1449 31 5 2 20 0 15 0 89290213 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 140729862929520 139683849092855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
/proc/5400/statm: 3500495 105695 3477 1 0 3489109 0
[pid=5400/tid=5450] ppid=5397 vsize=14001980 CPUtime=5.84 cores=0,2,4,6
/proc/5400/task/5450/stat : 5450 (java) R 5397 5400 4821 0 -1 4202560 29632 12373 0 0 566 11 5 2 20 0 15 0 89290233 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139683853319776 139683849104790 0 4 1 16800974 0 0 0 -1 4 0 0 6 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5451] ppid=5397 vsize=14001980 CPUtime=0.23 cores=0,2,4,6
/proc/5400/task/5451/stat : 5451 (java) S 5397 5400 4821 0 -1 1077944384 141 12373 0 0 13 3 5 2 20 0 15 0 89290234 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139683449617552 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5452] ppid=5397 vsize=14001980 CPUtime=0.22 cores=0,2,4,6
/proc/5400/task/5452/stat : 5452 (java) S 5397 5400 4821 0 -1 1077944384 631 12373 0 0 12 3 5 2 20 0 15 0 89290234 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139683448564752 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5453] ppid=5397 vsize=14001980 CPUtime=0.23 cores=0,2,4,6
/proc/5400/task/5453/stat : 5453 (java) S 5397 5400 4821 0 -1 1077944384 797 12373 0 0 13 3 5 2 20 0 15 0 89290234 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139683447511952 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5454] ppid=5397 vsize=14001980 CPUtime=0.23 cores=0,2,4,6
/proc/5400/task/5454/stat : 5454 (java) S 5397 5400 4821 0 -1 1077944384 451 12373 0 0 13 3 5 2 20 0 15 0 89290234 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139683446459152 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5455] ppid=5397 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/5400/task/5455/stat : 5455 (java) S 5397 5400 4821 0 -1 1077944384 5890 12373 0 0 5 0 5 2 20 0 15 0 89290235 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139682765801840 139683849104002 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5456] ppid=5397 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5456/stat : 5456 (java) S 5397 5400 4821 0 -1 1077944384 66 12373 0 0 0 0 5 2 20 0 15 0 89290236 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139682764747872 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5457] ppid=5397 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5457/stat : 5457 (java) S 5397 5400 4821 0 -1 1077944384 53 12373 0 0 0 0 5 2 20 0 15 0 89290236 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139682763694976 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5458] ppid=5397 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5458/stat : 5458 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139682762643280 139683849111451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5459] ppid=5397 vsize=14001980 CPUtime=3.3 cores=0,2,4,6
/proc/5400/task/5459/stat : 5459 (java) S 5397 5400 4821 0 -1 1077944384 7093 12373 0 0 322 1 5 2 20 0 15 0 89290239 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139682761591664 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5460] ppid=5397 vsize=14001980 CPUtime=3.3 cores=0,2,4,6
/proc/5400/task/5460/stat : 5460 (java) R 5397 5400 4821 0 -1 4202560 5968 12373 0 0 322 1 5 2 20 0 15 0 89290239 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139682760520064 139683827115415 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5461] ppid=5397 vsize=14001980 CPUtime=1.88 cores=0,2,4,6
/proc/5400/task/5461/stat : 5461 (java) S 5397 5400 4821 0 -1 1077944384 7158 12373 0 0 179 2 5 2 20 0 15 0 89290239 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139682759486064 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5462] ppid=5397 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5462/stat : 5462 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139682758433504 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5463] ppid=5397 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5463/stat : 5463 (java) S 5397 5400 4821 0 -1 1077944384 380 12373 0 0 0 0 5 2 20 0 15 0 89290246 14338027520 105695 18446744073709551615 4194304 4196468 140729862946976 139682757380784 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
Current children cumulated CPU time (s) 14.87
Current children cumulated vsize (KiB) 14001980
[startup+12.7007 s]
/proc/loadavg: 1.76 1.43 1.31 3/215 5463
/proc/meminfo: memFree=28478976/32770624 swapFree=0/423632
[pid=5400] ppid=5397 vsize=14069564 CPUtime=25.73 cores=0,2,4,6
/proc/5400/stat : 5400 (java) S 5397 5400 4821 0 -1 1077944320 96085 12373 0 0 2518 48 5 2 20 0 15 0 89290213 14407233536 248484 18446744073709551615 4194304 4196468 140729862946976 140729862929520 139683849092855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
/proc/5400/statm: 3517391 248484 3479 1 0 3506005 0
[pid=5400/tid=5450] ppid=5397 vsize=14069564 CPUtime=12.16 cores=0,2,4,6
/proc/5400/task/5450/stat : 5450 (java) R 5397 5400 4821 0 -1 4202560 49337 12373 0 0 1189 20 5 2 20 0 15 0 89290233 14407233536 248484 18446744073709551615 4194304 4196468 140729862946976 139683853326864 139683505277131 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5451] ppid=5397 vsize=14069564 CPUtime=0.27 cores=0,2,4,6
/proc/5400/task/5451/stat : 5451 (java) S 5397 5400 4821 0 -1 1077944384 227 12373 0 0 16 4 5 2 20 0 15 0 89290234 14407233536 248484 18446744073709551615 4194304 4196468 140729862946976 139683449617552 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5452] ppid=5397 vsize=14069564 CPUtime=0.26 cores=0,2,4,6
/proc/5400/task/5452/stat : 5452 (java) S 5397 5400 4821 0 -1 1077944384 671 12373 0 0 15 4 5 2 20 0 15 0 89290234 14407233536 248484 18446744073709551615 4194304 4196468 140729862946976 139683448564752 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5453] ppid=5397 vsize=14069564 CPUtime=0.29 cores=0,2,4,6
/proc/5400/task/5453/stat : 5453 (java) S 5397 5400 4821 0 -1 1077944384 1033 12373 0 0 18 4 5 2 20 0 15 0 89290234 14407233536 248484 18446744073709551615 4194304 4196468 140729862946976 139683447511952 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5454] ppid=5397 vsize=14069564 CPUtime=0.28 cores=0,2,4,6
/proc/5400/task/5454/stat : 5454 (java) S 5397 5400 4821 0 -1 1077944384 501 12373 0 0 17 4 5 2 20 0 15 0 89290234 14407233536 248484 18446744073709551615 4194304 4196468 140729862946976 139683446459152 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5455] ppid=5397 vsize=14069564 CPUtime=0.12 cores=0,2,4,6
/proc/5400/task/5455/stat : 5455 (java) S 5397 5400 4821 0 -1 1077944384 6378 12373 0 0 5 0 5 2 20 0 15 0 89290235 14407233536 248484 18446744073709551615 4194304 4196468 140729862946976 139682765801840 139683849104002 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5456] ppid=5397 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5456/stat : 5456 (java) S 5397 5400 4821 0 -1 1077944384 67 12373 0 0 0 0 5 2 20 0 15 0 89290236 14407233536 248484 18446744073709551615 4194304 4196468 140729862946976 139682764747872 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5457] ppid=5397 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5457/stat : 5457 (java) S 5397 5400 4821 0 -1 1077944384 53 12373 0 0 0 0 5 2 20 0 15 0 89290236 14407233536 248484 18446744073709551615 4194304 4196468 140729862946976 139682763694976 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5458] ppid=5397 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5458/stat : 5458 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14407233536 248484 18446744073709551615 4194304 4196468 140729862946976 139682762643280 139683849111451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
################
# More data... #
################
/proc/5400/task/5462/stat : 5462 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14407233536 518584 18446744073709551615 4194304 4196468 140729862946976 139682758433504 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5463] ppid=5397 vsize=14069564 CPUtime=1.52 cores=0,2,4,6
/proc/5400/task/5463/stat : 5463 (java) S 5397 5400 4821 0 -1 1077944384 2003 12373 0 0 71 74 5 2 20 0 15 0 89290246 14407233536 518584 18446744073709551615 4194304 4196468 140729862946976 139682757380784 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
Current children cumulated CPU time (s) 2435.26
Current children cumulated vsize (KiB) 14069564
[startup+2442.3 s]
/proc/loadavg: 1.31 1.36 1.39 3/213 5650
/proc/meminfo: memFree=27283476/32770624 swapFree=0/424208
[pid=5400] ppid=5397 vsize=14069564 CPUtime=2496.38 cores=0,2,4,6
/proc/5400/stat : 5400 (java) S 5397 5400 4821 0 -1 1077944320 359277 12373 0 0 249254 377 5 2 20 0 15 0 89290213 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 140729862929520 139683849092855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
/proc/5400/statm: 3517391 518602 3484 1 0 3506005 0
[pid=5400/tid=5450] ppid=5397 vsize=14069564 CPUtime=2415.88 cores=0,2,4,6
/proc/5400/task/5450/stat : 5450 (java) S 5397 5400 4821 0 -1 1077944384 125851 12373 0 0 241516 65 5 2 20 0 15 0 89290233 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139683853326800 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5451] ppid=5397 vsize=14069564 CPUtime=14.04 cores=0,2,4,6
/proc/5400/task/5451/stat : 5451 (java) S 5397 5400 4821 0 -1 1077944384 44583 12373 0 0 1338 59 5 2 20 0 15 0 89290234 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139683449617552 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5452] ppid=5397 vsize=14069564 CPUtime=14.04 cores=0,2,4,6
/proc/5400/task/5452/stat : 5452 (java) S 5397 5400 4821 0 -1 1077944384 32989 12373 0 0 1344 53 5 2 20 0 15 0 89290234 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139683448564752 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5453] ppid=5397 vsize=14069564 CPUtime=14.03 cores=0,2,4,6
/proc/5400/task/5453/stat : 5453 (java) S 5397 5400 4821 0 -1 1077944384 31942 12373 0 0 1342 54 5 2 20 0 15 0 89290234 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139683447511952 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5454] ppid=5397 vsize=14069564 CPUtime=14 cores=0,2,4,6
/proc/5400/task/5454/stat : 5454 (java) S 5397 5400 4821 0 -1 1077944384 30734 12373 0 0 1335 58 5 2 20 0 15 0 89290234 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139683446459152 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5455] ppid=5397 vsize=14069564 CPUtime=10.01 cores=0,2,4,6
/proc/5400/task/5455/stat : 5455 (java) R 5397 5400 4821 0 -1 4202560 31126 12373 0 0 938 56 5 2 20 0 15 0 89290235 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139682765801840 139683841810007 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5456] ppid=5397 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5456/stat : 5456 (java) S 5397 5400 4821 0 -1 1077944384 67 12373 0 0 0 0 5 2 20 0 15 0 89290236 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139682764747872 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5457] ppid=5397 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5457/stat : 5457 (java) S 5397 5400 4821 0 -1 1077944384 53 12373 0 0 0 0 5 2 20 0 15 0 89290236 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139682763694976 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5458] ppid=5397 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5458/stat : 5458 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139682762643280 139683849111451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5459] ppid=5397 vsize=14069564 CPUtime=5.38 cores=0,2,4,6
/proc/5400/task/5459/stat : 5459 (java) S 5397 5400 4821 0 -1 1077944384 18833 12373 0 0 529 2 5 2 20 0 15 0 89290239 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139682761591664 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5460] ppid=5397 vsize=14069564 CPUtime=5.67 cores=0,2,4,6
/proc/5400/task/5460/stat : 5460 (java) S 5397 5400 4821 0 -1 1077944384 19791 12373 0 0 557 3 5 2 20 0 15 0 89290239 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139682760538864 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5461] ppid=5397 vsize=14069564 CPUtime=2.3 cores=0,2,4,6
/proc/5400/task/5461/stat : 5461 (java) S 5397 5400 4821 0 -1 1077944384 19103 12373 0 0 220 3 5 2 20 0 15 0 89290239 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139682759486064 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5462] ppid=5397 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5462/stat : 5462 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139682758433504 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5463] ppid=5397 vsize=14069564 CPUtime=1.56 cores=0,2,4,6
/proc/5400/task/5463/stat : 5463 (java) S 5397 5400 4821 0 -1 1077944384 2043 12373 0 0 73 76 5 2 20 0 15 0 89290246 14407233536 518602 18446744073709551615 4194304 4196468 140729862946976 139682757380784 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
Current children cumulated CPU time (s) 2496.38
Current children cumulated vsize (KiB) 14069564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2465.6 s]
/proc/loadavg: 1.29 1.36 1.39 3/213 5776
/proc/meminfo: memFree=28261556/32770624 swapFree=0/424228
[pid=5400] ppid=5397 vsize=14069564 CPUtime=2520.08 cores=0,2,4,6
/proc/5400/stat : 5400 (java) S 5397 5400 4821 0 -1 1077944320 361142 12373 0 0 251621 380 5 2 20 0 15 0 89290213 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 140729862929520 139683849092855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
/proc/5400/statm: 3517391 517456 3484 1 0 3506005 0
[pid=5400/tid=5450] ppid=5397 vsize=14069564 CPUtime=2438.91 cores=0,2,4,6
/proc/5400/task/5450/stat : 5450 (java) R 5397 5400 4821 0 -1 4202560 126585 12373 0 0 243819 65 5 2 20 0 15 0 89290233 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139683853327088 139683508987701 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5451] ppid=5397 vsize=14069564 CPUtime=14.18 cores=0,2,4,6
/proc/5400/task/5451/stat : 5451 (java) S 5397 5400 4821 0 -1 1077944384 44611 12373 0 0 1351 60 5 2 20 0 15 0 89290234 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139683449617552 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5452] ppid=5397 vsize=14069564 CPUtime=14.17 cores=0,2,4,6
/proc/5400/task/5452/stat : 5452 (java) S 5397 5400 4821 0 -1 1077944384 33013 12373 0 0 1357 53 5 2 20 0 15 0 89290234 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139683448564752 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5453] ppid=5397 vsize=14069564 CPUtime=14.16 cores=0,2,4,6
/proc/5400/task/5453/stat : 5453 (java) S 5397 5400 4821 0 -1 1077944384 32903 12373 0 0 1355 54 5 2 20 0 15 0 89290234 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139683447511952 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5454] ppid=5397 vsize=14069564 CPUtime=14.14 cores=0,2,4,6
/proc/5400/task/5454/stat : 5454 (java) S 5397 5400 4821 0 -1 1077944384 30803 12373 0 0 1349 58 5 2 20 0 15 0 89290234 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139683446459152 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5455] ppid=5397 vsize=14069564 CPUtime=10.11 cores=0,2,4,6
/proc/5400/task/5455/stat : 5455 (java) S 5397 5400 4821 0 -1 1077944384 31167 12373 0 0 947 57 5 2 20 0 15 0 89290235 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139682765801840 139683849104002 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5456] ppid=5397 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5456/stat : 5456 (java) S 5397 5400 4821 0 -1 1077944384 67 12373 0 0 0 0 5 2 20 0 15 0 89290236 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139682764747872 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5457] ppid=5397 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5457/stat : 5457 (java) S 5397 5400 4821 0 -1 1077944384 53 12373 0 0 0 0 5 2 20 0 15 0 89290236 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139682763694976 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5458] ppid=5397 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5458/stat : 5458 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139682762643280 139683849111451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5459] ppid=5397 vsize=14069564 CPUtime=5.38 cores=0,2,4,6
/proc/5400/task/5459/stat : 5459 (java) S 5397 5400 4821 0 -1 1077944384 18835 12373 0 0 529 2 5 2 20 0 15 0 89290239 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139682761591664 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5460] ppid=5397 vsize=14069564 CPUtime=5.67 cores=0,2,4,6
/proc/5400/task/5460/stat : 5460 (java) S 5397 5400 4821 0 -1 1077944384 19793 12373 0 0 557 3 5 2 20 0 15 0 89290239 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139682760538864 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5461] ppid=5397 vsize=14069564 CPUtime=2.3 cores=0,2,4,6
/proc/5400/task/5461/stat : 5461 (java) S 5397 5400 4821 0 -1 1077944384 19105 12373 0 0 220 3 5 2 20 0 15 0 89290239 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139682759486064 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5462] ppid=5397 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5462/stat : 5462 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 15 0 89290239 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139682758433504 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5463] ppid=5397 vsize=14069564 CPUtime=1.57 cores=0,2,4,6
/proc/5400/task/5463/stat : 5463 (java) S 5397 5400 4821 0 -1 1077944384 2045 12373 0 0 74 76 5 2 20 0 15 0 89290246 14407233536 517456 18446744073709551615 4194304 4196468 140729862946976 139682757380784 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
Current children cumulated CPU time (s) 2520.08
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 5400 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2466 s]
/proc/loadavg: 1.29 1.36 1.39 3/213 5776
/proc/meminfo: memFree=28261556/32770624 swapFree=0/424228
[pid=5400] ppid=5397 vsize=14202692 CPUtime=2521.4 cores=0,2,4,6
/proc/5400/stat : 5400 (java) S 5397 5400 4821 0 -1 1077944320 374235 12373 0 0 251752 381 5 2 20 0 17 0 89290213 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 140729862929520 139683849092855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
/proc/5400/statm: 3550673 519272 3490 1 0 3539287 0
[pid=5400/tid=5450] ppid=5397 vsize=14202692 CPUtime=2438.92 cores=0,2,4,6
/proc/5400/task/5450/stat : 5450 (java) S 5397 5400 4821 0 -1 1077944384 127424 12373 0 0 243820 65 5 2 20 0 17 0 89290233 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139683853330528 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5451] ppid=5397 vsize=14202692 CPUtime=14.49 cores=0,2,4,6
/proc/5400/task/5451/stat : 5451 (java) S 5397 5400 4821 0 -1 1077944384 44634 12373 0 0 1382 60 5 2 20 0 17 0 89290234 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139683449617552 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5452] ppid=5397 vsize=14202692 CPUtime=14.48 cores=0,2,4,6
/proc/5400/task/5452/stat : 5452 (java) S 5397 5400 4821 0 -1 1077944384 33043 12373 0 0 1388 53 5 2 20 0 17 0 89290234 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139683448564752 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5453] ppid=5397 vsize=14202692 CPUtime=14.47 cores=0,2,4,6
/proc/5400/task/5453/stat : 5453 (java) S 5397 5400 4821 0 -1 1077944384 32916 12373 0 0 1386 54 5 2 20 0 17 0 89290234 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139683447511952 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5454] ppid=5397 vsize=14202692 CPUtime=14.45 cores=0,2,4,6
/proc/5400/task/5454/stat : 5454 (java) S 5397 5400 4821 0 -1 1077944384 30836 12373 0 0 1380 58 5 2 20 0 17 0 89290234 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139683446459152 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5455] ppid=5397 vsize=14202692 CPUtime=10.18 cores=0,2,4,6
/proc/5400/task/5455/stat : 5455 (java) R 5397 5400 4821 0 -1 4202560 41534 12373 0 0 954 57 5 2 20 0 17 0 89290235 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139682765800240 139683827224334 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5456] ppid=5397 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5456/stat : 5456 (java) S 5397 5400 4821 0 -1 1077944384 68 12373 0 0 0 0 5 2 20 0 17 0 89290236 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139682764747776 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5457] ppid=5397 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5457/stat : 5457 (java) S 5397 5400 4821 0 -1 1077944384 53 12373 0 0 0 0 5 2 20 0 17 0 89290236 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139682763694976 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5458] ppid=5397 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5458/stat : 5458 (java) S 5397 5400 4821 0 -1 1077944384 227 12373 0 0 0 0 5 2 20 0 17 0 89290239 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139682762643280 139683849111451 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5459] ppid=5397 vsize=14202692 CPUtime=5.38 cores=0,2,4,6
/proc/5400/task/5459/stat : 5459 (java) S 5397 5400 4821 0 -1 1077944384 18835 12373 0 0 529 2 5 2 20 0 17 0 89290239 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139682761591664 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5460] ppid=5397 vsize=14202692 CPUtime=5.67 cores=0,2,4,6
/proc/5400/task/5460/stat : 5460 (java) S 5397 5400 4821 0 -1 1077944384 19877 12373 0 0 557 3 5 2 20 0 17 0 89290239 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139682760529184 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5461] ppid=5397 vsize=14202692 CPUtime=2.3 cores=0,2,4,6
/proc/5400/task/5461/stat : 5461 (java) S 5397 5400 4821 0 -1 1077944384 20219 12373 0 0 220 3 5 2 20 0 17 0 89290239 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139682759483712 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5462] ppid=5397 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5462/stat : 5462 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 17 0 89290239 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139682758433504 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5463] ppid=5397 vsize=14202692 CPUtime=1.57 cores=0,2,4,6
/proc/5400/task/5463/stat : 5463 (java) S 5397 5400 4821 0 -1 1077944384 2045 12373 0 0 74 76 5 2 20 0 17 0 89290246 14543556608 519272 18446744073709551615 4194304 4196468 140729862946976 139682757380784 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
Current children cumulated CPU time (s) 2521.4
Current children cumulated vsize (KiB) 14202692
[startup+2466.1 s]
/proc/loadavg: 1.29 1.36 1.39 3/213 5776
/proc/meminfo: memFree=28261556/32770624 swapFree=0/424228
[pid=5400] ppid=5397 vsize=14202692 CPUtime=2521.67 cores=0,2,4,6
/proc/5400/stat : 5400 (java) S 5397 5400 4821 0 -1 1077944320 374760 12373 0 0 251779 381 5 2 20 0 17 0 89290213 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 140729862929520 139683849092855 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 7 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
/proc/5400/statm: 3550673 519289 3491 1 0 3539287 0
[pid=5400/tid=5450] ppid=5397 vsize=14202692 CPUtime=2438.93 cores=0,2,4,6
/proc/5400/task/5450/stat : 5450 (java) S 5397 5400 4821 0 -1 1077944384 127528 12373 0 0 243821 65 5 2 20 0 17 0 89290233 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139683853335728 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5451] ppid=5397 vsize=14202692 CPUtime=14.55 cores=0,2,4,6
/proc/5400/task/5451/stat : 5451 (java) S 5397 5400 4821 0 -1 1077944384 44634 12373 0 0 1388 60 5 2 20 0 17 0 89290234 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139683449617552 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5452] ppid=5397 vsize=14202692 CPUtime=14.54 cores=0,2,4,6
/proc/5400/task/5452/stat : 5452 (java) S 5397 5400 4821 0 -1 1077944384 33043 12373 0 0 1394 53 5 2 20 0 17 0 89290234 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139683448564752 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5453] ppid=5397 vsize=14202692 CPUtime=14.53 cores=0,2,4,6
/proc/5400/task/5453/stat : 5453 (java) S 5397 5400 4821 0 -1 1077944384 32920 12373 0 0 1392 54 5 2 20 0 17 0 89290234 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139683447511952 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5454] ppid=5397 vsize=14202692 CPUtime=14.5 cores=0,2,4,6
/proc/5400/task/5454/stat : 5454 (java) S 5397 5400 4821 0 -1 1077944384 30836 12373 0 0 1385 58 5 2 20 0 17 0 89290234 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139683446459152 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5455] ppid=5397 vsize=14202692 CPUtime=10.21 cores=0,2,4,6
/proc/5400/task/5455/stat : 5455 (java) S 5397 5400 4821 0 -1 1077944384 41534 12373 0 0 957 57 5 2 20 0 17 0 89290235 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139682765801840 139683849104002 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5456] ppid=5397 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5456/stat : 5456 (java) S 5397 5400 4821 0 -1 1077944384 69 12373 0 0 0 0 5 2 20 0 17 0 89290236 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139682764747872 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5457] ppid=5397 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5457/stat : 5457 (java) S 5397 5400 4821 0 -1 1077944384 55 12373 0 0 0 0 5 2 20 0 17 0 89290236 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139682763694976 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5458] ppid=5397 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5458/stat : 5458 (java) S 5397 5400 4821 0 -1 1077944384 227 12373 0 0 0 0 5 2 20 0 17 0 89290239 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139682762643280 139683849111451 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5459] ppid=5397 vsize=14202692 CPUtime=5.38 cores=0,2,4,6
/proc/5400/task/5459/stat : 5459 (java) S 5397 5400 4821 0 -1 1077944384 18835 12373 0 0 529 2 5 2 20 0 17 0 89290239 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139682761591664 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5460] ppid=5397 vsize=14202692 CPUtime=5.67 cores=0,2,4,6
/proc/5400/task/5460/stat : 5460 (java) S 5397 5400 4821 0 -1 1077944384 20026 12373 0 0 557 3 5 2 20 0 17 0 89290239 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139682760538864 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5461] ppid=5397 vsize=14202692 CPUtime=2.31 cores=0,2,4,6
/proc/5400/task/5461/stat : 5461 (java) S 5397 5400 4821 0 -1 1077944384 20484 12373 0 0 221 3 5 2 20 0 17 0 89290239 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139682759486064 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5462] ppid=5397 vsize=14202692 CPUtime=0.07 cores=0,2,4,6
/proc/5400/task/5462/stat : 5462 (java) S 5397 5400 4821 0 -1 1077944384 3 12373 0 0 0 0 5 2 20 0 17 0 89290239 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139682758433504 139683849103061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
[pid=5400/tid=5463] ppid=5397 vsize=14202692 CPUtime=1.57 cores=0,2,4,6
/proc/5400/task/5463/stat : 5463 (java) S 5397 5400 4821 0 -1 1077944384 2045 12373 0 0 74 76 5 2 20 0 17 0 89290246 14543556608 519289 18446744073709551615 4194304 4196468 140729862946976 139682757380784 139683849104002 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18845696 140729862948816 140729862951601 140729862951601 140729862954959 0
Current children cumulated CPU time (s) 2521.67
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 2466.12
CPU time (s): 2521.72
CPU user time (s): 2517.86
CPU system time (s): 3.86534
CPU usage (%): 102.255
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.86
system time used= 3.86534
maximum resident set size= 2275196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 387165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 269042
involuntary context switches= 8401
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4637 second user time and 15.2406 second system time
The end