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-4081743-1465254465/watcher-4081743-1465254465 -o /tmp/evaluation-result-4081743-1465254465/solver-4081743-1465254465 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465253566-15534 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081743-1465254465.opb
pid=15802
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.51 4.24 3.31 4/197 15805
/proc/meminfo: memFree=30327792/32872528 swapFree=15784/1434320
[pid=15805] ppid=15802 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/15805/stat : 15805 (java) S 15802 15805 15518 0 -1 4202496 1328 0 0 0 0 0 0 0 20 0 2 0 107379789 98635776 959 33554432000 1073741824 1073778376 140735854109648 140735854100784 214373007421 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15805/statm: 24081 961 729 9 0 16771 0
[pid=15805/tid=15806] ppid=15802 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15806/stat : 15806 (java) R 15802 15805 15518 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 107379790 98570240 977 33554432000 1073741824 1073778376 140735854109648 139727339875880 214369650048 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.10012 s]
/proc/loadavg: 4.51 4.24 3.31 4/197 15805
/proc/meminfo: memFree=30327792/32872528 swapFree=15784/1434320
[pid=15805] ppid=15802 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/15805/stat : 15805 (java) S 15802 15805 15518 0 -1 4202496 4412 0 1 0 9 1 0 0 20 0 18 0 107379789 9787879424 6045 33554432000 1073741824 1073778376 140735854109648 140735854100784 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15805/statm: 2389619 6045 2126 9 0 2380296 0
[pid=15805/tid=15806] ppid=15802 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/15805/task/15806/stat : 15806 (java) R 15802 15805 15518 0 -1 4202560 2381 0 1 0 6 1 0 0 20 0 18 0 107379790 9787879424 6045 33554432000 1073741824 1073778376 140735854109648 139727339879328 214373033229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.20027 s]
/proc/loadavg: 4.51 4.24 3.31 4/197 15805
/proc/meminfo: memFree=30327792/32872528 swapFree=15784/1434320
[pid=15805] ppid=15802 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/15805/stat : 15805 (java) S 15802 15805 15518 0 -1 4202496 4702 0 1 0 24 2 0 0 20 0 18 0 107379789 9787879424 7295 33554432000 1073741824 1073778376 140735854109648 140735854100784 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15805/statm: 2389619 7295 2201 9 0 2380296 0
[pid=15805/tid=15806] ppid=15802 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/15805/task/15806/stat : 15806 (java) R 15802 15805 15518 0 -1 4202560 2404 0 1 0 16 1 0 0 20 0 18 0 107379790 9787879424 7295 33554432000 1073741824 1073778376 140735854109648 139727339877944 139727181297903 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300271 s]
/proc/loadavg: 4.51 4.24 3.31 4/197 15805
/proc/meminfo: memFree=30327792/32872528 swapFree=15784/1434320
[pid=15805] ppid=15802 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/15805/stat : 15805 (java) S 15802 15805 15518 0 -1 4202496 6130 0 1 0 46 2 0 0 20 0 18 0 107379789 9787879424 8802 33554432000 1073741824 1073778376 140735854109648 140735854100784 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15805/statm: 2389619 8802 2231 9 0 2380296 0
[pid=15805/tid=15806] ppid=15802 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/15805/task/15806/stat : 15806 (java) R 15802 15805 15518 0 -1 4202560 2408 0 1 0 26 1 0 0 20 0 18 0 107379790 9787879424 8802 33554432000 1073741824 1073778376 140735854109648 139727339877944 139727181635902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700215 s]
/proc/loadavg: 4.51 4.24 3.31 4/197 15805
/proc/meminfo: memFree=30327792/32872528 swapFree=15784/1434320
[pid=15805] ppid=15802 vsize=9558476 CPUtime=1.63 cores=0,2,4,6
/proc/15805/stat : 15805 (java) S 15802 15805 15518 0 -1 4202496 27786 0 1 0 157 6 0 0 20 0 18 0 107379789 9787879424 30366 33554432000 1073741824 1073778376 140735854109648 140735854100784 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15805/statm: 2389619 30378 2256 9 0 2380296 0
[pid=15805/tid=15806] ppid=15802 vsize=9558476 CPUtime=0.67 cores=0,2,4,6
/proc/15805/task/15806/stat : 15806 (java) R 15802 15805 15518 0 -1 4202560 2427 0 1 0 66 1 0 0 20 0 18 0 107379790 9787879424 30388 33554432000 1073741824 1073778376 140735854109648 139727339872112 139727181610432 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9558476
[startup+1.5008 s]
/proc/loadavg: 4.51 4.24 3.31 7/215 15823
/proc/meminfo: memFree=30009620/32872528 swapFree=15784/1434320
[pid=15805] ppid=15802 vsize=9558476 CPUtime=4.08 cores=0,2,4,6
/proc/15805/stat : 15805 (java) S 15802 15805 15518 0 -1 4202496 36452 0 1 0 395 13 0 0 20 0 18 0 107379789 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 140735854100784 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15805/statm: 2389619 70012 2276 9 0 2380296 0
[pid=15805/tid=15806] ppid=15802 vsize=9558476 CPUtime=1.39 cores=0,2,4,6
/proc/15805/task/15806/stat : 15806 (java) R 15802 15805 15518 0 -1 4202560 2481 0 1 0 136 3 0 0 20 0 18 0 107379790 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139727339879272 139727181696919 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15808] ppid=15802 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/15805/task/15808/stat : 15808 (java) S 15802 15805 15518 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 18 0 107379790 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139727301372328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15809] ppid=15802 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/15805/task/15809/stat : 15809 (java) S 15802 15805 15518 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 107379790 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139727300319784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15810] ppid=15802 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/15805/task/15810/stat : 15810 (java) S 15802 15805 15518 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 107379790 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139727181179048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15811] ppid=15802 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/15805/task/15811/stat : 15811 (java) S 15802 15805 15518 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 107379790 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139727180126504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15812] ppid=15802 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/15805/task/15812/stat : 15812 (java) S 15802 15805 15518 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 107379790 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139727179074472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15813] ppid=15802 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/15805/task/15813/stat : 15813 (java) S 15802 15805 15518 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 18 0 107379790 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139727178021928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15814] ppid=15802 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/15805/task/15814/stat : 15814 (java) S 15802 15805 15518 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 107379790 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139727176968872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15815] ppid=15802 vsize=9558476 CPUtime=0.01 cores=0,2,4,6
/proc/15805/task/15815/stat : 15815 (java) S 15802 15805 15518 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 18 0 107379790 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139727175916328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15816] ppid=15802 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15816/stat : 15816 (java) S 15802 15805 15518 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 107379792 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139726693587304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15817] ppid=15802 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15817/stat : 15817 (java) S 15802 15805 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 107379792 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139726692533624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15818] ppid=15802 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15818/stat : 15818 (java) S 15802 15805 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 107379792 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139726691480456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15819] ppid=15802 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15819/stat : 15819 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 107379795 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139726690429200 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15820] ppid=15802 vsize=9558476 CPUtime=1.2 cores=0,2,4,6
/proc/15805/task/15820/stat : 15820 (java) S 15802 15805 15518 0 -1 4202560 15021 0 0 0 117 3 0 0 20 0 18 0 107379795 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139726689377080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15821] ppid=15802 vsize=9558476 CPUtime=1.19 cores=0,2,4,6
/proc/15805/task/15821/stat : 15821 (java) S 15802 15805 15518 0 -1 4202560 17513 0 0 0 115 4 0 0 20 0 18 0 107379795 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139726688324536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15822] ppid=15802 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15822/stat : 15822 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 107379795 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139726687271672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15823] ppid=15802 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15823/stat : 15823 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 107379795 9787879424 70012 33554432000 1073741824 1073778376 140735854109648 139726686219336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 9558476
[startup+3.10078 s]
/proc/loadavg: 4.95 4.34 3.35 3/216 15827
/proc/meminfo: memFree=29801984/32872528 swapFree=15784/1434320
[pid=15805] ppid=15802 vsize=9824732 CPUtime=7.07 cores=0,2,4,6
/proc/15805/stat : 15805 (java) S 15802 15805 15518 0 -1 4202496 37152 0 1 0 681 26 0 0 20 0 22 0 107379789 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 140735854100784 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15805/statm: 2456183 89487 2288 9 0 2446860 0
[pid=15805/tid=15806] ppid=15802 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/15805/task/15806/stat : 15806 (java) S 15802 15805 15518 0 -1 4202560 2495 0 1 0 151 3 0 0 20 0 22 0 107379790 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139727339881336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15808] ppid=15802 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/15805/task/15808/stat : 15808 (java) S 15802 15805 15518 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 22 0 107379790 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139727301372328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15809] ppid=15802 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/15805/task/15809/stat : 15809 (java) S 15802 15805 15518 0 -1 4202560 136 0 0 0 4 2 0 0 20 0 22 0 107379790 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139727300319784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15810] ppid=15802 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/15805/task/15810/stat : 15810 (java) S 15802 15805 15518 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 22 0 107379790 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139727181179048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15811] ppid=15802 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/15805/task/15811/stat : 15811 (java) S 15802 15805 15518 0 -1 4202560 47 0 0 0 4 2 0 0 20 0 22 0 107379790 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139727180126504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15812] ppid=15802 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/15805/task/15812/stat : 15812 (java) S 15802 15805 15518 0 -1 4202560 37 0 0 0 5 0 0 0 20 0 22 0 107379790 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139727179074472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15813] ppid=15802 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/15805/task/15813/stat : 15813 (java) S 15802 15805 15518 0 -1 4202560 136 0 0 0 10 3 0 0 20 0 22 0 107379790 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139727178021928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15814] ppid=15802 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/15805/task/15814/stat : 15814 (java) S 15802 15805 15518 0 -1 4202560 110 0 0 0 3 1 0 0 20 0 22 0 107379790 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139727176968872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15815] ppid=15802 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/15805/task/15815/stat : 15815 (java) S 15802 15805 15518 0 -1 4202560 180 0 0 0 8 3 0 0 20 0 22 0 107379790 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139727175916328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15816] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15816/stat : 15816 (java) S 15802 15805 15518 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139726693587304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15817] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15817/stat : 15817 (java) S 15802 15805 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139726692533624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15818] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15818/stat : 15818 (java) S 15802 15805 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139726691480456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15819] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15819/stat : 15819 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107379795 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139726690429200 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15820] ppid=15802 vsize=9824732 CPUtime=1.61 cores=0,2,4,6
/proc/15805/task/15820/stat : 15820 (java) S 15802 15805 15518 0 -1 4202560 15022 0 0 0 158 3 0 0 20 0 22 0 107379795 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139726689377080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15821] ppid=15802 vsize=9824732 CPUtime=1.67 cores=0,2,4,6
/proc/15805/task/15821/stat : 15821 (java) S 15802 15805 15518 0 -1 4202560 17523 0 0 0 163 4 0 0 20 0 22 0 107379795 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139726688324536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15822] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15822/stat : 15822 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107379795 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139726687271672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15823] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15823/stat : 15823 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107379795 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139726686219336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15826] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15826/stat : 15826 (java) S 15802 15805 15518 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107379967 10060525568 89487 33554432000 1073741824 1073778376 140735854109648 139726683058984 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 9824732
[startup+6.30088 s]
/proc/loadavg: 4.95 4.34 3.35 5/219 15833
/proc/meminfo: memFree=29472740/32872528 swapFree=15784/1434320
[pid=15805] ppid=15802 vsize=9824732 CPUtime=13.63 cores=0,2,4,6
/proc/15805/stat : 15805 (java) S 15802 15805 15518 0 -1 4202496 37205 0 1 0 1335 28 0 0 20 0 22 0 107379789 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 140735854100784 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15805/statm: 2456183 114158 2289 9 0 2446860 0
[pid=15805/tid=15806] ppid=15802 vsize=9824732 CPUtime=1.54 cores=0,2,4,6
/proc/15805/task/15806/stat : 15806 (java) S 15802 15805 15518 0 -1 4202560 2495 0 1 0 151 3 0 0 20 0 22 0 107379790 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139727339881336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15808] ppid=15802 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/15805/task/15808/stat : 15808 (java) S 15802 15805 15518 0 -1 4202560 27 0 0 0 4 0 0 0 20 0 22 0 107379790 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139727301372328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15809] ppid=15802 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/15805/task/15809/stat : 15809 (java) S 15802 15805 15518 0 -1 4202560 136 0 0 0 4 2 0 0 20 0 22 0 107379790 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139727300319784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15810] ppid=15802 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/15805/task/15810/stat : 15810 (java) S 15802 15805 15518 0 -1 4202560 36 0 0 0 4 2 0 0 20 0 22 0 107379790 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139727181179048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15811] ppid=15802 vsize=9824732 CPUtime=0.06 cores=0,2,4,6
/proc/15805/task/15811/stat : 15811 (java) S 15802 15805 15518 0 -1 4202560 47 0 0 0 4 2 0 0 20 0 22 0 107379790 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139727180126504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15812] ppid=15802 vsize=9824732 CPUtime=0.05 cores=0,2,4,6
/proc/15805/task/15812/stat : 15812 (java) S 15802 15805 15518 0 -1 4202560 37 0 0 0 5 0 0 0 20 0 22 0 107379790 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139727179074472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15813] ppid=15802 vsize=9824732 CPUtime=0.13 cores=0,2,4,6
/proc/15805/task/15813/stat : 15813 (java) S 15802 15805 15518 0 -1 4202560 136 0 0 0 10 3 0 0 20 0 22 0 107379790 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139727178021928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15814] ppid=15802 vsize=9824732 CPUtime=0.04 cores=0,2,4,6
/proc/15805/task/15814/stat : 15814 (java) S 15802 15805 15518 0 -1 4202560 110 0 0 0 3 1 0 0 20 0 22 0 107379790 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139727176968872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15815] ppid=15802 vsize=9824732 CPUtime=0.11 cores=0,2,4,6
/proc/15805/task/15815/stat : 15815 (java) S 15802 15805 15518 0 -1 4202560 180 0 0 0 8 3 0 0 20 0 22 0 107379790 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139727175916328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15816] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15816/stat : 15816 (java) S 15802 15805 15518 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139726693587304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15817] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15817/stat : 15817 (java) S 15802 15805 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139726692533624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15818] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15818/stat : 15818 (java) S 15802 15805 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139726691480456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15819] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15819/stat : 15819 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107379795 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139726690429200 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15820] ppid=15802 vsize=9824732 CPUtime=1.66 cores=0,2,4,6
/proc/15805/task/15820/stat : 15820 (java) S 15802 15805 15518 0 -1 4202560 15022 0 0 0 163 3 0 0 20 0 22 0 107379795 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139726689377080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15821] ppid=15802 vsize=9824732 CPUtime=1.81 cores=0,2,4,6
/proc/15805/task/15821/stat : 15821 (java) S 15802 15805 15518 0 -1 4202560 17524 0 0 0 177 4 0 0 20 0 22 0 107379795 10060525568 114158 33554432000 1073741824 1073778376 140735854109648 139726688324536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15822] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.19 4.27 3.87 5/219 15861
/proc/meminfo: memFree=22950340/32872528 swapFree=15784/1434320
[pid=15805] ppid=15802 vsize=9824732 CPUtime=1652.7 cores=0,2,4,6
/proc/15805/stat : 15805 (java) S 15802 15805 15518 0 -1 4202496 47505 0 1 0 165051 219 0 0 20 0 22 0 107379789 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 140735854100784 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15805/statm: 2456183 968811 2303 9 0 2446860 0
[pid=15805/tid=15806] ppid=15802 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/15805/task/15806/stat : 15806 (java) S 15802 15805 15518 0 -1 4202560 2503 0 1 0 155 4 0 0 20 0 22 0 107379790 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139727339881336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15808] ppid=15802 vsize=9824732 CPUtime=3.03 cores=0,2,4,6
/proc/15805/task/15808/stat : 15808 (java) S 15802 15805 15518 0 -1 4202560 748 0 0 0 286 17 0 0 20 0 22 0 107379790 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139727301372328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15809] ppid=15802 vsize=9824732 CPUtime=3.38 cores=0,2,4,6
/proc/15805/task/15809/stat : 15809 (java) S 15802 15805 15518 0 -1 4202560 790 0 0 0 314 24 0 0 20 0 22 0 107379790 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139727300319784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15810] ppid=15802 vsize=9824732 CPUtime=3.66 cores=0,2,4,6
/proc/15805/task/15810/stat : 15810 (java) S 15802 15805 15518 0 -1 4202560 665 0 0 0 348 18 0 0 20 0 22 0 107379790 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139727181179048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15811] ppid=15802 vsize=9824732 CPUtime=3.19 cores=0,2,4,6
/proc/15805/task/15811/stat : 15811 (java) S 15802 15805 15518 0 -1 4202560 721 0 0 0 298 21 0 0 20 0 22 0 107379790 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139727180126504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15812] ppid=15802 vsize=9824732 CPUtime=3.41 cores=0,2,4,6
/proc/15805/task/15812/stat : 15812 (java) S 15802 15805 15518 0 -1 4202560 507 0 0 0 325 16 0 0 20 0 22 0 107379790 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139727179074472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15813] ppid=15802 vsize=9824732 CPUtime=3.53 cores=0,2,4,6
/proc/15805/task/15813/stat : 15813 (java) S 15802 15805 15518 0 -1 4202560 910 0 0 0 330 23 0 0 20 0 22 0 107379790 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139727178021928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15814] ppid=15802 vsize=9824732 CPUtime=3.32 cores=0,2,4,6
/proc/15805/task/15814/stat : 15814 (java) S 15802 15805 15518 0 -1 4202560 989 0 0 0 309 23 0 0 20 0 22 0 107379790 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139727176968872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15815] ppid=15802 vsize=9824732 CPUtime=2.87 cores=0,2,4,6
/proc/15805/task/15815/stat : 15815 (java) S 15802 15805 15518 0 -1 4202560 722 0 0 0 272 15 0 0 20 0 22 0 107379790 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139727175916328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15816] ppid=15802 vsize=9824732 CPUtime=5.26 cores=0,2,4,6
/proc/15805/task/15816/stat : 15816 (java) S 15802 15805 15518 0 -1 4202560 2861 0 0 0 520 6 0 0 20 0 22 0 107379792 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726693587304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15817] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15817/stat : 15817 (java) S 15802 15805 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726692533624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15818] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15818/stat : 15818 (java) S 15802 15805 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726691480456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15819] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15819/stat : 15819 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107379795 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726690429200 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15820] ppid=15802 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/15805/task/15820/stat : 15820 (java) S 15802 15805 15518 0 -1 4202560 15041 0 0 0 197 3 0 0 20 0 22 0 107379795 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726689377080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15821] ppid=15802 vsize=9824732 CPUtime=2.07 cores=0,2,4,6
/proc/15805/task/15821/stat : 15821 (java) S 15802 15805 15518 0 -1 4202560 17527 0 0 0 203 4 0 0 20 0 22 0 107379795 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726688324536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15822] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15822/stat : 15822 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107379795 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726687271672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15823] ppid=15802 vsize=9824732 CPUtime=0.33 cores=0,2,4,6
/proc/15805/task/15823/stat : 15823 (java) S 15802 15805 15518 0 -1 4202560 47 0 0 0 19 14 0 0 20 0 22 0 107379795 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726686219336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15833] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15833/stat : 15833 (java) S 15802 15805 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107380065 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726682006696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15834] ppid=15802 vsize=9824732 CPUtime=799.47 cores=0,2,4,6
/proc/15805/task/15834/stat : 15834 (java) R 15802 15805 15518 0 -1 4202560 17 0 0 0 79933 14 0 0 20 0 22 0 107380866 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726685162656 139727182590918 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15835] ppid=15802 vsize=9824732 CPUtime=799.5 cores=0,2,4,6
/proc/15805/task/15835/stat : 15835 (java) R 15802 15805 15518 0 -1 4202560 2069 0 0 0 79912 38 0 0 20 0 22 0 107380866 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726684111136 139727182616672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15836] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15836/stat : 15836 (java) S 15802 15805 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107380866 10060525568 968811 33554432000 1073741824 1073778376 140735854109648 139726683059752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1652.7
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.11 4.23 3.88 5/219 15862
/proc/meminfo: memFree=22865368/32872528 swapFree=15784/1434320
[pid=15805] ppid=15802 vsize=9824732 CPUtime=1773.4 cores=0,2,4,6
/proc/15805/stat : 15805 (java) S 15802 15805 15518 0 -1 4202496 47669 0 1 0 177119 221 0 0 20 0 22 0 107379789 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 140735854100784 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15805/statm: 2456183 969984 2303 9 0 2446860 0
[pid=15805/tid=15806] ppid=15802 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/15805/task/15806/stat : 15806 (java) S 15802 15805 15518 0 -1 4202560 2504 0 1 0 155 4 0 0 20 0 22 0 107379790 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139727339881336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15808] ppid=15802 vsize=9824732 CPUtime=3.18 cores=0,2,4,6
/proc/15805/task/15808/stat : 15808 (java) S 15802 15805 15518 0 -1 4202560 780 0 0 0 301 17 0 0 20 0 22 0 107379790 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139727301372328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15809] ppid=15802 vsize=9824732 CPUtime=3.66 cores=0,2,4,6
/proc/15805/task/15809/stat : 15809 (java) S 15802 15805 15518 0 -1 4202560 797 0 0 0 342 24 0 0 20 0 22 0 107379790 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139727300319784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15810] ppid=15802 vsize=9824732 CPUtime=3.89 cores=0,2,4,6
/proc/15805/task/15810/stat : 15810 (java) S 15802 15805 15518 0 -1 4202560 697 0 0 0 371 18 0 0 20 0 22 0 107379790 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139727181179048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15811] ppid=15802 vsize=9824732 CPUtime=3.41 cores=0,2,4,6
/proc/15805/task/15811/stat : 15811 (java) S 15802 15805 15518 0 -1 4202560 736 0 0 0 320 21 0 0 20 0 22 0 107379790 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139727180126504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15812] ppid=15802 vsize=9824732 CPUtime=3.55 cores=0,2,4,6
/proc/15805/task/15812/stat : 15812 (java) S 15802 15805 15518 0 -1 4202560 522 0 0 0 339 16 0 0 20 0 22 0 107379790 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139727179074472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15813] ppid=15802 vsize=9824732 CPUtime=3.66 cores=0,2,4,6
/proc/15805/task/15813/stat : 15813 (java) S 15802 15805 15518 0 -1 4202560 927 0 0 0 343 23 0 0 20 0 22 0 107379790 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139727178021928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15814] ppid=15802 vsize=9824732 CPUtime=3.52 cores=0,2,4,6
/proc/15805/task/15814/stat : 15814 (java) S 15802 15805 15518 0 -1 4202560 1011 0 0 0 329 23 0 0 20 0 22 0 107379790 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139727176968872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15815] ppid=15802 vsize=9824732 CPUtime=3.11 cores=0,2,4,6
/proc/15805/task/15815/stat : 15815 (java) S 15802 15805 15518 0 -1 4202560 730 0 0 0 296 15 0 0 20 0 22 0 107379790 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139727175916328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15816] ppid=15802 vsize=9824732 CPUtime=5.28 cores=0,2,4,6
/proc/15805/task/15816/stat : 15816 (java) S 15802 15805 15518 0 -1 4202560 2868 0 0 0 521 7 0 0 20 0 22 0 107379792 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726693587304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15817] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15817/stat : 15817 (java) S 15802 15805 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726692533624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15818] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15818/stat : 15818 (java) S 15802 15805 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726691480456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15819] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15819/stat : 15819 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107379795 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726690429200 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15820] ppid=15802 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/15805/task/15820/stat : 15820 (java) S 15802 15805 15518 0 -1 4202560 15041 0 0 0 197 3 0 0 20 0 22 0 107379795 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726689377080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15821] ppid=15802 vsize=9824732 CPUtime=2.07 cores=0,2,4,6
/proc/15805/task/15821/stat : 15821 (java) S 15802 15805 15518 0 -1 4202560 17527 0 0 0 203 4 0 0 20 0 22 0 107379795 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726688324536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15822] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15822/stat : 15822 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107379795 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726687271672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15823] ppid=15802 vsize=9824732 CPUtime=0.36 cores=0,2,4,6
/proc/15805/task/15823/stat : 15823 (java) S 15802 15805 15518 0 -1 4202560 51 0 0 0 20 16 0 0 20 0 22 0 107379795 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726686219336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15833] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15833/stat : 15833 (java) S 15802 15805 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107380065 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726682006696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15834] ppid=15802 vsize=9824732 CPUtime=859.04 cores=0,2,4,6
/proc/15805/task/15834/stat : 15834 (java) R 15802 15805 15518 0 -1 4202560 18 0 0 0 85888 16 0 0 20 0 22 0 107380866 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726685162656 139727182715135 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15835] ppid=15802 vsize=9824732 CPUtime=859.06 cores=0,2,4,6
/proc/15805/task/15835/stat : 15835 (java) R 15802 15805 15518 0 -1 4202560 2072 0 0 0 85867 39 0 0 20 0 22 0 107380866 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726684111480 139727182818585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15836] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15836/stat : 15836 (java) S 15802 15805 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107380866 10060525568 969984 33554432000 1073741824 1073778376 140735854109648 139726683059752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1773.4
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+895.601 s]
/proc/loadavg: 4.17 4.24 3.89 7/219 15943
/proc/meminfo: memFree=26612116/32872528 swapFree=15784/1434320
[pid=15805] ppid=15802 vsize=9824732 CPUtime=1800.16 cores=0,2,4,6
/proc/15805/stat : 15805 (java) S 15802 15805 15518 0 -1 4202496 47675 0 1 0 179795 221 0 0 20 0 22 0 107379789 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 140735854100784 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15805/statm: 2456183 969989 2303 9 0 2446860 0
[pid=15805/tid=15806] ppid=15802 vsize=9824732 CPUtime=1.59 cores=0,2,4,6
/proc/15805/task/15806/stat : 15806 (java) S 15802 15805 15518 0 -1 4202560 2504 0 1 0 155 4 0 0 20 0 22 0 107379790 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139727339881336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15808] ppid=15802 vsize=9824732 CPUtime=3.27 cores=0,2,4,6
/proc/15805/task/15808/stat : 15808 (java) S 15802 15805 15518 0 -1 4202560 781 0 0 0 310 17 0 0 20 0 22 0 107379790 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139727301372328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15809] ppid=15802 vsize=9824732 CPUtime=3.73 cores=0,2,4,6
/proc/15805/task/15809/stat : 15809 (java) S 15802 15805 15518 0 -1 4202560 799 0 0 0 349 24 0 0 20 0 22 0 107379790 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139727300319784 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15810] ppid=15802 vsize=9824732 CPUtime=3.98 cores=0,2,4,6
/proc/15805/task/15810/stat : 15810 (java) S 15802 15805 15518 0 -1 4202560 697 0 0 0 380 18 0 0 20 0 22 0 107379790 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139727181179048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15811] ppid=15802 vsize=9824732 CPUtime=3.44 cores=0,2,4,6
/proc/15805/task/15811/stat : 15811 (java) S 15802 15805 15518 0 -1 4202560 736 0 0 0 323 21 0 0 20 0 22 0 107379790 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139727180126504 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15812] ppid=15802 vsize=9824732 CPUtime=3.57 cores=0,2,4,6
/proc/15805/task/15812/stat : 15812 (java) S 15802 15805 15518 0 -1 4202560 523 0 0 0 341 16 0 0 20 0 22 0 107379790 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139727179074472 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15813] ppid=15802 vsize=9824732 CPUtime=3.68 cores=0,2,4,6
/proc/15805/task/15813/stat : 15813 (java) S 15802 15805 15518 0 -1 4202560 927 0 0 0 345 23 0 0 20 0 22 0 107379790 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139727178021928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15814] ppid=15802 vsize=9824732 CPUtime=3.54 cores=0,2,4,6
/proc/15805/task/15814/stat : 15814 (java) S 15802 15805 15518 0 -1 4202560 1011 0 0 0 331 23 0 0 20 0 22 0 107379790 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139727176968872 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15815] ppid=15802 vsize=9824732 CPUtime=3.13 cores=0,2,4,6
/proc/15805/task/15815/stat : 15815 (java) S 15802 15805 15518 0 -1 4202560 730 0 0 0 298 15 0 0 20 0 22 0 107379790 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139727175916328 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15816] ppid=15802 vsize=9824732 CPUtime=5.28 cores=0,2,4,6
/proc/15805/task/15816/stat : 15816 (java) S 15802 15805 15518 0 -1 4202560 2869 0 0 0 521 7 0 0 20 0 22 0 107379792 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726693587304 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15817] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15817/stat : 15817 (java) S 15802 15805 15518 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726692533624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15818] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15818/stat : 15818 (java) S 15802 15805 15518 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 107379792 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726691480456 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15819] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15819/stat : 15819 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107379795 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726690429200 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15820] ppid=15802 vsize=9824732 CPUtime=2 cores=0,2,4,6
/proc/15805/task/15820/stat : 15820 (java) S 15802 15805 15518 0 -1 4202560 15041 0 0 0 197 3 0 0 20 0 22 0 107379795 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726689377080 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15821] ppid=15802 vsize=9824732 CPUtime=2.07 cores=0,2,4,6
/proc/15805/task/15821/stat : 15821 (java) S 15802 15805 15518 0 -1 4202560 17527 0 0 0 203 4 0 0 20 0 22 0 107379795 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726688324536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15805/tid=15822] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15822/stat : 15822 (java) S 15802 15805 15518 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107379795 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726687271672 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15805/tid=15823] ppid=15802 vsize=9824732 CPUtime=0.37 cores=0,2,4,6
/proc/15805/task/15823/stat : 15823 (java) S 15802 15805 15518 0 -1 4202560 51 0 0 0 21 16 0 0 20 0 22 0 107379795 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726686219336 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15833] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15833/stat : 15833 (java) S 15802 15805 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107380065 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726682006696 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15834] ppid=15802 vsize=9824732 CPUtime=872.24 cores=0,2,4,6
/proc/15805/task/15834/stat : 15834 (java) R 15802 15805 15518 0 -1 4202560 18 0 0 0 87208 16 0 0 20 0 22 0 107380866 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726685162656 139727182590918 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15805/tid=15835] ppid=15802 vsize=9824732 CPUtime=872.25 cores=0,2,4,6
/proc/15805/task/15835/stat : 15835 (java) R 15802 15805 15518 0 -1 4202560 2073 0 0 0 87186 39 0 0 20 0 22 0 107380866 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726684111136 139727182786253 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15805/tid=15836] ppid=15802 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/15805/task/15836/stat : 15836 (java) S 15802 15805 15518 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107380866 10060525568 969989 33554432000 1073741824 1073778376 140735854109648 139726683059752 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
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 15805 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 895.657
CPU time (s): 1800.75
CPU user time (s): 1798.04
CPU system time (s): 2.71359
CPU usage (%): 201.054
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.04
system time used= 2.71359
maximum resident set size= 3880068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47711
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= 23013
involuntary context switches= 28447
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.63499 second user time and 6.555 second system time
The end