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-4100205-1466211487/watcher-4100205-1466211487 -o /tmp/evaluation-result-4100205-1466211487/solver-4100205-1466211487 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node120-1466206086-5895 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100205-1466211487.opb
pid=6750
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.22 2.22 2.20 3/194 6753
/proc/meminfo: memFree=30147372/32872528 swapFree=1590032/1720848
[pid=6753] ppid=6750 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/6753/stat : 6753 (java) S 6750 6753 5878 0 -1 4202496 1355 0 0 0 0 0 0 0 20 0 2 0 23197003 98570240 978 33554432000 1073741824 1073778376 140733829275904 140733829267040 226087698493 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6753/statm: 24065 978 744 9 0 16771 0
[pid=6753/tid=6754] ppid=6750 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6754/stat : 6754 (java) R 6750 6753 5878 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 23197003 98570240 978 33554432000 1073741824 1073778376 140733829275904 140367334186536 226084341120 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.100059 s]
/proc/loadavg: 2.22 2.22 2.20 3/194 6753
/proc/meminfo: memFree=30147372/32872528 swapFree=1590032/1720848
[pid=6753] ppid=6750 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/6753/stat : 6753 (java) S 6750 6753 5878 0 -1 4202496 4504 0 1 0 10 1 0 0 20 0 18 0 23197003 9787879424 6137 33554432000 1073741824 1073778376 140733829275904 140733829267040 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6753/statm: 2389619 6137 2157 9 0 2380296 0
[pid=6753/tid=6754] ppid=6750 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/6753/task/6754/stat : 6754 (java) R 6750 6753 5878 0 -1 4202560 2385 0 1 0 6 2 0 0 20 0 18 0 23197003 9787879424 6137 33554432000 1073741824 1073778376 140733829275904 140367334191448 226087724301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200272 s]
/proc/loadavg: 2.22 2.22 2.20 3/194 6753
/proc/meminfo: memFree=30147372/32872528 swapFree=1590032/1720848
[pid=6753] ppid=6750 vsize=9558476 CPUtime=0.3 cores=1,3,5,7
/proc/6753/stat : 6753 (java) S 6750 6753 5878 0 -1 4202496 5074 0 1 0 28 2 0 0 20 0 18 0 23197003 9787879424 7582 33554432000 1073741824 1073778376 140733829275904 140733829267040 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6753/statm: 2389619 7582 2221 9 0 2380296 0
[pid=6753/tid=6754] ppid=6750 vsize=9558476 CPUtime=0.18 cores=1,3,5,7
/proc/6753/task/6754/stat : 6754 (java) R 6750 6753 5878 0 -1 4202560 2403 0 1 0 16 2 0 0 20 0 18 0 23197003 9787879424 7582 33554432000 1073741824 1073778376 140733829275904 140367334191104 140367198498128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476
[startup+0.300278 s]
/proc/loadavg: 2.22 2.22 2.20 3/194 6753
/proc/meminfo: memFree=30147372/32872528 swapFree=1590032/1720848
[pid=6753] ppid=6750 vsize=9558476 CPUtime=0.55 cores=1,3,5,7
/proc/6753/stat : 6753 (java) S 6750 6753 5878 0 -1 4202496 6999 0 1 0 53 2 0 0 20 0 18 0 23197003 9787879424 10844 33554432000 1073741824 1073778376 140733829275904 140733829267040 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6753/statm: 2389619 10844 2235 9 0 2380296 0
[pid=6753/tid=6754] ppid=6750 vsize=9558476 CPUtime=0.28 cores=1,3,5,7
/proc/6753/task/6754/stat : 6754 (java) R 6750 6753 5878 0 -1 4202560 2407 0 1 0 26 2 0 0 20 0 18 0 23197003 9787879424 10844 33554432000 1073741824 1073778376 140733829275904 140367334182784 140367198500320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558476
[startup+0.707888 s]
/proc/loadavg: 2.22 2.22 2.20 3/194 6753
/proc/meminfo: memFree=30147372/32872528 swapFree=1590032/1720848
[pid=6753] ppid=6750 vsize=9558476 CPUtime=1.31 cores=1,3,5,7
/proc/6753/stat : 6753 (java) S 6750 6753 5878 0 -1 4202496 10412 0 1 0 125 6 0 0 20 0 18 0 23197003 9787879424 45762 33554432000 1073741824 1073778376 140733829275904 140733829267040 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6753/statm: 2389619 45762 2264 9 0 2380296 0
[pid=6753/tid=6754] ppid=6750 vsize=9558476 CPUtime=0.65 cores=1,3,5,7
/proc/6753/task/6754/stat : 6754 (java) S 6750 6753 5878 0 -1 4202560 2465 0 1 0 62 3 0 0 20 0 18 0 23197003 9787879424 45762 33554432000 1073741824 1073778376 140733829275904 140367334189256 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 9558476
[startup+1.50078 s]
/proc/loadavg: 2.22 2.22 2.20 3/212 6771
/proc/meminfo: memFree=29932576/32872528 swapFree=1590032/1720848
[pid=6753] ppid=6750 vsize=9625040 CPUtime=2.5 cores=1,3,5,7
/proc/6753/stat : 6753 (java) S 6750 6753 5878 0 -1 4202496 12254 0 1 0 239 11 0 0 20 0 19 0 23197003 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140733829267040 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6753/statm: 2406260 56457 2278 9 0 2396937 0
[pid=6753/tid=6754] ppid=6750 vsize=9625040 CPUtime=1.38 cores=1,3,5,7
/proc/6753/task/6754/stat : 6754 (java) R 6750 6753 5878 0 -1 4202560 2477 0 1 0 135 3 0 0 20 0 19 0 23197003 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367334191432 140367199162240 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6756] ppid=6750 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (java) S 6750 6753 5878 0 -1 4202560 122 0 0 0 4 1 0 0 20 0 19 0 23197004 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367323253672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6757] ppid=6750 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (java) S 6750 6753 5878 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 23197004 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367322201128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6758] ppid=6750 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6753/task/6758/stat : 6758 (java) S 6750 6753 5878 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 23197004 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367321148072 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6759] ppid=6750 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6753/task/6759/stat : 6759 (java) S 6750 6753 5878 0 -1 4202560 118 0 0 0 1 0 0 0 20 0 19 0 23197004 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367320095528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6760] ppid=6750 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6753/task/6760/stat : 6760 (java) S 6750 6753 5878 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 23197004 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367319042472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6761] ppid=6750 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6753/task/6761/stat : 6761 (java) S 6750 6753 5878 0 -1 4202560 92 0 0 0 2 0 0 0 20 0 19 0 23197004 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367317989928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6762] ppid=6750 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/6753/task/6762/stat : 6762 (java) S 6750 6753 5878 0 -1 4202560 112 0 0 0 4 1 0 0 20 0 19 0 23197004 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367316936872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6763] ppid=6750 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6753/task/6763/stat : 6763 (java) S 6750 6753 5878 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 23197004 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367170844968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6764] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6764/stat : 6764 (java) S 6750 6753 5878 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367158434664 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6765] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6765/stat : 6765 (java) S 6750 6753 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367157380984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6766] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6766/stat : 6766 (java) S 6750 6753 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367156327816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6767] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6767/stat : 6767 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367155276560 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6768] ppid=6750 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/6753/task/6768/stat : 6768 (java) S 6750 6753 5878 0 -1 4202560 4478 0 0 0 40 0 0 0 20 0 19 0 23197007 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367154223416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6769] ppid=6750 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/6753/task/6769/stat : 6769 (java) S 6750 6753 5878 0 -1 4202560 3465 0 0 0 36 0 0 0 20 0 19 0 23197007 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367153170872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6770] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6770/stat : 6770 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367152118008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6771] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6771/stat : 6771 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 56457 33554432000 1073741824 1073778376 140733829275904 140367151065672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.5
Current children cumulated vsize (KiB) 9625040
[startup+3.10091 s]
/proc/loadavg: 2.37 2.25 2.21 3/213 6772
/proc/meminfo: memFree=29929528/32872528 swapFree=1590032/1720848
[pid=6753] ppid=6750 vsize=9625040 CPUtime=4.17 cores=1,3,5,7
/proc/6753/stat : 6753 (java) S 6750 6753 5878 0 -1 4202496 12780 0 1 0 406 11 0 0 20 0 19 0 23197003 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140733829267040 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6753/statm: 2406260 56459 2279 9 0 2396937 0
[pid=6753/tid=6754] ppid=6750 vsize=9625040 CPUtime=2.98 cores=1,3,5,7
/proc/6753/task/6754/stat : 6754 (java) R 6750 6753 5878 0 -1 4202560 2479 0 1 0 295 3 0 0 20 0 19 0 23197003 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367334189408 140367199225706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6756] ppid=6750 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (java) S 6750 6753 5878 0 -1 4202560 122 0 0 0 4 1 0 0 20 0 19 0 23197004 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367323253672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6757] ppid=6750 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (java) S 6750 6753 5878 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 23197004 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367322201128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6758] ppid=6750 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6753/task/6758/stat : 6758 (java) S 6750 6753 5878 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 23197004 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367321148072 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6759] ppid=6750 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6753/task/6759/stat : 6759 (java) S 6750 6753 5878 0 -1 4202560 118 0 0 0 1 0 0 0 20 0 19 0 23197004 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367320095528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6760] ppid=6750 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6753/task/6760/stat : 6760 (java) S 6750 6753 5878 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 23197004 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367319042472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6761] ppid=6750 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6753/task/6761/stat : 6761 (java) S 6750 6753 5878 0 -1 4202560 92 0 0 0 2 0 0 0 20 0 19 0 23197004 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367317989928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6762] ppid=6750 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/6753/task/6762/stat : 6762 (java) S 6750 6753 5878 0 -1 4202560 112 0 0 0 4 1 0 0 20 0 19 0 23197004 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367316936872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6763] ppid=6750 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6753/task/6763/stat : 6763 (java) S 6750 6753 5878 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 23197004 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367170844968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6764] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6764/stat : 6764 (java) S 6750 6753 5878 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367158434664 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6765] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6765/stat : 6765 (java) S 6750 6753 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367157380984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6766] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6766/stat : 6766 (java) S 6750 6753 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367156327816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6767] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6767/stat : 6767 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367155276560 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6768] ppid=6750 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/6753/task/6768/stat : 6768 (java) S 6750 6753 5878 0 -1 4202560 4478 0 0 0 42 0 0 0 20 0 19 0 23197007 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367154223416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6769] ppid=6750 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/6753/task/6769/stat : 6769 (java) S 6750 6753 5878 0 -1 4202560 3988 0 0 0 42 0 0 0 20 0 19 0 23197007 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367153170872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6770] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6770/stat : 6770 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367152118008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6771] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6771/stat : 6771 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367151065672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6772] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6772/stat : 6772 (java) S 6750 6753 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23197123 9856040960 56459 33554432000 1073741824 1073778376 140733829275904 140367149962792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 9625040
[startup+6.30085 s]
/proc/loadavg: 2.37 2.25 2.21 3/213 6772
/proc/meminfo: memFree=29931352/32872528 swapFree=1590032/1720848
[pid=6753] ppid=6750 vsize=9625040 CPUtime=7.37 cores=1,3,5,7
/proc/6753/stat : 6753 (java) S 6750 6753 5878 0 -1 4202496 12781 0 1 0 726 11 0 0 20 0 19 0 23197003 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140733829267040 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6753/statm: 2406260 55824 2279 9 0 2396937 0
[pid=6753/tid=6754] ppid=6750 vsize=9625040 CPUtime=6.17 cores=1,3,5,7
/proc/6753/task/6754/stat : 6754 (java) R 6750 6753 5878 0 -1 4202560 2480 0 1 0 614 3 0 0 20 0 19 0 23197003 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367334189424 140367199120372 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6756] ppid=6750 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (java) S 6750 6753 5878 0 -1 4202560 122 0 0 0 4 1 0 0 20 0 19 0 23197004 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367323253672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6757] ppid=6750 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (java) S 6750 6753 5878 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 23197004 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367322201128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6758] ppid=6750 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6753/task/6758/stat : 6758 (java) S 6750 6753 5878 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 23197004 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367321148072 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6759] ppid=6750 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6753/task/6759/stat : 6759 (java) S 6750 6753 5878 0 -1 4202560 118 0 0 0 1 0 0 0 20 0 19 0 23197004 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367320095528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6760] ppid=6750 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/6753/task/6760/stat : 6760 (java) S 6750 6753 5878 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 23197004 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367319042472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6761] ppid=6750 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6753/task/6761/stat : 6761 (java) S 6750 6753 5878 0 -1 4202560 92 0 0 0 2 0 0 0 20 0 19 0 23197004 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367317989928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6762] ppid=6750 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/6753/task/6762/stat : 6762 (java) S 6750 6753 5878 0 -1 4202560 112 0 0 0 4 1 0 0 20 0 19 0 23197004 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367316936872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6763] ppid=6750 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/6753/task/6763/stat : 6763 (java) S 6750 6753 5878 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 19 0 23197004 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367170844968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6764] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6764/stat : 6764 (java) S 6750 6753 5878 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367158434664 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6765] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6765/stat : 6765 (java) S 6750 6753 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367157380984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6766] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6766/stat : 6766 (java) S 6750 6753 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367156327816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6767] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6767/stat : 6767 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367155276560 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6768] ppid=6750 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/6753/task/6768/stat : 6768 (java) S 6750 6753 5878 0 -1 4202560 4478 0 0 0 42 0 0 0 20 0 19 0 23197007 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367154223416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6769] ppid=6750 vsize=9625040 CPUtime=0.42 cores=1,3,5,7
/proc/6753/task/6769/stat : 6769 (java) S 6750 6753 5878 0 -1 4202560 3988 0 0 0 42 0 0 0 20 0 19 0 23197007 9856040960 55824 33554432000 1073741824 1073778376 140733829275904 140367153170872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6770] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=6753/tid=6772] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6772/stat : 6772 (java) S 6750 6753 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23197123 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367149962792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1667.54
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.38 2.28 2.20 3/214 6838
/proc/meminfo: memFree=26540032/32872528 swapFree=1590032/1720848
[pid=6753] ppid=6750 vsize=9625040 CPUtime=1727.55 cores=1,3,5,7
/proc/6753/stat : 6753 (java) S 6750 6753 5878 0 -1 4202496 35677 0 1 0 172508 247 0 0 20 0 19 0 23197003 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140733829267040 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6753/statm: 2406260 873212 2294 9 0 2396937 0
[pid=6753/tid=6754] ppid=6750 vsize=9625040 CPUtime=1714.6 cores=1,3,5,7
/proc/6753/task/6754/stat : 6754 (java) R 6750 6753 5878 0 -1 4202560 4212 0 1 0 171408 52 0 0 20 0 19 0 23197003 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367334182608 140367199190685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6756] ppid=6750 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (java) S 6750 6753 5878 0 -1 4202560 1679 0 0 0 37 23 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367323253672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6757] ppid=6750 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (java) S 6750 6753 5878 0 -1 4202560 1867 0 0 0 45 25 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367322201128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6758] ppid=6750 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/6753/task/6758/stat : 6758 (java) S 6750 6753 5878 0 -1 4202560 2716 0 0 0 45 29 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367321148072 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6759] ppid=6750 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/6753/task/6759/stat : 6759 (java) S 6750 6753 5878 0 -1 4202560 3025 0 0 0 38 20 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367320095528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6760] ppid=6750 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6753/task/6760/stat : 6760 (java) S 6750 6753 5878 0 -1 4202560 2278 0 0 0 41 21 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367319042472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6761] ppid=6750 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/6753/task/6761/stat : 6761 (java) S 6750 6753 5878 0 -1 4202560 3116 0 0 0 42 25 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367317989928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6762] ppid=6750 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6753/task/6762/stat : 6762 (java) S 6750 6753 5878 0 -1 4202560 1287 0 0 0 38 18 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367316936872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6763] ppid=6750 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/6753/task/6763/stat : 6763 (java) S 6750 6753 5878 0 -1 4202560 2389 0 0 0 41 24 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367170844968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6764] ppid=6750 vsize=9625040 CPUtime=1.71 cores=1,3,5,7
/proc/6753/task/6764/stat : 6764 (java) S 6750 6753 5878 0 -1 4202560 1675 0 0 0 169 2 0 0 20 0 19 0 23197005 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367158434664 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6765] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6765/stat : 6765 (java) S 6750 6753 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367157380984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6766] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6766/stat : 6766 (java) S 6750 6753 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367156327816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6767] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6767/stat : 6767 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367155276560 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6768] ppid=6750 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/6753/task/6768/stat : 6768 (java) S 6750 6753 5878 0 -1 4202560 5206 0 0 0 54 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367154223416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6769] ppid=6750 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/6753/task/6769/stat : 6769 (java) S 6750 6753 5878 0 -1 4202560 4869 0 0 0 61 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367153170872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6770] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6770/stat : 6770 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367152118008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6771] ppid=6750 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/6753/task/6771/stat : 6771 (java) S 6750 6753 5878 0 -1 4202560 99 0 0 0 30 38 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367151065672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6772] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6772/stat : 6772 (java) S 6750 6753 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23197123 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367149962792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.55
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.44 2.31 2.21 4/214 6839
/proc/meminfo: memFree=26543140/32872528 swapFree=1590032/1720848
[pid=6753] ppid=6750 vsize=9625040 CPUtime=1787.58 cores=1,3,5,7
/proc/6753/stat : 6753 (java) S 6750 6753 5878 0 -1 4202496 35681 0 1 0 178509 249 0 0 20 0 19 0 23197003 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140733829267040 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6753/statm: 2406260 873212 2294 9 0 2396937 0
[pid=6753/tid=6754] ppid=6750 vsize=9625040 CPUtime=1774.44 cores=1,3,5,7
/proc/6753/task/6754/stat : 6754 (java) R 6750 6753 5878 0 -1 4202560 4212 0 1 0 177392 52 0 0 20 0 19 0 23197003 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367334182608 140367199190644 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6756] ppid=6750 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (java) S 6750 6753 5878 0 -1 4202560 1679 0 0 0 37 23 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367323253672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6757] ppid=6750 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (java) S 6750 6753 5878 0 -1 4202560 1867 0 0 0 45 25 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367322201128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6758] ppid=6750 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/6753/task/6758/stat : 6758 (java) S 6750 6753 5878 0 -1 4202560 2716 0 0 0 45 29 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367321148072 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6759] ppid=6750 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/6753/task/6759/stat : 6759 (java) S 6750 6753 5878 0 -1 4202560 3025 0 0 0 38 20 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367320095528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6760] ppid=6750 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6753/task/6760/stat : 6760 (java) S 6750 6753 5878 0 -1 4202560 2278 0 0 0 41 21 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367319042472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6761] ppid=6750 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/6753/task/6761/stat : 6761 (java) S 6750 6753 5878 0 -1 4202560 3116 0 0 0 42 25 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367317989928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6762] ppid=6750 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6753/task/6762/stat : 6762 (java) S 6750 6753 5878 0 -1 4202560 1287 0 0 0 38 18 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367316936872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6763] ppid=6750 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/6753/task/6763/stat : 6763 (java) S 6750 6753 5878 0 -1 4202560 2389 0 0 0 41 24 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367170844968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6764] ppid=6750 vsize=9625040 CPUtime=1.71 cores=1,3,5,7
/proc/6753/task/6764/stat : 6764 (java) S 6750 6753 5878 0 -1 4202560 1675 0 0 0 169 2 0 0 20 0 19 0 23197005 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367158434664 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6765] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6765/stat : 6765 (java) S 6750 6753 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367157380984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6766] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6766/stat : 6766 (java) S 6750 6753 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367156327816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6767] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6767/stat : 6767 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367155276560 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6768] ppid=6750 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/6753/task/6768/stat : 6768 (java) S 6750 6753 5878 0 -1 4202560 5206 0 0 0 54 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367154223416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6769] ppid=6750 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/6753/task/6769/stat : 6769 (java) S 6750 6753 5878 0 -1 4202560 4869 0 0 0 61 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367153170872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6770] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6770/stat : 6770 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367152118008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6771] ppid=6750 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/6753/task/6771/stat : 6771 (java) S 6750 6753 5878 0 -1 4202560 103 0 0 0 31 39 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367151065672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6772] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6772/stat : 6772 (java) S 6750 6753 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23197123 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367149962792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.8 s]
/proc/loadavg: 2.37 2.30 2.21 3/214 6905
/proc/meminfo: memFree=26454660/32872528 swapFree=1590032/1720848
[pid=6753] ppid=6750 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/6753/stat : 6753 (java) S 6750 6753 5878 0 -1 4202496 35681 0 1 0 179759 249 0 0 20 0 19 0 23197003 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140733829267040 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6753/statm: 2406260 873212 2294 9 0 2396937 0
[pid=6753/tid=6754] ppid=6750 vsize=9625040 CPUtime=1786.91 cores=1,3,5,7
/proc/6753/task/6754/stat : 6754 (java) R 6750 6753 5878 0 -1 4202560 4212 0 1 0 178638 53 0 0 20 0 19 0 23197003 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367334182608 140367199190685 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6756] ppid=6750 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/6753/task/6756/stat : 6756 (java) S 6750 6753 5878 0 -1 4202560 1679 0 0 0 37 23 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367323253672 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6757] ppid=6750 vsize=9625040 CPUtime=0.7 cores=1,3,5,7
/proc/6753/task/6757/stat : 6757 (java) S 6750 6753 5878 0 -1 4202560 1867 0 0 0 45 25 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367322201128 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6758] ppid=6750 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/6753/task/6758/stat : 6758 (java) S 6750 6753 5878 0 -1 4202560 2716 0 0 0 45 29 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367321148072 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6759] ppid=6750 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/6753/task/6759/stat : 6759 (java) S 6750 6753 5878 0 -1 4202560 3025 0 0 0 38 20 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367320095528 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6760] ppid=6750 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/6753/task/6760/stat : 6760 (java) S 6750 6753 5878 0 -1 4202560 2278 0 0 0 41 21 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367319042472 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6761] ppid=6750 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/6753/task/6761/stat : 6761 (java) S 6750 6753 5878 0 -1 4202560 3116 0 0 0 42 25 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367317989928 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6762] ppid=6750 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/6753/task/6762/stat : 6762 (java) S 6750 6753 5878 0 -1 4202560 1287 0 0 0 38 18 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367316936872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6753/tid=6763] ppid=6750 vsize=9625040 CPUtime=0.65 cores=1,3,5,7
/proc/6753/task/6763/stat : 6763 (java) S 6750 6753 5878 0 -1 4202560 2389 0 0 0 41 24 0 0 20 0 19 0 23197004 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367170844968 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6764] ppid=6750 vsize=9625040 CPUtime=1.71 cores=1,3,5,7
/proc/6753/task/6764/stat : 6764 (java) S 6750 6753 5878 0 -1 4202560 1675 0 0 0 169 2 0 0 20 0 19 0 23197005 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367158434664 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6765] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6765/stat : 6765 (java) S 6750 6753 5878 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367157380984 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6766] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6766/stat : 6766 (java) S 6750 6753 5878 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23197005 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367156327816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6767] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6767/stat : 6767 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367155276560 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6768] ppid=6750 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/6753/task/6768/stat : 6768 (java) S 6750 6753 5878 0 -1 4202560 5206 0 0 0 54 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367154223416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6753/tid=6769] ppid=6750 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/6753/task/6769/stat : 6769 (java) S 6750 6753 5878 0 -1 4202560 4869 0 0 0 61 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367153170872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6770] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6770/stat : 6770 (java) S 6750 6753 5878 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367152118008 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6753/tid=6771] ppid=6750 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/6753/task/6771/stat : 6771 (java) S 6750 6753 5878 0 -1 4202560 103 0 0 0 32 40 0 0 20 0 19 0 23197007 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367151065672 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6753/tid=6772] ppid=6750 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/6753/task/6772/stat : 6772 (java) S 6750 6753 5878 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23197123 9856040960 873212 33554432000 1073741824 1073778376 140733829275904 140367149962792 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 6753 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 6753 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=978425
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=952551
# CPU time returned by wait4() is 1795.93
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1794.84
CPU time (s): 1800.08
CPU user time (s): 1797.59
CPU system time (s): 2.49
CPU usage (%): 100.292
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.98
system time used= 2.95255
maximum resident set size= 3540768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35731
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38650
involuntary context switches= 8577
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5319 second user time and 10.4934 second system time
The end