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-4090855-1466065790/watcher-4090855-1466065790 -o /tmp/evaluation-result-4090855-1466065790/solver-4090855-1466065790 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466062110-13886 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4090855-1466065790.wbo
pid=14827
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.31 2.29 2.20 3/194 14830
/proc/meminfo: memFree=29012984/32872528 swapFree=1402008/1579836
[pid=14830] ppid=14827 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/14830/stat : 14830 (java) S 14827 14830 13870 0 -1 4202496 1317 0 0 0 0 0 0 0 20 0 2 0 8624753 98635776 948 33554432000 1073741824 1073778376 140733672851616 140733672842752 248793563197 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14830/statm: 24081 958 726 9 0 16771 0
[pid=14830/tid=14831] ppid=14827 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14831/stat : 14831 (java) R 14827 14830 13870 0 -1 4202560 129 0 0 0 0 0 0 0 20 0 2 0 8624753 98570240 977 33554432000 1073741824 1073778376 140733672851616 139985980345896 248790205328 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 2.31 2.29 2.20 3/194 14830
/proc/meminfo: memFree=29012984/32872528 swapFree=1402008/1579836
[pid=14830] ppid=14827 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/14830/stat : 14830 (java) S 14827 14830 13870 0 -1 4202496 4402 0 1 0 9 1 0 0 20 0 18 0 8624753 9787879424 6041 33554432000 1073741824 1073778376 140733672851616 140733672842752 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14830/statm: 2389619 6041 2125 9 0 2380296 0
[pid=14830/tid=14831] ppid=14827 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/14830/task/14831/stat : 14831 (java) R 14827 14830 13870 0 -1 4202560 2378 0 1 0 6 1 0 0 20 0 18 0 8624753 9787879424 6041 33554432000 1073741824 1073778376 140733672851616 139985980349344 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200309 s]
/proc/loadavg: 2.31 2.29 2.20 3/194 14830
/proc/meminfo: memFree=29012984/32872528 swapFree=1402008/1579836
[pid=14830] ppid=14827 vsize=9625040 CPUtime=0.26 cores=0,2,4,6
/proc/14830/stat : 14830 (java) S 14827 14830 13870 0 -1 4202496 6170 0 1 0 25 1 0 0 20 0 19 0 8624753 9856040960 7844 33554432000 1073741824 1073778376 140733672851616 140733672842752 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14830/statm: 2406260 7866 2220 9 0 2396937 0
[pid=14830/tid=14831] ppid=14827 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/14830/task/14831/stat : 14831 (java) R 14827 14830 13870 0 -1 4202560 2406 0 1 0 16 1 0 0 20 0 19 0 8624753 9856040960 7867 33554432000 1073741824 1073778376 140733672851616 139985980350536 139985818820271 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625040
[startup+0.300315 s]
/proc/loadavg: 2.31 2.29 2.20 3/194 14830
/proc/meminfo: memFree=29012984/32872528 swapFree=1402008/1579836
[pid=14830] ppid=14827 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/14830/stat : 14830 (java) S 14827 14830 13870 0 -1 4202496 6700 0 1 0 47 2 0 0 20 0 19 0 8624753 9856040960 8515 33554432000 1073741824 1073778376 140733672851616 140733672842752 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14830/statm: 2406260 8515 2243 9 0 2396937 0
[pid=14830/tid=14831] ppid=14827 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/14830/task/14831/stat : 14831 (java) R 14827 14830 13870 0 -1 4202560 2409 0 1 0 26 1 0 0 20 0 19 0 8624753 9856040960 8515 33554432000 1073741824 1073778376 140733672851616 139985980350536 139985819241883 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625040
[startup+0.700206 s]
/proc/loadavg: 2.31 2.29 2.20 3/194 14830
/proc/meminfo: memFree=29012984/32872528 swapFree=1402008/1579836
[pid=14830] ppid=14827 vsize=9625040 CPUtime=1.01 cores=0,2,4,6
/proc/14830/stat : 14830 (java) S 14827 14830 13870 0 -1 4202496 9166 0 1 0 99 2 0 0 20 0 19 0 8624753 9856040960 9608 33554432000 1073741824 1073778376 140733672851616 140733672842752 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14830/statm: 2406260 9608 2251 9 0 2396937 0
[pid=14830/tid=14831] ppid=14827 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/14830/task/14831/stat : 14831 (java) R 14827 14830 13870 0 -1 4202560 2410 0 1 0 66 1 0 0 20 0 19 0 8624753 9856040960 9608 33554432000 1073741824 1073778376 140733672851616 139985980350536 139985818868938 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 9625040
[startup+1.50073 s]
/proc/loadavg: 2.31 2.29 2.20 5/213 14849
/proc/meminfo: memFree=28846728/32872528 swapFree=1402008/1579836
[pid=14830] ppid=14827 vsize=9625040 CPUtime=2.01 cores=0,2,4,6
/proc/14830/stat : 14830 (java) S 14827 14830 13870 0 -1 4202496 13541 0 1 0 198 3 0 0 20 0 19 0 8624753 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 140733672842752 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14830/statm: 2406260 12901 2257 9 0 2396937 0
[pid=14830/tid=14831] ppid=14827 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/14830/task/14831/stat : 14831 (java) R 14827 14830 13870 0 -1 4202560 2413 0 1 0 146 1 0 0 20 0 19 0 8624753 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985980350936 139985819241916 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14833] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14833/stat : 14833 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985941842216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14834] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14834/stat : 14834 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985940789416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14835] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14835/stat : 14835 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985939737128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14830/tid=14836] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14836/stat : 14836 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985938684328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14837] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14837/stat : 14837 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985937632040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14838] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14838/stat : 14838 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985818741416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14839] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14839/stat : 14839 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985817689128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14840] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14840/stat : 14840 (java) S 14827 14830 13870 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985816636328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14841] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14841/stat : 14841 (java) S 14827 14830 13870 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8624755 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985804437736 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14842] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14842/stat : 14842 (java) S 14827 14830 13870 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985803383800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14843] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14843/stat : 14843 (java) S 14827 14830 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985197982984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14844] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14844/stat : 14844 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985196931472 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14845] ppid=14827 vsize=9625040 CPUtime=0.13 cores=0,2,4,6
/proc/14830/task/14845/stat : 14845 (java) S 14827 14830 13870 0 -1 4202560 1779 0 0 0 13 0 0 0 20 0 19 0 8624758 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985195879096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14846] ppid=14827 vsize=9625040 CPUtime=0.37 cores=0,2,4,6
/proc/14830/task/14846/stat : 14846 (java) S 14827 14830 13870 0 -1 4202560 8077 0 0 0 34 3 0 0 20 0 19 0 8624758 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985194826296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14847] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14847/stat : 14847 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985193774200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14848] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14848/stat : 14848 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985192721608 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14849] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14849/stat : 14849 (java) S 14827 14830 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8624770 9856040960 12901 33554432000 1073741824 1073778376 140733672851616 139985191666600 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 9625040
[startup+3.10073 s]
/proc/loadavg: 2.31 2.29 2.20 3/213 14849
/proc/meminfo: memFree=28839964/32872528 swapFree=1402008/1579836
[pid=14830] ppid=14827 vsize=9625040 CPUtime=3.64 cores=0,2,4,6
/proc/14830/stat : 14830 (java) S 14827 14830 13870 0 -1 4202496 13547 0 1 0 360 4 0 0 20 0 19 0 8624753 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 140733672842752 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14830/statm: 2406260 14950 2257 9 0 2396937 0
[pid=14830/tid=14831] ppid=14827 vsize=9625040 CPUtime=3.07 cores=0,2,4,6
/proc/14830/task/14831/stat : 14831 (java) R 14827 14830 13870 0 -1 4202560 2418 0 1 0 306 1 0 0 20 0 19 0 8624753 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985980350880 139985819270366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14833] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14833/stat : 14833 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985941842216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14834] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14834/stat : 14834 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985940789416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14835] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14835/stat : 14835 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985939737128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14830/tid=14836] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14836/stat : 14836 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985938684328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14837] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14837/stat : 14837 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985937632040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14838] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14838/stat : 14838 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985818741416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14839] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14839/stat : 14839 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985817689128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14840] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14840/stat : 14840 (java) S 14827 14830 13870 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985816636328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14841] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14841/stat : 14841 (java) S 14827 14830 13870 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8624755 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985804437736 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14842] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14842/stat : 14842 (java) S 14827 14830 13870 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985803383800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14843] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14843/stat : 14843 (java) S 14827 14830 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985197982984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14844] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14844/stat : 14844 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985196931472 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14845] ppid=14827 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/14830/task/14845/stat : 14845 (java) S 14827 14830 13870 0 -1 4202560 1780 0 0 0 15 0 0 0 20 0 19 0 8624758 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985195879096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14846] ppid=14827 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/14830/task/14846/stat : 14846 (java) S 14827 14830 13870 0 -1 4202560 8077 0 0 0 35 3 0 0 20 0 19 0 8624758 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985194826296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14847] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14847/stat : 14847 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985193774200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14848] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14848/stat : 14848 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985192721608 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14849] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14849/stat : 14849 (java) S 14827 14830 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8624770 9856040960 14950 33554432000 1073741824 1073778376 140733672851616 139985191666600 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 9625040
[startup+6.30074 s]
/proc/loadavg: 2.37 2.30 2.20 3/213 14849
/proc/meminfo: memFree=28825916/32872528 swapFree=1402008/1579836
[pid=14830] ppid=14827 vsize=9625040 CPUtime=6.85 cores=0,2,4,6
/proc/14830/stat : 14830 (java) S 14827 14830 13870 0 -1 4202496 13558 0 1 0 681 4 0 0 20 0 19 0 8624753 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 140733672842752 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14830/statm: 2406260 18896 2259 9 0 2396937 0
[pid=14830/tid=14831] ppid=14827 vsize=9625040 CPUtime=6.28 cores=0,2,4,6
/proc/14830/task/14831/stat : 14831 (java) R 14827 14830 13870 0 -1 4202560 2427 0 1 0 626 2 0 0 20 0 19 0 8624753 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985980341952 139985819206723 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14833] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14833/stat : 14833 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985941842216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14834] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14834/stat : 14834 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985940789416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14835] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14835/stat : 14835 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985939737128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14830/tid=14836] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14836/stat : 14836 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985938684328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14837] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14837/stat : 14837 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985937632040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14838] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14838/stat : 14838 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985818741416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14839] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14839/stat : 14839 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985817689128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14840] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14840/stat : 14840 (java) S 14827 14830 13870 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 8624754 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985816636328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14841] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14841/stat : 14841 (java) S 14827 14830 13870 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 8624755 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985804437736 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14842] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14842/stat : 14842 (java) S 14827 14830 13870 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985803383800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14843] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14843/stat : 14843 (java) S 14827 14830 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985197982984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14844] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14844/stat : 14844 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985196931472 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14845] ppid=14827 vsize=9625040 CPUtime=0.16 cores=0,2,4,6
/proc/14830/task/14845/stat : 14845 (java) S 14827 14830 13870 0 -1 4202560 1781 0 0 0 16 0 0 0 20 0 19 0 8624758 9856040960 18896 33554432000 1073741824 1073778376 140733672851616 139985195879096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14846] ppid=14827 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
################
# More data... #
################
[pid=14830/tid=14842] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14842/stat : 14842 (java) S 14827 14830 13870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 179639 33554432000 1073741824 1073778376 140733672851616 139985803383800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14843] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14843/stat : 14843 (java) S 14827 14830 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 179639 33554432000 1073741824 1073778376 140733672851616 139985197982984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14844] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14844/stat : 14844 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 179639 33554432000 1073741824 1073778376 140733672851616 139985196931472 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14845] ppid=14827 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/14830/task/14845/stat : 14845 (java) S 14827 14830 13870 0 -1 4202560 1905 0 0 0 19 0 0 0 20 0 19 0 8624758 9856040960 179639 33554432000 1073741824 1073778376 140733672851616 139985195879096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14846] ppid=14827 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/14830/task/14846/stat : 14846 (java) S 14827 14830 13870 0 -1 4202560 8077 0 0 0 35 3 0 0 20 0 19 0 8624758 9856040960 179639 33554432000 1073741824 1073778376 140733672851616 139985194826296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14847] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14847/stat : 14847 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 179639 33554432000 1073741824 1073778376 140733672851616 139985193774200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14848] ppid=14827 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/14830/task/14848/stat : 14848 (java) S 14827 14830 13870 0 -1 4202560 96 0 0 0 29 29 0 0 20 0 19 0 8624758 9856040960 179639 33554432000 1073741824 1073778376 140733672851616 139985192721608 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14849] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14849/stat : 14849 (java) S 14827 14830 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8624770 9856040960 179639 33554432000 1073741824 1073778376 140733672851616 139985191666600 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1665.1
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.11 2.19 2.21 3/213 14956
/proc/meminfo: memFree=29349280/32872528 swapFree=1402008/1579836
[pid=14830] ppid=14827 vsize=9625040 CPUtime=1725.18 cores=0,2,4,6
/proc/14830/stat : 14830 (java) S 14827 14830 13870 0 -1 4202496 16496 0 1 0 172437 81 0 0 20 0 19 0 8624753 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 140733672842752 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14830/statm: 2406260 177395 2281 9 0 2396937 0
[pid=14830/tid=14831] ppid=14827 vsize=9625040 CPUtime=1721.2 cores=0,2,4,6
/proc/14830/task/14831/stat : 14831 (java) R 14827 14830 13870 0 -1 4202560 2492 0 1 0 172088 32 0 0 20 0 19 0 8624753 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985980349664 139985819241863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14833] ppid=14827 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/14830/task/14833/stat : 14833 (java) S 14827 14830 13870 0 -1 4202560 405 0 0 0 30 5 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985941842216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14834] ppid=14827 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/14830/task/14834/stat : 14834 (java) S 14827 14830 13870 0 -1 4202560 260 0 0 0 33 7 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985940789416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14835] ppid=14827 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/14830/task/14835/stat : 14835 (java) S 14827 14830 13870 0 -1 4202560 370 0 0 0 28 7 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985939737128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14836] ppid=14827 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/14830/task/14836/stat : 14836 (java) S 14827 14830 13870 0 -1 4202560 299 0 0 0 23 6 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985938684328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14830/tid=14837] ppid=14827 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/14830/task/14837/stat : 14837 (java) S 14827 14830 13870 0 -1 4202560 334 0 0 0 34 9 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985937632040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14830/tid=14838] ppid=14827 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/14830/task/14838/stat : 14838 (java) S 14827 14830 13870 0 -1 4202560 345 0 0 0 34 9 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985818741416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14839] ppid=14827 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/14830/task/14839/stat : 14839 (java) S 14827 14830 13870 0 -1 4202560 206 0 0 0 26 6 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985817689128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14840] ppid=14827 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/14830/task/14840/stat : 14840 (java) S 14827 14830 13870 0 -1 4202560 222 0 0 0 24 5 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985816636328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14841] ppid=14827 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/14830/task/14841/stat : 14841 (java) S 14827 14830 13870 0 -1 4202560 223 0 0 0 22 2 0 0 20 0 19 0 8624755 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985804437736 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14842] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14842/stat : 14842 (java) S 14827 14830 13870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985803383800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14843] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14843/stat : 14843 (java) S 14827 14830 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985197982984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14844] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14844/stat : 14844 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985196931472 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14845] ppid=14827 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/14830/task/14845/stat : 14845 (java) S 14827 14830 13870 0 -1 4202560 1905 0 0 0 19 0 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985195879096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14846] ppid=14827 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/14830/task/14846/stat : 14846 (java) S 14827 14830 13870 0 -1 4202560 8077 0 0 0 35 3 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985194826296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14847] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14847/stat : 14847 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985193774200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14848] ppid=14827 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/14830/task/14848/stat : 14848 (java) S 14827 14830 13870 0 -1 4202560 100 0 0 0 30 30 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985192721608 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14849] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14849/stat : 14849 (java) S 14827 14830 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8624770 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985191666600 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 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.18 2.20 2.21 3/213 14957
/proc/meminfo: memFree=29395108/32872528 swapFree=1402008/1579836
[pid=14830] ppid=14827 vsize=9625040 CPUtime=1785.2 cores=0,2,4,6
/proc/14830/stat : 14830 (java) S 14827 14830 13870 0 -1 4202496 16500 0 1 0 178438 82 0 0 20 0 19 0 8624753 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 140733672842752 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14830/statm: 2406260 177395 2281 9 0 2396937 0
[pid=14830/tid=14831] ppid=14827 vsize=9625040 CPUtime=1781.2 cores=0,2,4,6
/proc/14830/task/14831/stat : 14831 (java) R 14827 14830 13870 0 -1 4202560 2492 0 1 0 178087 33 0 0 20 0 19 0 8624753 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985980341952 139985819241587 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14833] ppid=14827 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/14830/task/14833/stat : 14833 (java) S 14827 14830 13870 0 -1 4202560 405 0 0 0 30 5 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985941842216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14834] ppid=14827 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/14830/task/14834/stat : 14834 (java) S 14827 14830 13870 0 -1 4202560 260 0 0 0 33 7 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985940789416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14835] ppid=14827 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/14830/task/14835/stat : 14835 (java) S 14827 14830 13870 0 -1 4202560 370 0 0 0 28 7 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985939737128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14836] ppid=14827 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/14830/task/14836/stat : 14836 (java) S 14827 14830 13870 0 -1 4202560 299 0 0 0 23 6 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985938684328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14830/tid=14837] ppid=14827 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/14830/task/14837/stat : 14837 (java) S 14827 14830 13870 0 -1 4202560 334 0 0 0 34 9 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985937632040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14830/tid=14838] ppid=14827 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/14830/task/14838/stat : 14838 (java) S 14827 14830 13870 0 -1 4202560 345 0 0 0 34 9 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985818741416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14839] ppid=14827 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/14830/task/14839/stat : 14839 (java) S 14827 14830 13870 0 -1 4202560 206 0 0 0 26 6 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985817689128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14840] ppid=14827 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/14830/task/14840/stat : 14840 (java) S 14827 14830 13870 0 -1 4202560 222 0 0 0 24 5 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985816636328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14841] ppid=14827 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/14830/task/14841/stat : 14841 (java) S 14827 14830 13870 0 -1 4202560 223 0 0 0 22 2 0 0 20 0 19 0 8624755 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985804437736 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14842] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14842/stat : 14842 (java) S 14827 14830 13870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985803383800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14843] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14843/stat : 14843 (java) S 14827 14830 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985197982984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14844] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14844/stat : 14844 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985196931472 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14845] ppid=14827 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/14830/task/14845/stat : 14845 (java) S 14827 14830 13870 0 -1 4202560 1905 0 0 0 19 0 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985195879096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14846] ppid=14827 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/14830/task/14846/stat : 14846 (java) S 14827 14830 13870 0 -1 4202560 8077 0 0 0 35 3 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985194826296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14847] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14847/stat : 14847 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985193774200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14848] ppid=14827 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/14830/task/14848/stat : 14848 (java) S 14827 14830 13870 0 -1 4202560 104 0 0 0 32 31 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985192721608 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14849] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14849/stat : 14849 (java) S 14827 14830 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8624770 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985191666600 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.2 s]
/proc/loadavg: 2.14 2.19 2.20 3/213 14958
/proc/meminfo: memFree=29404164/32872528 swapFree=1402008/1579836
[pid=14830] ppid=14827 vsize=9625040 CPUtime=1800.09 cores=0,2,4,6
/proc/14830/stat : 14830 (java) S 14827 14830 13870 0 -1 4202496 16500 0 1 0 179927 82 0 0 20 0 19 0 8624753 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 140733672842752 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14830/statm: 2406260 177395 2281 9 0 2396937 0
[pid=14830/tid=14831] ppid=14827 vsize=9625040 CPUtime=1796.11 cores=0,2,4,6
/proc/14830/task/14831/stat : 14831 (java) R 14827 14830 13870 0 -1 4202560 2492 0 1 0 179578 33 0 0 20 0 19 0 8624753 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985980341952 139985819241863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14833] ppid=14827 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/14830/task/14833/stat : 14833 (java) S 14827 14830 13870 0 -1 4202560 405 0 0 0 30 5 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985941842216 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14834] ppid=14827 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/14830/task/14834/stat : 14834 (java) S 14827 14830 13870 0 -1 4202560 260 0 0 0 33 7 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985940789416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14835] ppid=14827 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/14830/task/14835/stat : 14835 (java) S 14827 14830 13870 0 -1 4202560 370 0 0 0 28 7 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985939737128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14830/tid=14836] ppid=14827 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/14830/task/14836/stat : 14836 (java) S 14827 14830 13870 0 -1 4202560 299 0 0 0 23 6 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985938684328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14830/tid=14837] ppid=14827 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/14830/task/14837/stat : 14837 (java) S 14827 14830 13870 0 -1 4202560 334 0 0 0 34 9 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985937632040 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14830/tid=14838] ppid=14827 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/14830/task/14838/stat : 14838 (java) S 14827 14830 13870 0 -1 4202560 345 0 0 0 34 9 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985818741416 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14839] ppid=14827 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/14830/task/14839/stat : 14839 (java) S 14827 14830 13870 0 -1 4202560 206 0 0 0 26 6 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985817689128 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14840] ppid=14827 vsize=9625040 CPUtime=0.29 cores=0,2,4,6
/proc/14830/task/14840/stat : 14840 (java) S 14827 14830 13870 0 -1 4202560 222 0 0 0 24 5 0 0 20 0 19 0 8624754 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985816636328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14841] ppid=14827 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/14830/task/14841/stat : 14841 (java) S 14827 14830 13870 0 -1 4202560 223 0 0 0 22 2 0 0 20 0 19 0 8624755 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985804437736 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14842] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14842/stat : 14842 (java) S 14827 14830 13870 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985803383800 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14843] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14843/stat : 14843 (java) S 14827 14830 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 8624756 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985197982984 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14844] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14844/stat : 14844 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985196931472 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14845] ppid=14827 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/14830/task/14845/stat : 14845 (java) S 14827 14830 13870 0 -1 4202560 1905 0 0 0 19 0 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985195879096 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14846] ppid=14827 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/14830/task/14846/stat : 14846 (java) S 14827 14830 13870 0 -1 4202560 8077 0 0 0 35 3 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985194826296 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14847] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14847/stat : 14847 (java) S 14827 14830 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985193774200 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14830/tid=14848] ppid=14827 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/14830/task/14848/stat : 14848 (java) S 14827 14830 13870 0 -1 4202560 104 0 0 0 32 31 0 0 20 0 19 0 8624758 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985192721608 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14830/tid=14849] ppid=14827 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14830/task/14849/stat : 14849 (java) S 14827 14830 13870 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 8624770 9856040960 177395 33554432000 1073741824 1073778376 140733672851616 139985191666600 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14830 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.24
CPU time (s): 1800.75
CPU user time (s): 1799.38
CPU system time (s): 1.37079
CPU usage (%): 100.195
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 1.37079
maximum resident set size= 765128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16550
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38379
involuntary context switches= 5529
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.79066 second user time and 15.0157 second system time
The end