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-4102458-1466217874/watcher-4102458-1466217874 -o /tmp/evaluation-result-4102458-1466217874/solver-4102458-1466217874 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466206058-15309 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4102458-1466217874.opb
pid=22878
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.30 4.16 4.11 3/284 22881
/proc/meminfo: memFree=29820056/32872528 swapFree=7804/7804
[pid=22881] ppid=22878 vsize=152584 CPUtime=0 cores=4-7,12-15
/proc/22881/stat : 22881 (java) S 22878 22881 15292 0 -1 4202496 1526 0 1 0 0 0 0 0 20 0 2 0 23831985 156246016 1129 33554432000 1073741824 1073778376 140735213772400 140735213763536 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22881/statm: 38146 1129 864 9 0 29255 0
[pid=22881/tid=22882] ppid=22878 vsize=152584 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22882/stat : 22882 (java) R 22878 22881 15292 0 -1 4202560 333 0 1 0 0 0 0 0 20 0 2 0 23831986 156246016 1671 33554432000 1073741824 1073778376 140735213772400 139737078798640 139737086816251 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0
[startup+0.10006 s]
/proc/loadavg: 4.30 4.16 4.11 3/284 22881
/proc/meminfo: memFree=29820056/32872528 swapFree=7804/7804
[pid=22881] ppid=22878 vsize=9896436 CPUtime=0.11 cores=4-7,12-15
/proc/22881/stat : 22881 (java) S 22878 22881 15292 0 -1 4202496 4490 0 1 0 10 1 0 0 20 0 23 0 23831985 10133950464 6123 33554432000 1073741824 1073778376 140735213772400 140735213763536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22881/statm: 2474109 6123 2156 9 0 2464786 0
[pid=22881/tid=22882] ppid=22878 vsize=9896436 CPUtime=0.07 cores=4-7,12-15
/proc/22881/task/22882/stat : 22882 (java) R 22878 22881 15292 0 -1 4202560 2416 0 1 0 7 0 0 0 20 0 23 0 23831986 10133950464 6123 33554432000 1073741824 1073778376 140735213772400 139737078795168 139736912047311 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9896436
[startup+0.200266 s]
/proc/loadavg: 4.30 4.16 4.11 3/284 22881
/proc/meminfo: memFree=29820056/32872528 swapFree=7804/7804
[pid=22881] ppid=22878 vsize=9896436 CPUtime=0.29 cores=4-7,12-15
/proc/22881/stat : 22881 (java) S 22878 22881 15292 0 -1 4202496 5021 0 1 0 28 1 0 0 20 0 23 0 23831985 10133950464 7028 33554432000 1073741824 1073778376 140735213772400 140735213763536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22881/statm: 2474109 7028 2223 9 0 2464786 0
[pid=22881/tid=22882] ppid=22878 vsize=9896436 CPUtime=0.17 cores=4-7,12-15
/proc/22881/task/22882/stat : 22882 (java) R 22878 22881 15292 0 -1 4202560 2431 0 1 0 16 1 0 0 20 0 23 0 23831986 10133950464 7028 33554432000 1073741824 1073778376 140735213772400 139737078795168 139737086224560 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9896436
[startup+0.300266 s]
/proc/loadavg: 4.30 4.16 4.11 3/284 22881
/proc/meminfo: memFree=29820056/32872528 swapFree=7804/7804
[pid=22881] ppid=22878 vsize=9896436 CPUtime=0.5 cores=4-7,12-15
/proc/22881/stat : 22881 (java) S 22878 22881 15292 0 -1 4202496 5857 0 1 0 48 2 0 0 20 0 23 0 23831985 10133950464 9503 33554432000 1073741824 1073778376 140735213772400 140735213763536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22881/statm: 2474109 9503 2234 9 0 2464786 0
[pid=22881/tid=22882] ppid=22878 vsize=9896436 CPUtime=0.27 cores=4-7,12-15
/proc/22881/task/22882/stat : 22882 (java) R 22878 22881 15292 0 -1 4202560 2438 0 1 0 26 1 0 0 20 0 23 0 23831986 10133950464 9503 33554432000 1073741824 1073778376 140735213772400 139737078795168 139736912047157 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9896436
[startup+0.700234 s]
/proc/loadavg: 4.30 4.16 4.11 3/284 22881
/proc/meminfo: memFree=29820056/32872528 swapFree=7804/7804
[pid=22881] ppid=22878 vsize=10162692 CPUtime=1.83 cores=4-7,12-15
/proc/22881/stat : 22881 (java) S 22878 22881 15292 0 -1 4202496 24038 0 1 0 177 6 0 0 20 0 27 0 23831985 10406596608 30274 33554432000 1073741824 1073778376 140735213772400 140735213763536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22881/statm: 2540673 30274 2256 9 0 2531350 0
[pid=22881/tid=22882] ppid=22878 vsize=10162692 CPUtime=0.49 cores=4-7,12-15
/proc/22881/task/22882/stat : 22882 (java) S 22878 22881 15292 0 -1 4202560 2468 0 1 0 47 2 0 0 20 0 27 0 23831986 10406596608 30274 33554432000 1073741824 1073778376 140735213772400 139737078797176 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 10162692
[startup+1.50107 s]
/proc/loadavg: 4.30 4.16 4.11 7/311 22908
/proc/meminfo: memFree=29704888/32872528 swapFree=7804/7804
[pid=22881] ppid=22878 vsize=10162692 CPUtime=4.55 cores=4-7,12-15
/proc/22881/stat : 22881 (java) S 22878 22881 15292 0 -1 4202496 26532 0 1 0 447 8 0 0 20 0 27 0 23831985 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 140735213763536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22881/statm: 2540673 47074 2269 9 0 2531350 0
[pid=22881/tid=22882] ppid=22878 vsize=10162692 CPUtime=0.49 cores=4-7,12-15
/proc/22881/task/22882/stat : 22882 (java) S 22878 22881 15292 0 -1 4202560 2468 0 1 0 47 2 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139737078797176 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22884] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22884/stat : 22884 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139737040288680 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22881/tid=22885] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22885/stat : 22885 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139737039236136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22881/tid=22886] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22886/stat : 22886 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139737038183080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22887] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22887/stat : 22887 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139737037130536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22888] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22888/stat : 22888 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139737036077480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22881/tid=22889] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22889/stat : 22889 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139737035024936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22890] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22890/stat : 22890 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139737033971880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22881/tid=22891] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22891/stat : 22891 (java) S 22878 22881 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139737032919336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22892] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22892/stat : 22892 (java) S 22878 22881 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139737031867304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22881/tid=22893] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22893/stat : 22893 (java) S 22878 22881 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139737030814760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22881/tid=22894] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22894/stat : 22894 (java) S 22878 22881 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736911964840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22881/tid=22895] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22895/stat : 22895 (java) S 22878 22881 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736910912296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22896] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22896/stat : 22896 (java) S 22878 22881 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736909859240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22897] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22897/stat : 22897 (java) S 22878 22881 15292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 23831987 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736019614184 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22898] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22898/stat : 22898 (java) S 22878 22881 15292 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 27 0 23831988 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736018559992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22899] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22899/stat : 22899 (java) S 22878 22881 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23831988 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736017507336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22900] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22900/stat : 22900 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831990 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736016456592 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22901] ppid=22878 vsize=10162692 CPUtime=1.03 cores=4-7,12-15
/proc/22881/task/22901/stat : 22901 (java) S 22878 22881 15292 0 -1 4202560 11900 0 0 0 101 2 0 0 20 0 27 0 23831990 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736015403960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22902] ppid=22878 vsize=10162692 CPUtime=1.02 cores=4-7,12-15
/proc/22881/task/22902/stat : 22902 (java) S 22878 22881 15292 0 -1 4202560 10784 0 0 0 99 3 0 0 20 0 27 0 23831990 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736014350904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22881/tid=22903] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22903/stat : 22903 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831990 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736013298552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22881/tid=22904] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22904/stat : 22904 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831990 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736012245704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22905] ppid=22878 vsize=10162692 CPUtime=0.97 cores=4-7,12-15
/proc/22881/task/22905/stat : 22905 (java) R 22878 22881 15292 0 -1 4202560 17 0 0 0 97 0 0 0 20 0 27 0 23832037 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736011176864 139736912475311 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0
[pid=22881/tid=22906] ppid=22878 vsize=10162692 CPUtime=0.97 cores=4-7,12-15
/proc/22881/task/22906/stat : 22906 (java) R 22878 22881 15292 0 -1 4202560 70 0 0 0 95 2 0 0 20 0 27 0 23832037 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736010115872 139736912935638 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=22881/tid=22907] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22907/stat : 22907 (java) S 22878 22881 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23832042 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736009085864 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22908] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22908/stat : 22908 (java) S 22878 22881 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23832042 10406596608 47074 33554432000 1073741824 1073778376 140735213772400 139736008033832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.55
Current children cumulated vsize (KiB) 10162692
[startup+3.10112 s]
/proc/loadavg: 4.30 4.16 4.11 5/311 22908
/proc/meminfo: memFree=29612124/32872528 swapFree=7804/7804
[pid=22881] ppid=22878 vsize=10162692 CPUtime=7.94 cores=4-7,12-15
/proc/22881/stat : 22881 (java) S 22878 22881 15292 0 -1 4202496 26663 0 1 0 782 12 0 0 20 0 27 0 23831985 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 140735213763536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22881/statm: 2540673 53817 2281 9 0 2531350 0
[pid=22881/tid=22882] ppid=22878 vsize=10162692 CPUtime=0.49 cores=4-7,12-15
/proc/22881/task/22882/stat : 22882 (java) S 22878 22881 15292 0 -1 4202560 2468 0 1 0 47 2 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139737078797176 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22884] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22884/stat : 22884 (java) S 22878 22881 15292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139737040288680 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22885] ppid=22878 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/22881/task/22885/stat : 22885 (java) S 22878 22881 15292 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139737039236136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22881/tid=22886] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22886/stat : 22886 (java) S 22878 22881 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139737038183080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22887] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22887/stat : 22887 (java) S 22878 22881 15292 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139737037130536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22888] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22888/stat : 22888 (java) S 22878 22881 15292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139737036077480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22881/tid=22889] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22889/stat : 22889 (java) S 22878 22881 15292 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139737035024936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22890] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22890/stat : 22890 (java) S 22878 22881 15292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139737033971880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22891] ppid=22878 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/22881/task/22891/stat : 22891 (java) S 22878 22881 15292 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139737032919336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22881/tid=22892] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22892/stat : 22892 (java) S 22878 22881 15292 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139737031867304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22893] ppid=22878 vsize=10162692 CPUtime=0.01 cores=4-7,12-15
/proc/22881/task/22893/stat : 22893 (java) S 22878 22881 15292 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139737030814760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22881/tid=22894] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22894/stat : 22894 (java) S 22878 22881 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736911964840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22895] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22895/stat : 22895 (java) S 22878 22881 15292 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736910912296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22896] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22896/stat : 22896 (java) S 22878 22881 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23831986 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736909859240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22897] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22897/stat : 22897 (java) S 22878 22881 15292 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 27 0 23831987 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736019614184 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22898] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22898/stat : 22898 (java) S 22878 22881 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23831988 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736018559992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22899] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22899/stat : 22899 (java) S 22878 22881 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23831988 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736017507336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22900] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22900/stat : 22900 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831990 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736016456592 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22901] ppid=22878 vsize=10162692 CPUtime=1.07 cores=4-7,12-15
/proc/22881/task/22901/stat : 22901 (java) S 22878 22881 15292 0 -1 4202560 11900 0 0 0 104 3 0 0 20 0 27 0 23831990 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736015403960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22902] ppid=22878 vsize=10162692 CPUtime=1.03 cores=4-7,12-15
/proc/22881/task/22902/stat : 22902 (java) S 22878 22881 15292 0 -1 4202560 10784 0 0 0 100 3 0 0 20 0 27 0 23831990 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736014350904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22881/tid=22903] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22903/stat : 22903 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831990 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736013298552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22881/tid=22904] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22904/stat : 22904 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831990 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736012245704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22905] ppid=22878 vsize=10162692 CPUtime=2.52 cores=4-7,12-15
/proc/22881/task/22905/stat : 22905 (java) R 22878 22881 15292 0 -1 4202560 19 0 0 0 252 0 0 0 20 0 27 0 23832037 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736011190568 139736912834892 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22906] ppid=22878 vsize=10162692 CPUtime=2.54 cores=4-7,12-15
/proc/22881/task/22906/stat : 22906 (java) R 22878 22881 15292 0 -1 4202560 80 0 0 0 252 2 0 0 20 0 27 0 23832037 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736010136744 139736912935573 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0
[pid=22881/tid=22907] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22907/stat : 22907 (java) S 22878 22881 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23832042 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736009085864 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22908] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22908/stat : 22908 (java) S 22878 22881 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23832042 10406596608 53817 33554432000 1073741824 1073778376 140735213772400 139736008033832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.94
Current children cumulated vsize (KiB) 10162692
[startup+6.30111 s]
/proc/loadavg: 4.68 4.24 4.14 5/311 22908
/proc/meminfo: memFree=29485840/32872528 swapFree=7804/7804
################
# More data... #
################
/proc/22881/task/22889/stat : 22889 (java) S 22878 22881 15292 0 -1 4202560 145 0 0 0 320 8 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737035024936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22881/tid=22890] ppid=22878 vsize=10162692 CPUtime=3.34 cores=4-7,12-15
/proc/22881/task/22890/stat : 22890 (java) S 22878 22881 15292 0 -1 4202560 122 0 0 0 328 6 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737033971880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22881/tid=22891] ppid=22878 vsize=10162692 CPUtime=3.5 cores=4-7,12-15
/proc/22881/task/22891/stat : 22891 (java) S 22878 22881 15292 0 -1 4202560 131 0 0 0 342 8 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737032919336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22881/tid=22892] ppid=22878 vsize=10162692 CPUtime=3.27 cores=4-7,12-15
/proc/22881/task/22892/stat : 22892 (java) S 22878 22881 15292 0 -1 4202560 125 0 0 0 320 7 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737031867304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22893] ppid=22878 vsize=10162692 CPUtime=3.43 cores=4-7,12-15
/proc/22881/task/22893/stat : 22893 (java) S 22878 22881 15292 0 -1 4202560 131 0 0 0 334 9 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737030814760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22894] ppid=22878 vsize=10162692 CPUtime=3.36 cores=4-7,12-15
/proc/22881/task/22894/stat : 22894 (java) S 22878 22881 15292 0 -1 4202560 153 0 0 0 327 9 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736911964840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22895] ppid=22878 vsize=10162692 CPUtime=3.38 cores=4-7,12-15
/proc/22881/task/22895/stat : 22895 (java) S 22878 22881 15292 0 -1 4202560 142 0 0 0 330 8 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736910912296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22881/tid=22896] ppid=22878 vsize=10162692 CPUtime=3.27 cores=4-7,12-15
/proc/22881/task/22896/stat : 22896 (java) S 22878 22881 15292 0 -1 4202560 139 0 0 0 321 6 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736909859240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22897] ppid=22878 vsize=10162692 CPUtime=0.5 cores=4-7,12-15
/proc/22881/task/22897/stat : 22897 (java) S 22878 22881 15292 0 -1 4202560 515 0 0 0 38 12 0 0 20 0 27 0 23831987 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736019614184 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22898] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22898/stat : 22898 (java) S 22878 22881 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23831988 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736018559992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22899] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22899/stat : 22899 (java) S 22878 22881 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23831988 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736017507336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22900] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22900/stat : 22900 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831990 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736016456592 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22901] ppid=22878 vsize=10162692 CPUtime=1.8 cores=4-7,12-15
/proc/22881/task/22901/stat : 22901 (java) S 22878 22881 15292 0 -1 4202560 11985 0 0 0 177 3 0 0 20 0 27 0 23831990 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736015403960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22902] ppid=22878 vsize=10162692 CPUtime=1.17 cores=4-7,12-15
/proc/22881/task/22902/stat : 22902 (java) S 22878 22881 15292 0 -1 4202560 10791 0 0 0 114 3 0 0 20 0 27 0 23831990 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736014350904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22903] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22903/stat : 22903 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831990 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736013298552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22881/tid=22904] ppid=22878 vsize=10162692 CPUtime=0.41 cores=4-7,12-15
/proc/22881/task/22904/stat : 22904 (java) S 22878 22881 15292 0 -1 4202560 50 0 0 0 20 21 0 0 20 0 27 0 23831990 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736012245704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22905] ppid=22878 vsize=10162692 CPUtime=873.5 cores=4-7,12-15
/proc/22881/task/22905/stat : 22905 (java) R 22878 22881 15292 0 -1 4202560 519 0 0 0 87336 14 0 0 20 0 27 0 23832037 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736011189776 139736912834892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22906] ppid=22878 vsize=10162692 CPUtime=873.55 cores=4-7,12-15
/proc/22881/task/22906/stat : 22906 (java) R 22878 22881 15292 0 -1 4202560 1073 0 0 0 87326 29 0 0 20 0 27 0 23832037 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736010135744 139736912981710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22907] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22907/stat : 22907 (java) S 22878 22881 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23832042 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736009085864 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22908] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22908/stat : 22908 (java) S 22878 22881 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23832042 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736008033832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10162692
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
############
# WARNING:
# current cumulated CPU time (1795.67 s) is less than in the last sample (1800.09 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.42004 s) to the 'lost time'.
[startup+883.701 s]
/proc/loadavg: 4.04 4.11 4.12 5/311 23035
/proc/meminfo: memFree=30218312/32872528 swapFree=7804/7804
[pid=22881] ppid=22878 vsize=10162692 CPUtime=1800.09 cores=4-7,12-15
/proc/22881/stat : 22881 (java) S 22878 22881 15292 0 -1 4202496 30549 0 1 0 179843 166 0 0 20 0 27 0 23831985 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 140735213763536 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22881/statm: 2540673 250306 2298 9 0 2531350 0
[pid=22881/tid=22882] ppid=22878 vsize=10162692 CPUtime=0.54 cores=4-7,12-15
/proc/22881/task/22882/stat : 22882 (java) S 22878 22881 15292 0 -1 4202560 2483 0 1 0 51 3 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737078797176 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22881/tid=22884] ppid=22878 vsize=10162692 CPUtime=3.41 cores=4-7,12-15
/proc/22881/task/22884/stat : 22884 (java) S 22878 22881 15292 0 -1 4202560 144 0 0 0 334 7 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737040288680 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22881/tid=22885] ppid=22878 vsize=10162692 CPUtime=3.42 cores=4-7,12-15
/proc/22881/task/22885/stat : 22885 (java) S 22878 22881 15292 0 -1 4202560 146 0 0 0 333 9 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737039236136 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22881/tid=22886] ppid=22878 vsize=10162692 CPUtime=3.32 cores=4-7,12-15
/proc/22881/task/22886/stat : 22886 (java) S 22878 22881 15292 0 -1 4202560 162 0 0 0 324 8 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737038183080 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22881/tid=22887] ppid=22878 vsize=10162692 CPUtime=3.32 cores=4-7,12-15
/proc/22881/task/22887/stat : 22887 (java) S 22878 22881 15292 0 -1 4202560 185 0 0 0 323 9 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737037130536 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22881/tid=22888] ppid=22878 vsize=10162692 CPUtime=3.31 cores=4-7,12-15
/proc/22881/task/22888/stat : 22888 (java) S 22878 22881 15292 0 -1 4202560 143 0 0 0 324 7 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737036077480 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22889] ppid=22878 vsize=10162692 CPUtime=3.28 cores=4-7,12-15
/proc/22881/task/22889/stat : 22889 (java) S 22878 22881 15292 0 -1 4202560 145 0 0 0 320 8 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737035024936 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22881/tid=22890] ppid=22878 vsize=10162692 CPUtime=3.34 cores=4-7,12-15
/proc/22881/task/22890/stat : 22890 (java) S 22878 22881 15292 0 -1 4202560 122 0 0 0 328 6 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737033971880 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 13 0 0 0 0 0
[pid=22881/tid=22891] ppid=22878 vsize=10162692 CPUtime=3.5 cores=4-7,12-15
/proc/22881/task/22891/stat : 22891 (java) S 22878 22881 15292 0 -1 4202560 131 0 0 0 342 8 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737032919336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 14 0 0 0 0 0
[pid=22881/tid=22892] ppid=22878 vsize=10162692 CPUtime=3.27 cores=4-7,12-15
/proc/22881/task/22892/stat : 22892 (java) S 22878 22881 15292 0 -1 4202560 125 0 0 0 320 7 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737031867304 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22893] ppid=22878 vsize=10162692 CPUtime=3.43 cores=4-7,12-15
/proc/22881/task/22893/stat : 22893 (java) S 22878 22881 15292 0 -1 4202560 131 0 0 0 334 9 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139737030814760 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22894] ppid=22878 vsize=10162692 CPUtime=3.36 cores=4-7,12-15
/proc/22881/task/22894/stat : 22894 (java) S 22878 22881 15292 0 -1 4202560 153 0 0 0 327 9 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736911964840 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22895] ppid=22878 vsize=10162692 CPUtime=3.38 cores=4-7,12-15
/proc/22881/task/22895/stat : 22895 (java) S 22878 22881 15292 0 -1 4202560 142 0 0 0 330 8 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736910912296 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22881/tid=22896] ppid=22878 vsize=10162692 CPUtime=3.27 cores=4-7,12-15
/proc/22881/task/22896/stat : 22896 (java) S 22878 22881 15292 0 -1 4202560 139 0 0 0 321 6 0 0 20 0 27 0 23831986 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736909859240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22897] ppid=22878 vsize=10162692 CPUtime=0.5 cores=4-7,12-15
/proc/22881/task/22897/stat : 22897 (java) S 22878 22881 15292 0 -1 4202560 515 0 0 0 38 12 0 0 20 0 27 0 23831987 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736019614184 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22898] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22898/stat : 22898 (java) S 22878 22881 15292 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 23831988 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736018559992 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22899] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22899/stat : 22899 (java) S 22878 22881 15292 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 27 0 23831988 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736017507336 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22900] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22900/stat : 22900 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831990 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736016456592 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 15 0 0 0 0 0
[pid=22881/tid=22901] ppid=22878 vsize=10162692 CPUtime=1.8 cores=4-7,12-15
/proc/22881/task/22901/stat : 22901 (java) S 22878 22881 15292 0 -1 4202560 11985 0 0 0 177 3 0 0 20 0 27 0 23831990 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736015403960 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22902] ppid=22878 vsize=10162692 CPUtime=1.17 cores=4-7,12-15
/proc/22881/task/22902/stat : 22902 (java) S 22878 22881 15292 0 -1 4202560 10791 0 0 0 114 3 0 0 20 0 27 0 23831990 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736014350904 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22903] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22903/stat : 22903 (java) S 22878 22881 15292 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 23831990 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736013298552 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 12 0 0 0 0 0
[pid=22881/tid=22904] ppid=22878 vsize=10162692 CPUtime=0.41 cores=4-7,12-15
/proc/22881/task/22904/stat : 22904 (java) S 22878 22881 15292 0 -1 4202560 50 0 0 0 20 21 0 0 20 0 27 0 23831990 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736012245704 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22881/tid=22905] ppid=22878 vsize=10162692 CPUtime=873.5 cores=4-7,12-15
/proc/22881/task/22905/stat : 22905 (java) R 22878 22881 15292 0 -1 4202560 519 0 0 0 87336 14 0 0 20 0 27 0 23832037 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736011189776 139736912834892 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22906] ppid=22878 vsize=10162692 CPUtime=873.55 cores=4-7,12-15
/proc/22881/task/22906/stat : 22906 (java) R 22878 22881 15292 0 -1 4202560 1073 0 0 0 87326 29 0 0 20 0 27 0 23832037 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736010135744 139736912981710 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=22881/tid=22907] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22907/stat : 22907 (java) S 22878 22881 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23832042 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736009085864 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=22881/tid=22908] ppid=22878 vsize=10162692 CPUtime=0 cores=4-7,12-15
/proc/22881/task/22908/stat : 22908 (java) S 22878 22881 15292 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 23832042 10406596608 250306 33554432000 1073741824 1073778376 140735213772400 139736008033832 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10162692
[startup+883.806 s]
/proc/loadavg: 4.04 4.11 4.12 5/311 23035
/proc/meminfo: memFree=30218312/32872528 swapFree=7804/7804
[pid=22881] ppid=22878 vsize=0 CPUtime=1795.67 cores=4-7,12-15
/proc/22881/stat : 22881 (java) Z 22878 22881 15292 0 -1 4203532 30583 0 1 0 179361 206 0 0 20 0 2 0 23831985 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22881/statm: 0 0 0 0 0 0 0
[pid=22881/tid=22891] ppid=22878 vsize=0 CPUtime=3.5 cores=4-7,12-15
/proc/22881/task/22891/stat : 22891 (java) R 22878 22881 15292 0 -1 4203588 131 0 0 0 342 8 0 0 20 0 2 0 23831986 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (KiB) 0
#
############
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 22881 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+883.806 s]
/proc/loadavg: 4.04 4.11 4.12 5/311 23035
/proc/meminfo: memFree=30218312/32872528 swapFree=7804/7804
[pid=22881] ppid=22878 vsize=0 CPUtime=1795.67 cores=4-7,12-15
/proc/22881/stat : 22881 (java) Z 22878 22881 15292 0 -1 4203532 30583 0 1 0 179361 206 0 0 20 0 2 0 23831985 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/22881/statm: 0 0 0 0 0 0 0
[pid=22881/tid=22891] ppid=22878 vsize=0 CPUtime=3.5 cores=4-7,12-15
/proc/22881/task/22891/stat : 22891 (java) R 22878 22881 15292 0 -1 4203588 131 0 0 0 342 8 0 0 20 0 2 0 23831986 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 13 0 0 0 0 0
Current children cumulated CPU time (s) 1795.67
Current children cumulated vsize (KiB) 0
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22881 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=569336
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=70685
# CPU time returned by wait4() is 1795.64
# while last known CPU time is 1795.67
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 4.42004
# lost CPU user time (s): 4.82007
# lost CPU system time (s): -0.4
Real time (s): 883.81
CPU time (s): 1800.09
CPU user time (s): 1798.43
CPU system time (s): 1.66
CPU usage (%): 203.674
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.57
system time used= 2.07069
maximum resident set size= 1118164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30583
page faults= 1
swaps= 0
block input operations= 0
block output operations= 904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55071
involuntary context switches= 75064
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.07192 second user time and 10.3774 second system time
The end