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-4080682-1465229259/watcher-4080682-1465229259 -o /tmp/evaluation-result-4080682-1465229259/solver-4080682-1465229259 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1465216745-25468 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080682-1465229259.opb
pid=30988
running on 4 cores: 1,3,5,7
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: 5.11 4.50 4.33 4/197 30991
/proc/meminfo: memFree=26343712/32872528 swapFree=11252/530428
[pid=30991] ppid=30988 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/30991/stat : 30991 (java) S 30988 30991 25451 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 104857688 98570240 977 33554432000 1073741824 1073778376 140736816390848 140736816381984 211462160445 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30991/statm: 24065 977 743 9 0 16771 0
[pid=30991/tid=30992] ppid=30988 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/30991/task/30992/stat : 30992 (java) R 30988 30991 25451 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 104857689 98570240 977 33554432000 1073741824 1073778376 140736816390848 140085826309672 211458803072 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100156 s]
/proc/loadavg: 5.11 4.50 4.33 4/197 30991
/proc/meminfo: memFree=26343712/32872528 swapFree=11252/530428
[pid=30991] ppid=30988 vsize=9558476 CPUtime=0.12 cores=1,3,5,7
/proc/30991/stat : 30991 (java) S 30988 30991 25451 0 -1 4202496 4508 0 1 0 11 1 0 0 20 0 18 0 104857688 9787879424 6137 33554432000 1073741824 1073778376 140736816390848 140736816381984 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30991/statm: 2389619 6137 2156 9 0 2380296 0
[pid=30991/tid=30992] ppid=30988 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/30991/task/30992/stat : 30992 (java) R 30988 30991 25451 0 -1 4202560 2386 0 1 0 7 0 0 0 20 0 18 0 104857689 9787879424 6137 33554432000 1073741824 1073778376 140736816390848 140085826313120 211462186253 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 9558476
[startup+0.200332 s]
/proc/loadavg: 5.11 4.50 4.33 4/197 30991
/proc/meminfo: memFree=26343712/32872528 swapFree=11252/530428
[pid=30991] ppid=30988 vsize=9558476 CPUtime=0.31 cores=1,3,5,7
/proc/30991/stat : 30991 (java) S 30988 30991 25451 0 -1 4202496 5198 0 1 0 30 1 0 0 20 0 18 0 104857688 9787879424 7504 33554432000 1073741824 1073778376 140736816390848 140736816381984 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30991/statm: 2389619 7504 2227 9 0 2380296 0
[pid=30991/tid=30992] ppid=30988 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/30991/task/30992/stat : 30992 (java) R 30988 30991 25451 0 -1 4202560 2401 0 1 0 17 0 0 0 20 0 18 0 104857689 9787879424 7504 33554432000 1073741824 1073778376 140736816390848 140085826313120 140085676822023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9558476
[startup+0.30035 s]
/proc/loadavg: 5.11 4.50 4.33 4/197 30991
/proc/meminfo: memFree=26343712/32872528 swapFree=11252/530428
[pid=30991] ppid=30988 vsize=9558476 CPUtime=0.54 cores=1,3,5,7
/proc/30991/stat : 30991 (java) S 30988 30991 25451 0 -1 4202496 6075 0 1 0 53 1 0 0 20 0 18 0 104857688 9787879424 10544 33554432000 1073741824 1073778376 140736816390848 140736816381984 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30991/statm: 2389619 10544 2236 9 0 2380296 0
[pid=30991/tid=30992] ppid=30988 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/30991/task/30992/stat : 30992 (java) R 30988 30991 25451 0 -1 4202560 2411 0 1 0 27 0 0 0 20 0 18 0 104857689 9787879424 10544 33554432000 1073741824 1073778376 140736816390848 140085826313120 140085676860403 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 9558476
[startup+0.700298 s]
/proc/loadavg: 5.11 4.50 4.33 4/197 30991
/proc/meminfo: memFree=26343712/32872528 swapFree=11252/530428
[pid=30991] ppid=30988 vsize=9558476 CPUtime=1.42 cores=1,3,5,7
/proc/30991/stat : 30991 (java) S 30988 30991 25451 0 -1 4202496 17113 0 1 0 137 5 0 0 20 0 18 0 104857688 9787879424 42230 33554432000 1073741824 1073778376 140736816390848 140736816381984 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30991/statm: 2389619 42230 2253 9 0 2380296 0
[pid=30991/tid=30992] ppid=30988 vsize=9558476 CPUtime=0.67 cores=1,3,5,7
/proc/30991/task/30992/stat : 30992 (java) R 30988 30991 25451 0 -1 4202560 2464 0 1 0 65 2 0 0 20 0 18 0 104857689 9787879424 42230 33554432000 1073741824 1073778376 140736816390848 140085826305952 211462175800 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 9558476
[startup+1.50088 s]
/proc/loadavg: 5.11 4.50 4.33 5/219 31013
/proc/meminfo: memFree=26143436/32872528 swapFree=11252/530428
[pid=30991] ppid=30988 vsize=9824732 CPUtime=3.77 cores=1,3,5,7
/proc/30991/stat : 30991 (java) S 30988 30991 25451 0 -1 4202496 19575 0 1 0 363 14 0 0 20 0 22 0 104857688 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140736816381984 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30991/statm: 2456183 60221 2285 9 0 2446860 0
[pid=30991/tid=30992] ppid=30988 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/30991/task/30992/stat : 30992 (java) S 30988 30991 25451 0 -1 4202560 2483 0 1 0 74 3 0 0 20 0 22 0 104857689 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085826315128 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=30994] ppid=30988 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/30991/task/30994/stat : 30994 (java) S 30988 30991 25451 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 104857689 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085798766760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=30995] ppid=30988 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/30991/task/30995/stat : 30995 (java) S 30988 30991 25451 0 -1 4202560 19 0 0 0 1 2 0 0 20 0 22 0 104857689 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085797714216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=30996] ppid=30988 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/30991/task/30996/stat : 30996 (java) S 30988 30991 25451 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 22 0 104857689 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085796661672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=30997] ppid=30988 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/30991/task/30997/stat : 30997 (java) S 30988 30991 25451 0 -1 4202560 139 0 0 0 4 3 0 0 20 0 22 0 104857689 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085795609128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=30998] ppid=30988 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/30991/task/30998/stat : 30998 (java) S 30988 30991 25451 0 -1 4202560 105 0 0 0 3 0 0 0 20 0 22 0 104857689 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085665770152 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=30999] ppid=30988 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/30991/task/30999/stat : 30999 (java) S 30988 30991 25451 0 -1 4202560 107 0 0 0 2 0 0 0 20 0 22 0 104857689 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085664717608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31000] ppid=30988 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/30991/task/31000/stat : 31000 (java) S 30988 30991 25451 0 -1 4202560 94 0 0 0 1 0 0 0 20 0 22 0 104857689 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085663665064 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31001] ppid=30988 vsize=9824732 CPUtime=0.01 cores=1,3,5,7
/proc/30991/task/31001/stat : 31001 (java) S 30988 30991 25451 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 104857689 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085662612520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31002] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31002/stat : 31002 (java) S 30988 30991 25451 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 22 0 104857690 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085180098664 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31003] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31003/stat : 31003 (java) S 30988 30991 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104857691 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085179044984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31004] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31004/stat : 31004 (java) S 30988 30991 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104857691 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085177992328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31005] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31005/stat : 31005 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085176941072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31006] ppid=30988 vsize=9824732 CPUtime=0.71 cores=1,3,5,7
/proc/30991/task/31006/stat : 31006 (java) S 30988 30991 25451 0 -1 4202560 7862 0 0 0 69 2 0 0 20 0 22 0 104857693 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085175888440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31007] ppid=30988 vsize=9824732 CPUtime=0.69 cores=1,3,5,7
/proc/30991/task/31007/stat : 31007 (java) S 30988 30991 25451 0 -1 4202560 7332 0 0 0 67 2 0 0 20 0 22 0 104857693 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085174835896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31008] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31008/stat : 31008 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085173783544 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31009] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31009/stat : 31009 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085172731208 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31010] ppid=30988 vsize=9824732 CPUtime=0.6 cores=1,3,5,7
/proc/30991/task/31010/stat : 31010 (java) R 30988 30991 25451 0 -1 4202560 18 0 0 0 60 0 0 0 20 0 22 0 104857772 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085171673376 140085677540470 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=31011] ppid=30988 vsize=9824732 CPUtime=0.61 cores=1,3,5,7
/proc/30991/task/31011/stat : 31011 (java) R 30988 30991 25451 0 -1 4202560 30 0 0 0 61 0 0 0 20 0 22 0 104857772 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085170621656 140085677560326 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=31012] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31012/stat : 31012 (java) S 30988 30991 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104857780 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085169570856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=31013] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31013/stat : 31013 (java) S 30988 30991 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104857780 10060525568 60221 33554432000 1073741824 1073778376 140736816390848 140085168518312 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 9824732
[startup+3.10089 s]
/proc/loadavg: 5.11 4.50 4.33 11/218 31013
/proc/meminfo: memFree=25970948/32872528 swapFree=11252/530428
[pid=30991] ppid=30988 vsize=9824732 CPUtime=7.6 cores=1,3,5,7
/proc/30991/stat : 30991 (java) S 30988 30991 25451 0 -1 4202496 21458 0 1 0 737 23 0 0 20 0 22 0 104857688 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140736816381984 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30991/statm: 2456183 99323 2285 9 0 2446860 0
[pid=30991/tid=30992] ppid=30988 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/30991/task/30992/stat : 30992 (java) S 30988 30991 25451 0 -1 4202560 2483 0 1 0 74 3 0 0 20 0 22 0 104857689 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085826315128 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=30994] ppid=30988 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/30991/task/30994/stat : 30994 (java) S 30988 30991 25451 0 -1 4202560 43 0 0 0 3 2 0 0 20 0 22 0 104857689 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085798766760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=30995] ppid=30988 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/30991/task/30995/stat : 30995 (java) S 30988 30991 25451 0 -1 4202560 31 0 0 0 4 2 0 0 20 0 22 0 104857689 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085797714216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=30996] ppid=30988 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/30991/task/30996/stat : 30996 (java) S 30988 30991 25451 0 -1 4202560 30 0 0 0 3 2 0 0 20 0 22 0 104857689 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085796661672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=30997] ppid=30988 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/30991/task/30997/stat : 30997 (java) S 30988 30991 25451 0 -1 4202560 157 0 0 0 9 3 0 0 20 0 22 0 104857689 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085795609128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=30998] ppid=30988 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/30991/task/30998/stat : 30998 (java) S 30988 30991 25451 0 -1 4202560 162 0 0 0 6 2 0 0 20 0 22 0 104857689 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085665770152 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=30999] ppid=30988 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/30991/task/30999/stat : 30999 (java) S 30988 30991 25451 0 -1 4202560 115 0 0 0 3 1 0 0 20 0 22 0 104857689 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085664717608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31000] ppid=30988 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/30991/task/31000/stat : 31000 (java) S 30988 30991 25451 0 -1 4202560 107 0 0 0 2 1 0 0 20 0 22 0 104857689 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085663665064 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31001] ppid=30988 vsize=9824732 CPUtime=0.04 cores=1,3,5,7
/proc/30991/task/31001/stat : 31001 (java) S 30988 30991 25451 0 -1 4202560 26 0 0 0 3 1 0 0 20 0 22 0 104857689 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085662612520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31002] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31002/stat : 31002 (java) S 30988 30991 25451 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 22 0 104857690 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085180098664 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31003] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31003/stat : 31003 (java) S 30988 30991 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104857691 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085179044984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31004] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31004/stat : 31004 (java) S 30988 30991 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104857691 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085177992328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31005] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31005/stat : 31005 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085176941072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31006] ppid=30988 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/30991/task/31006/stat : 31006 (java) S 30988 30991 25451 0 -1 4202560 8858 0 0 0 93 2 0 0 20 0 22 0 104857693 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085175888440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31007] ppid=30988 vsize=9824732 CPUtime=0.97 cores=1,3,5,7
/proc/30991/task/31007/stat : 31007 (java) S 30988 30991 25451 0 -1 4202560 7879 0 0 0 95 2 0 0 20 0 22 0 104857693 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085174835896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31008] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31008/stat : 31008 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085173783544 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31009] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31009/stat : 31009 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085172731208 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31010] ppid=30988 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/30991/task/31010/stat : 31010 (java) R 30988 30991 25451 0 -1 4202560 29 0 0 0 212 0 0 0 20 0 22 0 104857772 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085171674256 140085677516421 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=31011] ppid=30988 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/30991/task/31011/stat : 31011 (java) R 30988 30991 25451 0 -1 4202560 75 0 0 0 213 1 0 0 20 0 22 0 104857772 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085170620384 140085677560986 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=31012] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31012/stat : 31012 (java) S 30988 30991 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104857780 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085169570856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=31013] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31013/stat : 31013 (java) S 30988 30991 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104857780 10060525568 99323 33554432000 1073741824 1073778376 140736816390848 140085168518312 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.6
Current children cumulated vsize (KiB) 9824732
[startup+6.3009 s]
/proc/loadavg: 5.34 4.56 4.35 5/218 31013
/proc/meminfo: memFree=25662424/32872528 swapFree=11252/530428
[pid=30991] ppid=30988 vsize=9824732 CPUtime=14.3 cores=1,3,5,7
/proc/30991/stat : 30991 (java) S 30988 30991 25451 0 -1 4202496 22589 0 1 0 1398 32 0 0 20 0 22 0 104857688 10060525568 166887 33554432000 1073741824 1073778376 140736816390848 140736816381984 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30991/statm: 2456183 166887 2290 9 0 2446860 0
[pid=30991/tid=30992] ppid=30988 vsize=9824732 CPUtime=0.77 cores=1,3,5,7
/proc/30991/task/30992/stat : 30992 (java) S 30988 30991 25451 0 -1 4202560 2483 0 1 0 74 3 0 0 20 0 22 0 104857689 10060525568 166887 33554432000 1073741824 1073778376 140736816390848 140085826315128 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=30994] ppid=30988 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/30991/task/30994/stat : 30994 (java) S 30988 30991 25451 0 -1 4202560 48 0 0 0 4 3 0 0 20 0 22 0 104857689 10060525568 166887 33554432000 1073741824 1073778376 140736816390848 140085798766760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=30995] ppid=30988 vsize=9824732 CPUtime=0.11 cores=1,3,5,7
/proc/30991/task/30995/stat : 30995 (java) S 30988 30991 25451 0 -1 4202560 50 0 0 0 8 3 0 0 20 0 22 0 104857689 10060525568 166887 33554432000 1073741824 1073778376 140736816390848 140085797714216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=30996] ppid=30988 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/30991/task/30996/stat : 30996 (java) S 30988 30991 25451 0 -1 4202560 39 0 0 0 5 2 0 0 20 0 22 0 104857689 10060525568 166887 33554432000 1073741824 1073778376 140736816390848 140085796661672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=30997] ppid=30988 vsize=9824732 CPUtime=0.19 cores=1,3,5,7
/proc/30991/task/30997/stat : 30997 (java) S 30988 30991 25451 0 -1 4202560 177 0 0 0 14 5 0 0 20 0 22 0 104857689 10060525568 166887 33554432000 1073741824 1073778376 140736816390848 140085795609128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=30998] ppid=30988 vsize=9824732 CPUtime=0.1 cores=1,3,5,7
/proc/30991/task/30998/stat : 30998 (java) S 30988 30991 25451 0 -1 4202560 169 0 0 0 8 2 0 0 20 0 22 0 104857689 10060525568 166887 33554432000 1073741824 1073778376 140736816390848 140085665770152 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=30999] ppid=30988 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/30991/task/30999/stat : 30999 (java) S 30988 30991 25451 0 -1 4202560 123 0 0 0 6 1 0 0 20 0 22 0 104857689 10060525568 166887 33554432000 1073741824 1073778376 140736816390848 140085664717608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31000] ppid=30988 vsize=9824732 CPUtime=0.08 cores=1,3,5,7
/proc/30991/task/31000/stat : 31000 (java) S 30988 30991 25451 0 -1 4202560 123 0 0 0 5 3 0 0 20 0 22 0 104857689 10060525568 166887 33554432000 1073741824 1073778376 140736816390848 140085663665064 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31001] ppid=30988 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
################
# More data... #
################
/proc/30991/task/30996/stat : 30996 (java) S 30988 30991 25451 0 -1 4202560 622 0 0 0 189 14 0 0 20 0 22 0 104857689 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085796661672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=30997] ppid=30988 vsize=9824732 CPUtime=2.21 cores=1,3,5,7
/proc/30991/task/30997/stat : 30997 (java) S 30988 30991 25451 0 -1 4202560 580 0 0 0 206 15 0 0 20 0 22 0 104857689 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085795609128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=30998] ppid=30988 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/30991/task/30998/stat : 30998 (java) S 30988 30991 25451 0 -1 4202560 693 0 0 0 204 15 0 0 20 0 22 0 104857689 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085665770152 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=30999] ppid=30988 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/30991/task/30999/stat : 30999 (java) S 30988 30991 25451 0 -1 4202560 537 0 0 0 188 12 0 0 20 0 22 0 104857689 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085664717608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=31000] ppid=30988 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/30991/task/31000/stat : 31000 (java) S 30988 30991 25451 0 -1 4202560 513 0 0 0 181 14 0 0 20 0 22 0 104857689 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085663665064 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=31001] ppid=30988 vsize=9824732 CPUtime=2.15 cores=1,3,5,7
/proc/30991/task/31001/stat : 31001 (java) S 30988 30991 25451 0 -1 4202560 492 0 0 0 201 14 0 0 20 0 22 0 104857689 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085662612520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=31002] ppid=30988 vsize=9824732 CPUtime=3.22 cores=1,3,5,7
/proc/30991/task/31002/stat : 31002 (java) S 30988 30991 25451 0 -1 4202560 2420 0 0 0 310 12 0 0 20 0 22 0 104857690 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085180098664 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31003] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31003/stat : 31003 (java) S 30988 30991 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104857691 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085179044984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31004] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31004/stat : 31004 (java) S 30988 30991 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104857691 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085177992328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31005] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31005/stat : 31005 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085176941072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31006] ppid=30988 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/30991/task/31006/stat : 31006 (java) S 30988 30991 25451 0 -1 4202560 8883 0 0 0 113 2 0 0 20 0 22 0 104857693 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085175888440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31007] ppid=30988 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/30991/task/31007/stat : 31007 (java) S 30988 30991 25451 0 -1 4202560 12823 0 0 0 172 4 0 0 20 0 22 0 104857693 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085174835896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31008] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31008/stat : 31008 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085173783544 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31009] ppid=30988 vsize=9824732 CPUtime=0.35 cores=1,3,5,7
/proc/30991/task/31009/stat : 31009 (java) S 30988 30991 25451 0 -1 4202560 49 0 0 0 14 21 0 0 20 0 22 0 104857693 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085172731208 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31010] ppid=30988 vsize=9824732 CPUtime=811.15 cores=1,3,5,7
/proc/30991/task/31010/stat : 31010 (java) R 30988 30991 25451 0 -1 4202560 900 0 0 0 81093 22 0 0 20 0 22 0 104857772 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085171674256 140085677540440 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31011] ppid=30988 vsize=9824732 CPUtime=811.2 cores=1,3,5,7
/proc/30991/task/31011/stat : 31011 (java) R 30988 30991 25451 0 -1 4202560 2511 0 0 0 81076 44 0 0 20 0 22 0 104857772 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085170620816 140085677510219 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31012] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31012/stat : 31012 (java) S 30988 30991 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104857780 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085169570856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=31013] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31013/stat : 31013 (java) S 30988 30991 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104857780 10060525568 863733 33554432000 1073741824 1073778376 140736816390848 140085168518312 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1650.73
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.10 4.16 4.24 6/219 31108
/proc/meminfo: memFree=25751972/32872528 swapFree=11252/530428
[pid=30991] ppid=30988 vsize=9824732 CPUtime=1771.28 cores=1,3,5,7
/proc/30991/stat : 30991 (java) S 30988 30991 25451 0 -1 4202496 36270 0 1 0 176928 200 0 0 20 0 22 0 104857688 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140736816381984 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30991/statm: 2456183 885953 2298 9 0 2446860 0
[pid=30991/tid=30992] ppid=30988 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/30991/task/30992/stat : 30992 (java) S 30988 30991 25451 0 -1 4202560 2493 0 1 0 77 4 0 0 20 0 22 0 104857689 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085826315128 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=30994] ppid=30988 vsize=9824732 CPUtime=2.53 cores=1,3,5,7
/proc/30991/task/30994/stat : 30994 (java) S 30988 30991 25451 0 -1 4202560 440 0 0 0 236 17 0 0 20 0 22 0 104857689 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085798766760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=30995] ppid=30988 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/30991/task/30995/stat : 30995 (java) S 30988 30991 25451 0 -1 4202560 468 0 0 0 218 18 0 0 20 0 22 0 104857689 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085797714216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=30996] ppid=30988 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/30991/task/30996/stat : 30996 (java) S 30988 30991 25451 0 -1 4202560 644 0 0 0 199 15 0 0 20 0 22 0 104857689 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085796661672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=30997] ppid=30988 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/30991/task/30997/stat : 30997 (java) S 30988 30991 25451 0 -1 4202560 604 0 0 0 224 16 0 0 20 0 22 0 104857689 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085795609128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=30998] ppid=30988 vsize=9824732 CPUtime=2.39 cores=1,3,5,7
/proc/30991/task/30998/stat : 30998 (java) S 30988 30991 25451 0 -1 4202560 715 0 0 0 224 15 0 0 20 0 22 0 104857689 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085665770152 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=30999] ppid=30988 vsize=9824732 CPUtime=2.11 cores=1,3,5,7
/proc/30991/task/30999/stat : 30999 (java) S 30988 30991 25451 0 -1 4202560 560 0 0 0 199 12 0 0 20 0 22 0 104857689 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085664717608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31000] ppid=30988 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/30991/task/31000/stat : 31000 (java) S 30988 30991 25451 0 -1 4202560 532 0 0 0 192 15 0 0 20 0 22 0 104857689 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085663665064 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31001] ppid=30988 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/30991/task/31001/stat : 31001 (java) S 30988 30991 25451 0 -1 4202560 506 0 0 0 209 14 0 0 20 0 22 0 104857689 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085662612520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=31002] ppid=30988 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/30991/task/31002/stat : 31002 (java) S 30988 30991 25451 0 -1 4202560 2466 0 0 0 310 13 0 0 20 0 22 0 104857690 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085180098664 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31003] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31003/stat : 31003 (java) S 30988 30991 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104857691 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085179044984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31004] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31004/stat : 31004 (java) S 30988 30991 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104857691 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085177992328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31005] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31005/stat : 31005 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085176941072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31006] ppid=30988 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/30991/task/31006/stat : 31006 (java) S 30988 30991 25451 0 -1 4202560 8883 0 0 0 113 2 0 0 20 0 22 0 104857693 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085175888440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31007] ppid=30988 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/30991/task/31007/stat : 31007 (java) S 30988 30991 25451 0 -1 4202560 12823 0 0 0 172 4 0 0 20 0 22 0 104857693 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085174835896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31008] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31008/stat : 31008 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085173783544 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31009] ppid=30988 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/30991/task/31009/stat : 31009 (java) S 30988 30991 25451 0 -1 4202560 51 0 0 0 14 23 0 0 20 0 22 0 104857693 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085172731208 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31010] ppid=30988 vsize=9824732 CPUtime=870.67 cores=1,3,5,7
/proc/30991/task/31010/stat : 31010 (java) R 30988 30991 25451 0 -1 4202560 908 0 0 0 87044 23 0 0 20 0 22 0 104857772 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085171673360 140085677777991 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31011] ppid=30988 vsize=9824732 CPUtime=870.71 cores=1,3,5,7
/proc/30991/task/31011/stat : 31011 (java) R 30988 30991 25451 0 -1 4202560 2912 0 0 0 87025 46 0 0 20 0 22 0 104857772 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085170621712 140085677559934 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=31012] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31012/stat : 31012 (java) S 30988 30991 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104857780 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085169570856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=31013] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31013/stat : 31013 (java) S 30988 30991 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104857780 10060525568 885953 33554432000 1073741824 1073778376 140736816390848 140085168518312 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1771.28
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.608 s]
/proc/loadavg: 4.08 4.15 4.24 6/219 31109
/proc/meminfo: memFree=25750172/32872528 swapFree=11252/530428
[pid=30991] ppid=30988 vsize=9824732 CPUtime=1800 cores=1,3,5,7
/proc/30991/stat : 30991 (java) S 30988 30991 25451 0 -1 4202496 36318 0 1 0 179799 201 0 0 20 0 22 0 104857688 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140736816381984 211462160445 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/30991/statm: 2456183 887524 2298 9 0 2446860 0
[pid=30991/tid=30992] ppid=30988 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/30991/task/30992/stat : 30992 (java) S 30988 30991 25451 0 -1 4202560 2493 0 1 0 77 4 0 0 20 0 22 0 104857689 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085826315128 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=30994] ppid=30988 vsize=9824732 CPUtime=2.59 cores=1,3,5,7
/proc/30991/task/30994/stat : 30994 (java) S 30988 30991 25451 0 -1 4202560 444 0 0 0 242 17 0 0 20 0 22 0 104857689 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085798766760 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=30995] ppid=30988 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/30991/task/30995/stat : 30995 (java) S 30988 30991 25451 0 -1 4202560 469 0 0 0 219 18 0 0 20 0 22 0 104857689 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085797714216 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=30996] ppid=30988 vsize=9824732 CPUtime=2.16 cores=1,3,5,7
/proc/30991/task/30996/stat : 30996 (java) S 30988 30991 25451 0 -1 4202560 650 0 0 0 201 15 0 0 20 0 22 0 104857689 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085796661672 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=30997] ppid=30988 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/30991/task/30997/stat : 30997 (java) S 30988 30991 25451 0 -1 4202560 606 0 0 0 231 16 0 0 20 0 22 0 104857689 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085795609128 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=30998] ppid=30988 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/30991/task/30998/stat : 30998 (java) S 30988 30991 25451 0 -1 4202560 725 0 0 0 226 15 0 0 20 0 22 0 104857689 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085665770152 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=30999] ppid=30988 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/30991/task/30999/stat : 30999 (java) S 30988 30991 25451 0 -1 4202560 566 0 0 0 200 12 0 0 20 0 22 0 104857689 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085664717608 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31000] ppid=30988 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/30991/task/31000/stat : 31000 (java) S 30988 30991 25451 0 -1 4202560 538 0 0 0 194 15 0 0 20 0 22 0 104857689 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085663665064 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31001] ppid=30988 vsize=9824732 CPUtime=2.3 cores=1,3,5,7
/proc/30991/task/31001/stat : 31001 (java) S 30988 30991 25451 0 -1 4202560 514 0 0 0 216 14 0 0 20 0 22 0 104857689 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085662612520 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=31002] ppid=30988 vsize=9824732 CPUtime=3.23 cores=1,3,5,7
/proc/30991/task/31002/stat : 31002 (java) S 30988 30991 25451 0 -1 4202560 2468 0 0 0 310 13 0 0 20 0 22 0 104857690 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085180098664 211462174633 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31003] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31003/stat : 31003 (java) S 30988 30991 25451 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 104857691 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085179044984 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31004] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31004/stat : 31004 (java) S 30988 30991 25451 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 104857691 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085177992328 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31005] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31005/stat : 31005 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085176941072 211462182688 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31006] ppid=30988 vsize=9824732 CPUtime=1.15 cores=1,3,5,7
/proc/30991/task/31006/stat : 31006 (java) S 30988 30991 25451 0 -1 4202560 8883 0 0 0 113 2 0 0 20 0 22 0 104857693 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085175888440 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31007] ppid=30988 vsize=9824732 CPUtime=1.76 cores=1,3,5,7
/proc/30991/task/31007/stat : 31007 (java) S 30988 30991 25451 0 -1 4202560 12823 0 0 0 172 4 0 0 20 0 22 0 104857693 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085174835896 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31008] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31008/stat : 31008 (java) S 30988 30991 25451 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 104857693 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085173783544 211462173756 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31009] ppid=30988 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/30991/task/31009/stat : 31009 (java) S 30988 30991 25451 0 -1 4202560 53 0 0 0 14 24 0 0 20 0 22 0 104857693 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085172731208 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30991/tid=31010] ppid=30988 vsize=9824732 CPUtime=884.86 cores=1,3,5,7
/proc/30991/task/31010/stat : 31010 (java) R 30988 30991 25451 0 -1 4202560 909 0 0 0 88463 23 0 0 20 0 22 0 104857772 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085171674240 140085677777954 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30991/tid=31011] ppid=30988 vsize=9824732 CPUtime=884.9 cores=1,3,5,7
/proc/30991/task/31011/stat : 31011 (java) R 30988 30991 25451 0 -1 4202560 2912 0 0 0 88444 46 0 0 20 0 22 0 104857772 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085170620720 140085677560001 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30991/tid=31012] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31012/stat : 31012 (java) S 30988 30991 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104857780 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085169570856 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30991/tid=31013] ppid=30988 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/30991/task/31013/stat : 31013 (java) S 30988 30991 25451 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 104857780 10060525568 887524 33554432000 1073741824 1073778376 140736816390848 140085168518312 211462174633 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9824732
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 30991 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 30991 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=471350
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=551612
# CPU time returned by wait4() is 1796.02
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 896.678
CPU time (s): 1800
CPU user time (s): 1797.99
CPU system time (s): 2.01
CPU usage (%): 200.741
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.47
system time used= 2.55161
maximum resident set size= 3550212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36353
page faults= 1
swaps= 0
block input operations= 0
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25212
involuntary context switches= 37526
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.68314 second user time and 7.57385 second system time
The end