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-4097948-1466114836/watcher-4097948-1466114836 -o /tmp/evaluation-result-4097948-1466114836/solver-4097948-1466114836 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466112166-19499 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4097948-1466114836.opb
pid=22970
running on 8 cores: 0-3,8-11
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: 3.92 4.06 3.94 4/284 22973
/proc/meminfo: memFree=29556104/32872528 swapFree=7036/7036
[pid=22973] ppid=22970 vsize=102664 CPUtime=0 cores=0-3,8-11
/proc/22973/stat : 22973 (java) S 22970 22973 19483 0 -1 4202496 1505 0 1 0 0 0 0 0 20 0 2 0 13528207 105127936 1109 33554432000 1073741824 1073778376 140735916818256 140735916809392 216811995197 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22973/statm: 25666 1109 857 9 0 16775 0
[pid=22973/tid=22974] ppid=22970 vsize=152584 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22974/stat : 22974 (java) R 22970 22973 19483 0 -1 4202560 295 0 1 0 0 0 0 0 20 0 2 0 13528208 156246016 1121 33554432000 1073741824 1073778376 140735916818256 140335401048368 140335405059504 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0
[startup+0.100098 s]
/proc/loadavg: 3.92 4.06 3.94 4/284 22973
/proc/meminfo: memFree=29556104/32872528 swapFree=7036/7036
[pid=22973] ppid=22970 vsize=9896436 CPUtime=0.11 cores=0-3,8-11
/proc/22973/stat : 22973 (java) S 22970 22973 19483 0 -1 4202496 4496 0 1 0 9 2 0 0 20 0 23 0 13528207 10133950464 6132 33554432000 1073741824 1073778376 140735916818256 140735916809392 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22973/statm: 2474109 6132 2156 9 0 2464786 0
[pid=22973/tid=22974] ppid=22970 vsize=9896436 CPUtime=0.07 cores=0-3,8-11
/proc/22973/task/22974/stat : 22974 (java) R 22970 22973 19483 0 -1 4202560 2423 0 1 0 6 1 0 0 20 0 23 0 13528208 10133950464 6132 33554432000 1073741824 1073778376 140735916818256 140335401044744 216812021005 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9896436
[startup+0.200285 s]
/proc/loadavg: 3.92 4.06 3.94 4/284 22973
/proc/meminfo: memFree=29556104/32872528 swapFree=7036/7036
[pid=22973] ppid=22970 vsize=9896436 CPUtime=0.31 cores=0-3,8-11
/proc/22973/stat : 22973 (java) S 22970 22973 19483 0 -1 4202496 6444 0 1 0 29 2 0 0 20 0 23 0 13528207 10133950464 8600 33554432000 1073741824 1073778376 140735916818256 140735916809392 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22973/statm: 2474109 8600 2220 9 0 2464786 0
[pid=22973/tid=22974] ppid=22970 vsize=9896436 CPUtime=0.17 cores=0-3,8-11
/proc/22973/task/22974/stat : 22974 (java) R 22970 22973 19483 0 -1 4202560 2439 0 1 0 16 1 0 0 20 0 23 0 13528208 10133950464 8600 33554432000 1073741824 1073778376 140735916818256 140335401044744 140335404331984 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9896436
[startup+0.300341 s]
/proc/loadavg: 3.92 4.06 3.94 4/284 22973
/proc/meminfo: memFree=29556104/32872528 swapFree=7036/7036
[pid=22973] ppid=22970 vsize=9896436 CPUtime=0.6 cores=0-3,8-11
/proc/22973/stat : 22973 (java) S 22970 22973 19483 0 -1 4202496 6977 0 1 0 57 3 0 0 20 0 23 0 13528207 10133950464 11345 33554432000 1073741824 1073778376 140735916818256 140735916809392 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22973/statm: 2474109 11345 2240 9 0 2464786 0
[pid=22973/tid=22974] ppid=22970 vsize=9896436 CPUtime=0.27 cores=0-3,8-11
/proc/22973/task/22974/stat : 22974 (java) R 22970 22973 19483 0 -1 4202560 2444 0 1 0 26 1 0 0 20 0 23 0 13528208 10133950464 11345 33554432000 1073741824 1073778376 140735916818256 140335401044744 140335255011944 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 9896436
[startup+0.70024 s]
/proc/loadavg: 3.92 4.06 3.94 4/284 22973
/proc/meminfo: memFree=29556104/32872528 swapFree=7036/7036
[pid=22973] ppid=22970 vsize=9896436 CPUtime=1.13 cores=0-3,8-11
/proc/22973/stat : 22973 (java) S 22970 22973 19483 0 -1 4202496 12611 0 1 0 107 6 0 0 20 0 23 0 13528207 10133950464 45123 33554432000 1073741824 1073778376 140735916818256 140735916809392 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22973/statm: 2474109 45123 2258 9 0 2464786 0
[pid=22973/tid=22974] ppid=22970 vsize=9896436 CPUtime=0.67 cores=0-3,8-11
/proc/22973/task/22974/stat : 22974 (java) R 22970 22973 19483 0 -1 4202560 2504 0 1 0 63 4 0 0 20 0 23 0 13528208 10133950464 45123 33554432000 1073741824 1073778376 140735916818256 140335401045384 140335255092054 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 9896436
[startup+1.50155 s]
/proc/loadavg: 3.92 4.06 3.94 7/311 23000
/proc/meminfo: memFree=29370132/32872528 swapFree=7036/7036
[pid=22973] ppid=22970 vsize=10162692 CPUtime=3.89 cores=0-3,8-11
/proc/22973/stat : 22973 (java) S 22970 22973 19483 0 -1 4202496 26933 0 1 0 376 13 0 0 20 0 27 0 13528207 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140735916809392 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22973/statm: 2540673 54661 2283 9 0 2531350 0
[pid=22973/tid=22974] ppid=22970 vsize=10162692 CPUtime=0.95 cores=0-3,8-11
/proc/22973/task/22974/stat : 22974 (java) S 22970 22973 19483 0 -1 4202560 2521 0 1 0 91 4 0 0 20 0 27 0 13528208 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140335401046904 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22973/tid=22976] ppid=22970 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/22973/task/22976/stat : 22976 (java) S 22970 22973 19483 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140335373498792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22977] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22977/stat : 22977 (java) S 22970 22973 19483 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140335243635240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22978] ppid=22970 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/22973/task/22978/stat : 22978 (java) S 22970 22973 19483 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140335242582184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22979] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22979/stat : 22979 (java) S 22970 22973 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140335241529640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22980] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22980/stat : 22980 (java) S 22970 22973 19483 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140335240477608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22981] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22981/stat : 22981 (java) S 22970 22973 19483 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140335239425064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22973/tid=22982] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22982/stat : 22982 (java) S 22970 22973 19483 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334902274728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22983] ppid=22970 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/22973/task/22983/stat : 22983 (java) S 22970 22973 19483 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334901222184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22973/tid=22984] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22984/stat : 22984 (java) S 22970 22973 19483 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334900169128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22985] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22985/stat : 22985 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334899116584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22986] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22986/stat : 22986 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334898063528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22987] ppid=22970 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/22973/task/22987/stat : 22987 (java) S 22970 22973 19483 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334897010984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22973/tid=22988] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22988/stat : 22988 (java) S 22970 22973 19483 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334895958952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22973/tid=22989] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22989/stat : 22989 (java) S 22970 22973 19483 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 27 0 13528210 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334878497768 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22990] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22990/stat : 22990 (java) S 22970 22973 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13528210 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334877443576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22991] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22991/stat : 22991 (java) S 22970 22973 19483 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 13528210 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334876390920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22992] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22992/stat : 22992 (java) S 22970 22973 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13528212 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334875339152 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22993] ppid=22970 vsize=10162692 CPUtime=0.96 cores=0-3,8-11
/proc/22973/task/22993/stat : 22993 (java) R 22970 22973 19483 0 -1 4202560 12851 0 0 0 94 2 0 0 20 0 27 0 13528212 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334874273496 140335408033351 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22994] ppid=22970 vsize=10162692 CPUtime=0.77 cores=0-3,8-11
/proc/22973/task/22994/stat : 22994 (java) R 22970 22973 19483 0 -1 4202560 10065 0 0 0 75 2 0 0 20 0 27 0 13528212 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334873220864 140335404890471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22973/tid=22995] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22995/stat : 22995 (java) S 22970 22973 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13528212 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334872181112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22996] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22996/stat : 22996 (java) S 22970 22973 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13528212 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334871129288 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22973/tid=22997] ppid=22970 vsize=10162692 CPUtime=0.48 cores=0-3,8-11
/proc/22973/task/22997/stat : 22997 (java) R 22970 22973 19483 0 -1 4202560 22 0 0 0 48 0 0 0 20 0 27 0 13528308 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334869976280 140335254718389 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22998] ppid=22970 vsize=10162692 CPUtime=0.48 cores=0-3,8-11
/proc/22973/task/22998/stat : 22998 (java) R 22970 22973 19483 0 -1 4202560 30 0 0 0 48 0 0 0 20 0 27 0 13528308 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334868906856 140335255641854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22973/tid=22999] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22999/stat : 22999 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528309 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334867871144 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22973/tid=23000] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/23000/stat : 23000 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528309 10406596608 54661 33554432000 1073741824 1073778376 140735916818256 140334866818088 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 3.89
Current children cumulated vsize (KiB) 10162692
[startup+3.10116 s]
/proc/loadavg: 3.92 4.06 3.94 6/311 23000
/proc/meminfo: memFree=29344896/32872528 swapFree=7036/7036
[pid=22973] ppid=22970 vsize=10162692 CPUtime=7.93 cores=0-3,8-11
/proc/22973/stat : 22973 (java) S 22970 22973 19483 0 -1 4202496 28138 0 1 0 780 13 0 0 20 0 27 0 13528207 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140735916809392 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22973/statm: 2540673 54106 2287 9 0 2531350 0
[pid=22973/tid=22974] ppid=22970 vsize=10162692 CPUtime=0.95 cores=0-3,8-11
/proc/22973/task/22974/stat : 22974 (java) S 22970 22973 19483 0 -1 4202560 2521 0 1 0 91 4 0 0 20 0 27 0 13528208 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140335401046904 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22973/tid=22976] ppid=22970 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/22973/task/22976/stat : 22976 (java) S 22970 22973 19483 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140335373498792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22977] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22977/stat : 22977 (java) S 22970 22973 19483 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140335243635240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22978] ppid=22970 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/22973/task/22978/stat : 22978 (java) S 22970 22973 19483 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140335242582184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22979] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22979/stat : 22979 (java) S 22970 22973 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140335241529640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22980] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22980/stat : 22980 (java) S 22970 22973 19483 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140335240477608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22981] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22981/stat : 22981 (java) S 22970 22973 19483 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140335239425064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22973/tid=22982] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22982/stat : 22982 (java) S 22970 22973 19483 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334902274728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22983] ppid=22970 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/22973/task/22983/stat : 22983 (java) S 22970 22973 19483 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334901222184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22973/tid=22984] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22984/stat : 22984 (java) S 22970 22973 19483 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334900169128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22985] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22985/stat : 22985 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334899116584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22986] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22986/stat : 22986 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334898063528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22987] ppid=22970 vsize=10162692 CPUtime=0.01 cores=0-3,8-11
/proc/22973/task/22987/stat : 22987 (java) S 22970 22973 19483 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334897010984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22973/tid=22988] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22988/stat : 22988 (java) S 22970 22973 19483 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 27 0 13528209 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334895958952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22973/tid=22989] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22989/stat : 22989 (java) S 22970 22973 19483 0 -1 4202560 74 0 0 0 0 0 0 0 20 0 27 0 13528210 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334878497768 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22990] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22990/stat : 22990 (java) S 22970 22973 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13528210 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334877443576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22991] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22991/stat : 22991 (java) S 22970 22973 19483 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 13528210 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334876390920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22992] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22992/stat : 22992 (java) S 22970 22973 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13528212 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334875339152 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22993] ppid=22970 vsize=10162692 CPUtime=1.47 cores=0-3,8-11
/proc/22973/task/22993/stat : 22993 (java) S 22970 22973 19483 0 -1 4202560 13393 0 0 0 145 2 0 0 20 0 27 0 13528212 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334874286520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22994] ppid=22970 vsize=10162692 CPUtime=1.1 cores=0-3,8-11
/proc/22973/task/22994/stat : 22994 (java) S 22970 22973 19483 0 -1 4202560 10727 0 0 0 108 2 0 0 20 0 27 0 13528212 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334873233464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22973/tid=22995] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22995/stat : 22995 (java) S 22970 22973 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13528212 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334872181112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22996] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22996/stat : 22996 (java) S 22970 22973 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13528212 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334871129288 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22973/tid=22997] ppid=22970 vsize=10162692 CPUtime=2.08 cores=0-3,8-11
/proc/22973/task/22997/stat : 22997 (java) R 22970 22973 19483 0 -1 4202560 23 0 0 0 208 0 0 0 20 0 27 0 13528308 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334869976520 140335255412921 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22998] ppid=22970 vsize=10162692 CPUtime=2.07 cores=0-3,8-11
/proc/22973/task/22998/stat : 22998 (java) R 22970 22973 19483 0 -1 4202560 30 0 0 0 207 0 0 0 20 0 27 0 13528308 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334868922120 140335255554242 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22973/tid=22999] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22999/stat : 22999 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528309 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334867871144 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22973/tid=23000] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/23000/stat : 23000 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528309 10406596608 54106 33554432000 1073741824 1073778376 140735916818256 140334866818088 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 10162692
[startup+6.30119 s]
/proc/loadavg: 3.92 4.06 3.94 5/311 23000
/proc/meminfo: memFree=29238508/32872528 swapFree=7036/7036
################
# More data... #
################
[pid=22973/tid=22994] ppid=22970 vsize=10162692 CPUtime=1.82 cores=0-3,8-11
/proc/22973/task/22994/stat : 22994 (java) S 22970 22973 19483 0 -1 4202560 10746 0 0 0 180 2 0 0 20 0 27 0 13528212 10406596608 985889 33554432000 1073741824 1073778376 140735916818256 140334873233464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22995] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22995/stat : 22995 (java) S 22970 22973 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13528212 10406596608 985889 33554432000 1073741824 1073778376 140735916818256 140334872181112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22996] ppid=22970 vsize=10162692 CPUtime=0.32 cores=0-3,8-11
/proc/22973/task/22996/stat : 22996 (java) S 22970 22973 19483 0 -1 4202560 43 0 0 0 17 15 0 0 20 0 27 0 13528212 10406596608 985889 33554432000 1073741824 1073778376 140735916818256 140334871129288 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22997] ppid=22970 vsize=10162692 CPUtime=744.35 cores=0-3,8-11
/proc/22973/task/22997/stat : 22997 (java) R 22970 22973 19483 0 -1 4202560 59 0 0 0 74424 11 0 0 20 0 27 0 13528308 10406596608 985889 33554432000 1073741824 1073778376 140735916818256 140334869975088 140335255329969 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22973/tid=22998] ppid=22970 vsize=10162692 CPUtime=744.34 cores=0-3,8-11
/proc/22973/task/22998/stat : 22998 (java) R 22970 22973 19483 0 -1 4202560 1530 0 0 0 74392 42 0 0 20 0 27 0 13528308 10406596608 985889 33554432000 1073741824 1073778376 140735916818256 140334868920976 140335255592670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22999] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22999/stat : 22999 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528309 10406596608 985889 33554432000 1073741824 1073778376 140735916818256 140334867871144 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22973/tid=23000] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/23000/stat : 23000 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528309 10406596608 985889 33554432000 1073741824 1073778376 140735916818256 140334866818088 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1580.69
Current children cumulated vsize (KiB) 10162692
[startup+822.301 s]
/proc/loadavg: 3.95 4.19 4.13 5/312 23241
/proc/meminfo: memFree=24176900/32872528 swapFree=7036/7036
[pid=22973] ppid=22970 vsize=10162692 CPUtime=1703.75 cores=0-3,8-11
/proc/22973/stat : 22973 (java) S 22970 22973 19483 0 -1 4202496 42177 0 1 0 169721 654 0 0 20 0 27 0 13528207 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140735916809392 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22973/statm: 2540673 989840 2300 9 0 2531350 0
[pid=22973/tid=22974] ppid=22970 vsize=10162692 CPUtime=0.99 cores=0-3,8-11
/proc/22973/task/22974/stat : 22974 (java) S 22970 22973 19483 0 -1 4202560 2549 0 1 0 93 6 0 0 20 0 27 0 13528208 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140335401046904 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22976] ppid=22970 vsize=10162692 CPUtime=6.36 cores=0-3,8-11
/proc/22973/task/22976/stat : 22976 (java) S 22970 22973 19483 0 -1 4202560 662 0 0 0 591 45 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140335373498792 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22977] ppid=22970 vsize=10162692 CPUtime=6.66 cores=0-3,8-11
/proc/22973/task/22977/stat : 22977 (java) S 22970 22973 19483 0 -1 4202560 634 0 0 0 623 43 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140335243635240 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22978] ppid=22970 vsize=10162692 CPUtime=6.14 cores=0-3,8-11
/proc/22973/task/22978/stat : 22978 (java) S 22970 22973 19483 0 -1 4202560 962 0 0 0 564 50 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140335242582184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22973/tid=22979] ppid=22970 vsize=10162692 CPUtime=5.94 cores=0-3,8-11
/proc/22973/task/22979/stat : 22979 (java) S 22970 22973 19483 0 -1 4202560 629 0 0 0 550 44 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140335241529640 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22980] ppid=22970 vsize=10162692 CPUtime=6.53 cores=0-3,8-11
/proc/22973/task/22980/stat : 22980 (java) S 22970 22973 19483 0 -1 4202560 745 0 0 0 603 50 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140335240477608 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22973/tid=22981] ppid=22970 vsize=10162692 CPUtime=6.68 cores=0-3,8-11
/proc/22973/task/22981/stat : 22981 (java) S 22970 22973 19483 0 -1 4202560 745 0 0 0 622 46 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140335239425064 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22973/tid=22982] ppid=22970 vsize=10162692 CPUtime=6.41 cores=0-3,8-11
/proc/22973/task/22982/stat : 22982 (java) S 22970 22973 19483 0 -1 4202560 583 0 0 0 604 37 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334902274728 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22983] ppid=22970 vsize=10162692 CPUtime=6.47 cores=0-3,8-11
/proc/22973/task/22983/stat : 22983 (java) S 22970 22973 19483 0 -1 4202560 664 0 0 0 598 49 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334901222184 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22973/tid=22984] ppid=22970 vsize=10162692 CPUtime=5.99 cores=0-3,8-11
/proc/22973/task/22984/stat : 22984 (java) S 22970 22973 19483 0 -1 4202560 580 0 0 0 561 38 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334900169128 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22985] ppid=22970 vsize=10162692 CPUtime=6.19 cores=0-3,8-11
/proc/22973/task/22985/stat : 22985 (java) S 22970 22973 19483 0 -1 4202560 670 0 0 0 571 48 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334899116584 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22973/tid=22986] ppid=22970 vsize=10162692 CPUtime=6.1 cores=0-3,8-11
/proc/22973/task/22986/stat : 22986 (java) S 22970 22973 19483 0 -1 4202560 689 0 0 0 558 52 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334898063528 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22987] ppid=22970 vsize=10162692 CPUtime=6.4 cores=0-3,8-11
/proc/22973/task/22987/stat : 22987 (java) S 22970 22973 19483 0 -1 4202560 624 0 0 0 597 43 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334897010984 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22988] ppid=22970 vsize=10162692 CPUtime=6.21 cores=0-3,8-11
/proc/22973/task/22988/stat : 22988 (java) S 22970 22973 19483 0 -1 4202560 726 0 0 0 580 41 0 0 20 0 27 0 13528209 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334895958952 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 8 0 0 0 0 0
[pid=22973/tid=22989] ppid=22970 vsize=10162692 CPUtime=4.92 cores=0-3,8-11
/proc/22973/task/22989/stat : 22989 (java) S 22970 22973 19483 0 -1 4202560 3190 0 0 0 488 4 0 0 20 0 27 0 13528210 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334878497768 216812009385 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22990] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22990/stat : 22990 (java) S 22970 22973 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13528210 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334877443576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22991] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22991/stat : 22991 (java) S 22970 22973 19483 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 13528210 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334876390920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22992] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22992/stat : 22992 (java) S 22970 22973 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13528212 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334875339152 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22993] ppid=22970 vsize=10162692 CPUtime=1.91 cores=0-3,8-11
/proc/22973/task/22993/stat : 22993 (java) S 22970 22973 19483 0 -1 4202560 13875 0 0 0 189 2 0 0 20 0 27 0 13528212 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334874286520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22994] ppid=22970 vsize=10162692 CPUtime=1.82 cores=0-3,8-11
/proc/22973/task/22994/stat : 22994 (java) S 22970 22973 19483 0 -1 4202560 10746 0 0 0 180 2 0 0 20 0 27 0 13528212 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334873233464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22995] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22995/stat : 22995 (java) S 22970 22973 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13528212 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334872181112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22996] ppid=22970 vsize=10162692 CPUtime=0.34 cores=0-3,8-11
/proc/22973/task/22996/stat : 22996 (java) S 22970 22973 19483 0 -1 4202560 47 0 0 0 18 16 0 0 20 0 27 0 13528212 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334871129288 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22997] ppid=22970 vsize=10162692 CPUtime=803.65 cores=0-3,8-11
/proc/22973/task/22997/stat : 22997 (java) R 22970 22973 19483 0 -1 4202560 61 0 0 0 80353 12 0 0 20 0 27 0 13528308 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334869974208 140335255479021 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22973/tid=22998] ppid=22970 vsize=10162692 CPUtime=803.64 cores=0-3,8-11
/proc/22973/task/22998/stat : 22998 (java) R 22970 22973 19483 0 -1 4202560 1531 0 0 0 80321 43 0 0 20 0 27 0 13528308 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334868921792 140335255427880 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22999] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22999/stat : 22999 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528309 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334867871144 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22973/tid=23000] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/23000/stat : 23000 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528309 10406596608 989840 33554432000 1073741824 1073778376 140735916818256 140334866818088 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1703.75
Current children cumulated vsize (KiB) 10162692
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+869.001 s]
/proc/loadavg: 3.88 4.13 4.11 16/311 23242
/proc/meminfo: memFree=24129780/32872528 swapFree=7036/7036
[pid=22973] ppid=22970 vsize=10162692 CPUtime=1800.56 cores=0-3,8-11
/proc/22973/stat : 22973 (java) S 22970 22973 19483 0 -1 4202496 42243 0 1 0 179398 658 0 0 20 0 27 0 13528207 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140735916809392 216811995197 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/22973/statm: 2540673 999571 2300 9 0 2531350 0
[pid=22973/tid=22974] ppid=22970 vsize=10162692 CPUtime=0.99 cores=0-3,8-11
/proc/22973/task/22974/stat : 22974 (java) S 22970 22973 19483 0 -1 4202560 2550 0 1 0 93 6 0 0 20 0 27 0 13528208 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140335401046616 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22976] ppid=22970 vsize=10162692 CPUtime=6.69 cores=0-3,8-11
/proc/22973/task/22976/stat : 22976 (java) R 22970 22973 19483 0 -1 4202560 669 0 0 0 624 45 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140335373498920 216808590471 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22977] ppid=22970 vsize=10162692 CPUtime=7.01 cores=0-3,8-11
/proc/22973/task/22977/stat : 22977 (java) R 22970 22973 19483 0 -1 4202560 639 0 0 0 657 44 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140335243635120 140335407554959 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22978] ppid=22970 vsize=10162692 CPUtime=6.39 cores=0-3,8-11
/proc/22973/task/22978/stat : 22978 (java) R 22970 22973 19483 0 -1 4202560 965 0 0 0 588 51 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140335242582312 216808590471 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22979] ppid=22970 vsize=10162692 CPUtime=6.42 cores=0-3,8-11
/proc/22973/task/22979/stat : 22979 (java) R 22970 22973 19483 0 -1 4202560 633 0 0 0 598 44 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140335241529480 216808590471 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=22973/tid=22980] ppid=22970 vsize=10162692 CPUtime=7.01 cores=0-3,8-11
/proc/22973/task/22980/stat : 22980 (java) R 22970 22973 19483 0 -1 4202560 750 0 0 0 650 51 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140335240477784 216808590471 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22981] ppid=22970 vsize=10162692 CPUtime=6.99 cores=0-3,8-11
/proc/22973/task/22981/stat : 22981 (java) R 22970 22973 19483 0 -1 4202560 748 0 0 0 653 46 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140335239425240 216808590471 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0
[pid=22973/tid=22982] ppid=22970 vsize=10162692 CPUtime=6.71 cores=0-3,8-11
/proc/22973/task/22982/stat : 22982 (java) R 22970 22973 19483 0 -1 4202560 584 0 0 0 634 37 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334902274856 216808590471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22983] ppid=22970 vsize=10162692 CPUtime=6.79 cores=0-3,8-11
/proc/22973/task/22983/stat : 22983 (java) R 22970 22973 19483 0 -1 4202560 667 0 0 0 630 49 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334901222184 216808590471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22973/tid=22984] ppid=22970 vsize=10162692 CPUtime=6.34 cores=0-3,8-11
/proc/22973/task/22984/stat : 22984 (java) R 22970 22973 19483 0 -1 4202560 584 0 0 0 596 38 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334900169304 140335407554944 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22985] ppid=22970 vsize=10162692 CPUtime=6.5 cores=0-3,8-11
/proc/22973/task/22985/stat : 22985 (java) R 22970 22973 19483 0 -1 4202560 675 0 0 0 602 48 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334899116712 216808590471 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22986] ppid=22970 vsize=10162692 CPUtime=6.35 cores=0-3,8-11
/proc/22973/task/22986/stat : 22986 (java) R 22970 22973 19483 0 -1 4202560 690 0 0 0 583 52 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334898063704 140335405222101 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22987] ppid=22970 vsize=10162692 CPUtime=6.64 cores=0-3,8-11
/proc/22973/task/22987/stat : 22987 (java) R 22970 22973 19483 0 -1 4202560 628 0 0 0 621 43 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334897011112 216808590471 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22988] ppid=22970 vsize=10162692 CPUtime=6.78 cores=0-3,8-11
/proc/22973/task/22988/stat : 22988 (java) R 22970 22973 19483 0 -1 4202560 730 0 0 0 636 42 0 0 20 0 27 0 13528209 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334895959128 216808590471 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0
[pid=22973/tid=22989] ppid=22970 vsize=10162692 CPUtime=4.92 cores=0-3,8-11
/proc/22973/task/22989/stat : 22989 (java) S 22970 22973 19483 0 -1 4202560 3198 0 0 0 488 4 0 0 20 0 27 0 13528210 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334878496648 216812008508 0 0 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22990] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22990/stat : 22990 (java) S 22970 22973 19483 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 27 0 13528210 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334877443576 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22991] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22991/stat : 22991 (java) S 22970 22973 19483 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 27 0 13528210 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334876390920 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22992] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22992/stat : 22992 (java) S 22970 22973 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13528212 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334875339152 216812017440 0 4 0 16800975 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=22973/tid=22993] ppid=22970 vsize=10162692 CPUtime=1.91 cores=0-3,8-11
/proc/22973/task/22993/stat : 22993 (java) S 22970 22973 19483 0 -1 4202560 13875 0 0 0 189 2 0 0 20 0 27 0 13528212 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334874286520 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22994] ppid=22970 vsize=10162692 CPUtime=1.82 cores=0-3,8-11
/proc/22973/task/22994/stat : 22994 (java) S 22970 22973 19483 0 -1 4202560 10746 0 0 0 180 2 0 0 20 0 27 0 13528212 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334873233464 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22995] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22995/stat : 22995 (java) S 22970 22973 19483 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 27 0 13528212 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334872181112 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 11 0 0 0 0 0
[pid=22973/tid=22996] ppid=22970 vsize=10162692 CPUtime=0.36 cores=0-3,8-11
/proc/22973/task/22996/stat : 22996 (java) S 22970 22973 19483 0 -1 4202560 51 0 0 0 18 18 0 0 20 0 27 0 13528212 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334871129288 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22973/tid=22997] ppid=22970 vsize=10162692 CPUtime=849.66 cores=0-3,8-11
/proc/22973/task/22997/stat : 22997 (java) S 22970 22973 19483 0 -1 4202560 65 0 0 0 84954 12 0 0 20 0 27 0 13528308 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334869975208 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=22973/tid=22998] ppid=22970 vsize=10162692 CPUtime=849.65 cores=0-3,8-11
/proc/22973/task/22998/stat : 22998 (java) S 22970 22973 19483 0 -1 4202560 1531 0 0 0 84922 43 0 0 20 0 27 0 13528308 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334868921096 216812008508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=22973/tid=22999] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/22999/stat : 22999 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528309 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334867871144 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
[pid=22973/tid=23000] ppid=22970 vsize=10162692 CPUtime=0 cores=0-3,8-11
/proc/22973/task/23000/stat : 23000 (java) S 22970 22973 19483 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 27 0 13528309 10406596608 999571 33554432000 1073741824 1073778376 140735916818256 140334866818088 216812009385 0 4 0 16800975 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (KiB) 10162692
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 22973 sig 9
??? kill -22973 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22973 and gives
# childrusage.ru_utime.tv_sec=1789
# childrusage.ru_utime.tv_usec=568944
# childrusage.ru_stime.tv_sec=6
# childrusage.ru_stime.tv_usec=991937
# CPU time returned by wait4() is 1796.56
# while last known CPU time is 1800.56
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 869.102
CPU time (s): 1800.56
CPU user time (s): 1793.98
CPU system time (s): 6.58
CPU usage (%): 207.175
Max. virtual memory (cumulated for all children) (KiB): 10162692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.57
system time used= 6.99194
maximum resident set size= 3998404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42276
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24560
involuntary context switches= 27134
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.42387 second user time and 9.66753 second system time
The end