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-4116966-1466952351/watcher-4116966-1466952351 -o /tmp/evaluation-result-4116966-1466952351/solver-4116966-1466952351 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466943674-19491 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4116966-1466952351.opb
pid=21371
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.27 4.29 4.27 4/197 21374
/proc/meminfo: memFree=29814060/32872528 swapFree=1541156/1696500
[pid=21374] ppid=21371 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/21374/stat : 21374 (java) S 21371 21374 19474 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 28273848 98570240 977 33554432000 1073741824 1073778376 140733245274464 140733245265600 270710898749 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21374/statm: 24065 977 743 9 0 16771 0
[pid=21374/tid=21375] ppid=21371 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21375/stat : 21375 (java) R 21371 21374 19474 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 28273848 98570240 977 33554432000 1073741824 1073778376 140733245274464 140094438420008 270707541376 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 4.27 4.29 4.27 4/197 21374
/proc/meminfo: memFree=29814060/32872528 swapFree=1541156/1696500
[pid=21374] ppid=21371 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/21374/stat : 21374 (java) S 21371 21374 19474 0 -1 4202496 4428 0 1 0 9 1 0 0 20 0 18 0 28273848 9787879424 6068 33554432000 1073741824 1073778376 140733245274464 140733245265600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21374/statm: 2389619 6068 2141 9 0 2380296 0
[pid=21374/tid=21375] ppid=21371 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/21374/task/21375/stat : 21375 (java) R 21371 21374 19474 0 -1 4202560 2388 0 1 0 7 0 0 0 20 0 18 0 28273848 9787879424 6068 33554432000 1073741824 1073778376 140733245274464 140094438407200 140094442556959 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200271 s]
/proc/loadavg: 4.27 4.29 4.27 4/197 21374
/proc/meminfo: memFree=29814060/32872528 swapFree=1541156/1696500
[pid=21374] ppid=21371 vsize=9558476 CPUtime=0.26 cores=1,3,5,7
/proc/21374/stat : 21374 (java) S 21371 21374 19474 0 -1 4202496 4690 0 1 0 25 1 0 0 20 0 18 0 28273848 9787879424 6780 33554432000 1073741824 1073778376 140733245274464 140733245265600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21374/statm: 2389619 6780 2212 9 0 2380296 0
[pid=21374/tid=21375] ppid=21371 vsize=9558476 CPUtime=0.17 cores=1,3,5,7
/proc/21374/task/21375/stat : 21375 (java) R 21371 21374 19474 0 -1 4202560 2405 0 1 0 17 0 0 0 20 0 18 0 28273848 9787879424 6780 33554432000 1073741824 1073778376 140733245274464 140094438424760 140094266750305 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300281 s]
/proc/loadavg: 4.27 4.29 4.27 4/197 21374
/proc/meminfo: memFree=29814060/32872528 swapFree=1541156/1696500
[pid=21374] ppid=21371 vsize=9558476 CPUtime=0.51 cores=1,3,5,7
/proc/21374/stat : 21374 (java) S 21371 21374 19474 0 -1 4202496 5932 0 1 0 49 2 0 0 20 0 18 0 28273848 9787879424 8927 33554432000 1073741824 1073778376 140733245274464 140733245265600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21374/statm: 2389619 8927 2234 9 0 2380296 0
[pid=21374/tid=21375] ppid=21371 vsize=9558476 CPUtime=0.27 cores=1,3,5,7
/proc/21374/task/21375/stat : 21375 (java) R 21371 21374 19474 0 -1 4202560 2408 0 1 0 27 0 0 0 20 0 18 0 28273848 9787879424 8927 33554432000 1073741824 1073778376 140733245274464 140094438416240 140094267176423 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9558476
[startup+0.700235 s]
/proc/loadavg: 4.27 4.29 4.27 4/197 21374
/proc/meminfo: memFree=29814060/32872528 swapFree=1541156/1696500
[pid=21374] ppid=21371 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/21374/stat : 21374 (java) S 21371 21374 19474 0 -1 4202496 14590 0 1 0 175 4 0 0 20 0 22 0 28273848 10060525568 23355 33554432000 1073741824 1073778376 140733245274464 140733245265600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21374/statm: 2456183 23355 2265 9 0 2446860 0
[pid=21374/tid=21375] ppid=21371 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/21374/task/21375/stat : 21375 (java) S 21371 21374 19474 0 -1 4202560 2439 0 1 0 44 2 0 0 20 0 22 0 28273848 10060525568 23355 33554432000 1073741824 1073778376 140733245274464 140094438425464 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 9824732
[startup+1.50084 s]
/proc/loadavg: 4.27 4.29 4.27 8/219 21396
/proc/meminfo: memFree=29640196/32872528 swapFree=1541156/1696500
[pid=21374] ppid=21371 vsize=9824732 CPUtime=4.87 cores=1,3,5,7
/proc/21374/stat : 21374 (java) S 21371 21374 19474 0 -1 4202496 23852 0 1 0 480 7 0 0 20 0 22 0 28273848 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140733245265600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21374/statm: 2456183 48901 2292 9 0 2446860 0
[pid=21374/tid=21375] ppid=21371 vsize=9824732 CPUtime=0.46 cores=1,3,5,7
/proc/21374/task/21375/stat : 21375 (java) S 21371 21374 19474 0 -1 4202560 2439 0 1 0 44 2 0 0 20 0 22 0 28273848 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094438425464 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21377] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21377/stat : 21377 (java) S 21371 21374 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28273849 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094399916328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21378] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21378/stat : 21378 (java) S 21371 21374 19474 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 28273849 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094398863528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21379] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21379/stat : 21379 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273849 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094397811240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21380] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21380/stat : 21380 (java) S 21371 21374 19474 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28273849 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094396758440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21381] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21381/stat : 21381 (java) S 21371 21374 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28273849 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094395706152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21382] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21382/stat : 21382 (java) S 21371 21374 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28273849 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094394653352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21383] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21383/stat : 21383 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273849 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094393601064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21384] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21384/stat : 21384 (java) S 21371 21374 19474 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 28273849 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094392548264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21385] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21385/stat : 21385 (java) S 21371 21374 19474 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094262454504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21386] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21386/stat : 21386 (java) S 21371 21374 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094261400568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21387] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21387/stat : 21387 (java) S 21371 21374 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094260348168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21388] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21388/stat : 21388 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094259296656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21389] ppid=21371 vsize=9824732 CPUtime=1.21 cores=1,3,5,7
/proc/21374/task/21389/stat : 21389 (java) R 21371 21374 19474 0 -1 4202560 13205 0 0 0 118 3 0 0 20 0 22 0 28273853 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094258222392 140094441330780 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21390] ppid=21371 vsize=9824732 CPUtime=1.19 cores=1,3,5,7
/proc/21374/task/21390/stat : 21390 (java) S 21371 21374 19474 0 -1 4202560 6795 0 0 0 118 1 0 0 20 0 22 0 28273853 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094257191480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21391] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21391/stat : 21391 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094256139384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21392] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21392/stat : 21392 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094255086792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21393] ppid=21371 vsize=9824732 CPUtime=0.94 cores=1,3,5,7
/proc/21374/task/21393/stat : 21393 (java) R 21371 21374 19474 0 -1 4202560 19 0 0 0 94 0 0 0 20 0 22 0 28273896 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094253657888 140094267390257 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21394] ppid=21371 vsize=9824732 CPUtime=0.95 cores=1,3,5,7
/proc/21374/task/21394/stat : 21394 (java) R 21371 21374 19474 0 -1 4202560 69 0 0 0 95 0 0 0 20 0 22 0 28273896 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094252612184 140094267547898 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21395] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21395/stat : 21395 (java) S 21371 21374 19474 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28273898 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140094251562152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21396] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21396/stat : 21396 (java) S 21371 21374 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28273899 10060525568 48901 33554432000 1073741824 1073778376 140733245274464 140093109036072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 9824732
[startup+3.10087 s]
/proc/loadavg: 4.27 4.29 4.27 6/219 21396
/proc/meminfo: memFree=29558160/32872528 swapFree=1541156/1696500
[pid=21374] ppid=21371 vsize=9824732 CPUtime=8.75 cores=1,3,5,7
/proc/21374/stat : 21374 (java) S 21371 21374 19474 0 -1 4202496 27497 0 1 0 861 14 0 0 20 0 22 0 28273848 10060525568 83727 33554432000 1073741824 1073778376 140733245274464 140733245265600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21374/statm: 2456183 84239 2292 9 0 2446860 0
[pid=21374/tid=21375] ppid=21371 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/21374/task/21375/stat : 21375 (java) S 21371 21374 19474 0 -1 4202560 2439 0 1 0 45 2 0 0 20 0 22 0 28273848 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094438425464 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21377] ppid=21371 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/21374/task/21377/stat : 21377 (java) S 21371 21374 19474 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 28273849 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094399916328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21378] ppid=21371 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21374/task/21378/stat : 21378 (java) S 21371 21374 19474 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 28273849 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094398863528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21379] ppid=21371 vsize=9824732 CPUtime=0.03 cores=1,3,5,7
/proc/21374/task/21379/stat : 21379 (java) S 21371 21374 19474 0 -1 4202560 22 0 0 0 3 0 0 0 20 0 22 0 28273849 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094397811240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21380] ppid=21371 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21374/task/21380/stat : 21380 (java) S 21371 21374 19474 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 22 0 28273849 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094396758440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21381] ppid=21371 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21374/task/21381/stat : 21381 (java) R 21371 21374 19474 0 -1 4202560 22 0 0 0 2 0 0 0 20 0 22 0 28273849 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094395706152 140094440896209 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21382] ppid=21371 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21374/task/21382/stat : 21382 (java) S 21371 21374 19474 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 22 0 28273849 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094394653352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21383] ppid=21371 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21374/task/21383/stat : 21383 (java) S 21371 21374 19474 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 28273849 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094393601064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21384] ppid=21371 vsize=9824732 CPUtime=0.02 cores=1,3,5,7
/proc/21374/task/21384/stat : 21384 (java) R 21371 21374 19474 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 28273849 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094392548264 270710912060 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21385] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21385/stat : 21385 (java) S 21371 21374 19474 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094262453384 270710912060 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21386] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21386/stat : 21386 (java) S 21371 21374 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094261400568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21387] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21387/stat : 21387 (java) S 21371 21374 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094260348168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21388] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21388/stat : 21388 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094259296656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21389] ppid=21371 vsize=9824732 CPUtime=1.48 cores=1,3,5,7
/proc/21374/task/21389/stat : 21389 (java) S 21371 21374 19474 0 -1 4202560 13705 0 0 0 145 3 0 0 20 0 22 0 28273853 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094258244280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21390] ppid=21371 vsize=9824732 CPUtime=1.55 cores=1,3,5,7
/proc/21374/task/21390/stat : 21390 (java) S 21371 21374 19474 0 -1 4202560 9751 0 0 0 153 2 0 0 20 0 22 0 28273853 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094257191480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21391] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21391/stat : 21391 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094256139384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21392] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21392/stat : 21392 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094255086792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21393] ppid=21371 vsize=9824732 CPUtime=2.42 cores=1,3,5,7
/proc/21374/task/21393/stat : 21393 (java) S 21371 21374 19474 0 -1 4202560 20 0 0 0 242 0 0 0 20 0 22 0 28273896 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094253666936 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21394] ppid=21371 vsize=9824732 CPUtime=2.44 cores=1,3,5,7
/proc/21374/task/21394/stat : 21394 (java) S 21371 21374 19474 0 -1 4202560 118 0 0 0 242 2 0 0 20 0 22 0 28273896 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094252612824 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21395] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21395/stat : 21395 (java) S 21371 21374 19474 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28273898 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140094251562152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21396] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21396/stat : 21396 (java) S 21371 21374 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28273899 10060525568 84239 33554432000 1073741824 1073778376 140733245274464 140093109036072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.75
Current children cumulated vsize (KiB) 9824732
[startup+6.301 s]
/proc/loadavg: 4.32 4.30 4.27 6/219 21396
/proc/meminfo: memFree=28653144/32872528 swapFree=1541156/1696500
[pid=21374] ppid=21371 vsize=9824732 CPUtime=15.48 cores=1,3,5,7
/proc/21374/stat : 21374 (java) S 21371 21374 19474 0 -1 4202496 30068 0 1 0 1524 24 0 0 20 0 22 0 28273848 10060525568 156073 33554432000 1073741824 1073778376 140733245274464 140733245265600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21374/statm: 2456183 156073 2292 9 0 2446860 0
[pid=21374/tid=21375] ppid=21371 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/21374/task/21375/stat : 21375 (java) S 21371 21374 19474 0 -1 4202560 2439 0 1 0 45 2 0 0 20 0 22 0 28273848 10060525568 156073 33554432000 1073741824 1073778376 140733245274464 140094438425464 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21377] ppid=21371 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/21374/task/21377/stat : 21377 (java) S 21371 21374 19474 0 -1 4202560 40 0 0 0 4 2 0 0 20 0 22 0 28273849 10060525568 156073 33554432000 1073741824 1073778376 140733245274464 140094399916328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21378] ppid=21371 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/21374/task/21378/stat : 21378 (java) S 21371 21374 19474 0 -1 4202560 38 0 0 0 6 0 0 0 20 0 22 0 28273849 10060525568 156073 33554432000 1073741824 1073778376 140733245274464 140094398863528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21379] ppid=21371 vsize=9824732 CPUtime=0.12 cores=1,3,5,7
/proc/21374/task/21379/stat : 21379 (java) S 21371 21374 19474 0 -1 4202560 171 0 0 0 9 3 0 0 20 0 22 0 28273849 10060525568 156073 33554432000 1073741824 1073778376 140733245274464 140094397811240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21380] ppid=21371 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/21374/task/21380/stat : 21380 (java) S 21371 21374 19474 0 -1 4202560 115 0 0 0 6 0 0 0 20 0 22 0 28273849 10060525568 156073 33554432000 1073741824 1073778376 140733245274464 140094396758440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21381] ppid=21371 vsize=9824732 CPUtime=0.07 cores=1,3,5,7
/proc/21374/task/21381/stat : 21381 (java) S 21371 21374 19474 0 -1 4202560 68 0 0 0 5 2 0 0 20 0 22 0 28273849 10060525568 156073 33554432000 1073741824 1073778376 140733245274464 140094395706152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21382] ppid=21371 vsize=9824732 CPUtime=0.05 cores=1,3,5,7
/proc/21374/task/21382/stat : 21382 (java) S 21371 21374 19474 0 -1 4202560 26 0 0 0 4 1 0 0 20 0 22 0 28273849 10060525568 156073 33554432000 1073741824 1073778376 140733245274464 140094394653352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21383] ppid=21371 vsize=9824732 CPUtime=0.06 cores=1,3,5,7
/proc/21374/task/21383/stat : 21383 (java) S 21371 21374 19474 0 -1 4202560 66 0 0 0 4 2 0 0 20 0 22 0 28273849 10060525568 156073 33554432000 1073741824 1073778376 140733245274464 140094393601064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21384] ppid=21371 vsize=9824732 CPUtime=0.09 cores=1,3,5,7
################
# More data... #
################
/proc/21374/task/21379/stat : 21379 (java) S 21371 21374 19474 0 -1 4202560 1092 0 0 0 167 15 0 0 20 0 22 0 28273849 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094397811240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21380] ppid=21371 vsize=9824732 CPUtime=1.6 cores=1,3,5,7
/proc/21374/task/21380/stat : 21380 (java) S 21371 21374 19474 0 -1 4202560 1301 0 0 0 150 10 0 0 20 0 22 0 28273849 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094396758440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21381] ppid=21371 vsize=9824732 CPUtime=1.71 cores=1,3,5,7
/proc/21374/task/21381/stat : 21381 (java) S 21371 21374 19474 0 -1 4202560 1086 0 0 0 156 15 0 0 20 0 22 0 28273849 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094395706152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21382] ppid=21371 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/21374/task/21382/stat : 21382 (java) S 21371 21374 19474 0 -1 4202560 1770 0 0 0 159 15 0 0 20 0 22 0 28273849 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094394653352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21383] ppid=21371 vsize=9824732 CPUtime=1.77 cores=1,3,5,7
/proc/21374/task/21383/stat : 21383 (java) S 21371 21374 19474 0 -1 4202560 1241 0 0 0 162 15 0 0 20 0 22 0 28273849 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094393601064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21384] ppid=21371 vsize=9824732 CPUtime=1.74 cores=1,3,5,7
/proc/21374/task/21384/stat : 21384 (java) S 21371 21374 19474 0 -1 4202560 1237 0 0 0 162 12 0 0 20 0 22 0 28273849 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094392548264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21385] ppid=21371 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/21374/task/21385/stat : 21385 (java) S 21371 21374 19474 0 -1 4202560 2113 0 0 0 267 8 0 0 20 0 22 0 28273850 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094262454504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21386] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21386/stat : 21386 (java) S 21371 21374 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094261400568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21387] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21387/stat : 21387 (java) S 21371 21374 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094260348168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21388] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21388/stat : 21388 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094259296656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21389] ppid=21371 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/21374/task/21389/stat : 21389 (java) S 21371 21374 19474 0 -1 4202560 13712 0 0 0 163 3 0 0 20 0 22 0 28273853 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094258244280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21390] ppid=21371 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/21374/task/21390/stat : 21390 (java) S 21371 21374 19474 0 -1 4202560 11959 0 0 0 198 2 0 0 20 0 22 0 28273853 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094257191480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21391] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21391/stat : 21391 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094256139384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21392] ppid=21371 vsize=9824732 CPUtime=0.36 cores=1,3,5,7
/proc/21374/task/21392/stat : 21392 (java) S 21371 21374 19474 0 -1 4202560 47 0 0 0 13 23 0 0 20 0 22 0 28273853 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094255086792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21393] ppid=21371 vsize=9824732 CPUtime=812.83 cores=1,3,5,7
/proc/21374/task/21393/stat : 21393 (java) R 21371 21374 19474 0 -1 4202560 64 0 0 0 81269 14 0 0 20 0 22 0 28273896 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094253664848 140094267447863 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21394] ppid=21371 vsize=9824732 CPUtime=812.95 cores=1,3,5,7
/proc/21374/task/21394/stat : 21394 (java) R 21371 21374 19474 0 -1 4202560 1948 0 0 0 81242 53 0 0 20 0 22 0 28273896 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094252612544 140094267842829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21395] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21395/stat : 21395 (java) S 21371 21374 19474 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28273898 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140094251562152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21396] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21396/stat : 21396 (java) S 21371 21374 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28273899 10060525568 878493 33554432000 1073741824 1073778376 140733245274464 140093109036072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1651.03
Current children cumulated vsize (KiB) 9824732
[startup+882.308 s]
/proc/loadavg: 4.50 4.37 4.30 5/220 21419
/proc/meminfo: memFree=23122512/32872528 swapFree=1541156/1696500
[pid=21374] ppid=21371 vsize=9824732 CPUtime=1771.76 cores=1,3,5,7
/proc/21374/stat : 21374 (java) S 21371 21374 19474 0 -1 4202496 43248 0 1 0 176990 186 0 0 20 0 22 0 28273848 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140733245265600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21374/statm: 2456183 891395 2301 9 0 2446860 0
[pid=21374/tid=21375] ppid=21371 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/21374/task/21375/stat : 21375 (java) S 21371 21374 19474 0 -1 4202560 2448 0 1 0 47 4 0 0 20 0 22 0 28273848 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094438425464 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21377] ppid=21371 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/21374/task/21377/stat : 21377 (java) S 21371 21374 19474 0 -1 4202560 750 0 0 0 194 13 0 0 20 0 22 0 28273849 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094399916328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21378] ppid=21371 vsize=9824732 CPUtime=1.98 cores=1,3,5,7
/proc/21374/task/21378/stat : 21378 (java) S 21371 21374 19474 0 -1 4202560 1033 0 0 0 184 14 0 0 20 0 22 0 28273849 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094398863528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21379] ppid=21371 vsize=9824732 CPUtime=2.06 cores=1,3,5,7
/proc/21374/task/21379/stat : 21379 (java) S 21371 21374 19474 0 -1 4202560 1112 0 0 0 190 16 0 0 20 0 22 0 28273849 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094397811240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21380] ppid=21371 vsize=9824732 CPUtime=1.79 cores=1,3,5,7
/proc/21374/task/21380/stat : 21380 (java) S 21371 21374 19474 0 -1 4202560 1317 0 0 0 168 11 0 0 20 0 22 0 28273849 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094396758440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21381] ppid=21371 vsize=9824732 CPUtime=1.86 cores=1,3,5,7
/proc/21374/task/21381/stat : 21381 (java) S 21371 21374 19474 0 -1 4202560 1102 0 0 0 171 15 0 0 20 0 22 0 28273849 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094395706152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21382] ppid=21371 vsize=9824732 CPUtime=1.95 cores=1,3,5,7
/proc/21374/task/21382/stat : 21382 (java) S 21371 21374 19474 0 -1 4202560 1812 0 0 0 180 15 0 0 20 0 22 0 28273849 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094394653352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21383] ppid=21371 vsize=9824732 CPUtime=1.89 cores=1,3,5,7
/proc/21374/task/21383/stat : 21383 (java) S 21371 21374 19474 0 -1 4202560 1292 0 0 0 174 15 0 0 20 0 22 0 28273849 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094393601064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21384] ppid=21371 vsize=9824732 CPUtime=1.92 cores=1,3,5,7
/proc/21374/task/21384/stat : 21384 (java) S 21371 21374 19474 0 -1 4202560 1250 0 0 0 179 13 0 0 20 0 22 0 28273849 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094392548264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21385] ppid=21371 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/21374/task/21385/stat : 21385 (java) S 21371 21374 19474 0 -1 4202560 2120 0 0 0 267 8 0 0 20 0 22 0 28273850 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094262454504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21386] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21386/stat : 21386 (java) S 21371 21374 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094261400568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21387] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21387/stat : 21387 (java) S 21371 21374 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094260348168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21388] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21388/stat : 21388 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094259296656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21389] ppid=21371 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/21374/task/21389/stat : 21389 (java) S 21371 21374 19474 0 -1 4202560 13712 0 0 0 163 3 0 0 20 0 22 0 28273853 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094258244280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21390] ppid=21371 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/21374/task/21390/stat : 21390 (java) S 21371 21374 19474 0 -1 4202560 11959 0 0 0 198 2 0 0 20 0 22 0 28273853 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094257191480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21391] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21391/stat : 21391 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094256139384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21392] ppid=21371 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/21374/task/21392/stat : 21392 (java) S 21371 21374 19474 0 -1 4202560 51 0 0 0 14 24 0 0 20 0 22 0 28273853 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094255086792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21393] ppid=21371 vsize=9824732 CPUtime=872.28 cores=1,3,5,7
/proc/21374/task/21393/stat : 21393 (java) R 21371 21374 19474 0 -1 4202560 64 0 0 0 87213 15 0 0 20 0 22 0 28273896 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094253665616 140094267448396 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21394] ppid=21371 vsize=9824732 CPUtime=872.39 cores=1,3,5,7
/proc/21374/task/21394/stat : 21394 (java) R 21371 21374 19474 0 -1 4202560 1956 0 0 0 87185 54 0 0 20 0 22 0 28273896 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094252613840 140094267842628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21395] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21395/stat : 21395 (java) S 21371 21374 19474 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28273898 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140094251562152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21396] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21396/stat : 21396 (java) S 21371 21374 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28273899 10060525568 891395 33554432000 1073741824 1073778376 140733245274464 140093109036072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1771.76
Current children cumulated vsize (KiB) 9824732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+896.401 s]
/proc/loadavg: 4.47 4.37 4.29 6/220 21488
/proc/meminfo: memFree=26247844/32872528 swapFree=1541156/1696500
[pid=21374] ppid=21371 vsize=9824732 CPUtime=1800.03 cores=1,3,5,7
/proc/21374/stat : 21374 (java) S 21371 21374 19474 0 -1 4202496 43258 0 1 0 179816 187 0 0 20 0 22 0 28273848 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140733245265600 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21374/statm: 2456183 891403 2301 9 0 2446860 0
[pid=21374/tid=21375] ppid=21371 vsize=9824732 CPUtime=0.51 cores=1,3,5,7
/proc/21374/task/21375/stat : 21375 (java) S 21371 21374 19474 0 -1 4202560 2448 0 1 0 47 4 0 0 20 0 22 0 28273848 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094438425464 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21377] ppid=21371 vsize=9824732 CPUtime=2.12 cores=1,3,5,7
/proc/21374/task/21377/stat : 21377 (java) S 21371 21374 19474 0 -1 4202560 750 0 0 0 199 13 0 0 20 0 22 0 28273849 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094399916328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21378] ppid=21371 vsize=9824732 CPUtime=1.99 cores=1,3,5,7
/proc/21374/task/21378/stat : 21378 (java) S 21371 21374 19474 0 -1 4202560 1033 0 0 0 185 14 0 0 20 0 22 0 28273849 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094398863528 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21379] ppid=21371 vsize=9824732 CPUtime=2.07 cores=1,3,5,7
/proc/21374/task/21379/stat : 21379 (java) S 21371 21374 19474 0 -1 4202560 1115 0 0 0 191 16 0 0 20 0 22 0 28273849 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094397811240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21380] ppid=21371 vsize=9824732 CPUtime=1.81 cores=1,3,5,7
/proc/21374/task/21380/stat : 21380 (java) S 21371 21374 19474 0 -1 4202560 1322 0 0 0 170 11 0 0 20 0 22 0 28273849 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094396758440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21381] ppid=21371 vsize=9824732 CPUtime=1.88 cores=1,3,5,7
/proc/21374/task/21381/stat : 21381 (java) S 21371 21374 19474 0 -1 4202560 1102 0 0 0 173 15 0 0 20 0 22 0 28273849 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094395706152 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21382] ppid=21371 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/21374/task/21382/stat : 21382 (java) S 21371 21374 19474 0 -1 4202560 1812 0 0 0 185 15 0 0 20 0 22 0 28273849 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094394653352 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21383] ppid=21371 vsize=9824732 CPUtime=1.91 cores=1,3,5,7
/proc/21374/task/21383/stat : 21383 (java) S 21371 21374 19474 0 -1 4202560 1293 0 0 0 176 15 0 0 20 0 22 0 28273849 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094393601064 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21384] ppid=21371 vsize=9824732 CPUtime=1.93 cores=1,3,5,7
/proc/21374/task/21384/stat : 21384 (java) S 21371 21374 19474 0 -1 4202560 1250 0 0 0 180 13 0 0 20 0 22 0 28273849 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094392548264 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21385] ppid=21371 vsize=9824732 CPUtime=2.75 cores=1,3,5,7
/proc/21374/task/21385/stat : 21385 (java) S 21371 21374 19474 0 -1 4202560 2120 0 0 0 267 8 0 0 20 0 22 0 28273850 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094262454504 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21386] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21386/stat : 21386 (java) S 21371 21374 19474 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094261400568 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21387] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21387/stat : 21387 (java) S 21371 21374 19474 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 28273850 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094260348168 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21388] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21388/stat : 21388 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094259296656 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21389] ppid=21371 vsize=9824732 CPUtime=1.66 cores=1,3,5,7
/proc/21374/task/21389/stat : 21389 (java) S 21371 21374 19474 0 -1 4202560 13712 0 0 0 163 3 0 0 20 0 22 0 28273853 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094258244280 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21390] ppid=21371 vsize=9824732 CPUtime=2 cores=1,3,5,7
/proc/21374/task/21390/stat : 21390 (java) S 21371 21374 19474 0 -1 4202560 11959 0 0 0 198 2 0 0 20 0 22 0 28273853 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094257191480 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21391] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21391/stat : 21391 (java) S 21371 21374 19474 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 28273853 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094256139384 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21374/tid=21392] ppid=21371 vsize=9824732 CPUtime=0.39 cores=1,3,5,7
/proc/21374/task/21392/stat : 21392 (java) S 21371 21374 19474 0 -1 4202560 51 0 0 0 15 24 0 0 20 0 22 0 28273853 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094255086792 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21393] ppid=21371 vsize=9824732 CPUtime=886.27 cores=1,3,5,7
/proc/21374/task/21393/stat : 21393 (java) R 21371 21374 19474 0 -1 4202560 65 0 0 0 88612 15 0 0 20 0 22 0 28273896 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094253665616 140094268353227 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21374/tid=21394] ppid=21371 vsize=9824732 CPUtime=886.38 cores=1,3,5,7
/proc/21374/task/21394/stat : 21394 (java) R 21371 21374 19474 0 -1 4202560 1956 0 0 0 88584 54 0 0 20 0 22 0 28273896 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094252611952 140094266938741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21374/tid=21395] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21395/stat : 21395 (java) S 21371 21374 19474 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 28273898 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140094251562152 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21374/tid=21396] ppid=21371 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/21374/task/21396/stat : 21396 (java) S 21371 21374 19474 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 28273899 10060525568 891403 33554432000 1073741824 1073778376 140733245274464 140093109036072 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
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 21374 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21374 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=707315
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=402634
# CPU time returned by wait4() is 1796.11
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 896.457
CPU time (s): 1800.03
CPU user time (s): 1798.16
CPU system time (s): 1.87
CPU usage (%): 200.794
Max. virtual memory (cumulated for all children) (KiB): 9824732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.71
system time used= 2.40263
maximum resident set size= 3565728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43294
page faults= 1
swaps= 0
block input operations= 0
block output operations= 832
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23821
involuntary context switches= 21778
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.92556 second user time and 3.68244 second system time
The end