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-4101285-1466222217/watcher-4101285-1466222217 -o /tmp/evaluation-result-4101285-1466222217/solver-4101285-1466222217 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1466206052-22954 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4101285-1466222217.opb
pid=27541
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: 2.44 2.37 2.30 4/194 27544
/proc/meminfo: memFree=26927460/32872528 swapFree=1400172/1569824
[pid=27544] ppid=27541 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/27544/stat : 27544 (java) R 27541 27544 22937 0 -1 4202496 701 0 0 0 0 0 0 0 20 0 1 0 24266934 23793664 350 33554432000 1073741824 1073778376 140735546412992 140735546402056 213410429491 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27544/statm: 5809 361 277 9 0 128 0
[startup+0.100061 s]
/proc/loadavg: 2.44 2.37 2.30 4/194 27544
/proc/meminfo: memFree=26927460/32872528 swapFree=1400172/1569824
[pid=27544] ppid=27541 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/27544/stat : 27544 (java) S 27541 27544 22937 0 -1 4202496 4467 0 1 0 8 1 0 0 20 0 18 0 24266934 9787879424 5581 33554432000 1073741824 1073778376 140735546412992 140735546404128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27544/statm: 2389619 5581 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200299 s]
/proc/loadavg: 2.44 2.37 2.30 4/194 27544
/proc/meminfo: memFree=26927460/32872528 swapFree=1400172/1569824
[pid=27544] ppid=27541 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/27544/stat : 27544 (java) S 27541 27544 22937 0 -1 4202496 5068 0 1 0 27 1 0 0 20 0 18 0 24266934 9787879424 6509 33554432000 1073741824 1073778376 140735546412992 140735546404128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27544/statm: 2389619 6509 2218 9 0 2380296 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476
[startup+0.300313 s]
/proc/loadavg: 2.44 2.37 2.30 4/194 27544
/proc/meminfo: memFree=26927460/32872528 swapFree=1400172/1569824
[pid=27544] ppid=27541 vsize=9558476 CPUtime=0.52 cores=1,3,5,7
/proc/27544/stat : 27544 (java) S 27541 27544 22937 0 -1 4202496 9248 0 1 0 50 2 0 0 20 0 18 0 24266934 9787879424 11161 33554432000 1073741824 1073778376 140735546412992 140735546404128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27544/statm: 2389619 11161 2236 9 0 2380296 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9558476
[startup+0.700289 s]
/proc/loadavg: 2.44 2.37 2.30 4/194 27544
/proc/meminfo: memFree=26927460/32872528 swapFree=1400172/1569824
[pid=27544] ppid=27541 vsize=9625040 CPUtime=1.33 cores=1,3,5,7
/proc/27544/stat : 27544 (java) S 27541 27544 22937 0 -1 4202496 9700 0 1 0 129 4 0 0 20 0 19 0 24266934 9856040960 33419 33554432000 1073741824 1073778376 140735546412992 140735546404128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27544/statm: 2406260 33419 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9625040
[startup+1.50074 s]
/proc/loadavg: 2.44 2.37 2.30 4/191 27600
/proc/meminfo: memFree=30184844/32872528 swapFree=1400172/1569824
[pid=27544] ppid=27541 vsize=9625040 CPUtime=2.21 cores=1,3,5,7
/proc/27544/stat : 27544 (java) S 27541 27544 22937 0 -1 4202496 9727 0 1 0 216 5 0 0 20 0 19 0 24266934 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140735546404128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27544/statm: 2406260 37533 2259 9 0 2396937 0
[pid=27544/tid=27546] ppid=27541 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/27544/task/27546/stat : 27546 (java) R 27541 27544 22937 0 -1 4202560 2516 0 1 0 143 3 0 0 20 0 19 0 24266935 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410735137048 140410675504524 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27547] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27547/stat : 27547 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410673867816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27548] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27548/stat : 27548 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410672815016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27549] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27549/stat : 27549 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410671762216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27544/tid=27550] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27550/stat : 27550 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410670709416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27551] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27551/stat : 27551 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410669656616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27552] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27552/stat : 27552 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410573502888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27553] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27553/stat : 27553 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410572450088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27554] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27554/stat : 27554 (java) S 27541 27544 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410571397288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27555] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27555/stat : 27555 (java) S 27541 27544 22937 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 24266937 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410559200232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27556] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27556/stat : 27556 (java) S 27541 27544 22937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410558146296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27557] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27557/stat : 27557 (java) S 27541 27544 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410557093384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27558] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27558/stat : 27558 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410556041872 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27559] ppid=27541 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/27544/task/27559/stat : 27559 (java) S 27541 27544 22937 0 -1 4202560 3882 0 0 0 38 0 0 0 20 0 19 0 24266940 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410554988984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27560] ppid=27541 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/27544/task/27560/stat : 27560 (java) S 27541 27544 22937 0 -1 4202560 2051 0 0 0 33 0 0 0 20 0 19 0 24266940 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410553936184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27561] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27561/stat : 27561 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410552883576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27562] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27562/stat : 27562 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410551830984 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27563] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27563/stat : 27563 (java) S 27541 27544 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24266995 9856040960 37533 33554432000 1073741824 1073778376 140735546412992 140410550777512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 9625040
[startup+3.10074 s]
/proc/loadavg: 2.44 2.37 2.30 3/213 27629
/proc/meminfo: memFree=29963656/32872528 swapFree=1400172/1569824
[pid=27544] ppid=27541 vsize=9625040 CPUtime=3.91 cores=1,3,5,7
/proc/27544/stat : 27544 (java) S 27541 27544 22937 0 -1 4202496 10653 0 1 0 385 6 0 0 20 0 19 0 24266934 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140735546404128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27544/statm: 2406260 45246 2275 9 0 2396937 0
[pid=27544/tid=27546] ppid=27541 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/27544/task/27546/stat : 27546 (java) R 27541 27544 22937 0 -1 4202560 2529 0 1 0 301 4 0 0 20 0 19 0 24266935 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410735137304 140410675502745 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27547] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27547/stat : 27547 (java) S 27541 27544 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410673867816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27548] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27548/stat : 27548 (java) S 27541 27544 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410672815016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27549] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27549/stat : 27549 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410671762216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27544/tid=27550] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27550/stat : 27550 (java) S 27541 27544 22937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410670709416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27551] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27551/stat : 27551 (java) S 27541 27544 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410669656616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27552] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27552/stat : 27552 (java) S 27541 27544 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410573502888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27544/tid=27553] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27553/stat : 27553 (java) S 27541 27544 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410572450088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27554] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27554/stat : 27554 (java) S 27541 27544 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410571397288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27544/tid=27555] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27555/stat : 27555 (java) S 27541 27544 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24266937 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410559200232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27556] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27556/stat : 27556 (java) S 27541 27544 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410558146296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27557] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27557/stat : 27557 (java) S 27541 27544 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410557093384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27558] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27558/stat : 27558 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410556041872 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27559] ppid=27541 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/27544/task/27559/stat : 27559 (java) S 27541 27544 22937 0 -1 4202560 3883 0 0 0 39 0 0 0 20 0 19 0 24266940 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410554988984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27560] ppid=27541 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/27544/task/27560/stat : 27560 (java) S 27541 27544 22937 0 -1 4202560 2915 0 0 0 38 0 0 0 20 0 19 0 24266940 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410553936184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27561] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27561/stat : 27561 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410552883576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27562] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27562/stat : 27562 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410551830984 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27563] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27563/stat : 27563 (java) S 27541 27544 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24266995 9856040960 45246 33554432000 1073741824 1073778376 140735546412992 140410550777512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 9625040
[startup+6.30074 s]
/proc/loadavg: 2.40 2.36 2.30 3/213 27629
/proc/meminfo: memFree=29927664/32872528 swapFree=1400172/1569824
[pid=27544] ppid=27541 vsize=9625040 CPUtime=7.17 cores=1,3,5,7
/proc/27544/stat : 27544 (java) S 27541 27544 22937 0 -1 4202496 10692 0 1 0 711 6 0 0 20 0 19 0 24266934 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140735546404128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27544/statm: 2406260 44341 2279 9 0 2396937 0
[pid=27544/tid=27546] ppid=27541 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/27544/task/27546/stat : 27546 (java) R 27541 27544 22937 0 -1 4202560 2531 0 1 0 620 4 0 0 20 0 19 0 24266935 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410735135240 140410675503081 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27547] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27547/stat : 27547 (java) S 27541 27544 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410673867816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27548] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27548/stat : 27548 (java) S 27541 27544 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410672815016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27549] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27549/stat : 27549 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410671762216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27544/tid=27550] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27550/stat : 27550 (java) S 27541 27544 22937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410670709416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27551] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27551/stat : 27551 (java) S 27541 27544 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410669656616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27552] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27552/stat : 27552 (java) S 27541 27544 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410573502888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27544/tid=27553] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27553/stat : 27553 (java) S 27541 27544 22937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410572450088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27554] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27554/stat : 27554 (java) S 27541 27544 22937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 24266936 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410571397288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27544/tid=27555] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27555/stat : 27555 (java) S 27541 27544 22937 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 24266937 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410559200232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27556] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27556/stat : 27556 (java) S 27541 27544 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410558146296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27557] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27557/stat : 27557 (java) S 27541 27544 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410557093384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27558] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27558/stat : 27558 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410556041872 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27559] ppid=27541 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/27544/task/27559/stat : 27559 (java) S 27541 27544 22937 0 -1 4202560 3884 0 0 0 41 0 0 0 20 0 19 0 24266940 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410554988984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27560] ppid=27541 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/27544/task/27560/stat : 27560 (java) S 27541 27544 22937 0 -1 4202560 2951 0 0 0 42 0 0 0 20 0 19 0 24266940 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410553936184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27561] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27561/stat : 27561 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410552883576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27562] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27562/stat : 27562 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410551830984 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27563] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27563/stat : 27563 (java) S 27541 27544 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24266995 9856040960 44341 33554432000 1073741824 1073778376 140735546412992 140410550777512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.17
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=27544/tid=27563] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27563/stat : 27563 (java) S 27541 27544 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24266995 9856040960 54988 33554432000 1073741824 1073778376 140735546412992 140410550777512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1621.35
Current children cumulated vsize (KiB) 9625040
[startup+1662.3 s]
/proc/loadavg: 2.27 2.27 2.27 4/213 27694
/proc/meminfo: memFree=28688424/32872528 swapFree=1400176/1569828
[pid=27544] ppid=27541 vsize=9625040 CPUtime=1682.24 cores=1,3,5,7
/proc/27544/stat : 27544 (java) S 27541 27544 22937 0 -1 4202496 41016 0 1 0 168114 110 0 0 20 0 19 0 24266934 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140735546404128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27544/statm: 2406260 56307 2287 9 0 2396937 0
[pid=27544/tid=27546] ppid=27541 vsize=9625040 CPUtime=1646.4 cores=1,3,5,7
/proc/27544/task/27546/stat : 27546 (java) R 27541 27544 22937 0 -1 4202560 12132 0 1 0 164604 36 0 0 20 0 19 0 24266935 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410735136000 140410675503207 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27547] ppid=27541 vsize=9625040 CPUtime=3.76 cores=1,3,5,7
/proc/27544/task/27547/stat : 27547 (java) S 27541 27544 22937 0 -1 4202560 1477 0 0 0 366 10 0 0 20 0 19 0 24266936 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410673867816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27544/tid=27548] ppid=27541 vsize=9625040 CPUtime=3.74 cores=1,3,5,7
/proc/27544/task/27548/stat : 27548 (java) S 27541 27544 22937 0 -1 4202560 1654 0 0 0 365 9 0 0 20 0 19 0 24266936 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410672815016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27549] ppid=27541 vsize=9625040 CPUtime=3.76 cores=1,3,5,7
/proc/27544/task/27549/stat : 27549 (java) S 27541 27544 22937 0 -1 4202560 1752 0 0 0 368 8 0 0 20 0 19 0 24266936 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410671762216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27550] ppid=27541 vsize=9625040 CPUtime=3.82 cores=1,3,5,7
/proc/27544/task/27550/stat : 27550 (java) S 27541 27544 22937 0 -1 4202560 1739 0 0 0 373 9 0 0 20 0 19 0 24266936 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410670709416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27544/tid=27551] ppid=27541 vsize=9625040 CPUtime=3.8 cores=1,3,5,7
/proc/27544/task/27551/stat : 27551 (java) S 27541 27544 22937 0 -1 4202560 1533 0 0 0 372 8 0 0 20 0 19 0 24266936 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410669656616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27552] ppid=27541 vsize=9625040 CPUtime=3.65 cores=1,3,5,7
/proc/27544/task/27552/stat : 27552 (java) S 27541 27544 22937 0 -1 4202560 1109 0 0 0 356 9 0 0 20 0 19 0 24266936 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410573502888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27553] ppid=27541 vsize=9625040 CPUtime=3.77 cores=1,3,5,7
/proc/27544/task/27553/stat : 27553 (java) S 27541 27544 22937 0 -1 4202560 1637 0 0 0 368 9 0 0 20 0 19 0 24266936 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410572450088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27554] ppid=27541 vsize=9625040 CPUtime=3.75 cores=1,3,5,7
/proc/27544/task/27554/stat : 27554 (java) S 27541 27544 22937 0 -1 4202560 1255 0 0 0 365 10 0 0 20 0 19 0 24266936 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410571397288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27555] ppid=27541 vsize=9625040 CPUtime=0.94 cores=1,3,5,7
/proc/27544/task/27555/stat : 27555 (java) S 27541 27544 22937 0 -1 4202560 8529 0 0 0 79 15 0 0 20 0 19 0 24266937 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410559200232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27556] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27556/stat : 27556 (java) S 27541 27544 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410558146296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27557] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27557/stat : 27557 (java) S 27541 27544 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410557093384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27558] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27558/stat : 27558 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410556041872 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27559] ppid=27541 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/27544/task/27559/stat : 27559 (java) S 27541 27544 22937 0 -1 4202560 3888 0 0 0 43 0 0 0 20 0 19 0 24266940 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410554988984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27560] ppid=27541 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/27544/task/27560/stat : 27560 (java) S 27541 27544 22937 0 -1 4202560 2955 0 0 0 43 0 0 0 20 0 19 0 24266940 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410553936184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27561] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27561/stat : 27561 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410552883576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27562] ppid=27541 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/27544/task/27562/stat : 27562 (java) S 27541 27544 22937 0 -1 4202560 92 0 0 0 14 15 0 0 20 0 19 0 24266940 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410551830984 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27563] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27563/stat : 27563 (java) S 27541 27544 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24266995 9856040960 56307 33554432000 1073741824 1073778376 140735546412992 140410550777512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1682.24
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.16 2.23 2.25 3/213 27695
/proc/meminfo: memFree=28699172/32872528 swapFree=1400172/1569824
[pid=27544] ppid=27541 vsize=9625040 CPUtime=1742.89 cores=1,3,5,7
/proc/27544/stat : 27544 (java) S 27541 27544 22937 0 -1 4202496 42516 0 1 0 174175 114 0 0 20 0 19 0 24266934 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140735546404128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27544/statm: 2406260 53107 2287 9 0 2396937 0
[pid=27544/tid=27546] ppid=27541 vsize=9625040 CPUtime=1705.78 cores=1,3,5,7
/proc/27544/task/27546/stat : 27546 (java) R 27541 27544 22937 0 -1 4202560 12197 0 1 0 170542 36 0 0 20 0 19 0 24266935 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410735136120 140410675496519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27547] ppid=27541 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/27544/task/27547/stat : 27547 (java) S 27541 27544 22937 0 -1 4202560 1481 0 0 0 378 10 0 0 20 0 19 0 24266936 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410673867816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27544/tid=27548] ppid=27541 vsize=9625040 CPUtime=3.85 cores=1,3,5,7
/proc/27544/task/27548/stat : 27548 (java) S 27541 27544 22937 0 -1 4202560 1654 0 0 0 376 9 0 0 20 0 19 0 24266936 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410672815016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27549] ppid=27541 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/27544/task/27549/stat : 27549 (java) S 27541 27544 22937 0 -1 4202560 1752 0 0 0 381 8 0 0 20 0 19 0 24266936 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410671762216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27550] ppid=27541 vsize=9625040 CPUtime=3.96 cores=1,3,5,7
/proc/27544/task/27550/stat : 27550 (java) S 27541 27544 22937 0 -1 4202560 1739 0 0 0 387 9 0 0 20 0 19 0 24266936 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410670709416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27551] ppid=27541 vsize=9625040 CPUtime=3.94 cores=1,3,5,7
/proc/27544/task/27551/stat : 27551 (java) S 27541 27544 22937 0 -1 4202560 1552 0 0 0 386 8 0 0 20 0 19 0 24266936 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410669656616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27552] ppid=27541 vsize=9625040 CPUtime=3.78 cores=1,3,5,7
/proc/27544/task/27552/stat : 27552 (java) S 27541 27544 22937 0 -1 4202560 1109 0 0 0 368 10 0 0 20 0 19 0 24266936 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410573502888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27553] ppid=27541 vsize=9625040 CPUtime=3.88 cores=1,3,5,7
/proc/27544/task/27553/stat : 27553 (java) S 27541 27544 22937 0 -1 4202560 1637 0 0 0 379 9 0 0 20 0 19 0 24266936 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410572450088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27554] ppid=27541 vsize=9625040 CPUtime=3.89 cores=1,3,5,7
/proc/27544/task/27554/stat : 27554 (java) S 27541 27544 22937 0 -1 4202560 1255 0 0 0 378 11 0 0 20 0 19 0 24266936 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410571397288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27555] ppid=27541 vsize=9625040 CPUtime=1.04 cores=1,3,5,7
/proc/27544/task/27555/stat : 27555 (java) S 27541 27544 22937 0 -1 4202560 9937 0 0 0 89 15 0 0 20 0 19 0 24266937 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410559200232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27556] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27556/stat : 27556 (java) S 27541 27544 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410558146296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27557] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27557/stat : 27557 (java) S 27541 27544 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410557093384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27558] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27558/stat : 27558 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410556041872 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27559] ppid=27541 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/27544/task/27559/stat : 27559 (java) S 27541 27544 22937 0 -1 4202560 3888 0 0 0 43 0 0 0 20 0 19 0 24266940 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410554988984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27560] ppid=27541 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/27544/task/27560/stat : 27560 (java) S 27541 27544 22937 0 -1 4202560 2955 0 0 0 43 0 0 0 20 0 19 0 24266940 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410553936184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27561] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27561/stat : 27561 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410552883576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27562] ppid=27541 vsize=9625040 CPUtime=0.3 cores=1,3,5,7
/proc/27544/task/27562/stat : 27562 (java) S 27541 27544 22937 0 -1 4202560 96 0 0 0 14 16 0 0 20 0 19 0 24266940 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410551830984 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27563] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27563/stat : 27563 (java) S 27541 27544 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24266995 9856040960 53107 33554432000 1073741824 1073778376 140735546412992 140410550777512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1742.89
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1778.6 s]
/proc/loadavg: 2.45 2.30 2.27 3/213 27696
/proc/meminfo: memFree=28691804/32872528 swapFree=1400172/1569824
[pid=27544] ppid=27541 vsize=9625040 CPUtime=1800 cores=1,3,5,7
/proc/27544/stat : 27544 (java) S 27541 27544 22937 0 -1 4202496 44644 0 1 0 179881 119 0 0 20 0 19 0 24266934 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140735546404128 213422997565 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27544/statm: 2406260 53751 2287 9 0 2396937 0
[pid=27544/tid=27546] ppid=27541 vsize=9625040 CPUtime=1761.5 cores=1,3,5,7
/proc/27544/task/27546/stat : 27546 (java) R 27541 27544 22937 0 -1 4202560 13086 0 1 0 176112 38 0 0 20 0 19 0 24266935 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410735135936 140410675502545 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27547] ppid=27541 vsize=9625040 CPUtime=4.04 cores=1,3,5,7
/proc/27544/task/27547/stat : 27547 (java) S 27541 27544 22937 0 -1 4202560 1788 0 0 0 394 10 0 0 20 0 19 0 24266936 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410673867816 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=27544/tid=27548] ppid=27541 vsize=9625040 CPUtime=4.01 cores=1,3,5,7
/proc/27544/task/27548/stat : 27548 (java) S 27541 27544 22937 0 -1 4202560 1827 0 0 0 391 10 0 0 20 0 19 0 24266936 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410672815016 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27549] ppid=27541 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/27544/task/27549/stat : 27549 (java) S 27541 27544 22937 0 -1 4202560 1867 0 0 0 397 8 0 0 20 0 19 0 24266936 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410671762216 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27550] ppid=27541 vsize=9625040 CPUtime=4.11 cores=1,3,5,7
/proc/27544/task/27550/stat : 27550 (java) S 27541 27544 22937 0 -1 4202560 1982 0 0 0 401 10 0 0 20 0 19 0 24266936 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410670709416 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27551] ppid=27541 vsize=9625040 CPUtime=4.07 cores=1,3,5,7
/proc/27544/task/27551/stat : 27551 (java) S 27541 27544 22937 0 -1 4202560 1615 0 0 0 399 8 0 0 20 0 19 0 24266936 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410669656616 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27552] ppid=27541 vsize=9625040 CPUtime=3.93 cores=1,3,5,7
/proc/27544/task/27552/stat : 27552 (java) S 27541 27544 22937 0 -1 4202560 1276 0 0 0 383 10 0 0 20 0 19 0 24266936 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410573502888 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27553] ppid=27541 vsize=9625040 CPUtime=4.05 cores=1,3,5,7
/proc/27544/task/27553/stat : 27553 (java) S 27541 27544 22937 0 -1 4202560 1646 0 0 0 395 10 0 0 20 0 19 0 24266936 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410572450088 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27554] ppid=27541 vsize=9625040 CPUtime=4.07 cores=1,3,5,7
/proc/27544/task/27554/stat : 27554 (java) S 27541 27544 22937 0 -1 4202560 1403 0 0 0 396 11 0 0 20 0 19 0 24266936 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410571397288 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27555] ppid=27541 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/27544/task/27555/stat : 27555 (java) S 27541 27544 22937 0 -1 4202560 9947 0 0 0 89 16 0 0 20 0 19 0 24266937 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410559200232 213423011753 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27556] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27556/stat : 27556 (java) S 27541 27544 22937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410558146296 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27557] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27557/stat : 27557 (java) S 27541 27544 22937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 24266938 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410557093384 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27558] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27558/stat : 27558 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410556041872 213423019808 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27559] ppid=27541 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/27544/task/27559/stat : 27559 (java) S 27541 27544 22937 0 -1 4202560 3888 0 0 0 43 0 0 0 20 0 19 0 24266940 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410554988984 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=27544/tid=27560] ppid=27541 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/27544/task/27560/stat : 27560 (java) S 27541 27544 22937 0 -1 4202560 2955 0 0 0 43 0 0 0 20 0 19 0 24266940 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410553936184 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27561] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27561/stat : 27561 (java) S 27541 27544 22937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 24266940 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410552883576 213423010876 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=27544/tid=27562] ppid=27541 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/27544/task/27562/stat : 27562 (java) S 27541 27544 22937 0 -1 4202560 100 0 0 0 15 17 0 0 20 0 19 0 24266940 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410551830984 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27544/tid=27563] ppid=27541 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/27544/task/27563/stat : 27563 (java) S 27541 27544 22937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 24266995 9856040960 53751 33554432000 1073741824 1073778376 140735546412992 140410550777512 213423011753 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 9625040
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 27544 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 27544 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=759155
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=622753
# CPU time returned by wait4() is 1796.38
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1778.63
CPU time (s): 1800
CPU user time (s): 1798.81
CPU system time (s): 1.19
CPU usage (%): 101.201
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.76
system time used= 1.62275
maximum resident set size= 405180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44684
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91625
involuntary context switches= 127558
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.846 second user time and 16.2045 second system time
The end