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-4090722-1466068083/watcher-4090722-1466068083 -o /tmp/evaluation-result-4090722-1466068083/solver-4090722-1466068083 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466062122-10381 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090722-1466068083.wbo
pid=13544
running on 4 cores: 0,2,4,6
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.15 2.30 2.26 4/194 13547
/proc/meminfo: memFree=30158612/32872528 swapFree=1370072/1517240
[pid=13547] ppid=13544 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/13547/stat : 13547 (java) S 13544 13547 10365 0 -1 4202496 1354 0 0 0 0 0 0 0 20 0 2 0 8854790 98570240 977 33554432000 1073741824 1073778376 140736490701680 140736490692816 229359255613 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13547/statm: 24065 977 743 9 0 16771 0
[pid=13547/tid=13548] ppid=13544 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13548/stat : 13548 (java) R 13544 13547 10365 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 8854791 98570240 977 33554432000 1073741824 1073778376 140736490701680 140501389467176 229355898240 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0
[startup+0.100125 s]
/proc/loadavg: 2.15 2.30 2.26 4/194 13547
/proc/meminfo: memFree=30158612/32872528 swapFree=1370072/1517240
[pid=13547] ppid=13544 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13547/stat : 13547 (java) S 13544 13547 10365 0 -1 4202496 4479 0 1 0 9 1 0 0 20 0 18 0 8854790 9787879424 6087 33554432000 1073741824 1073778376 140736490701680 140736490692816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13547/statm: 2389619 6087 2154 9 0 2380296 0
[pid=13547/tid=13548] ppid=13544 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/13547/task/13548/stat : 13548 (java) R 13544 13547 10365 0 -1 4202560 2377 0 1 0 6 1 0 0 20 0 18 0 8854791 9787879424 6087 33554432000 1073741824 1073778376 140736490701680 140501389470624 229359281421 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.20029 s]
/proc/loadavg: 2.15 2.30 2.26 4/194 13547
/proc/meminfo: memFree=30158612/32872528 swapFree=1370072/1517240
[pid=13547] ppid=13544 vsize=9558476 CPUtime=0.26 cores=0,2,4,6
/proc/13547/stat : 13547 (java) S 13544 13547 10365 0 -1 4202496 4763 0 1 0 25 1 0 0 20 0 18 0 8854790 9787879424 6794 33554432000 1073741824 1073778376 140736490701680 140736490692816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13547/statm: 2389619 6794 2202 9 0 2380296 0
[pid=13547/tid=13548] ppid=13544 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/13547/task/13548/stat : 13548 (java) R 13544 13547 10365 0 -1 4202560 2397 0 1 0 16 1 0 0 20 0 18 0 8854791 9787879424 6794 33554432000 1073741824 1073778376 140736490701680 140501389471752 140501214931095 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9558476
[startup+0.300266 s]
/proc/loadavg: 2.15 2.30 2.26 4/194 13547
/proc/meminfo: memFree=30158612/32872528 swapFree=1370072/1517240
[pid=13547] ppid=13544 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/13547/stat : 13547 (java) S 13544 13547 10365 0 -1 4202496 5702 0 1 0 47 2 0 0 20 0 18 0 8854790 9787879424 9024 33554432000 1073741824 1073778376 140736490701680 140736490692816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13547/statm: 2389619 9024 2232 9 0 2380296 0
[pid=13547/tid=13548] ppid=13544 vsize=9558476 CPUtime=0.27 cores=0,2,4,6
/proc/13547/task/13548/stat : 13548 (java) R 13544 13547 10365 0 -1 4202560 2400 0 1 0 26 1 0 0 20 0 18 0 8854791 9787879424 9024 33554432000 1073741824 1073778376 140736490701680 140501389471752 140501214903719 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476
[startup+0.7003 s]
/proc/loadavg: 2.15 2.30 2.26 4/194 13547
/proc/meminfo: memFree=30158612/32872528 swapFree=1370072/1517240
[pid=13547] ppid=13544 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/13547/stat : 13547 (java) S 13544 13547 10365 0 -1 4202496 10635 0 1 0 142 3 0 0 20 0 19 0 8854790 9856040960 11794 33554432000 1073741824 1073778376 140736490701680 140736490692816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13547/statm: 2406260 11794 2254 9 0 2396937 0
[pid=13547/tid=13548] ppid=13544 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/13547/task/13548/stat : 13548 (java) R 13544 13547 10365 0 -1 4202560 2412 0 1 0 66 1 0 0 20 0 19 0 8854791 9856040960 11794 33554432000 1073741824 1073778376 140736490701680 140501389471848 140501215419425 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9625040
[startup+1.50076 s]
/proc/loadavg: 2.15 2.30 2.26 3/213 13566
/proc/meminfo: memFree=30116820/32872528 swapFree=1370072/1517240
[pid=13547] ppid=13544 vsize=9625040 CPUtime=2.29 cores=0,2,4,6
/proc/13547/stat : 13547 (java) S 13544 13547 10365 0 -1 4202496 10646 0 1 0 226 3 0 0 20 0 19 0 8854790 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140736490692816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13547/statm: 2406260 12313 2260 9 0 2396937 0
[pid=13547/tid=13548] ppid=13544 vsize=9625040 CPUtime=1.48 cores=0,2,4,6
/proc/13547/task/13548/stat : 13548 (java) R 13544 13547 10365 0 -1 4202560 2414 0 1 0 146 2 0 0 20 0 19 0 8854791 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501389470232 140501215573957 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13550] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13550/stat : 13550 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501350963880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13551] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13551/stat : 13551 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501349911336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13552] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13552/stat : 13552 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501348858792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13553] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13553/stat : 13553 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501347806248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13554] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13554/stat : 13554 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501346752680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13555] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13555/stat : 13555 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501345700136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13556] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13556/stat : 13556 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501344647592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13557] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13557/stat : 13557 (java) S 13544 13547 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501343595048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13558] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13558/stat : 13558 (java) S 13544 13547 10365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8854792 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501212711528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13559] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13559/stat : 13559 (java) S 13544 13547 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501211657848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13560] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13560/stat : 13560 (java) S 13544 13547 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501210605192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13561] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13561/stat : 13561 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501209553936 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13562] ppid=13544 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/13547/task/13562/stat : 13562 (java) S 13544 13547 10365 0 -1 4202560 2326 0 0 0 34 0 0 0 20 0 19 0 8854795 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501208500280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13563] ppid=13544 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/13547/task/13563/stat : 13563 (java) S 13544 13547 10365 0 -1 4202560 4633 0 0 0 44 0 0 0 20 0 19 0 8854795 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501207447736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13564] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13564/stat : 13564 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501206395384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13565] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13565/stat : 13565 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501205343048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13566] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13566/stat : 13566 (java) S 13544 13547 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8854822 9856040960 12313 33554432000 1073741824 1073778376 140736490701680 140501204288808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 9625040
[startup+3.10078 s]
/proc/loadavg: 2.15 2.30 2.26 3/213 13566
/proc/meminfo: memFree=30114772/32872528 swapFree=1370072/1517240
[pid=13547] ppid=13544 vsize=9625040 CPUtime=3.94 cores=0,2,4,6
/proc/13547/stat : 13547 (java) S 13544 13547 10365 0 -1 4202496 10649 0 1 0 390 4 0 0 20 0 19 0 8854790 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140736490692816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13547/statm: 2406260 13337 2260 9 0 2396937 0
[pid=13547/tid=13548] ppid=13544 vsize=9625040 CPUtime=3.08 cores=0,2,4,6
/proc/13547/task/13548/stat : 13548 (java) R 13544 13547 10365 0 -1 4202560 2417 0 1 0 306 2 0 0 20 0 19 0 8854791 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501389472136 140501215419199 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13550] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13550/stat : 13550 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501350963880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13551] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13551/stat : 13551 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501349911336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13552] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13552/stat : 13552 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501348858792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13553] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13553/stat : 13553 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501347806248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13554] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13554/stat : 13554 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501346752680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13555] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13555/stat : 13555 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501345700136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13556] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13556/stat : 13556 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501344647592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13557] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13557/stat : 13557 (java) S 13544 13547 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501343595048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13558] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13558/stat : 13558 (java) S 13544 13547 10365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8854792 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501212711528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13559] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13559/stat : 13559 (java) S 13544 13547 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501211657848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13560] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13560/stat : 13560 (java) S 13544 13547 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501210605192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13561] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13561/stat : 13561 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501209553936 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13562] ppid=13544 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13547/task/13562/stat : 13562 (java) S 13544 13547 10365 0 -1 4202560 2326 0 0 0 36 0 0 0 20 0 19 0 8854795 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501208500280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13563] ppid=13544 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/13547/task/13563/stat : 13563 (java) S 13544 13547 10365 0 -1 4202560 4633 0 0 0 46 0 0 0 20 0 19 0 8854795 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501207447736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13564] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13564/stat : 13564 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501206395384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13565] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13565/stat : 13565 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501205343048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13566] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13566/stat : 13566 (java) S 13544 13547 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8854822 9856040960 13337 33554432000 1073741824 1073778376 140736490701680 140501204288808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 9625040
[startup+6.30079 s]
/proc/loadavg: 2.22 2.31 2.27 3/213 13566
/proc/meminfo: memFree=30107136/32872528 swapFree=1370072/1517240
[pid=13547] ppid=13544 vsize=9625040 CPUtime=7.17 cores=0,2,4,6
/proc/13547/stat : 13547 (java) S 13544 13547 10365 0 -1 4202496 10671 0 1 0 713 4 0 0 20 0 19 0 8854790 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140736490692816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13547/statm: 2406260 15676 2261 9 0 2396937 0
[pid=13547/tid=13548] ppid=13544 vsize=9625040 CPUtime=6.28 cores=0,2,4,6
/proc/13547/task/13548/stat : 13548 (java) R 13544 13547 10365 0 -1 4202560 2423 0 1 0 626 2 0 0 20 0 19 0 8854791 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501389463248 140501215419109 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13550] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13550/stat : 13550 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501350963880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13551] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13551/stat : 13551 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501349911336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13552] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13552/stat : 13552 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501348858792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13553] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13553/stat : 13553 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501347806248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13554] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13554/stat : 13554 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501346752680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13555] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13555/stat : 13555 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501345700136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13556] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13556/stat : 13556 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501344647592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13557] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13557/stat : 13557 (java) S 13544 13547 10365 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8854791 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501343595048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13558] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13558/stat : 13558 (java) S 13544 13547 10365 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8854792 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501212711528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13559] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13559/stat : 13559 (java) S 13544 13547 10365 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501211657848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13560] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13560/stat : 13560 (java) S 13544 13547 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501210605192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13561] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13561/stat : 13561 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501209553936 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13562] ppid=13544 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/13547/task/13562/stat : 13562 (java) S 13544 13547 10365 0 -1 4202560 2341 0 0 0 40 0 0 0 20 0 19 0 8854795 9856040960 15676 33554432000 1073741824 1073778376 140736490701680 140501208500280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13563] ppid=13544 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
################
# More data... #
################
[pid=13547/tid=13559] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13559/stat : 13559 (java) S 13544 13547 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 146101 33554432000 1073741824 1073778376 140736490701680 140501211657848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13560] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13560/stat : 13560 (java) S 13544 13547 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 146101 33554432000 1073741824 1073778376 140736490701680 140501210605192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13561] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13561/stat : 13561 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 146101 33554432000 1073741824 1073778376 140736490701680 140501209553936 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13562] ppid=13544 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/13547/task/13562/stat : 13562 (java) S 13544 13547 10365 0 -1 4202560 2437 0 0 0 41 0 0 0 20 0 19 0 8854795 9856040960 146101 33554432000 1073741824 1073778376 140736490701680 140501208500280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13563] ppid=13544 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/13547/task/13563/stat : 13563 (java) S 13544 13547 10365 0 -1 4202560 4633 0 0 0 46 0 0 0 20 0 19 0 8854795 9856040960 146101 33554432000 1073741824 1073778376 140736490701680 140501207447736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13564] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13564/stat : 13564 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 146101 33554432000 1073741824 1073778376 140736490701680 140501206395384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13565] ppid=13544 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/13547/task/13565/stat : 13565 (java) S 13544 13547 10365 0 -1 4202560 96 0 0 0 26 26 0 0 20 0 19 0 8854795 9856040960 146101 33554432000 1073741824 1073778376 140736490701680 140501205343048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13566] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13566/stat : 13566 (java) S 13544 13547 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8854822 9856040960 146101 33554432000 1073741824 1073778376 140736490701680 140501204288808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1665.08
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.37 2.32 2.28 3/213 13675
/proc/meminfo: memFree=29547256/32872528 swapFree=1370072/1517240
[pid=13547] ppid=13544 vsize=9625040 CPUtime=1725.18 cores=0,2,4,6
/proc/13547/stat : 13547 (java) S 13544 13547 10365 0 -1 4202496 12633 0 1 0 172436 82 0 0 20 0 19 0 8854790 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140736490692816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13547/statm: 2406260 143285 2283 9 0 2396937 0
[pid=13547/tid=13548] ppid=13544 vsize=9625040 CPUtime=1721.37 cores=0,2,4,6
/proc/13547/task/13548/stat : 13548 (java) R 13544 13547 10365 0 -1 4202560 2492 0 1 0 172105 32 0 0 20 0 19 0 8854791 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501389463168 140501215424928 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13550] ppid=13544 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/13547/task/13550/stat : 13550 (java) S 13544 13547 10365 0 -1 4202560 126 0 0 0 31 8 0 0 20 0 19 0 8854791 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501350963880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13551] ppid=13544 vsize=9625040 CPUtime=0.31 cores=0,2,4,6
/proc/13547/task/13551/stat : 13551 (java) S 13544 13547 10365 0 -1 4202560 95 0 0 0 25 6 0 0 20 0 19 0 8854791 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501349911336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13552] ppid=13544 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/13547/task/13552/stat : 13552 (java) S 13544 13547 10365 0 -1 4202560 210 0 0 0 18 6 0 0 20 0 19 0 8854791 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501348858792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13553] ppid=13544 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/13547/task/13553/stat : 13553 (java) S 13544 13547 10365 0 -1 4202560 201 0 0 0 27 5 0 0 20 0 19 0 8854791 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501347806248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13554] ppid=13544 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/13547/task/13554/stat : 13554 (java) S 13544 13547 10365 0 -1 4202560 231 0 0 0 21 7 0 0 20 0 19 0 8854791 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501346752680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13555] ppid=13544 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/13547/task/13555/stat : 13555 (java) S 13544 13547 10365 0 -1 4202560 130 0 0 0 26 8 0 0 20 0 19 0 8854791 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501345700136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13556] ppid=13544 vsize=9625040 CPUtime=0.33 cores=0,2,4,6
/proc/13547/task/13556/stat : 13556 (java) S 13544 13547 10365 0 -1 4202560 460 0 0 0 25 8 0 0 20 0 19 0 8854791 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501344647592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13557] ppid=13544 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/13547/task/13557/stat : 13557 (java) S 13544 13547 10365 0 -1 4202560 110 0 0 0 21 7 0 0 20 0 19 0 8854791 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501343595048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13558] ppid=13544 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/13547/task/13558/stat : 13558 (java) S 13544 13547 10365 0 -1 4202560 149 0 0 0 11 1 0 0 20 0 19 0 8854792 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501212711528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13559] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13559/stat : 13559 (java) S 13544 13547 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501211657848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13560] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13560/stat : 13560 (java) S 13544 13547 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501210605192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13561] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13561/stat : 13561 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501209553936 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13562] ppid=13544 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/13547/task/13562/stat : 13562 (java) S 13544 13547 10365 0 -1 4202560 2437 0 0 0 41 0 0 0 20 0 19 0 8854795 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501208500280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13563] ppid=13544 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/13547/task/13563/stat : 13563 (java) S 13544 13547 10365 0 -1 4202560 4633 0 0 0 46 0 0 0 20 0 19 0 8854795 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501207447736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13564] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13564/stat : 13564 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501206395384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13565] ppid=13544 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/13547/task/13565/stat : 13565 (java) S 13544 13547 10365 0 -1 4202560 100 0 0 0 27 27 0 0 20 0 19 0 8854795 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501205343048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13566] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13566/stat : 13566 (java) S 13544 13547 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8854822 9856040960 143285 33554432000 1073741824 1073778376 140736490701680 140501204288808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1725.18
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.36 2.32 2.28 3/212 13676
/proc/meminfo: memFree=29509380/32872528 swapFree=1370072/1517240
[pid=13547] ppid=13544 vsize=9625040 CPUtime=1785.31 cores=0,2,4,6
/proc/13547/stat : 13547 (java) S 13544 13547 10365 0 -1 4202496 12640 0 1 0 178447 84 0 0 20 0 19 0 8854790 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140736490692816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13547/statm: 2406260 140945 2283 9 0 2396937 0
[pid=13547/tid=13548] ppid=13544 vsize=9625040 CPUtime=1781.33 cores=0,2,4,6
/proc/13547/task/13548/stat : 13548 (java) R 13544 13547 10365 0 -1 4202560 2493 0 1 0 178100 33 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501389470880 140501215388371 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13550] ppid=13544 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/13547/task/13550/stat : 13550 (java) S 13544 13547 10365 0 -1 4202560 126 0 0 0 32 8 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501350963880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13551] ppid=13544 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/13547/task/13551/stat : 13551 (java) S 13544 13547 10365 0 -1 4202560 95 0 0 0 26 6 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501349911336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13552] ppid=13544 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/13547/task/13552/stat : 13552 (java) S 13544 13547 10365 0 -1 4202560 210 0 0 0 19 6 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501348858792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13553] ppid=13544 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/13547/task/13553/stat : 13553 (java) S 13544 13547 10365 0 -1 4202560 201 0 0 0 30 5 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501347806248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13554] ppid=13544 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/13547/task/13554/stat : 13554 (java) S 13544 13547 10365 0 -1 4202560 231 0 0 0 25 7 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501346752680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13555] ppid=13544 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/13547/task/13555/stat : 13555 (java) S 13544 13547 10365 0 -1 4202560 130 0 0 0 27 8 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501345700136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13556] ppid=13544 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/13547/task/13556/stat : 13556 (java) S 13544 13547 10365 0 -1 4202560 460 0 0 0 26 8 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501344647592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13557] ppid=13544 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/13547/task/13557/stat : 13557 (java) S 13544 13547 10365 0 -1 4202560 110 0 0 0 22 7 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501343595048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13558] ppid=13544 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/13547/task/13558/stat : 13558 (java) S 13544 13547 10365 0 -1 4202560 151 0 0 0 11 1 0 0 20 0 19 0 8854792 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501212711528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13559] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13559/stat : 13559 (java) S 13544 13547 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501211657848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13560] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13560/stat : 13560 (java) S 13544 13547 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501210605192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13561] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13561/stat : 13561 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501209553936 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13562] ppid=13544 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/13547/task/13562/stat : 13562 (java) S 13544 13547 10365 0 -1 4202560 2437 0 0 0 41 0 0 0 20 0 19 0 8854795 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501208500280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13563] ppid=13544 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/13547/task/13563/stat : 13563 (java) S 13544 13547 10365 0 -1 4202560 4633 0 0 0 46 0 0 0 20 0 19 0 8854795 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501207447736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13564] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13564/stat : 13564 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501206395384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13565] ppid=13544 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/13547/task/13565/stat : 13565 (java) S 13544 13547 10365 0 -1 4202560 104 0 0 0 28 29 0 0 20 0 19 0 8854795 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501205343048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13566] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13566/stat : 13566 (java) S 13544 13547 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8854822 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501204288808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1785.31
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797 s]
/proc/loadavg: 2.35 2.32 2.28 3/213 13677
/proc/meminfo: memFree=29509540/32872528 swapFree=1370072/1517240
[pid=13547] ppid=13544 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/13547/stat : 13547 (java) S 13544 13547 10365 0 -1 4202496 12640 0 1 0 179917 84 0 0 20 0 19 0 8854790 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140736490692816 229359255613 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13547/statm: 2406260 140945 2283 9 0 2396937 0
[pid=13547/tid=13548] ppid=13544 vsize=9625040 CPUtime=1796.04 cores=0,2,4,6
/proc/13547/task/13548/stat : 13548 (java) R 13544 13547 10365 0 -1 4202560 2493 0 1 0 179571 33 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501389463168 140501215419454 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13550] ppid=13544 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/13547/task/13550/stat : 13550 (java) S 13544 13547 10365 0 -1 4202560 126 0 0 0 32 8 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501350963880 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13551] ppid=13544 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/13547/task/13551/stat : 13551 (java) S 13544 13547 10365 0 -1 4202560 95 0 0 0 26 6 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501349911336 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13552] ppid=13544 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/13547/task/13552/stat : 13552 (java) S 13544 13547 10365 0 -1 4202560 210 0 0 0 19 6 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501348858792 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13553] ppid=13544 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/13547/task/13553/stat : 13553 (java) S 13544 13547 10365 0 -1 4202560 201 0 0 0 30 5 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501347806248 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13554] ppid=13544 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/13547/task/13554/stat : 13554 (java) S 13544 13547 10365 0 -1 4202560 231 0 0 0 25 7 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501346752680 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13555] ppid=13544 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/13547/task/13555/stat : 13555 (java) S 13544 13547 10365 0 -1 4202560 130 0 0 0 27 8 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501345700136 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13556] ppid=13544 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/13547/task/13556/stat : 13556 (java) S 13544 13547 10365 0 -1 4202560 460 0 0 0 26 8 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501344647592 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13557] ppid=13544 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/13547/task/13557/stat : 13557 (java) S 13544 13547 10365 0 -1 4202560 110 0 0 0 22 7 0 0 20 0 19 0 8854791 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501343595048 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13547/tid=13558] ppid=13544 vsize=9625040 CPUtime=0.12 cores=0,2,4,6
/proc/13547/task/13558/stat : 13558 (java) S 13544 13547 10365 0 -1 4202560 151 0 0 0 11 1 0 0 20 0 19 0 8854792 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501212711528 229359269801 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13559] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13559/stat : 13559 (java) S 13544 13547 10365 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501211657848 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13560] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13560/stat : 13560 (java) S 13544 13547 10365 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8854793 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501210605192 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13561] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13561/stat : 13561 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501209553936 229359277856 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13562] ppid=13544 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/13547/task/13562/stat : 13562 (java) S 13544 13547 10365 0 -1 4202560 2437 0 0 0 41 0 0 0 20 0 19 0 8854795 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501208500280 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13547/tid=13563] ppid=13544 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/13547/task/13563/stat : 13563 (java) S 13544 13547 10365 0 -1 4202560 4633 0 0 0 46 0 0 0 20 0 19 0 8854795 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501207447736 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13564] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13564/stat : 13564 (java) S 13544 13547 10365 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8854795 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501206395384 229359268924 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13547/tid=13565] ppid=13544 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/13547/task/13565/stat : 13565 (java) S 13544 13547 10365 0 -1 4202560 104 0 0 0 28 29 0 0 20 0 19 0 8854795 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501205343048 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13547/tid=13566] ppid=13544 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13547/task/13566/stat : 13566 (java) S 13544 13547 10365 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8854822 9856040960 140945 33554432000 1073741824 1073778376 140736490701680 140501204288808 229359269801 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 13547 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.04
CPU time (s): 1800.55
CPU user time (s): 1799.23
CPU system time (s): 1.3218
CPU usage (%): 100.195
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.23
system time used= 1.3218
maximum resident set size= 644840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12688
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38446
involuntary context switches= 7690
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.90949 second user time and 13.5259 second system time
The end