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-4089117-1466017495/watcher-4089117-1466017495 -o /tmp/evaluation-result-4089117-1466017495/solver-4089117-1466017495 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466015679-6168 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089117-1466017495.opb
pid=6671
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.05 2.08 1.96 5/194 6674
/proc/meminfo: memFree=31426764/32872528 swapFree=532444/565148
[pid=6674] ppid=6671 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/6674/stat : 6674 (java) R 6671 6674 6151 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 3795085 2560000 46 33554432000 1073741824 1073778376 140733991381280 140733991378408 206619897127 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6674/statm: 625 46 37 9 0 29 0
[startup+0.10006 s]
/proc/loadavg: 2.05 2.08 1.96 5/194 6674
/proc/meminfo: memFree=31426764/32872528 swapFree=532444/565148
[pid=6674] ppid=6671 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/6674/stat : 6674 (java) S 6671 6674 6151 0 -1 4202496 4394 0 1 0 8 1 0 0 20 0 18 0 3795085 9787879424 6023 33554432000 1073741824 1073778376 140733991381280 140733991372416 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6674/statm: 2389619 6023 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200251 s]
/proc/loadavg: 2.05 2.08 1.96 5/194 6674
/proc/meminfo: memFree=31426764/32872528 swapFree=532444/565148
[pid=6674] ppid=6671 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/6674/stat : 6674 (java) S 6671 6674 6151 0 -1 4202496 4900 0 1 0 24 1 0 0 20 0 19 0 3795085 9856040960 6981 33554432000 1073741824 1073778376 140733991381280 140733991372416 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6674/statm: 2406260 6981 2226 9 0 2396937 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9625040
[startup+0.300224 s]
/proc/loadavg: 2.05 2.08 1.96 5/194 6674
/proc/meminfo: memFree=31426764/32872528 swapFree=532444/565148
[pid=6674] ppid=6671 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/6674/stat : 6674 (java) S 6671 6674 6151 0 -1 4202496 7023 0 1 0 48 1 0 0 20 0 19 0 3795085 9856040960 7940 33554432000 1073741824 1073778376 140733991381280 140733991372416 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6674/statm: 2406260 7940 2244 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040
[startup+0.700174 s]
/proc/loadavg: 2.05 2.08 1.96 5/194 6674
/proc/meminfo: memFree=31426764/32872528 swapFree=532444/565148
[pid=6674] ppid=6671 vsize=9625040 CPUtime=1.05 cores=1,3,5,7
/proc/6674/stat : 6674 (java) S 6671 6674 6151 0 -1 4202496 7882 0 1 0 103 2 0 0 20 0 19 0 3795085 9856040960 9510 33554432000 1073741824 1073778376 140733991381280 140733991372416 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6674/statm: 2406260 9510 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 9625040
[startup+1.50073 s]
/proc/loadavg: 2.05 2.08 1.96 4/213 6693
/proc/meminfo: memFree=31363324/32872528 swapFree=532444/565148
[pid=6674] ppid=6671 vsize=9625040 CPUtime=1.88 cores=1,3,5,7
/proc/6674/stat : 6674 (java) S 6671 6674 6151 0 -1 4202496 8050 0 1 0 186 2 0 0 20 0 19 0 3795085 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140733991372416 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6674/statm: 2406260 13098 2256 9 0 2396937 0
[pid=6674/tid=6676] ppid=6671 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/6674/task/6676/stat : 6676 (java) R 6671 6674 6151 0 -1 4202560 2413 0 1 0 144 2 0 0 20 0 19 0 3795086 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140266212495488 140266065913426 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6677] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6677/stat : 6677 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140266184948520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6678] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6678/stat : 6678 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140266183895720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6679] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6679/stat : 6679 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140266054396968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6680] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6680/stat : 6680 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140266053344168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6681] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6681/stat : 6681 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140266052290856 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6682] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6682/stat : 6682 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140266051238056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6683] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6683/stat : 6683 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140266050185768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6684] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6684/stat : 6684 (java) S 6671 6674 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140265578817960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6685] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6685/stat : 6685 (java) S 6671 6674 6151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140265566620392 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6686] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6686/stat : 6686 (java) S 6671 6674 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140265565566456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6687] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6687/stat : 6687 (java) S 6671 6674 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140265564514056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6688] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6688/stat : 6688 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140265563462544 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6689] ppid=6671 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/6674/task/6689/stat : 6689 (java) S 6671 6674 6151 0 -1 4202560 1621 0 0 0 18 0 0 0 20 0 19 0 3795091 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140265562409144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6690] ppid=6671 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/6674/task/6690/stat : 6690 (java) S 6671 6674 6151 0 -1 4202560 2744 0 0 0 21 0 0 0 20 0 19 0 3795091 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140265561356344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6691] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6691/stat : 6691 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140265560304248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6692] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6692/stat : 6692 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140265559251656 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6693] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6693/stat : 6693 (java) S 6671 6674 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3795103 9856040960 13098 33554432000 1073741824 1073778376 140733991381280 140265558099368 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 9625040
[startup+3.10082 s]
/proc/loadavg: 2.05 2.07 1.96 3/213 6693
/proc/meminfo: memFree=31344024/32872528 swapFree=532444/565148
[pid=6674] ppid=6671 vsize=9625040 CPUtime=3.51 cores=1,3,5,7
/proc/6674/stat : 6674 (java) S 6671 6674 6151 0 -1 4202496 8062 0 1 0 348 3 0 0 20 0 19 0 3795085 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140733991372416 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6674/statm: 2406260 19242 2256 9 0 2396937 0
[pid=6674/tid=6676] ppid=6671 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/6674/task/6676/stat : 6676 (java) R 6671 6674 6151 0 -1 4202560 2425 0 1 0 304 2 0 0 20 0 19 0 3795086 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140266212486848 140266065913426 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6677] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6677/stat : 6677 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140266184948520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6678] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6678/stat : 6678 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140266183895720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6679] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6679/stat : 6679 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140266054396968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6680] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6680/stat : 6680 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140266053344168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6681] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6681/stat : 6681 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140266052290856 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6682] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6682/stat : 6682 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140266051238056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6683] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6683/stat : 6683 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140266050185768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6684] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6684/stat : 6684 (java) S 6671 6674 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140265578817960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6685] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6685/stat : 6685 (java) S 6671 6674 6151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140265566620392 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6686] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6686/stat : 6686 (java) S 6671 6674 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140265565566456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6687] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6687/stat : 6687 (java) S 6671 6674 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140265564514056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6688] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6688/stat : 6688 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140265563462544 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6689] ppid=6671 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/6674/task/6689/stat : 6689 (java) S 6671 6674 6151 0 -1 4202560 1621 0 0 0 18 0 0 0 20 0 19 0 3795091 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140265562409144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6690] ppid=6671 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/6674/task/6690/stat : 6690 (java) S 6671 6674 6151 0 -1 4202560 2744 0 0 0 24 0 0 0 20 0 19 0 3795091 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140265561356344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6691] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6691/stat : 6691 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140265560304248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6692] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6692/stat : 6692 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140265559251656 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6693] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6693/stat : 6693 (java) S 6671 6674 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3795103 9856040960 19242 33554432000 1073741824 1073778376 140733991381280 140265558099368 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.51
Current children cumulated vsize (KiB) 9625040
[startup+6.30084 s]
/proc/loadavg: 2.05 2.07 1.96 3/213 6693
/proc/meminfo: memFree=31298812/32872528 swapFree=532444/565148
[pid=6674] ppid=6671 vsize=9625040 CPUtime=6.71 cores=1,3,5,7
/proc/6674/stat : 6674 (java) S 6671 6674 6151 0 -1 4202496 8084 0 1 0 667 4 0 0 20 0 19 0 3795085 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140733991372416 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6674/statm: 2406260 29456 2257 9 0 2396937 0
[pid=6674/tid=6676] ppid=6671 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/6674/task/6676/stat : 6676 (java) R 6671 6674 6151 0 -1 4202560 2446 0 1 0 622 3 0 0 20 0 19 0 3795086 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140266212486848 140266065840398 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6677] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6677/stat : 6677 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140266184948520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6678] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6678/stat : 6678 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140266183895720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6679] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6679/stat : 6679 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140266054396968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6680] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6680/stat : 6680 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140266053344168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6681] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6681/stat : 6681 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140266052290856 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6682] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6682/stat : 6682 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140266051238056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6683] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6683/stat : 6683 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140266050185768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6684] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6684/stat : 6684 (java) S 6671 6674 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3795087 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140265578817960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6685] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6685/stat : 6685 (java) S 6671 6674 6151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140265566620392 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6686] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6686/stat : 6686 (java) S 6671 6674 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140265565566456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6687] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6687/stat : 6687 (java) S 6671 6674 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140265564514056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6688] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6688/stat : 6688 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140265563462544 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6689] ppid=6671 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/6674/task/6689/stat : 6689 (java) S 6671 6674 6151 0 -1 4202560 1621 0 0 0 18 0 0 0 20 0 19 0 3795091 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140265562409144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6690] ppid=6671 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/6674/task/6690/stat : 6690 (java) S 6671 6674 6151 0 -1 4202560 2744 0 0 0 24 0 0 0 20 0 19 0 3795091 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140265561356344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6691] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6691/stat : 6691 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140265560304248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6692] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6692/stat : 6692 (java) S 6671 6674 6151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140265559251656 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6693] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6693/stat : 6693 (java) S 6671 6674 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3795103 9856040960 29456 33554432000 1073741824 1073778376 140733991381280 140265558099368 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.71
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=6674/tid=6686] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6686/stat : 6686 (java) S 6671 6674 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 71546 33554432000 1073741824 1073778376 140733991381280 140265565566456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6687] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6687/stat : 6687 (java) S 6671 6674 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 71546 33554432000 1073741824 1073778376 140733991381280 140265564514056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6688] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6688/stat : 6688 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 71546 33554432000 1073741824 1073778376 140733991381280 140265563462544 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6689] ppid=6671 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/6674/task/6689/stat : 6689 (java) S 6671 6674 6151 0 -1 4202560 1621 0 0 0 18 0 0 0 20 0 19 0 3795091 9856040960 71546 33554432000 1073741824 1073778376 140733991381280 140265562409144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6690] ppid=6671 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/6674/task/6690/stat : 6690 (java) S 6671 6674 6151 0 -1 4202560 2894 0 0 0 26 0 0 0 20 0 19 0 3795091 9856040960 71546 33554432000 1073741824 1073778376 140733991381280 140265561356344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6691] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6691/stat : 6691 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 71546 33554432000 1073741824 1073778376 140733991381280 140265560304248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6692] ppid=6671 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/6674/task/6692/stat : 6692 (java) S 6671 6674 6151 0 -1 4202560 96 0 0 0 24 29 0 0 20 0 19 0 3795091 9856040960 71546 33554432000 1073741824 1073778376 140733991381280 140265559251656 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6693] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6693/stat : 6693 (java) S 6671 6674 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3795103 9856040960 71546 33554432000 1073741824 1073778376 140733991381280 140265558099368 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1673.91
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/214 6736
/proc/meminfo: memFree=30829528/32872528 swapFree=532444/565148
[pid=6674] ppid=6671 vsize=9625040 CPUtime=1734.59 cores=1,3,5,7
/proc/6674/stat : 6674 (java) S 6671 6674 6151 0 -1 4202496 14196 0 1 0 173355 104 0 0 20 0 19 0 3795085 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140733991372416 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6674/statm: 2406260 78604 2279 9 0 2396937 0
[pid=6674/tid=6676] ppid=6671 vsize=9625040 CPUtime=1714.31 cores=1,3,5,7
/proc/6674/task/6676/stat : 6676 (java) R 6671 6674 6151 0 -1 4202560 2685 0 1 0 171400 31 0 0 20 0 19 0 3795086 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140266212494544 140266065913426 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6677] ppid=6671 vsize=9625040 CPUtime=2.11 cores=1,3,5,7
/proc/6674/task/6677/stat : 6677 (java) S 6671 6674 6151 0 -1 4202560 585 0 0 0 203 8 0 0 20 0 19 0 3795087 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140266184948520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6678] ppid=6671 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/6674/task/6678/stat : 6678 (java) S 6671 6674 6151 0 -1 4202560 556 0 0 0 198 8 0 0 20 0 19 0 3795087 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140266183895720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6679] ppid=6671 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/6674/task/6679/stat : 6679 (java) S 6671 6674 6151 0 -1 4202560 412 0 0 0 199 7 0 0 20 0 19 0 3795087 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140266054396968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6674/tid=6680] ppid=6671 vsize=9625040 CPUtime=2.22 cores=1,3,5,7
/proc/6674/task/6680/stat : 6680 (java) S 6671 6674 6151 0 -1 4202560 432 0 0 0 214 8 0 0 20 0 19 0 3795087 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140266053344168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6681] ppid=6671 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/6674/task/6681/stat : 6681 (java) S 6671 6674 6151 0 -1 4202560 973 0 0 0 198 11 0 0 20 0 19 0 3795087 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140266052290856 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6682] ppid=6671 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/6674/task/6682/stat : 6682 (java) S 6671 6674 6151 0 -1 4202560 990 0 0 0 199 11 0 0 20 0 19 0 3795087 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140266051238056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6683] ppid=6671 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/6674/task/6683/stat : 6683 (java) S 6671 6674 6151 0 -1 4202560 502 0 0 0 190 9 0 0 20 0 19 0 3795087 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140266050185768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6684] ppid=6671 vsize=9625040 CPUtime=1.92 cores=1,3,5,7
/proc/6674/task/6684/stat : 6684 (java) S 6671 6674 6151 0 -1 4202560 706 0 0 0 184 8 0 0 20 0 19 0 3795087 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140265578817960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6674/tid=6685] ppid=6671 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/6674/task/6685/stat : 6685 (java) S 6671 6674 6151 0 -1 4202560 482 0 0 0 300 6 0 0 20 0 19 0 3795088 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140265566620392 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6686] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6686/stat : 6686 (java) S 6671 6674 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140265565566456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6687] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6687/stat : 6687 (java) S 6671 6674 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140265564514056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6688] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6688/stat : 6688 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140265563462544 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6689] ppid=6671 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/6674/task/6689/stat : 6689 (java) S 6671 6674 6151 0 -1 4202560 1621 0 0 0 18 0 0 0 20 0 19 0 3795091 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140265562409144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6690] ppid=6671 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/6674/task/6690/stat : 6690 (java) S 6671 6674 6151 0 -1 4202560 2894 0 0 0 26 0 0 0 20 0 19 0 3795091 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140265561356344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6691] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6691/stat : 6691 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140265560304248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6692] ppid=6671 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/6674/task/6692/stat : 6692 (java) S 6671 6674 6151 0 -1 4202560 100 0 0 0 25 30 0 0 20 0 19 0 3795091 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140265559251656 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6693] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6693/stat : 6693 (java) S 6671 6674 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3795103 9856040960 78604 33554432000 1073741824 1073778376 140733991381280 140265558099368 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1734.59
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.19 2.07 2.01 3/213 6804
/proc/meminfo: memFree=31172156/32872528 swapFree=532444/565148
[pid=6674] ppid=6671 vsize=9625040 CPUtime=1795.19 cores=1,3,5,7
/proc/6674/stat : 6674 (java) S 6671 6674 6151 0 -1 4202496 14963 0 1 0 179411 108 0 0 20 0 19 0 3795085 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140733991372416 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6674/statm: 2406260 82397 2279 9 0 2396937 0
[pid=6674/tid=6676] ppid=6671 vsize=9625040 CPUtime=1773.85 cores=1,3,5,7
/proc/6674/task/6676/stat : 6676 (java) R 6671 6674 6151 0 -1 4202560 2700 0 1 0 177354 31 0 0 20 0 19 0 3795086 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266212494544 140266065913426 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6674/tid=6677] ppid=6671 vsize=9625040 CPUtime=2.21 cores=1,3,5,7
/proc/6674/task/6677/stat : 6677 (java) S 6671 6674 6151 0 -1 4202560 765 0 0 0 213 8 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266184948520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6678] ppid=6671 vsize=9625040 CPUtime=2.17 cores=1,3,5,7
/proc/6674/task/6678/stat : 6678 (java) S 6671 6674 6151 0 -1 4202560 675 0 0 0 209 8 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266183895720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6679] ppid=6671 vsize=9625040 CPUtime=2.16 cores=1,3,5,7
/proc/6674/task/6679/stat : 6679 (java) S 6671 6674 6151 0 -1 4202560 514 0 0 0 208 8 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266054396968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6674/tid=6680] ppid=6671 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/6674/task/6680/stat : 6680 (java) S 6671 6674 6151 0 -1 4202560 433 0 0 0 223 8 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266053344168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6681] ppid=6671 vsize=9625040 CPUtime=2.2 cores=1,3,5,7
/proc/6674/task/6681/stat : 6681 (java) S 6671 6674 6151 0 -1 4202560 987 0 0 0 209 11 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266052290856 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6682] ppid=6671 vsize=9625040 CPUtime=2.21 cores=1,3,5,7
/proc/6674/task/6682/stat : 6682 (java) S 6671 6674 6151 0 -1 4202560 1002 0 0 0 210 11 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266051238056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6683] ppid=6671 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/6674/task/6683/stat : 6683 (java) S 6671 6674 6151 0 -1 4202560 598 0 0 0 200 9 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266050185768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6684] ppid=6671 vsize=9625040 CPUtime=2.03 cores=1,3,5,7
/proc/6674/task/6684/stat : 6684 (java) S 6671 6674 6151 0 -1 4202560 907 0 0 0 194 9 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265578817960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6674/tid=6685] ppid=6671 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/6674/task/6685/stat : 6685 (java) S 6671 6674 6151 0 -1 4202560 505 0 0 0 323 6 0 0 20 0 19 0 3795088 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265566620392 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6674/tid=6686] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6686/stat : 6686 (java) S 6671 6674 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265565566456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6687] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6687/stat : 6687 (java) S 6671 6674 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265564514056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6688] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6688/stat : 6688 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265563462544 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6689] ppid=6671 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/6674/task/6689/stat : 6689 (java) S 6671 6674 6151 0 -1 4202560 1621 0 0 0 18 0 0 0 20 0 19 0 3795091 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265562409144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6690] ppid=6671 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/6674/task/6690/stat : 6690 (java) S 6671 6674 6151 0 -1 4202560 2894 0 0 0 26 0 0 0 20 0 19 0 3795091 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265561356344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6691] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6691/stat : 6691 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265560304248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6692] ppid=6671 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/6674/task/6692/stat : 6692 (java) S 6671 6674 6151 0 -1 4202560 104 0 0 0 27 31 0 0 20 0 19 0 3795091 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265559251656 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6693] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6693/stat : 6693 (java) S 6671 6674 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3795103 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265558099368 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1795.19
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.2 s]
/proc/loadavg: 2.17 2.07 2.01 3/213 6804
/proc/meminfo: memFree=31141832/32872528 swapFree=532444/565148
[pid=6674] ppid=6671 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/6674/stat : 6674 (java) S 6671 6674 6151 0 -1 4202496 14963 0 1 0 179901 108 0 0 20 0 19 0 3795085 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140733991372416 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6674/statm: 2406260 82397 2279 9 0 2396937 0
[pid=6674/tid=6676] ppid=6671 vsize=9625040 CPUtime=1778.75 cores=1,3,5,7
/proc/6674/task/6676/stat : 6676 (java) R 6671 6674 6151 0 -1 4202560 2700 0 1 0 177843 32 0 0 20 0 19 0 3795086 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266212494544 140266065998552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6674/tid=6677] ppid=6671 vsize=9625040 CPUtime=2.21 cores=1,3,5,7
/proc/6674/task/6677/stat : 6677 (java) S 6671 6674 6151 0 -1 4202560 765 0 0 0 213 8 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266184948520 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6674/tid=6678] ppid=6671 vsize=9625040 CPUtime=2.17 cores=1,3,5,7
/proc/6674/task/6678/stat : 6678 (java) S 6671 6674 6151 0 -1 4202560 675 0 0 0 209 8 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266183895720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6679] ppid=6671 vsize=9625040 CPUtime=2.16 cores=1,3,5,7
/proc/6674/task/6679/stat : 6679 (java) S 6671 6674 6151 0 -1 4202560 514 0 0 0 208 8 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266054396968 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6674/tid=6680] ppid=6671 vsize=9625040 CPUtime=2.31 cores=1,3,5,7
/proc/6674/task/6680/stat : 6680 (java) S 6671 6674 6151 0 -1 4202560 433 0 0 0 223 8 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266053344168 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6681] ppid=6671 vsize=9625040 CPUtime=2.2 cores=1,3,5,7
/proc/6674/task/6681/stat : 6681 (java) S 6671 6674 6151 0 -1 4202560 987 0 0 0 209 11 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266052290856 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6682] ppid=6671 vsize=9625040 CPUtime=2.21 cores=1,3,5,7
/proc/6674/task/6682/stat : 6682 (java) S 6671 6674 6151 0 -1 4202560 1002 0 0 0 210 11 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266051238056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6683] ppid=6671 vsize=9625040 CPUtime=2.09 cores=1,3,5,7
/proc/6674/task/6683/stat : 6683 (java) S 6671 6674 6151 0 -1 4202560 598 0 0 0 200 9 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140266050185768 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6684] ppid=6671 vsize=9625040 CPUtime=2.03 cores=1,3,5,7
/proc/6674/task/6684/stat : 6684 (java) S 6671 6674 6151 0 -1 4202560 907 0 0 0 194 9 0 0 20 0 19 0 3795087 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265578817960 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6674/tid=6685] ppid=6671 vsize=9625040 CPUtime=3.29 cores=1,3,5,7
/proc/6674/task/6685/stat : 6685 (java) S 6671 6674 6151 0 -1 4202560 505 0 0 0 323 6 0 0 20 0 19 0 3795088 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265566620392 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6674/tid=6686] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6686/stat : 6686 (java) S 6671 6674 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265565566456 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6687] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6687/stat : 6687 (java) S 6671 6674 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3795088 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265564514056 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6688] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6688/stat : 6688 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265563462544 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6689] ppid=6671 vsize=9625040 CPUtime=0.18 cores=1,3,5,7
/proc/6674/task/6689/stat : 6689 (java) S 6671 6674 6151 0 -1 4202560 1621 0 0 0 18 0 0 0 20 0 19 0 3795091 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265562409144 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6690] ppid=6671 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/6674/task/6690/stat : 6690 (java) S 6671 6674 6151 0 -1 4202560 2894 0 0 0 26 0 0 0 20 0 19 0 3795091 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265561356344 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6691] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6691/stat : 6691 (java) S 6671 6674 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3795091 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265560304248 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6674/tid=6692] ppid=6671 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/6674/task/6692/stat : 6692 (java) S 6671 6674 6151 0 -1 4202560 104 0 0 0 27 31 0 0 20 0 19 0 3795091 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265559251656 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6674/tid=6693] ppid=6671 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6674/task/6693/stat : 6693 (java) S 6671 6674 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3795103 9856040960 82397 33554432000 1073741824 1073778376 140733991381280 140265558099368 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 6674 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1787.25
CPU time (s): 1800.8
CPU user time (s): 1799.25
CPU system time (s): 1.54976
CPU usage (%): 100.758
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 1.54976
maximum resident set size= 617840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15113
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 44993
involuntary context switches= 41151
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7721 second user time and 11.0233 second system time
The end