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-4119330-1467254834/watcher-4119330-1467254834 -o /tmp/evaluation-result-4119330-1467254834/solver-4119330-1467254834 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467248476-6485 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119330-1467254834.opb
pid=7370
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.14 2.18 2.18 3/194 7373
/proc/meminfo: memFree=30223136/32872528 swapFree=1100912/1182672
[pid=7373] ppid=7370 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/7373/stat : 7373 (java) D 7370 7373 6303 0 -1 4202496 522 0 0 0 0 0 0 0 20 0 1 0 4512669 9515008 175 33554432000 1073741824 1073778376 140733580616048 140733580598776 271787574160 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/7373/statm: 2323 175 133 9 0 71 0
[startup+0.100162 s]
/proc/loadavg: 2.14 2.18 2.18 3/194 7373
/proc/meminfo: memFree=30223136/32872528 swapFree=1100912/1182672
[pid=7373] ppid=7370 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/7373/stat : 7373 (java) S 7370 7373 6303 0 -1 4202496 4466 0 1 0 7 1 0 0 20 0 18 0 4512669 9787879424 5584 33554432000 1073741824 1073778376 140733580616048 140733580607184 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7373/statm: 2389619 5584 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200326 s]
/proc/loadavg: 2.14 2.18 2.18 3/194 7373
/proc/meminfo: memFree=30223136/32872528 swapFree=1100912/1182672
[pid=7373] ppid=7370 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/7373/stat : 7373 (java) S 7370 7373 6303 0 -1 4202496 4773 0 1 0 21 2 0 0 20 0 18 0 4512669 9787879424 6316 33554432000 1073741824 1073778376 140733580616048 140733580607184 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7373/statm: 2389619 6316 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476
[startup+0.300332 s]
/proc/loadavg: 2.14 2.18 2.18 3/194 7373
/proc/meminfo: memFree=30223136/32872528 swapFree=1100912/1182672
[pid=7373] ppid=7370 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/7373/stat : 7373 (java) S 7370 7373 6303 0 -1 4202496 5272 0 1 0 40 2 0 0 20 0 19 0 4512669 9856040960 7666 33554432000 1073741824 1073778376 140733580616048 140733580607184 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7373/statm: 2406260 7666 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9625040
[startup+0.700305 s]
/proc/loadavg: 2.14 2.18 2.18 3/194 7373
/proc/meminfo: memFree=30223136/32872528 swapFree=1100912/1182672
[pid=7373] ppid=7370 vsize=9625040 CPUtime=1.14 cores=1,3,5,7
/proc/7373/stat : 7373 (java) S 7370 7373 6303 0 -1 4202496 11062 0 1 0 110 4 0 0 20 0 19 0 4512669 9856040960 12355 33554432000 1073741824 1073778376 140733580616048 140733580607184 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7373/statm: 2406260 12355 2247 9 0 2396937 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 9625040
[startup+1.50089 s]
/proc/loadavg: 2.14 2.18 2.18 3/213 7392
/proc/meminfo: memFree=30173644/32872528 swapFree=1100912/1182672
[pid=7373] ppid=7370 vsize=9625040 CPUtime=2.28 cores=1,3,5,7
/proc/7373/stat : 7373 (java) S 7370 7373 6303 0 -1 4202496 18693 0 1 0 222 6 0 0 20 0 19 0 4512669 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 140733580607184 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7373/statm: 2406260 20245 2259 9 0 2396937 0
[pid=7373/tid=7375] ppid=7370 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/7373/task/7375/stat : 7375 (java) R 7370 7373 6303 0 -1 4202560 2488 0 1 0 143 2 0 0 20 0 19 0 4512670 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709453258432 139709325344880 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7376] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7376/stat : 7376 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709297228200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7377] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7377/stat : 7377 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709296175656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7378] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7378/stat : 7378 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709295122600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7373/tid=7379] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7379/stat : 7379 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709294070056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7380] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7380/stat : 7380 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709293018024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7381] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7381/stat : 7381 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709291965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7382] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7382/stat : 7382 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709290912424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7383] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7383/stat : 7383 (java) S 7370 7373 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709289859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7384] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7384/stat : 7384 (java) S 7370 7373 6303 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4512672 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709277448552 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7385] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7385/stat : 7385 (java) S 7370 7373 6303 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709276394872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7386] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7386/stat : 7386 (java) S 7370 7373 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709275341704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7387] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7387/stat : 7387 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709274290448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7388] ppid=7370 vsize=9625040 CPUtime=0.41 cores=1,3,5,7
/proc/7373/task/7388/stat : 7388 (java) R 7370 7373 6303 0 -1 4202560 10780 0 0 0 38 3 0 0 20 0 19 0 4512675 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709273215784 139709459725080 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7389] ppid=7370 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/7373/task/7389/stat : 7389 (java) S 7370 7373 6303 0 -1 4202560 4154 0 0 0 37 1 0 0 20 0 19 0 4512675 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709272185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7390] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7390/stat : 7390 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709271132920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7391] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7391/stat : 7391 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709270080584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7392] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7392/stat : 7392 (java) S 7370 7373 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512695 9856040960 20245 33554432000 1073741824 1073778376 140733580616048 139709269025832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9625040
[startup+3.10087 s]
/proc/loadavg: 2.14 2.18 2.18 3/213 7392
/proc/meminfo: memFree=30135184/32872528 swapFree=1100912/1182672
[pid=7373] ppid=7370 vsize=9625040 CPUtime=3.97 cores=1,3,5,7
/proc/7373/stat : 7373 (java) S 7370 7373 6303 0 -1 4202496 18734 0 1 0 391 6 0 0 20 0 19 0 4512669 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 140733580607184 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7373/statm: 2406260 27950 2259 9 0 2396937 0
[pid=7373/tid=7375] ppid=7370 vsize=9625040 CPUtime=3.04 cores=1,3,5,7
/proc/7373/task/7375/stat : 7375 (java) R 7370 7373 6303 0 -1 4202560 2504 0 1 0 302 2 0 0 20 0 19 0 4512670 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709453267320 139709325426910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7376] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7376/stat : 7376 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709297228200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7377] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7377/stat : 7377 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709296175656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7378] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7378/stat : 7378 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709295122600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7373/tid=7379] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7379/stat : 7379 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709294070056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7380] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7380/stat : 7380 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709293018024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7381] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7381/stat : 7381 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709291965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7382] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7382/stat : 7382 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709290912424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7383] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7383/stat : 7383 (java) S 7370 7373 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709289859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7384] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7384/stat : 7384 (java) S 7370 7373 6303 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4512672 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709277448552 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7385] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7385/stat : 7385 (java) S 7370 7373 6303 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709276394872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7386] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7386/stat : 7386 (java) S 7370 7373 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709275341704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7387] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7387/stat : 7387 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709274290448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7388] ppid=7370 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/7373/task/7388/stat : 7388 (java) S 7370 7373 6303 0 -1 4202560 10805 0 0 0 47 3 0 0 20 0 19 0 4512675 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709273238328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7389] ppid=7370 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/7373/task/7389/stat : 7389 (java) S 7370 7373 6303 0 -1 4202560 4154 0 0 0 37 2 0 0 20 0 19 0 4512675 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709272185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7390] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7390/stat : 7390 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709271132920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7391] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7391/stat : 7391 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709270080584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7392] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7392/stat : 7392 (java) S 7370 7373 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512695 9856040960 27950 33554432000 1073741824 1073778376 140733580616048 139709269025832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 9625040
[startup+6.30093 s]
/proc/loadavg: 2.13 2.18 2.18 3/212 7392
/proc/meminfo: memFree=30078064/32872528 swapFree=1100912/1182672
[pid=7373] ppid=7370 vsize=9625040 CPUtime=7.2 cores=1,3,5,7
/proc/7373/stat : 7373 (java) S 7370 7373 6303 0 -1 4202496 18768 0 1 0 713 7 0 0 20 0 19 0 4512669 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 140733580607184 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7373/statm: 2406260 41530 2260 9 0 2396937 0
[pid=7373/tid=7375] ppid=7370 vsize=9625040 CPUtime=6.23 cores=1,3,5,7
/proc/7373/task/7375/stat : 7375 (java) R 7370 7373 6303 0 -1 4202560 2533 0 1 0 620 3 0 0 20 0 19 0 4512670 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709453267104 139709325330225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7376] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7376/stat : 7376 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709297228200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7377] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7377/stat : 7377 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709296175656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7378] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7378/stat : 7378 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709295122600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7373/tid=7379] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7379/stat : 7379 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709294070056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7380] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7380/stat : 7380 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709293018024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7381] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7381/stat : 7381 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709291965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7382] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7382/stat : 7382 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709290912424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7383] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7383/stat : 7383 (java) S 7370 7373 6303 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 4512671 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709289859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7384] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7384/stat : 7384 (java) S 7370 7373 6303 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 4512672 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709277448552 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7385] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7385/stat : 7385 (java) S 7370 7373 6303 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709276394872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7386] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7386/stat : 7386 (java) S 7370 7373 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709275341704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7387] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7387/stat : 7387 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709274290448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7388] ppid=7370 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/7373/task/7388/stat : 7388 (java) S 7370 7373 6303 0 -1 4202560 10809 0 0 0 51 3 0 0 20 0 19 0 4512675 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709273238328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7389] ppid=7370 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/7373/task/7389/stat : 7389 (java) S 7370 7373 6303 0 -1 4202560 4154 0 0 0 38 2 0 0 20 0 19 0 4512675 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709272185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7390] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7390/stat : 7390 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709271132920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7391] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7391/stat : 7391 (java) S 7370 7373 6303 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709270080584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7392] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7392/stat : 7392 (java) S 7370 7373 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512695 9856040960 41530 33554432000 1073741824 1073778376 140733580616048 139709269025832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=7373/tid=7392] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7392/stat : 7392 (java) S 7370 7373 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512695 9856040960 143519 33554432000 1073741824 1073778376 140733580616048 139709269025832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1681.1
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.13 2.09 2.13 3/213 7523
/proc/meminfo: memFree=29585560/32872528 swapFree=1100912/1182672
[pid=7373] ppid=7370 vsize=9625040 CPUtime=1741.79 cores=1,3,5,7
/proc/7373/stat : 7373 (java) S 7370 7373 6303 0 -1 4202496 47738 0 1 0 173906 273 0 0 20 0 19 0 4512669 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 140733580607184 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7373/statm: 2406260 168465 2283 9 0 2396937 0
[pid=7373/tid=7375] ppid=7370 vsize=9625040 CPUtime=1703.2 cores=1,3,5,7
/proc/7373/task/7375/stat : 7375 (java) R 7370 7373 6303 0 -1 4202560 3109 0 1 0 170287 33 0 0 20 0 19 0 4512670 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709453266248 139709325373987 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7376] ppid=7370 vsize=9625040 CPUtime=3.61 cores=1,3,5,7
/proc/7373/task/7376/stat : 7376 (java) S 7370 7373 6303 0 -1 4202560 3807 0 0 0 330 31 0 0 20 0 19 0 4512671 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709297228200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7377] ppid=7370 vsize=9625040 CPUtime=3.28 cores=1,3,5,7
/proc/7373/task/7377/stat : 7377 (java) S 7370 7373 6303 0 -1 4202560 4337 0 0 0 300 28 0 0 20 0 19 0 4512671 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709296175656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7378] ppid=7370 vsize=9625040 CPUtime=3.22 cores=1,3,5,7
/proc/7373/task/7378/stat : 7378 (java) S 7370 7373 6303 0 -1 4202560 2403 0 0 0 294 28 0 0 20 0 19 0 4512671 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709295122600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7373/tid=7379] ppid=7370 vsize=9625040 CPUtime=3.43 cores=1,3,5,7
/proc/7373/task/7379/stat : 7379 (java) S 7370 7373 6303 0 -1 4202560 3142 0 0 0 315 28 0 0 20 0 19 0 4512671 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709294070056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7380] ppid=7370 vsize=9625040 CPUtime=3.34 cores=1,3,5,7
/proc/7373/task/7380/stat : 7380 (java) S 7370 7373 6303 0 -1 4202560 2372 0 0 0 306 28 0 0 20 0 19 0 4512671 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709293018024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7373/tid=7381] ppid=7370 vsize=9625040 CPUtime=3.27 cores=1,3,5,7
/proc/7373/task/7381/stat : 7381 (java) S 7370 7373 6303 0 -1 4202560 2821 0 0 0 302 25 0 0 20 0 19 0 4512671 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709291965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7382] ppid=7370 vsize=9625040 CPUtime=3.37 cores=1,3,5,7
/proc/7373/task/7382/stat : 7382 (java) S 7370 7373 6303 0 -1 4202560 2472 0 0 0 309 28 0 0 20 0 19 0 4512671 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709290912424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7383] ppid=7370 vsize=9625040 CPUtime=3.24 cores=1,3,5,7
/proc/7373/task/7383/stat : 7383 (java) S 7370 7373 6303 0 -1 4202560 3692 0 0 0 297 27 0 0 20 0 19 0 4512671 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709289859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7384] ppid=7370 vsize=9625040 CPUtime=6.18 cores=1,3,5,7
/proc/7373/task/7384/stat : 7384 (java) S 7370 7373 6303 0 -1 4202560 2217 0 0 0 610 8 0 0 20 0 19 0 4512672 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709277448552 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7385] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7385/stat : 7385 (java) S 7370 7373 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709276394872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7386] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7386/stat : 7386 (java) S 7370 7373 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709275341704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7387] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7387/stat : 7387 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709274290448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7388] ppid=7370 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/7373/task/7388/stat : 7388 (java) S 7370 7373 6303 0 -1 4202560 10826 0 0 0 52 3 0 0 20 0 19 0 4512675 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709273238328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7389] ppid=7370 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7373/task/7389/stat : 7389 (java) S 7370 7373 6303 0 -1 4202560 5182 0 0 0 47 2 0 0 20 0 19 0 4512675 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709272185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7390] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7390/stat : 7390 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709271132920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7391] ppid=7370 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/7373/task/7391/stat : 7391 (java) S 7370 7373 6303 0 -1 4202560 100 0 0 0 26 34 0 0 20 0 19 0 4512675 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709270080584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7392] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7392/stat : 7392 (java) S 7370 7373 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512695 9856040960 168465 33554432000 1073741824 1073778376 140733580616048 139709269025832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1741.79
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1780.1 s]
/proc/loadavg: 2.13 2.10 2.12 3/213 7524
/proc/meminfo: memFree=29692592/32872528 swapFree=1100912/1182672
[pid=7373] ppid=7370 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/7373/stat : 7373 (java) S 7370 7373 6303 0 -1 4202496 48217 0 1 0 179729 276 0 0 20 0 19 0 4512669 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 140733580607184 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7373/statm: 2406260 143377 2283 9 0 2396937 0
[pid=7373/tid=7375] ppid=7370 vsize=9625040 CPUtime=1760.4 cores=1,3,5,7
/proc/7373/task/7375/stat : 7375 (java) R 7370 7373 6303 0 -1 4202560 3126 0 1 0 176006 34 0 0 20 0 19 0 4512670 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709453266128 139709325426910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7376] ppid=7370 vsize=9625040 CPUtime=3.68 cores=1,3,5,7
/proc/7373/task/7376/stat : 7376 (java) S 7370 7373 6303 0 -1 4202560 3895 0 0 0 337 31 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709297228200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7377] ppid=7370 vsize=9625040 CPUtime=3.37 cores=1,3,5,7
/proc/7373/task/7377/stat : 7377 (java) S 7370 7373 6303 0 -1 4202560 4337 0 0 0 309 28 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709296175656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7373/tid=7378] ppid=7370 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/7373/task/7378/stat : 7378 (java) S 7370 7373 6303 0 -1 4202560 2537 0 0 0 303 28 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709295122600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7373/tid=7379] ppid=7370 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/7373/task/7379/stat : 7379 (java) S 7370 7373 6303 0 -1 4202560 3221 0 0 0 324 28 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709294070056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7380] ppid=7370 vsize=9625040 CPUtime=3.41 cores=1,3,5,7
/proc/7373/task/7380/stat : 7380 (java) S 7370 7373 6303 0 -1 4202560 2372 0 0 0 313 28 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709293018024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7381] ppid=7370 vsize=9625040 CPUtime=3.36 cores=1,3,5,7
/proc/7373/task/7381/stat : 7381 (java) S 7370 7373 6303 0 -1 4202560 2831 0 0 0 311 25 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709291965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7382] ppid=7370 vsize=9625040 CPUtime=3.45 cores=1,3,5,7
/proc/7373/task/7382/stat : 7382 (java) S 7370 7373 6303 0 -1 4202560 2472 0 0 0 317 28 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709290912424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7383] ppid=7370 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/7373/task/7383/stat : 7383 (java) S 7370 7373 6303 0 -1 4202560 3692 0 0 0 306 27 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709289859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7384] ppid=7370 vsize=9625040 CPUtime=6.43 cores=1,3,5,7
/proc/7373/task/7384/stat : 7384 (java) S 7370 7373 6303 0 -1 4202560 2364 0 0 0 634 9 0 0 20 0 19 0 4512672 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709277448552 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7385] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7385/stat : 7385 (java) S 7370 7373 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709276394872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7386] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7386/stat : 7386 (java) S 7370 7373 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709275341704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7387] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7387/stat : 7387 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709274290448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7388] ppid=7370 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/7373/task/7388/stat : 7388 (java) S 7370 7373 6303 0 -1 4202560 10826 0 0 0 52 3 0 0 20 0 19 0 4512675 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709273238328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7389] ppid=7370 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7373/task/7389/stat : 7389 (java) S 7370 7373 6303 0 -1 4202560 5182 0 0 0 47 2 0 0 20 0 19 0 4512675 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709272185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7390] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7390/stat : 7390 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709271132920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7391] ppid=7370 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7373/task/7391/stat : 7391 (java) S 7370 7373 6303 0 -1 4202560 104 0 0 0 26 36 0 0 20 0 19 0 4512675 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709270080584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7392] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7392/stat : 7392 (java) S 7370 7373 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512695 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709269025832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
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 7373 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1780.1 s]
/proc/loadavg: 2.13 2.10 2.12 3/213 7524
/proc/meminfo: memFree=29692592/32872528 swapFree=1100912/1182672
[pid=7373] ppid=7370 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/7373/stat : 7373 (java) S 7370 7373 6303 0 -1 4202496 48217 0 1 0 179729 276 0 0 20 0 19 0 4512669 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 140733580607184 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/7373/statm: 2406260 143377 2283 9 0 2396937 0
[pid=7373/tid=7375] ppid=7370 vsize=9625040 CPUtime=1760.4 cores=1,3,5,7
/proc/7373/task/7375/stat : 7375 (java) R 7370 7373 6303 0 -1 4202560 3126 0 1 0 176006 34 0 0 20 0 19 0 4512670 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709453266128 139709325426910 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7376] ppid=7370 vsize=9625040 CPUtime=3.68 cores=1,3,5,7
/proc/7373/task/7376/stat : 7376 (java) S 7370 7373 6303 0 -1 4202560 3895 0 0 0 337 31 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709297228200 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7377] ppid=7370 vsize=9625040 CPUtime=3.37 cores=1,3,5,7
/proc/7373/task/7377/stat : 7377 (java) S 7370 7373 6303 0 -1 4202560 4337 0 0 0 309 28 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709296175656 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7373/tid=7378] ppid=7370 vsize=9625040 CPUtime=3.31 cores=1,3,5,7
/proc/7373/task/7378/stat : 7378 (java) S 7370 7373 6303 0 -1 4202560 2537 0 0 0 303 28 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709295122600 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7373/tid=7379] ppid=7370 vsize=9625040 CPUtime=3.52 cores=1,3,5,7
/proc/7373/task/7379/stat : 7379 (java) S 7370 7373 6303 0 -1 4202560 3221 0 0 0 324 28 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709294070056 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7380] ppid=7370 vsize=9625040 CPUtime=3.41 cores=1,3,5,7
/proc/7373/task/7380/stat : 7380 (java) S 7370 7373 6303 0 -1 4202560 2372 0 0 0 313 28 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709293018024 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7381] ppid=7370 vsize=9625040 CPUtime=3.36 cores=1,3,5,7
/proc/7373/task/7381/stat : 7381 (java) S 7370 7373 6303 0 -1 4202560 2831 0 0 0 311 25 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709291965480 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7382] ppid=7370 vsize=9625040 CPUtime=3.45 cores=1,3,5,7
/proc/7373/task/7382/stat : 7382 (java) S 7370 7373 6303 0 -1 4202560 2472 0 0 0 317 28 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709290912424 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7383] ppid=7370 vsize=9625040 CPUtime=3.33 cores=1,3,5,7
/proc/7373/task/7383/stat : 7383 (java) S 7370 7373 6303 0 -1 4202560 3692 0 0 0 306 27 0 0 20 0 19 0 4512671 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709289859880 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7384] ppid=7370 vsize=9625040 CPUtime=6.43 cores=1,3,5,7
/proc/7373/task/7384/stat : 7384 (java) S 7370 7373 6303 0 -1 4202560 2364 0 0 0 634 9 0 0 20 0 19 0 4512672 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709277448552 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7385] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7385/stat : 7385 (java) S 7370 7373 6303 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709276394872 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7386] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7386/stat : 7386 (java) S 7370 7373 6303 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 4512673 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709275341704 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7387] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7387/stat : 7387 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709274290448 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7388] ppid=7370 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/7373/task/7388/stat : 7388 (java) S 7370 7373 6303 0 -1 4202560 10826 0 0 0 52 3 0 0 20 0 19 0 4512675 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709273238328 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7373/tid=7389] ppid=7370 vsize=9625040 CPUtime=0.49 cores=1,3,5,7
/proc/7373/task/7389/stat : 7389 (java) S 7370 7373 6303 0 -1 4202560 5182 0 0 0 47 2 0 0 20 0 19 0 4512675 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709272185784 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7390] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7390/stat : 7390 (java) S 7370 7373 6303 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 4512675 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709271132920 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7373/tid=7391] ppid=7370 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7373/task/7391/stat : 7391 (java) S 7370 7373 6303 0 -1 4202560 104 0 0 0 26 36 0 0 20 0 19 0 4512675 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709270080584 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7373/tid=7392] ppid=7370 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7373/task/7392/stat : 7392 (java) S 7370 7373 6303 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 4512695 9856040960 143377 33554432000 1073741824 1073778376 140733580616048 139709269025832 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7373 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=39416
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=211511
# CPU time returned by wait4() is 1796.25
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1780.14
CPU time (s): 1800.05
CPU user time (s): 1797.29
CPU system time (s): 2.76
CPU usage (%): 101.118
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.04
system time used= 3.21151
maximum resident set size= 736636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48268
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55996
involuntary context switches= 59830
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1122 second user time and 11.9042 second system time
The end