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-4092119-1466088644/watcher-4092119-1466088644 -o /tmp/evaluation-result-4092119-1466088644/solver-4092119-1466088644 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466074085-13483 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4092119-1466088644.wbo
pid=22105
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: 4.03 3.34 2.80 4/198 22108
/proc/meminfo: memFree=31388656/32872528 swapFree=162364/176672
[pid=22108] ppid=22105 vsize=97336 CPUtime=0 cores=1,3,5,7
/proc/22108/stat : 22108 (java) S 22105 22108 11533 0 -1 4202496 1372 0 0 0 0 0 0 0 20 0 2 0 10914305 99672064 994 33554432000 1073741824 1073778376 140733212471296 140733212462432 224925876285 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22108/statm: 24334 994 758 9 0 16774 0
[pid=22108/tid=22109] ppid=22105 vsize=97336 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22109/stat : 22109 (java) R 22105 22108 11533 0 -1 4202560 175 0 0 0 0 0 0 0 20 0 2 0 10914305 99672064 1021 33554432000 1073741824 1073778376 140733212471296 140659919438520 224913354023 0 0 0 16784584 0 0 0 -1 1 0 0 0 0 0
[startup+0.100158 s]
/proc/loadavg: 4.03 3.34 2.80 4/198 22108
/proc/meminfo: memFree=31388656/32872528 swapFree=162364/176672
[pid=22108] ppid=22105 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/22108/stat : 22108 (java) S 22105 22108 11533 0 -1 4202496 4562 0 1 0 10 1 0 0 20 0 18 0 10914305 9787879424 5686 33554432000 1073741824 1073778376 140733212471296 140733212462432 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22108/statm: 2389619 5686 2158 9 0 2380296 0
[pid=22108/tid=22109] ppid=22105 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/22108/task/22109/stat : 22109 (java) R 22105 22108 11533 0 -1 4202560 2442 0 1 0 8 0 0 0 20 0 18 0 10914305 9787879424 5686 33554432000 1073741824 1073778376 140733212471296 140659919440800 224925902093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200335 s]
/proc/loadavg: 4.03 3.34 2.80 4/198 22108
/proc/meminfo: memFree=31388656/32872528 swapFree=162364/176672
[pid=22108] ppid=22105 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/22108/stat : 22108 (java) S 22105 22108 11533 0 -1 4202496 4923 0 1 0 25 1 0 0 20 0 18 0 10914305 9787879424 6425 33554432000 1073741824 1073778376 140733212471296 140733212462432 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22108/statm: 2389619 6425 2217 9 0 2380296 0
[pid=22108/tid=22109] ppid=22105 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/22108/task/22109/stat : 22109 (java) R 22105 22108 11533 0 -1 4202560 2458 0 1 0 18 0 0 0 20 0 18 0 10914305 9787879424 6425 33554432000 1073741824 1073778376 140733212471296 140659919440800 140659792061436 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300326 s]
/proc/loadavg: 4.03 3.34 2.80 4/198 22108
/proc/meminfo: memFree=31388656/32872528 swapFree=162364/176672
[pid=22108] ppid=22105 vsize=9558476 CPUtime=0.47 cores=1,3,5,7
/proc/22108/stat : 22108 (java) S 22105 22108 11533 0 -1 4202496 5677 0 1 0 46 1 0 0 20 0 18 0 10914305 9787879424 8493 33554432000 1073741824 1073778376 140733212471296 140733212462432 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22108/statm: 2389619 8493 2232 9 0 2380296 0
[pid=22108/tid=22109] ppid=22105 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/22108/task/22109/stat : 22109 (java) R 22105 22108 11533 0 -1 4202560 2461 0 1 0 26 2 0 0 20 0 18 0 10914305 9787879424 8493 33554432000 1073741824 1073778376 140733212471296 140659919441336 140659792053127 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9558476
[startup+0.700273 s]
/proc/loadavg: 4.03 3.34 2.80 4/198 22108
/proc/meminfo: memFree=31388656/32872528 swapFree=162364/176672
[pid=22108] ppid=22105 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/22108/stat : 22108 (java) S 22105 22108 11533 0 -1 4202496 14236 0 1 0 174 5 0 0 20 0 20 0 10914305 10060525568 22114 33554432000 1073741824 1073778376 140733212471296 140733212462432 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22108/statm: 2456183 22114 2269 9 0 2446860 0
[pid=22108/tid=22109] ppid=22105 vsize=9824732 CPUtime=0.5 cores=1,3,5,7
/proc/22108/task/22109/stat : 22109 (java) S 22105 22108 11533 0 -1 4202560 2492 0 1 0 48 2 0 0 20 0 20 0 10914305 10060525568 22114 33554432000 1073741824 1073778376 140733212471296 140659919442808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 9824732
[startup+1.50086 s]
/proc/loadavg: 4.03 3.34 2.80 7/220 22133
/proc/meminfo: memFree=31300628/32872528 swapFree=162364/176672
[pid=22108] ppid=22105 vsize=9824732 CPUtime=3.48 cores=1,3,5,7
/proc/22108/stat : 22108 (java) S 22105 22108 11533 0 -1 4202496 22394 0 1 0 340 8 0 0 20 0 22 0 10914305 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140733212462432 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22108/statm: 2456183 29683 2272 9 0 2446860 0
[pid=22108/tid=22109] ppid=22105 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/22108/task/22109/stat : 22109 (java) S 22105 22108 11533 0 -1 4202560 2499 0 1 0 52 2 0 0 20 0 22 0 10914305 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659919442808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22111] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22111/stat : 22111 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659763407400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22112] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22112/stat : 22112 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659762354600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22113] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22113/stat : 22113 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659761301800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22114] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22114/stat : 22114 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659760249000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22115] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22115/stat : 22115 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659759197224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22116] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22116/stat : 22116 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659758144424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22117] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22117/stat : 22117 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659757091624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22118] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22118/stat : 22118 (java) S 22105 22108 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659756038824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22119] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22119/stat : 22119 (java) S 22105 22108 11533 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659743627752 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22120] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22120/stat : 22120 (java) S 22105 22108 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659742573816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22121] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22121/stat : 22121 (java) S 22105 22108 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659741520904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22122] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22122/stat : 22122 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659740469392 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22123] ppid=22105 vsize=9824732 CPUtime=0.91 cores=1,3,5,7
/proc/22108/task/22123/stat : 22123 (java) R 22105 22108 11533 0 -1 4202560 13300 0 0 0 88 3 0 0 20 0 22 0 10914309 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659739417528 140659923559868 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22124] ppid=22105 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/22108/task/22124/stat : 22124 (java) S 22105 22108 11533 0 -1 4202560 5240 0 0 0 74 1 0 0 20 0 22 0 10914309 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659738364728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22125] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22125/stat : 22125 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659737312120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22126] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22126/stat : 22126 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659736259528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22129] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22129/stat : 22129 (java) S 22105 22108 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10914362 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659733099432 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22131] ppid=22105 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/22108/task/22131/stat : 22131 (java) R 22105 22108 11533 0 -1 4202560 4 0 0 0 42 0 0 0 20 0 22 0 10914411 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659734151960 140659793046776 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22132] ppid=22105 vsize=9824732 CPUtime=0.43 cores=1,3,5,7
/proc/22108/task/22132/stat : 22132 (java) R 22105 22108 11533 0 -1 4202560 17 0 0 0 43 0 0 0 20 0 22 0 10914411 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659735174352 140659793074715 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22133] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22133/stat : 22133 (java) S 22105 22108 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10914411 10060525568 29683 33554432000 1073741824 1073778376 140733212471296 140659732047272 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 4.03 3.34 2.80 5/220 22133
/proc/meminfo: memFree=31271660/32872528 swapFree=162364/176672
[pid=22108] ppid=22105 vsize=9824732 CPUtime=6.88 cores=1,3,5,7
/proc/22108/stat : 22108 (java) S 22105 22108 11533 0 -1 4202496 22776 0 1 0 680 8 0 0 20 0 22 0 10914305 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140733212462432 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22108/statm: 2456183 35442 2276 9 0 2446860 0
[pid=22108/tid=22109] ppid=22105 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/22108/task/22109/stat : 22109 (java) S 22105 22108 11533 0 -1 4202560 2499 0 1 0 52 2 0 0 20 0 22 0 10914305 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659919442808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22111] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22111/stat : 22111 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659763407400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22112] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22112/stat : 22112 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659762354600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22113] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22113/stat : 22113 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659761301800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22114] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22114/stat : 22114 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659760249000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22115] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22115/stat : 22115 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659759197224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22116] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22116/stat : 22116 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659758144424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22117] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22117/stat : 22117 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659757091624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22118] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22118/stat : 22118 (java) S 22105 22108 11533 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659756038824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22119] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22119/stat : 22119 (java) S 22105 22108 11533 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659743627752 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22120] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22120/stat : 22120 (java) S 22105 22108 11533 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659742573816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22121] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22121/stat : 22121 (java) S 22105 22108 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659741520904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22122] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22122/stat : 22122 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659740469392 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22123] ppid=22105 vsize=9824732 CPUtime=1.07 cores=1,3,5,7
/proc/22108/task/22123/stat : 22123 (java) S 22105 22108 11533 0 -1 4202560 13667 0 0 0 104 3 0 0 20 0 22 0 10914309 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659739417528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22124] ppid=22105 vsize=9824732 CPUtime=0.81 cores=1,3,5,7
/proc/22108/task/22124/stat : 22124 (java) S 22105 22108 11533 0 -1 4202560 5241 0 0 0 80 1 0 0 20 0 22 0 10914309 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659738364728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22125] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22125/stat : 22125 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659737312120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22126] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22126/stat : 22126 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659736259528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22129] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22129/stat : 22129 (java) S 22105 22108 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10914362 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659733099432 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22131] ppid=22105 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/22108/task/22131/stat : 22131 (java) R 22105 22108 11533 0 -1 4202560 16 0 0 0 200 0 0 0 20 0 22 0 10914411 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659734150072 140659793045853 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22132] ppid=22105 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/22108/task/22132/stat : 22132 (java) R 22105 22108 11533 0 -1 4202560 19 0 0 0 202 0 0 0 20 0 22 0 10914411 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659735202840 140659793074651 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22133] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22133/stat : 22133 (java) S 22105 22108 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10914411 10060525568 35442 33554432000 1073741824 1073778376 140733212471296 140659732047272 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9824732
[startup+6.30088 s]
/proc/loadavg: 4.03 3.35 2.81 7/220 22133
/proc/meminfo: memFree=31221480/32872528 swapFree=162364/176672
[pid=22108] ppid=22105 vsize=9824732 CPUtime=13.53 cores=1,3,5,7
/proc/22108/stat : 22108 (java) S 22105 22108 11533 0 -1 4202496 22913 0 1 0 1339 14 0 0 20 0 22 0 10914305 10060525568 55417 33554432000 1073741824 1073778376 140733212471296 140733212462432 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22108/statm: 2456183 55417 2292 9 0 2446860 0
[pid=22108/tid=22109] ppid=22105 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/22108/task/22109/stat : 22109 (java) S 22105 22108 11533 0 -1 4202560 2499 0 1 0 52 2 0 0 20 0 22 0 10914305 10060525568 55417 33554432000 1073741824 1073778376 140733212471296 140659919442808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22111] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22111/stat : 22111 (java) S 22105 22108 11533 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 55417 33554432000 1073741824 1073778376 140733212471296 140659763407400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22112] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22112/stat : 22112 (java) S 22105 22108 11533 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 55417 33554432000 1073741824 1073778376 140733212471296 140659762354600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22113] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22113/stat : 22113 (java) S 22105 22108 11533 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 55417 33554432000 1073741824 1073778376 140733212471296 140659761301800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22114] ppid=22105 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/22108/task/22114/stat : 22114 (java) S 22105 22108 11533 0 -1 4202560 25 0 0 0 0 2 0 0 20 0 22 0 10914306 10060525568 55417 33554432000 1073741824 1073778376 140733212471296 140659760249000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22115] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22115/stat : 22115 (java) S 22105 22108 11533 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 55417 33554432000 1073741824 1073778376 140733212471296 140659759197224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22116] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22116/stat : 22116 (java) S 22105 22108 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 55417 33554432000 1073741824 1073778376 140733212471296 140659758144424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22117] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22117/stat : 22117 (java) S 22105 22108 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10914306 10060525568 55417 33554432000 1073741824 1073778376 140733212471296 140659757091624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22118] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+822.311 s]
/proc/loadavg: 4.05 4.06 3.55 5/219 22249
/proc/meminfo: memFree=28478884/32872528 swapFree=162364/176672
[pid=22108] ppid=22105 vsize=9824732 CPUtime=1649.49 cores=1,3,5,7
/proc/22108/stat : 22108 (java) S 22105 22108 11533 0 -1 4202496 33191 0 1 0 164590 359 0 0 20 0 22 0 10914305 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140733212462432 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22108/statm: 2456183 793705 2301 9 0 2446860 0
[pid=22108/tid=22109] ppid=22105 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/22108/task/22109/stat : 22109 (java) S 22105 22108 11533 0 -1 4202560 2512 0 1 0 53 4 0 0 20 0 22 0 10914305 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659919442808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22111] ppid=22105 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/22108/task/22111/stat : 22111 (java) S 22105 22108 11533 0 -1 4202560 1076 0 0 0 190 46 0 0 20 0 22 0 10914306 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659763407400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22112] ppid=22105 vsize=9824732 CPUtime=2.19 cores=1,3,5,7
/proc/22108/task/22112/stat : 22112 (java) S 22105 22108 11533 0 -1 4202560 990 0 0 0 175 44 0 0 20 0 22 0 10914306 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659762354600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22113] ppid=22105 vsize=9824732 CPUtime=2.05 cores=1,3,5,7
/proc/22108/task/22113/stat : 22113 (java) S 22105 22108 11533 0 -1 4202560 733 0 0 0 166 39 0 0 20 0 22 0 10914306 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659761301800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22114] ppid=22105 vsize=9824732 CPUtime=2.49 cores=1,3,5,7
/proc/22108/task/22114/stat : 22114 (java) S 22105 22108 11533 0 -1 4202560 881 0 0 0 203 46 0 0 20 0 22 0 10914306 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659760249000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22115] ppid=22105 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/22108/task/22115/stat : 22115 (java) S 22105 22108 11533 0 -1 4202560 979 0 0 0 186 43 0 0 20 0 22 0 10914306 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659759197224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22116] ppid=22105 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/22108/task/22116/stat : 22116 (java) S 22105 22108 11533 0 -1 4202560 835 0 0 0 146 37 0 0 20 0 22 0 10914306 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659758144424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22117] ppid=22105 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/22108/task/22117/stat : 22117 (java) S 22105 22108 11533 0 -1 4202560 807 0 0 0 154 38 0 0 20 0 22 0 10914306 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659757091624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22118] ppid=22105 vsize=9824732 CPUtime=1.94 cores=1,3,5,7
/proc/22108/task/22118/stat : 22118 (java) S 22105 22108 11533 0 -1 4202560 1154 0 0 0 153 41 0 0 20 0 22 0 10914306 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659756038824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22119] ppid=22105 vsize=9824732 CPUtime=4.68 cores=1,3,5,7
/proc/22108/task/22119/stat : 22119 (java) S 22105 22108 11533 0 -1 4202560 2709 0 0 0 464 4 0 0 20 0 22 0 10914307 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659743627752 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22120] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22120/stat : 22120 (java) S 22105 22108 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659742573816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22121] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22121/stat : 22121 (java) S 22105 22108 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659741520904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22122] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22122/stat : 22122 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659740469392 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22123] ppid=22105 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/22108/task/22123/stat : 22123 (java) S 22105 22108 11533 0 -1 4202560 13732 0 0 0 129 4 0 0 20 0 22 0 10914309 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659739417528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22124] ppid=22105 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/22108/task/22124/stat : 22124 (java) S 22105 22108 11533 0 -1 4202560 5315 0 0 0 136 2 0 0 20 0 22 0 10914309 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659738364728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22125] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22125/stat : 22125 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659737312120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22126] ppid=22105 vsize=9824732 CPUtime=0.2 cores=1,3,5,7
/proc/22108/task/22126/stat : 22126 (java) S 22105 22108 11533 0 -1 4202560 47 0 0 0 8 12 0 0 20 0 22 0 10914309 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659736259528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22129] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22129/stat : 22129 (java) S 22105 22108 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10914362 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659733099432 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22131] ppid=22105 vsize=9824732 CPUtime=812.07 cores=1,3,5,7
/proc/22108/task/22131/stat : 22131 (java) R 22105 22108 11533 0 -1 4202560 68 0 0 0 81193 14 0 0 20 0 22 0 10914411 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659734151352 140659793047142 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22132] ppid=22105 vsize=9824732 CPUtime=812.02 cores=1,3,5,7
/proc/22108/task/22132/stat : 22132 (java) R 22105 22108 11533 0 -1 4202560 33 0 0 0 81190 12 0 0 20 0 22 0 10914411 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659735202584 140659792351976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22133] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22133/stat : 22133 (java) S 22105 22108 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10914411 10060525568 793705 33554432000 1073741824 1073778376 140733212471296 140659732047272 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1649.49
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.50 4.14 3.60 5/219 22250
/proc/meminfo: memFree=28310672/32872528 swapFree=162364/176672
[pid=22108] ppid=22105 vsize=9824732 CPUtime=1769.97 cores=1,3,5,7
/proc/22108/stat : 22108 (java) S 22105 22108 11533 0 -1 4202496 33925 0 1 0 176629 368 0 0 20 0 22 0 10914305 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140733212462432 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22108/statm: 2456183 808658 2301 9 0 2446860 0
[pid=22108/tid=22109] ppid=22105 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/22108/task/22109/stat : 22109 (java) S 22105 22108 11533 0 -1 4202560 2512 0 1 0 53 4 0 0 20 0 22 0 10914305 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659919442808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22111] ppid=22105 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/22108/task/22111/stat : 22111 (java) S 22105 22108 11533 0 -1 4202560 1081 0 0 0 201 46 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659763407400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22112] ppid=22105 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/22108/task/22112/stat : 22112 (java) S 22105 22108 11533 0 -1 4202560 1140 0 0 0 198 47 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659762354600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22113] ppid=22105 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/22108/task/22113/stat : 22113 (java) S 22105 22108 11533 0 -1 4202560 881 0 0 0 182 41 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659761301800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22114] ppid=22105 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/22108/task/22114/stat : 22114 (java) S 22105 22108 11533 0 -1 4202560 1021 0 0 0 210 47 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659760249000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22115] ppid=22105 vsize=9824732 CPUtime=2.38 cores=1,3,5,7
/proc/22108/task/22115/stat : 22115 (java) S 22105 22108 11533 0 -1 4202560 985 0 0 0 194 44 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659759197224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22116] ppid=22105 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/22108/task/22116/stat : 22116 (java) S 22105 22108 11533 0 -1 4202560 841 0 0 0 154 37 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659758144424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22117] ppid=22105 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/22108/task/22117/stat : 22117 (java) S 22105 22108 11533 0 -1 4202560 812 0 0 0 161 38 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659757091624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22118] ppid=22105 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/22108/task/22118/stat : 22118 (java) S 22105 22108 11533 0 -1 4202560 1315 0 0 0 163 43 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659756038824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22119] ppid=22105 vsize=9824732 CPUtime=4.68 cores=1,3,5,7
/proc/22108/task/22119/stat : 22119 (java) S 22105 22108 11533 0 -1 4202560 2815 0 0 0 464 4 0 0 20 0 22 0 10914307 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659743627752 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22120] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22120/stat : 22120 (java) S 22105 22108 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659742573816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22121] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22121/stat : 22121 (java) S 22105 22108 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659741520904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22122] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22122/stat : 22122 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659740469392 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22123] ppid=22105 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/22108/task/22123/stat : 22123 (java) S 22105 22108 11533 0 -1 4202560 13732 0 0 0 129 4 0 0 20 0 22 0 10914309 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659739417528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22124] ppid=22105 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/22108/task/22124/stat : 22124 (java) S 22105 22108 11533 0 -1 4202560 5316 0 0 0 136 2 0 0 20 0 22 0 10914309 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659738364728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22125] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22125/stat : 22125 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659737312120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22126] ppid=22105 vsize=9824732 CPUtime=0.21 cores=1,3,5,7
/proc/22108/task/22126/stat : 22126 (java) S 22105 22108 11533 0 -1 4202560 51 0 0 0 8 13 0 0 20 0 22 0 10914309 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659736259528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22129] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22129/stat : 22129 (java) S 22105 22108 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10914362 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659733099432 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22131] ppid=22105 vsize=9824732 CPUtime=871.81 cores=1,3,5,7
/proc/22108/task/22131/stat : 22131 (java) R 22105 22108 11533 0 -1 4202560 70 0 0 0 87166 15 0 0 20 0 22 0 10914411 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659734151232 140659793046776 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22132] ppid=22105 vsize=9824732 CPUtime=871.76 cores=1,3,5,7
/proc/22108/task/22132/stat : 22132 (java) R 22105 22108 11533 0 -1 4202560 33 0 0 0 87163 13 0 0 20 0 22 0 10914411 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659735202464 140659793112242 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22133] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22133/stat : 22133 (java) S 22105 22108 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10914411 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659732047272 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1769.97
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+897.401 s]
/proc/loadavg: 4.46 4.15 3.61 6/219 22250
/proc/meminfo: memFree=28305268/32872528 swapFree=162364/176672
[pid=22108] ppid=22105 vsize=9824732 CPUtime=1800.15 cores=1,3,5,7
/proc/22108/stat : 22108 (java) S 22105 22108 11533 0 -1 4202496 33927 0 1 0 179647 368 0 0 20 0 22 0 10914305 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140733212462432 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22108/statm: 2456183 808658 2301 9 0 2446860 0
[pid=22108/tid=22109] ppid=22105 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/22108/task/22109/stat : 22109 (java) S 22105 22108 11533 0 -1 4202560 2512 0 1 0 53 4 0 0 20 0 22 0 10914305 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659919442808 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22111] ppid=22105 vsize=9824732 CPUtime=2.47 cores=1,3,5,7
/proc/22108/task/22111/stat : 22111 (java) S 22105 22108 11533 0 -1 4202560 1081 0 0 0 201 46 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659763407400 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22112] ppid=22105 vsize=9824732 CPUtime=2.45 cores=1,3,5,7
/proc/22108/task/22112/stat : 22112 (java) S 22105 22108 11533 0 -1 4202560 1140 0 0 0 198 47 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659762354600 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22113] ppid=22105 vsize=9824732 CPUtime=2.23 cores=1,3,5,7
/proc/22108/task/22113/stat : 22113 (java) S 22105 22108 11533 0 -1 4202560 881 0 0 0 182 41 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659761301800 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22114] ppid=22105 vsize=9824732 CPUtime=2.57 cores=1,3,5,7
/proc/22108/task/22114/stat : 22114 (java) S 22105 22108 11533 0 -1 4202560 1021 0 0 0 210 47 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659760249000 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22115] ppid=22105 vsize=9824732 CPUtime=2.38 cores=1,3,5,7
/proc/22108/task/22115/stat : 22115 (java) S 22105 22108 11533 0 -1 4202560 985 0 0 0 194 44 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659759197224 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22116] ppid=22105 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/22108/task/22116/stat : 22116 (java) S 22105 22108 11533 0 -1 4202560 841 0 0 0 154 37 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659758144424 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22117] ppid=22105 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/22108/task/22117/stat : 22117 (java) S 22105 22108 11533 0 -1 4202560 812 0 0 0 161 38 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659757091624 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22118] ppid=22105 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/22108/task/22118/stat : 22118 (java) S 22105 22108 11533 0 -1 4202560 1315 0 0 0 163 43 0 0 20 0 22 0 10914306 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659756038824 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22119] ppid=22105 vsize=9824732 CPUtime=4.68 cores=1,3,5,7
/proc/22108/task/22119/stat : 22119 (java) S 22105 22108 11533 0 -1 4202560 2815 0 0 0 464 4 0 0 20 0 22 0 10914307 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659743627752 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22120] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22120/stat : 22120 (java) S 22105 22108 11533 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659742573816 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22121] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22121/stat : 22121 (java) S 22105 22108 11533 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 10914307 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659741520904 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22122] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22122/stat : 22122 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659740469392 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22123] ppid=22105 vsize=9824732 CPUtime=1.33 cores=1,3,5,7
/proc/22108/task/22123/stat : 22123 (java) S 22105 22108 11533 0 -1 4202560 13732 0 0 0 129 4 0 0 20 0 22 0 10914309 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659739417528 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22108/tid=22124] ppid=22105 vsize=9824732 CPUtime=1.38 cores=1,3,5,7
/proc/22108/task/22124/stat : 22124 (java) S 22105 22108 11533 0 -1 4202560 5316 0 0 0 136 2 0 0 20 0 22 0 10914309 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659738364728 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22125] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22125/stat : 22125 (java) S 22105 22108 11533 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 10914309 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659737312120 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22108/tid=22126] ppid=22105 vsize=9824732 CPUtime=0.23 cores=1,3,5,7
/proc/22108/task/22126/stat : 22126 (java) S 22105 22108 11533 0 -1 4202560 53 0 0 0 9 14 0 0 20 0 22 0 10914309 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659736259528 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22129] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22129/stat : 22129 (java) S 22105 22108 11533 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 10914362 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659733099432 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22131] ppid=22105 vsize=9824732 CPUtime=886.89 cores=1,3,5,7
/proc/22108/task/22131/stat : 22131 (java) R 22105 22108 11533 0 -1 4202560 70 0 0 0 88674 15 0 0 20 0 22 0 10914411 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659734143520 140659792714832 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22108/tid=22132] ppid=22105 vsize=9824732 CPUtime=886.86 cores=1,3,5,7
/proc/22108/task/22132/stat : 22132 (java) R 22105 22108 11533 0 -1 4202560 33 0 0 0 88673 13 0 0 20 0 22 0 10914411 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659735202464 140659792642000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22108/tid=22133] ppid=22105 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/22108/task/22133/stat : 22133 (java) S 22105 22108 11533 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 10914411 10060525568 808658 33554432000 1073741824 1073778376 140733212471296 140659732047272 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
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 22108 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 897.444
CPU time (s): 1800.78
CPU user time (s): 1796.6
CPU system time (s): 4.18136
CPU usage (%): 200.656
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.6
system time used= 4.18136
maximum resident set size= 3234752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33968
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= 22510
involuntary context switches= 20584
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.33319 second user time and 7.71483 second system time
The end