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-4259380-1501659851/watcher-4259380-1501659851 -o /tmp/evaluation-result-4259380-1501659851/solver-4259380-1501659851 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501639717-27967 --watchdog 300 bin/concrete HOME/instance-4259380-1501659851.xml
pid=22497
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.82 1.80 1.75 2/202 22500
/proc/meminfo: memFree=29865716/32770624 swapFree=0/256648
[pid=22500] ppid=22497 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/22500/stat : 22500 (runsolver) D 22497 22500 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 7895778 24240128 106 18446744073709551615 4194304 4338465 140733166143440 140733166141080 140100468024023 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 21880832 140733166145745 140733166146119 140733166146119 140733166149578 0
/proc/22500/statm: 5918 106 53 36 0 2156 0
[startup+0.100089 s]
/proc/loadavg: 1.82 1.80 1.75 2/202 22500
/proc/meminfo: memFree=29865716/32770624 swapFree=0/256648
[pid=22500] ppid=22497 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/22500/stat : 22500 (bash) R 22497 22500 3187 0 -1 4202496 756 5099 0 0 0 0 0 1 20 0 1 0 7895778 9867264 360 18446744073709551615 4194304 5098028 140720382427920 140720382425560 140177809728640 0 0 5 65536 0 0 0 17 3 0 0 8 0 0 7196144 7232144 24092672 140720382431762 140720382431847 140720382431847 140720382435306 0
/proc/22500/statm: 2409 360 286 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200227 s]
/proc/loadavg: 1.82 1.80 1.75 2/202 22500
/proc/meminfo: memFree=29865716/32770624 swapFree=0/256648
[pid=22500] ppid=22497 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/22500/stat : 22500 (bash) S 22497 22500 3187 0 -1 4202496 897 6490 0 0 0 0 0 1 20 0 1 0 7895778 9867264 377 18446744073709551615 4194304 5098028 140720382427920 140720382421928 140177810463744 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 8 0 0 7196144 7232144 24092672 140720382431762 140720382431847 140720382431847 140720382435306 0
/proc/22500/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300303 s]
/proc/loadavg: 1.82 1.80 1.75 2/202 22500
/proc/meminfo: memFree=29865716/32770624 swapFree=0/256648
[pid=22500] ppid=22497 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/22500/stat : 22500 (java) S 22497 22500 3187 0 -1 1077944320 5853 12809 0 0 4 1 5 3 20 0 14 0 7895778 14241083392 5545 18446744073709551615 4194304 4196468 140722782807568 140722782790112 140115252223735 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
/proc/22500/statm: 3476827 5545 2652 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.700613 s]
/proc/loadavg: 1.82 1.80 1.75 2/202 22500
/proc/meminfo: memFree=29865716/32770624 swapFree=0/256648
[pid=22500] ppid=22497 vsize=13974784 CPUtime=0.66 cores=1,3,5,7
/proc/22500/stat : 22500 (java) S 22497 22500 3187 0 -1 1077944320 13715 12809 0 0 53 5 5 3 20 0 15 0 7895778 14310178816 14656 18446744073709551615 4194304 4196468 140722782807568 140722782790112 140115252223735 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
/proc/22500/statm: 3493696 14656 3130 1 0 3482973 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 13974784
[startup+1.50063 s]
/proc/loadavg: 1.82 1.80 1.75 3/217 22563
/proc/meminfo: memFree=29780688/32770624 swapFree=0/256544
[pid=22500] ppid=22497 vsize=13985408 CPUtime=1.84 cores=1,3,5,7
/proc/22500/stat : 22500 (java) S 22497 22500 3187 0 -1 1077944320 25498 12809 0 0 167 9 5 3 20 0 15 0 7895778 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140722782790112 140115252223735 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
/proc/22500/statm: 3496352 34437 3331 1 0 3485533 0
[pid=22500/tid=22550] ppid=22497 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/22500/task/22550/stat : 22550 (java) S 22497 22500 3187 0 -1 1077944384 20287 12809 0 0 114 7 5 3 20 0 15 0 7895800 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140115256442032 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22551] ppid=22497 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22551/stat : 22551 (java) S 22497 22500 3187 0 -1 1077944384 1 12809 0 0 0 0 5 3 20 0 15 0 7895800 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140115194170000 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22552] ppid=22497 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22552/stat : 22552 (java) S 22497 22500 3187 0 -1 1077944384 1 12809 0 0 0 0 5 3 20 0 15 0 7895800 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140115193117200 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22553] ppid=22497 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22553/stat : 22553 (java) S 22497 22500 3187 0 -1 1077944384 1 12809 0 0 0 0 5 3 20 0 15 0 7895800 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140115192064400 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22554] ppid=22497 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22554/stat : 22554 (java) S 22497 22500 3187 0 -1 1077944384 2 12809 0 0 0 0 5 3 20 0 15 0 7895800 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140115191011600 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22555] ppid=22497 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22555/stat : 22555 (java) R 22497 22500 3187 0 -1 4202560 19 12809 0 0 0 0 5 3 20 0 15 0 7895802 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140114797910896 140115252235670 0 0 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22556] ppid=22497 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22556/stat : 22556 (java) S 22497 22500 3187 0 -1 1077944384 33 12809 0 0 0 0 5 3 20 0 15 0 7895802 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140114796856864 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22557] ppid=22497 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22557/stat : 22557 (java) S 22497 22500 3187 0 -1 1077944384 21 12809 0 0 0 0 5 3 20 0 15 0 7895802 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140114795804016 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22558] ppid=22497 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22558/stat : 22558 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 15 0 7895805 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140114794752336 140115252242331 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22559] ppid=22497 vsize=13985408 CPUtime=0.19 cores=1,3,5,7
/proc/22500/task/22559/stat : 22559 (java) S 22497 22500 3187 0 -1 1077944384 906 12809 0 0 11 0 5 3 20 0 15 0 7895805 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140114793699696 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22560] ppid=22497 vsize=13985408 CPUtime=0.25 cores=1,3,5,7
/proc/22500/task/22560/stat : 22560 (java) S 22497 22500 3187 0 -1 1077944384 771 12809 0 0 17 0 5 3 20 0 15 0 7895805 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140114792646896 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22561] ppid=22497 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/22500/task/22561/stat : 22561 (java) S 22497 22500 3187 0 -1 1077944384 1307 12809 0 0 22 0 5 3 20 0 15 0 7895805 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140114791594096 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22562] ppid=22497 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22562/stat : 22562 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 15 0 7895805 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140114790541536 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22563] ppid=22497 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22563/stat : 22563 (java) S 22497 22500 3187 0 -1 1077944384 1 12809 0 0 0 0 5 3 20 0 15 0 7895810 14321057792 34437 18446744073709551615 4194304 4196468 140722782807568 140114789489840 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 13985408
[startup+3.10396 s]
/proc/loadavg: 1.82 1.80 1.75 4/216 22563
/proc/meminfo: memFree=29692884/32770624 swapFree=0/256544
[pid=22500] ppid=22497 vsize=13995836 CPUtime=5.53 cores=1,3,5,7
/proc/22500/stat : 22500 (java) S 22497 22500 3187 0 -1 1077944320 33412 12809 0 0 528 17 5 3 20 0 15 0 7895778 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140722782790112 140115252223735 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
/proc/22500/statm: 3498959 70279 3435 1 0 3487581 0
[pid=22500/tid=22550] ppid=22497 vsize=13995836 CPUtime=2.84 cores=1,3,5,7
/proc/22500/task/22550/stat : 22550 (java) R 22497 22500 3187 0 -1 4202560 23690 12809 0 0 266 10 5 3 20 0 15 0 7895800 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140115256456016 140114872194700 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22551] ppid=22497 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/22500/task/22551/stat : 22551 (java) S 22497 22500 3187 0 -1 1077944384 192 12809 0 0 1 0 5 3 20 0 15 0 7895800 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140115194170000 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22552] ppid=22497 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/22500/task/22552/stat : 22552 (java) S 22497 22500 3187 0 -1 1077944384 57 12809 0 0 2 0 5 3 20 0 15 0 7895800 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140115193117200 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22553] ppid=22497 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/22500/task/22553/stat : 22553 (java) S 22497 22500 3187 0 -1 1077944384 31 12809 0 0 2 0 5 3 20 0 15 0 7895800 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140115192064400 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22554] ppid=22497 vsize=13995836 CPUtime=0.1 cores=1,3,5,7
/proc/22500/task/22554/stat : 22554 (java) S 22497 22500 3187 0 -1 1077944384 56 12809 0 0 2 0 5 3 20 0 15 0 7895800 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140115191011600 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22555] ppid=22497 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/22500/task/22555/stat : 22555 (java) S 22497 22500 3187 0 -1 1077944384 643 12809 0 0 1 0 5 3 20 0 15 0 7895802 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140114797910896 140115252234882 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22556] ppid=22497 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22556/stat : 22556 (java) S 22497 22500 3187 0 -1 1077944384 34 12809 0 0 0 0 5 3 20 0 15 0 7895802 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140114796856928 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22557] ppid=22497 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22557/stat : 22557 (java) S 22497 22500 3187 0 -1 1077944384 22 12809 0 0 0 0 5 3 20 0 15 0 7895802 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140114795804032 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22558] ppid=22497 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22558/stat : 22558 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 15 0 7895805 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140114794752336 140115252242331 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22559] ppid=22497 vsize=13995836 CPUtime=0.82 cores=1,3,5,7
/proc/22500/task/22559/stat : 22559 (java) R 22497 22500 3187 0 -1 4202560 1455 12809 0 0 73 1 5 3 20 0 15 0 7895805 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140114793691648 140115235716294 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22560] ppid=22497 vsize=13995836 CPUtime=1.07 cores=1,3,5,7
/proc/22500/task/22560/stat : 22560 (java) R 22497 22500 3187 0 -1 4202560 2399 12809 0 0 98 1 5 3 20 0 15 0 7895805 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140114792635568 140115252227074 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22561] ppid=22497 vsize=13995836 CPUtime=0.87 cores=1,3,5,7
/proc/22500/task/22561/stat : 22561 (java) S 22497 22500 3187 0 -1 1077944384 2670 12809 0 0 78 1 5 3 20 0 15 0 7895805 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140114791594096 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22562] ppid=22497 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22562/stat : 22562 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 15 0 7895805 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140114790541536 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22563] ppid=22497 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22563/stat : 22563 (java) S 22497 22500 3187 0 -1 1077944384 1 12809 0 0 0 0 5 3 20 0 15 0 7895810 14331736064 70279 18446744073709551615 4194304 4196468 140722782807568 140114789489840 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 13995836
[startup+6.30066 s]
/proc/loadavg: 1.75 1.79 1.75 5/216 22564
/proc/meminfo: memFree=29330008/32770624 swapFree=0/256556
[pid=22500] ppid=22497 vsize=13999932 CPUtime=13.06 cores=1,3,5,7
/proc/22500/stat : 22500 (java) S 22497 22500 3187 0 -1 1077944320 51917 12809 0 0 1257 41 5 3 20 0 15 0 7895778 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140722782790112 140115252223735 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
/proc/22500/statm: 3499983 205656 3457 1 0 3488605 0
[pid=22500/tid=22550] ppid=22497 vsize=13999932 CPUtime=5.9 cores=1,3,5,7
/proc/22500/task/22550/stat : 22550 (java) R 22497 22500 3187 0 -1 4202560 31941 12809 0 0 565 17 5 3 20 0 15 0 7895800 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140115256454560 140114879166264 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22551] ppid=22497 vsize=13999932 CPUtime=0.2 cores=1,3,5,7
/proc/22500/task/22551/stat : 22551 (java) S 22497 22500 3187 0 -1 1077944384 662 12809 0 0 8 4 5 3 20 0 15 0 7895800 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140115194170000 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22552] ppid=22497 vsize=13999932 CPUtime=0.2 cores=1,3,5,7
/proc/22500/task/22552/stat : 22552 (java) S 22497 22500 3187 0 -1 1077944384 171 12809 0 0 8 4 5 3 20 0 15 0 7895800 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140115193117200 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22553] ppid=22497 vsize=13999932 CPUtime=0.21 cores=1,3,5,7
/proc/22500/task/22553/stat : 22553 (java) S 22497 22500 3187 0 -1 1077944384 153 12809 0 0 9 4 5 3 20 0 15 0 7895800 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140115192064400 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22554] ppid=22497 vsize=13999932 CPUtime=0.21 cores=1,3,5,7
/proc/22500/task/22554/stat : 22554 (java) S 22497 22500 3187 0 -1 1077944384 235 12809 0 0 9 4 5 3 20 0 15 0 7895800 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140115191011600 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22555] ppid=22497 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/22500/task/22555/stat : 22555 (java) S 22497 22500 3187 0 -1 1077944384 1120 12809 0 0 2 0 5 3 20 0 15 0 7895802 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140114797910896 140115252234882 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22556] ppid=22497 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22556/stat : 22556 (java) S 22497 22500 3187 0 -1 1077944384 39 12809 0 0 0 0 5 3 20 0 15 0 7895802 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140114796856928 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22557] ppid=22497 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22557/stat : 22557 (java) S 22497 22500 3187 0 -1 1077944384 28 12809 0 0 0 0 5 3 20 0 15 0 7895802 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140114795804032 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22558] ppid=22497 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22558/stat : 22558 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 15 0 7895805 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140114794752336 140115252242331 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22559] ppid=22497 vsize=13999932 CPUtime=2.67 cores=1,3,5,7
/proc/22500/task/22559/stat : 22559 (java) S 22497 22500 3187 0 -1 1077944384 5147 12809 0 0 258 1 5 3 20 0 15 0 7895805 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140114793699696 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22560] ppid=22497 vsize=13999932 CPUtime=2.91 cores=1,3,5,7
/proc/22500/task/22560/stat : 22560 (java) S 22497 22500 3187 0 -1 1077944384 4903 12809 0 0 282 1 5 3 20 0 15 0 7895805 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140114792646896 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22561] ppid=22497 vsize=13999932 CPUtime=1.2 cores=1,3,5,7
/proc/22500/task/22561/stat : 22561 (java) S 22497 22500 3187 0 -1 1077944384 4491 12809 0 0 110 2 5 3 20 0 15 0 7895805 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140114791594096 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22562] ppid=22497 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22562/stat : 22562 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 15 0 7895805 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140114790541536 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22563] ppid=22497 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22563/stat : 22563 (java) S 22497 22500 3187 0 -1 1077944384 865 12809 0 0 0 0 5 3 20 0 15 0 7895810 14335930368 205656 18446744073709551615 4194304 4196468 140722782807568 140114789489840 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
Current children cumulated CPU time (s) 13.06
Current children cumulated vsize (KiB) 13999932
[startup+12.7007 s]
/proc/loadavg: 1.77 1.79 1.75 3/216 22564
/proc/meminfo: memFree=28590696/32770624 swapFree=0/256556
[pid=22500] ppid=22497 vsize=14069564 CPUtime=26.69 cores=1,3,5,7
/proc/22500/stat : 22500 (java) S 22497 22500 3187 0 -1 1077944320 87936 12809 0 0 2587 74 5 3 20 0 15 0 7895778 14407233536 394793 18446744073709551615 4194304 4196468 140722782807568 140722782790112 140115252223735 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
/proc/22500/statm: 3517391 394793 3468 1 0 3506013 0
[pid=22500/tid=22550] ppid=22497 vsize=14069564 CPUtime=12.08 cores=1,3,5,7
/proc/22500/task/22550/stat : 22550 (java) R 22497 22500 3187 0 -1 4202560 48253 12809 0 0 1172 28 5 3 20 0 15 0 7895800 14407233536 394793 18446744073709551615 4194304 4196468 140722782807568 140115256457504 140114879233271 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22551] ppid=22497 vsize=14069564 CPUtime=0.38 cores=1,3,5,7
/proc/22500/task/22551/stat : 22551 (java) S 22497 22500 3187 0 -1 1077944384 906 12809 0 0 21 9 5 3 20 0 15 0 7895800 14407233536 394793 18446744073709551615 4194304 4196468 140722782807568 140115194170000 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22552] ppid=22497 vsize=14069564 CPUtime=0.38 cores=1,3,5,7
/proc/22500/task/22552/stat : 22552 (java) S 22497 22500 3187 0 -1 1077944384 450 12809 0 0 22 8 5 3 20 0 15 0 7895800 14407233536 394793 18446744073709551615 4194304 4196468 140722782807568 140115193117200 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22553] ppid=22497 vsize=14069564 CPUtime=0.38 cores=1,3,5,7
/proc/22500/task/22553/stat : 22553 (java) S 22497 22500 3187 0 -1 1077944384 1419 12809 0 0 22 8 5 3 20 0 15 0 7895800 14407233536 394793 18446744073709551615 4194304 4196468 140722782807568 140115192064400 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22554] ppid=22497 vsize=14069564 CPUtime=0.4 cores=1,3,5,7
/proc/22500/task/22554/stat : 22554 (java) S 22497 22500 3187 0 -1 1077944384 479 12809 0 0 23 9 5 3 20 0 15 0 7895800 14407233536 394793 18446744073709551615 4194304 4196468 140722782807568 140115191011600 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22555] ppid=22497 vsize=14069564 CPUtime=0.13 cores=1,3,5,7
/proc/22500/task/22555/stat : 22555 (java) S 22497 22500 3187 0 -1 1077944384 3096 12809 0 0 5 0 5 3 20 0 15 0 7895802 14407233536 394793 18446744073709551615 4194304 4196468 140722782807568 140114797910896 140115252234882 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22556] ppid=22497 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22556/stat : 22556 (java) S 22497 22500 3187 0 -1 1077944384 43 12809 0 0 0 0 5 3 20 0 15 0 7895802 14407233536 394793 18446744073709551615 4194304 4196468 140722782807568 140114796856928 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22557] ppid=22497 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22557/stat : 22557 (java) S 22497 22500 3187 0 -1 1077944384 30 12809 0 0 0 0 5 3 20 0 15 0 7895802 14407233536 394793 18446744073709551615 4194304 4196468 140722782807568 140114795804032 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22558] ppid=22497 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22558/stat : 22558 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 15 0 7895805 14407233536 394793 18446744073709551615 4194304 4196468 140722782807568 140114794752336 140115252242331 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
################
# More data... #
################
/proc/meminfo: memFree=23212784/32770624 swapFree=0/256656
[pid=22500] ppid=22497 vsize=14069564 CPUtime=264.01 cores=1,3,5,7
/proc/22500/stat : 22500 (java) S 22497 22500 3187 0 -1 1077944320 170869 12809 0 0 26178 215 5 3 20 0 15 0 7895778 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140722782790112 140115252223735 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
/proc/22500/statm: 3517391 1098530 3472 1 0 3506013 0
[pid=22500/tid=22550] ppid=22497 vsize=14069564 CPUtime=235.64 cores=1,3,5,7
/proc/22500/task/22550/stat : 22550 (java) R 22497 22500 3187 0 -1 4202560 70629 12809 0 0 23498 58 5 3 20 0 15 0 7895800 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140115256457920 140114882184106 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22551] ppid=22497 vsize=14069564 CPUtime=3.32 cores=1,3,5,7
/proc/22500/task/22551/stat : 22551 (java) S 22497 22500 3187 0 -1 1077944384 8793 12809 0 0 290 34 5 3 20 0 15 0 7895800 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140115194170000 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22552] ppid=22497 vsize=14069564 CPUtime=3.33 cores=1,3,5,7
/proc/22500/task/22552/stat : 22552 (java) S 22497 22500 3187 0 -1 1077944384 9158 12809 0 0 291 34 5 3 20 0 15 0 7895800 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140115193117200 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22553] ppid=22497 vsize=14069564 CPUtime=3.33 cores=1,3,5,7
/proc/22500/task/22553/stat : 22553 (java) S 22497 22500 3187 0 -1 1077944384 9469 12809 0 0 291 34 5 3 20 0 15 0 7895800 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140115192064400 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22554] ppid=22497 vsize=14069564 CPUtime=3.31 cores=1,3,5,7
/proc/22500/task/22554/stat : 22554 (java) S 22497 22500 3187 0 -1 1077944384 7190 12809 0 0 289 34 5 3 20 0 15 0 7895800 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140115191011600 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22555] ppid=22497 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/22500/task/22555/stat : 22555 (java) S 22497 22500 3187 0 -1 1077944384 11724 12809 0 0 12 2 5 3 20 0 15 0 7895802 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140114797910896 140115252234882 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22556] ppid=22497 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22556/stat : 22556 (java) S 22497 22500 3187 0 -1 1077944384 43 12809 0 0 0 0 5 3 20 0 15 0 7895802 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140114796856928 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22557] ppid=22497 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22557/stat : 22557 (java) S 22497 22500 3187 0 -1 1077944384 30 12809 0 0 0 0 5 3 20 0 15 0 7895802 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140114795804032 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22558] ppid=22497 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22558/stat : 22558 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 15 0 7895805 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140114794752336 140115252242331 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22559] ppid=22497 vsize=14069564 CPUtime=7.1 cores=1,3,5,7
/proc/22500/task/22559/stat : 22559 (java) S 22497 22500 3187 0 -1 1077944384 23025 12809 0 0 698 4 5 3 20 0 15 0 7895805 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140114793699696 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22560] ppid=22497 vsize=14069564 CPUtime=6.33 cores=1,3,5,7
/proc/22500/task/22560/stat : 22560 (java) S 22497 22500 3187 0 -1 1077944384 17695 12809 0 0 623 2 5 3 20 0 15 0 7895805 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140114792646896 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22561] ppid=22497 vsize=14069564 CPUtime=1.84 cores=1,3,5,7
/proc/22500/task/22561/stat : 22561 (java) S 22497 22500 3187 0 -1 1077944384 9256 12809 0 0 173 3 5 3 20 0 15 0 7895805 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140114791594096 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22562] ppid=22497 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22562/stat : 22562 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 15 0 7895805 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140114790541536 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22563] ppid=22497 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/22500/task/22563/stat : 22563 (java) S 22497 22500 3187 0 -1 1077944384 1695 12809 0 0 5 8 5 3 20 0 15 0 7895810 14407233536 1098530 18446744073709551615 4194304 4196468 140722782807568 140114789489840 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
Current children cumulated CPU time (s) 264.01
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 22500 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+240.002 s]
/proc/loadavg: 1.73 1.77 1.76 3/219 22699
/proc/meminfo: memFree=23218156/32770624 swapFree=0/256652
[pid=22500] ppid=22497 vsize=14202692 CPUtime=266.58 cores=1,3,5,7
/proc/22500/stat : 22500 (java) S 22497 22500 3187 0 -1 1077944320 181162 12809 0 0 26434 216 5 3 20 0 17 0 7895778 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140722782790112 140115252223735 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
/proc/22500/statm: 3550673 1095804 3472 1 0 3539295 0
[pid=22500/tid=22550] ppid=22497 vsize=14202692 CPUtime=235.65 cores=1,3,5,7
/proc/22500/task/22550/stat : 22550 (java) S 22497 22500 3187 0 -1 1077944384 71206 12809 0 0 23498 59 5 3 20 0 17 0 7895800 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140115256461456 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22551] ppid=22497 vsize=14202692 CPUtime=3.94 cores=1,3,5,7
/proc/22500/task/22551/stat : 22551 (java) R 22497 22500 3187 0 -1 4202560 8857 12809 0 0 352 34 5 3 20 0 17 0 7895800 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140115194170000 140115237220139 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22552] ppid=22497 vsize=14202692 CPUtime=3.95 cores=1,3,5,7
/proc/22500/task/22552/stat : 22552 (java) R 22497 22500 3187 0 -1 4202560 9397 12809 0 0 353 34 5 3 20 0 17 0 7895800 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140115193117200 140115237220381 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22553] ppid=22497 vsize=14202692 CPUtime=3.95 cores=1,3,5,7
/proc/22500/task/22553/stat : 22553 (java) R 22497 22500 3187 0 -1 4202560 9527 12809 0 0 353 34 5 3 20 0 17 0 7895800 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140115192064400 140115236922703 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22554] ppid=22497 vsize=14202692 CPUtime=3.94 cores=1,3,5,7
/proc/22500/task/22554/stat : 22554 (java) R 22497 22500 3187 0 -1 4202560 7296 12809 0 0 352 34 5 3 20 0 17 0 7895800 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140115191011800 140115237220353 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22555] ppid=22497 vsize=14202692 CPUtime=0.27 cores=1,3,5,7
/proc/22500/task/22555/stat : 22555 (java) S 22497 22500 3187 0 -1 1077944384 20466 12809 0 0 17 2 5 3 20 0 17 0 7895802 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140114797909520 140115252233941 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22556] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22556/stat : 22556 (java) S 22497 22500 3187 0 -1 1077944384 45 12809 0 0 0 0 5 3 20 0 17 0 7895802 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140114796856528 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22557] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22557/stat : 22557 (java) S 22497 22500 3187 0 -1 1077944384 30 12809 0 0 0 0 5 3 20 0 17 0 7895802 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140114795804032 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22558] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22558/stat : 22558 (java) S 22497 22500 3187 0 -1 1077944384 162 12809 0 0 0 0 5 3 20 0 17 0 7895805 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140114794752336 140115252242331 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22559] ppid=22497 vsize=14202692 CPUtime=7.1 cores=1,3,5,7
/proc/22500/task/22559/stat : 22559 (java) S 22497 22500 3187 0 -1 1077944384 23025 12809 0 0 698 4 5 3 20 0 17 0 7895805 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140114793699696 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22560] ppid=22497 vsize=14202692 CPUtime=6.33 cores=1,3,5,7
/proc/22500/task/22560/stat : 22560 (java) S 22497 22500 3187 0 -1 1077944384 17741 12809 0 0 623 2 5 3 20 0 17 0 7895805 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140114792631888 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22561] ppid=22497 vsize=14202692 CPUtime=1.84 cores=1,3,5,7
/proc/22500/task/22561/stat : 22561 (java) S 22497 22500 3187 0 -1 1077944384 9256 12809 0 0 173 3 5 3 20 0 17 0 7895805 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140114791594096 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22562] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22562/stat : 22562 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 17 0 7895805 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140114790541536 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22563] ppid=22497 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/22500/task/22563/stat : 22563 (java) S 22497 22500 3187 0 -1 1077944384 1695 12809 0 0 5 8 5 3 20 0 17 0 7895810 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140114789489840 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22698] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22698/stat : 22698 (java) S 22497 22500 3187 0 -1 1077944384 273 12809 0 0 0 0 5 3 20 0 17 0 7919708 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140114787193584 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22699] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22699/stat : 22699 (java) S 22497 22500 3187 0 -1 1077944384 25 12809 0 0 0 0 5 3 20 0 17 0 7919708 14543556608 1095804 18446744073709551615 4194304 4196468 140722782807568 140114126861632 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
Current children cumulated CPU time (s) 266.58
Current children cumulated vsize (KiB) 14202692
[startup+240.21 s]
/proc/loadavg: 1.73 1.77 1.76 3/219 22699
/proc/meminfo: memFree=23218156/32770624 swapFree=0/256652
[pid=22500] ppid=22497 vsize=14202692 CPUtime=267.36 cores=1,3,5,7
/proc/22500/stat : 22500 (java) S 22497 22500 3187 0 -1 1077944320 181168 12809 0 0 26512 216 5 3 20 0 17 0 7895778 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140722782790112 140115252223735 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
/proc/22500/statm: 3550673 1091957 3472 1 0 3539295 0
[pid=22500/tid=22550] ppid=22497 vsize=14202692 CPUtime=235.65 cores=1,3,5,7
/proc/22500/task/22550/stat : 22550 (java) S 22497 22500 3187 0 -1 1077944384 71206 12809 0 0 23498 59 5 3 20 0 17 0 7895800 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140115256461456 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22551] ppid=22497 vsize=14202692 CPUtime=4.13 cores=1,3,5,7
/proc/22500/task/22551/stat : 22551 (java) R 22497 22500 3187 0 -1 4202560 8857 12809 0 0 371 34 5 3 20 0 17 0 7895800 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140115194170000 140115233820353 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22552] ppid=22497 vsize=14202692 CPUtime=4.14 cores=1,3,5,7
/proc/22500/task/22552/stat : 22552 (java) R 22497 22500 3187 0 -1 4202560 9398 12809 0 0 372 34 5 3 20 0 17 0 7895800 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140115193117200 140115236677682 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22553] ppid=22497 vsize=14202692 CPUtime=4.14 cores=1,3,5,7
/proc/22500/task/22553/stat : 22553 (java) R 22497 22500 3187 0 -1 4202560 9528 12809 0 0 372 34 5 3 20 0 17 0 7895800 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140115192064288 140115233820158 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22554] ppid=22497 vsize=14202692 CPUtime=4.12 cores=1,3,5,7
/proc/22500/task/22554/stat : 22554 (java) R 22497 22500 3187 0 -1 4202560 7296 12809 0 0 370 34 5 3 20 0 17 0 7895800 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140115191011600 140115233820353 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22555] ppid=22497 vsize=14202692 CPUtime=0.29 cores=1,3,5,7
/proc/22500/task/22555/stat : 22555 (java) S 22497 22500 3187 0 -1 1077944384 20466 12809 0 0 19 2 5 3 20 0 17 0 7895802 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114797909296 140115252233941 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22556] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22556/stat : 22556 (java) S 22497 22500 3187 0 -1 1077944384 46 12809 0 0 0 0 5 3 20 0 17 0 7895802 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114796856432 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22557] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22557/stat : 22557 (java) S 22497 22500 3187 0 -1 1077944384 30 12809 0 0 0 0 5 3 20 0 17 0 7895802 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114795804032 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22558] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22558/stat : 22558 (java) S 22497 22500 3187 0 -1 1077944384 162 12809 0 0 0 0 5 3 20 0 17 0 7895805 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114794752336 140115252242331 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22559] ppid=22497 vsize=14202692 CPUtime=7.1 cores=1,3,5,7
/proc/22500/task/22559/stat : 22559 (java) S 22497 22500 3187 0 -1 1077944384 23025 12809 0 0 698 4 5 3 20 0 17 0 7895805 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114793699696 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22560] ppid=22497 vsize=14202692 CPUtime=6.33 cores=1,3,5,7
/proc/22500/task/22560/stat : 22560 (java) S 22497 22500 3187 0 -1 1077944384 17744 12809 0 0 623 2 5 3 20 0 17 0 7895805 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114792638000 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22561] ppid=22497 vsize=14202692 CPUtime=1.84 cores=1,3,5,7
/proc/22500/task/22561/stat : 22561 (java) S 22497 22500 3187 0 -1 1077944384 9256 12809 0 0 173 3 5 3 20 0 17 0 7895805 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114791594096 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22562] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22562/stat : 22562 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 17 0 7895805 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114790541536 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22563] ppid=22497 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/22500/task/22563/stat : 22563 (java) S 22497 22500 3187 0 -1 1077944384 1695 12809 0 0 5 8 5 3 20 0 17 0 7895810 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114789489840 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22698] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22698/stat : 22698 (java) S 22497 22500 3187 0 -1 1077944384 273 12809 0 0 0 0 5 3 20 0 17 0 7919708 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114787193584 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22699] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22699/stat : 22699 (java) S 22497 22500 3187 0 -1 1077944384 25 12809 0 0 0 0 5 3 20 0 17 0 7919708 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114126861632 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
Current children cumulated CPU time (s) 267.36
Current children cumulated vsize (KiB) 14202692
[startup+240.303 s]
/proc/loadavg: 1.73 1.77 1.76 3/219 22699
/proc/meminfo: memFree=23218156/32770624 swapFree=0/256652
[pid=22500] ppid=22497 vsize=14202692 CPUtime=267.68 cores=1,3,5,7
/proc/22500/stat : 22500 (java) S 22497 22500 3187 0 -1 1077944320 181168 12809 0 0 26544 216 5 3 20 0 17 0 7895778 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140722782790112 140115252223735 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 8 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
/proc/22500/statm: 3550673 1091957 3472 1 0 3539295 0
[pid=22500/tid=22550] ppid=22497 vsize=14202692 CPUtime=235.65 cores=1,3,5,7
/proc/22500/task/22550/stat : 22550 (java) S 22497 22500 3187 0 -1 1077944384 71206 12809 0 0 23498 59 5 3 20 0 17 0 7895800 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140115256461456 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22551] ppid=22497 vsize=14202692 CPUtime=4.21 cores=1,3,5,7
/proc/22500/task/22551/stat : 22551 (java) R 22497 22500 3187 0 -1 4202560 8857 12809 0 0 379 34 5 3 20 0 17 0 7895800 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140115194170000 140115233833421 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22552] ppid=22497 vsize=14202692 CPUtime=4.22 cores=1,3,5,7
/proc/22500/task/22552/stat : 22552 (java) R 22497 22500 3187 0 -1 4202560 9398 12809 0 0 380 34 5 3 20 0 17 0 7895800 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140115193117088 140115233833511 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22553] ppid=22497 vsize=14202692 CPUtime=4.22 cores=1,3,5,7
/proc/22500/task/22553/stat : 22553 (java) R 22497 22500 3187 0 -1 4202560 9528 12809 0 0 380 34 5 3 20 0 17 0 7895800 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140115192064400 140115233833581 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22554] ppid=22497 vsize=14202692 CPUtime=4.2 cores=1,3,5,7
/proc/22500/task/22554/stat : 22554 (java) R 22497 22500 3187 0 -1 4202560 7296 12809 0 0 378 34 5 3 20 0 17 0 7895800 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140115191011600 140115236681357 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22555] ppid=22497 vsize=14202692 CPUtime=0.3 cores=1,3,5,7
/proc/22500/task/22555/stat : 22555 (java) S 22497 22500 3187 0 -1 1077944384 20466 12809 0 0 20 2 5 3 20 0 17 0 7895802 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114797909520 140115252233941 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22556] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22556/stat : 22556 (java) S 22497 22500 3187 0 -1 1077944384 46 12809 0 0 0 0 5 3 20 0 17 0 7895802 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114796856432 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22557] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22557/stat : 22557 (java) S 22497 22500 3187 0 -1 1077944384 30 12809 0 0 0 0 5 3 20 0 17 0 7895802 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114795804032 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22558] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22558/stat : 22558 (java) S 22497 22500 3187 0 -1 1077944384 162 12809 0 0 0 0 5 3 20 0 17 0 7895805 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114794752336 140115252242331 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22559] ppid=22497 vsize=14202692 CPUtime=7.1 cores=1,3,5,7
/proc/22500/task/22559/stat : 22559 (java) S 22497 22500 3187 0 -1 1077944384 23025 12809 0 0 698 4 5 3 20 0 17 0 7895805 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114793699696 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22560] ppid=22497 vsize=14202692 CPUtime=6.33 cores=1,3,5,7
/proc/22500/task/22560/stat : 22560 (java) S 22497 22500 3187 0 -1 1077944384 17744 12809 0 0 623 2 5 3 20 0 17 0 7895805 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114792638000 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22561] ppid=22497 vsize=14202692 CPUtime=1.84 cores=1,3,5,7
/proc/22500/task/22561/stat : 22561 (java) S 22497 22500 3187 0 -1 1077944384 9256 12809 0 0 173 3 5 3 20 0 17 0 7895805 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114791594096 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22562] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22562/stat : 22562 (java) S 22497 22500 3187 0 -1 1077944384 3 12809 0 0 0 0 5 3 20 0 17 0 7895805 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114790541536 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22563] ppid=22497 vsize=14202692 CPUtime=0.21 cores=1,3,5,7
/proc/22500/task/22563/stat : 22563 (java) S 22497 22500 3187 0 -1 1077944384 1695 12809 0 0 5 8 5 3 20 0 17 0 7895810 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114789489840 140115252234882 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22698] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22698/stat : 22698 (java) S 22497 22500 3187 0 -1 1077944384 273 12809 0 0 0 0 5 3 20 0 17 0 7919708 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114787193584 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
[pid=22500/tid=22699] ppid=22497 vsize=14202692 CPUtime=0.08 cores=1,3,5,7
/proc/22500/task/22699/stat : 22699 (java) S 22497 22500 3187 0 -1 1077944384 25 12809 0 0 0 0 5 3 20 0 17 0 7919708 14543556608 1091957 18446744073709551615 4194304 4196468 140722782807568 140114126861632 140115252233941 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25178112 140722782812110 140722782814895 140722782814895 140722782818255 0
Current children cumulated CPU time (s) 267.68
Current children cumulated vsize (KiB) 14202692
Child status: 143
Real time (s): 240.387
CPU time (s): 267.916
CPU user time (s): 265.688
CPU system time (s): 2.22741
CPU usage (%): 111.452
Max. virtual memory (cumulated for all children) (KiB): 14202692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.688
system time used= 2.22741
maximum resident set size= 4407972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194159
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14428
involuntary context switches= 569
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.06072 second user time and 1.58815 second system time
The end