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-4095830-1466097110/watcher-4095830-1466097110 -o /tmp/evaluation-result-4095830-1466097110/solver-4095830-1466097110 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466097110-5879 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4095830-1466097110.opb
pid=5914
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.13 1.69 2.01 3/185 5918
/proc/meminfo: memFree=30617228/32872528 swapFree=1243920/1391088
[pid=5917] ppid=5914 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5917/stat : 5917 (java) S 5914 5917 3284 0 -1 4202496 1353 0 0 0 0 0 0 0 20 0 2 0 11759661 98570240 977 33554432000 1073741824 1073778376 140733558353568 140733558344704 272889839677 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 24065 977 744 9 0 16771 0
[pid=5917/tid=5921] ppid=5914 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5921/stat : 5921 (java) R 5914 5917 3284 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 11759661 98570240 977 33554432000 1073741824 1073778376 140733558353568 139841499311656 272886482304 0 0 4096 0 0 0 0 -1 1 0 0 0 0 0
[startup+0.100061 s]
/proc/loadavg: 1.13 1.69 2.01 3/185 5918
/proc/meminfo: memFree=30617228/32872528 swapFree=1243920/1391088
[pid=5917] ppid=5914 vsize=9558476 CPUtime=0.11 cores=1,3,5,7
/proc/5917/stat : 5917 (java) S 5914 5917 3284 0 -1 4202496 4489 0 1 0 10 1 0 0 20 0 18 0 11759661 9787879424 6117 33554432000 1073741824 1073778376 140733558353568 140733558344704 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 2389619 6117 2157 9 0 2380296 0
[pid=5917/tid=5921] ppid=5914 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/5917/task/5921/stat : 5921 (java) R 5914 5917 3284 0 -1 4202560 2375 0 1 0 7 0 0 0 20 0 18 0 11759661 9787879424 6117 33554432000 1073741824 1073778376 140733558353568 139841499312600 139841489375532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200275 s]
/proc/loadavg: 1.13 1.69 2.01 3/185 5918
/proc/meminfo: memFree=30617228/32872528 swapFree=1243920/1391088
[pid=5917] ppid=5914 vsize=9625040 CPUtime=0.31 cores=1,3,5,7
/proc/5917/stat : 5917 (java) S 5914 5917 3284 0 -1 4202496 6580 0 1 0 30 1 0 0 20 0 19 0 11759661 9856040960 7856 33554432000 1073741824 1073778376 140733558353568 140733558344704 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 2406260 7856 2235 9 0 2396937 0
[pid=5917/tid=5921] ppid=5914 vsize=9625040 CPUtime=0.17 cores=1,3,5,7
/proc/5917/task/5921/stat : 5921 (java) R 5914 5917 3284 0 -1 4202560 2397 0 1 0 17 0 0 0 20 0 19 0 11759661 9856040960 7856 33554432000 1073741824 1073778376 140733558353568 139841499316864 139841502379336 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9625040
[startup+0.300382 s]
/proc/loadavg: 1.13 1.69 2.01 3/185 5918
/proc/meminfo: memFree=30617228/32872528 swapFree=1243920/1391088
[pid=5917] ppid=5914 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/5917/stat : 5917 (java) S 5914 5917 3284 0 -1 4202496 7148 0 1 0 52 1 0 0 20 0 19 0 11759661 9856040960 7766 33554432000 1073741824 1073778376 140733558353568 140733558344704 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 2406260 7766 2238 9 0 2396937 0
[pid=5917/tid=5921] ppid=5914 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/5917/task/5921/stat : 5921 (java) R 5914 5917 3284 0 -1 4202560 2397 0 1 0 27 0 0 0 20 0 19 0 11759661 9856040960 7766 33554432000 1073741824 1073778376 140733558353568 139841499316184 139841333789325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9625040
[startup+0.700312 s]
/proc/loadavg: 1.13 1.69 2.01 3/185 5918
/proc/meminfo: memFree=30617228/32872528 swapFree=1243920/1391088
[pid=5917] ppid=5914 vsize=9625040 CPUtime=1.24 cores=1,3,5,7
/proc/5917/stat : 5917 (java) S 5914 5917 3284 0 -1 4202496 15188 0 1 0 121 3 0 0 20 0 19 0 11759661 9856040960 12948 33554432000 1073741824 1073778376 140733558353568 140733558344704 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 2406260 12948 2249 9 0 2396937 0
[pid=5917/tid=5921] ppid=5914 vsize=9625040 CPUtime=0.67 cores=1,3,5,7
/proc/5917/task/5921/stat : 5921 (java) R 5914 5917 3284 0 -1 4202560 2398 0 1 0 67 0 0 0 20 0 19 0 11759661 9856040960 12948 33554432000 1073741824 1073778376 140733558353568 139841499316184 139841333809136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9625040
[startup+1.50074 s]
/proc/loadavg: 1.13 1.69 2.01 3/213 5945
/proc/meminfo: memFree=30549232/32872528 swapFree=1243920/1391088
[pid=5917] ppid=5914 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/5917/stat : 5917 (java) S 5914 5917 3284 0 -1 4202496 15192 0 1 0 203 3 0 0 20 0 19 0 11759661 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 140733558344704 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 2406260 13462 2250 9 0 2396937 0
[pid=5917/tid=5921] ppid=5914 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/5917/task/5921/stat : 5921 (java) R 5914 5917 3284 0 -1 4202560 2400 0 1 0 146 0 0 0 20 0 19 0 11759661 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841499316472 139841333829655 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5923] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5923/stat : 5923 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841460808104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5924] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5924/stat : 5924 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841459755560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5925] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5925/stat : 5925 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841458702504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5926] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5926/stat : 5926 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841457649960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5927] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5927/stat : 5927 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841456597928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5928] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5928/stat : 5928 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841455545384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5929] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5929/stat : 5929 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841454492328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5930] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5930/stat : 5930 (java) S 5914 5917 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841453439784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5931] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5931/stat : 5931 (java) S 5914 5917 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11759663 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841323264360 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5932] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5932/stat : 5932 (java) S 5914 5917 3284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841322210680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5933] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5933/stat : 5933 (java) S 5914 5917 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841321157512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5939] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5939/stat : 5939 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841320106256 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5940] ppid=5914 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/5917/task/5940/stat : 5940 (java) S 5914 5917 3284 0 -1 4202560 3511 0 0 0 21 0 0 0 20 0 19 0 11759666 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841319054136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5941] ppid=5914 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5917/task/5941/stat : 5941 (java) S 5914 5917 3284 0 -1 4202560 8012 0 0 0 34 2 0 0 20 0 19 0 11759666 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139841318001592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5942] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5942/stat : 5942 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139840444164856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5943] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5943/stat : 5943 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139840443112520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5945] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5945/stat : 5945 (java) S 5914 5917 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11759675 9856040960 13462 33554432000 1073741824 1073778376 140733558353568 139840442057768 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.06
Current children cumulated vsize (KiB) 9625040
[startup+3.10069 s]
/proc/loadavg: 1.20 1.69 2.01 3/213 5945
/proc/meminfo: memFree=30542964/32872528 swapFree=1243920/1391088
[pid=5917] ppid=5914 vsize=9625040 CPUtime=3.66 cores=1,3,5,7
/proc/5917/stat : 5917 (java) S 5914 5917 3284 0 -1 4202496 15196 0 1 0 363 3 0 0 20 0 19 0 11759661 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 140733558344704 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 2406260 14998 2250 9 0 2396937 0
[pid=5917/tid=5921] ppid=5914 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/5917/task/5921/stat : 5921 (java) R 5914 5917 3284 0 -1 4202560 2404 0 1 0 304 1 0 0 20 0 19 0 11759661 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841499307712 139841333829408 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5923] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5923/stat : 5923 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841460808104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5924] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5924/stat : 5924 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841459755560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5925] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5925/stat : 5925 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841458702504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5926] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5926/stat : 5926 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841457649960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5927] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5927/stat : 5927 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841456597928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5928] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5928/stat : 5928 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841455545384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5929] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5929/stat : 5929 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841454492328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5930] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5930/stat : 5930 (java) S 5914 5917 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841453439784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5931] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5931/stat : 5931 (java) S 5914 5917 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11759663 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841323264360 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5932] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5932/stat : 5932 (java) S 5914 5917 3284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841322210680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5933] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5933/stat : 5933 (java) S 5914 5917 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841321157512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5939] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5939/stat : 5939 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841320106256 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5940] ppid=5914 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/5917/task/5940/stat : 5940 (java) S 5914 5917 3284 0 -1 4202560 3511 0 0 0 21 0 0 0 20 0 19 0 11759666 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841319054136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5941] ppid=5914 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5917/task/5941/stat : 5941 (java) S 5914 5917 3284 0 -1 4202560 8012 0 0 0 34 2 0 0 20 0 19 0 11759666 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139841318001592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5942] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5942/stat : 5942 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139840444164856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5943] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5943/stat : 5943 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139840443112520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5945] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5945/stat : 5945 (java) S 5914 5917 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11759675 9856040960 14998 33554432000 1073741824 1073778376 140733558353568 139840442057768 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.66
Current children cumulated vsize (KiB) 9625040
[startup+6.30082 s]
/proc/loadavg: 1.20 1.69 2.01 3/213 5945
/proc/meminfo: memFree=30529996/32872528 swapFree=1243920/1391088
[pid=5917] ppid=5914 vsize=9625040 CPUtime=6.86 cores=1,3,5,7
/proc/5917/stat : 5917 (java) S 5914 5917 3284 0 -1 4202496 15202 0 1 0 682 4 0 0 20 0 19 0 11759661 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 140733558344704 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 2406260 16879 2251 9 0 2396937 0
[pid=5917/tid=5921] ppid=5914 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/5917/task/5921/stat : 5921 (java) R 5914 5917 3284 0 -1 4202560 2409 0 1 0 623 1 0 0 20 0 19 0 11759661 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841499307712 139841333829517 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5923] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5923/stat : 5923 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841460808104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5924] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5924/stat : 5924 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841459755560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5925] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5925/stat : 5925 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841458702504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5926] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5926/stat : 5926 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841457649960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5927] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5927/stat : 5927 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841456597928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5928] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5928/stat : 5928 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841455545384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5929] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5929/stat : 5929 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841454492328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5930] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5930/stat : 5930 (java) S 5914 5917 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11759662 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841453439784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5931] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5931/stat : 5931 (java) S 5914 5917 3284 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 11759663 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841323264360 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5932] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5932/stat : 5932 (java) S 5914 5917 3284 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841322210680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5933] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5933/stat : 5933 (java) S 5914 5917 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841321157512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5939] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5939/stat : 5939 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841320106256 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5940] ppid=5914 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/5917/task/5940/stat : 5940 (java) S 5914 5917 3284 0 -1 4202560 3511 0 0 0 21 0 0 0 20 0 19 0 11759666 9856040960 16879 33554432000 1073741824 1073778376 140733558353568 139841319054136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5941] ppid=5914 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
################
# More data... #
################
[pid=5917/tid=5932] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5932/stat : 5932 (java) S 5914 5917 3284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841322210680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5933] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5933/stat : 5933 (java) S 5914 5917 3284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841321157512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5939] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5939/stat : 5939 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841320106256 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5940] ppid=5914 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/5917/task/5940/stat : 5940 (java) S 5914 5917 3284 0 -1 4202560 3518 0 0 0 24 0 0 0 20 0 19 0 11759666 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841319054136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5941] ppid=5914 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5917/task/5941/stat : 5941 (java) S 5914 5917 3284 0 -1 4202560 8012 0 0 0 34 2 0 0 20 0 19 0 11759666 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841318001592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5942] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5942/stat : 5942 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139840444164856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5943] ppid=5914 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/5917/task/5943/stat : 5943 (java) S 5914 5917 3284 0 -1 4202560 96 0 0 0 20 26 0 0 20 0 19 0 11759666 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139840443112520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5945] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5945/stat : 5945 (java) S 5914 5917 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11759675 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139840442057768 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1663.62
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.15 2.18 2.13 4/214 5988
/proc/meminfo: memFree=30159716/32872528 swapFree=1243920/1391088
[pid=5917] ppid=5914 vsize=9625040 CPUtime=1723.63 cores=1,3,5,7
/proc/5917/stat : 5917 (java) S 5914 5917 3284 0 -1 4202496 15866 0 1 0 172322 41 0 0 20 0 19 0 11759661 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 140733558344704 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 2406260 67984 2266 9 0 2396937 0
[pid=5917/tid=5921] ppid=5914 vsize=9625040 CPUtime=1722.07 cores=1,3,5,7
/proc/5917/task/5921/stat : 5921 (java) R 5914 5917 3284 0 -1 4202560 2471 0 1 0 172175 32 0 0 20 0 19 0 11759661 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841499307808 139841333829403 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5923] ppid=5914 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/5917/task/5923/stat : 5923 (java) S 5914 5917 3284 0 -1 4202560 39 0 0 0 4 0 0 0 20 0 19 0 11759662 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841460808104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5924] ppid=5914 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/5917/task/5924/stat : 5924 (java) S 5914 5917 3284 0 -1 4202560 83 0 0 0 9 2 0 0 20 0 19 0 11759662 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841459755560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5925] ppid=5914 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/5917/task/5925/stat : 5925 (java) S 5914 5917 3284 0 -1 4202560 30 0 0 0 7 0 0 0 20 0 19 0 11759662 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841458702504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5926] ppid=5914 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/5917/task/5926/stat : 5926 (java) S 5914 5917 3284 0 -1 4202560 96 0 0 0 7 1 0 0 20 0 19 0 11759662 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841457649960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5927] ppid=5914 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/5917/task/5927/stat : 5927 (java) S 5914 5917 3284 0 -1 4202560 71 0 0 0 9 1 0 0 20 0 19 0 11759662 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841456597928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5928] ppid=5914 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/5917/task/5928/stat : 5928 (java) S 5914 5917 3284 0 -1 4202560 38 0 0 0 7 0 0 0 20 0 19 0 11759662 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841455545384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5929] ppid=5914 vsize=9625040 CPUtime=0.14 cores=1,3,5,7
/proc/5917/task/5929/stat : 5929 (java) S 5914 5917 3284 0 -1 4202560 83 0 0 0 12 2 0 0 20 0 19 0 11759662 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841454492328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5930] ppid=5914 vsize=9625040 CPUtime=0.07 cores=1,3,5,7
/proc/5917/task/5930/stat : 5930 (java) S 5914 5917 3284 0 -1 4202560 25 0 0 0 7 0 0 0 20 0 19 0 11759662 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841453439784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5931] ppid=5914 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/5917/task/5931/stat : 5931 (java) S 5914 5917 3284 0 -1 4202560 42 0 0 0 1 0 0 0 20 0 19 0 11759663 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841323264360 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5932] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5932/stat : 5932 (java) S 5914 5917 3284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841322210680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5933] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5933/stat : 5933 (java) S 5914 5917 3284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841321157512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5939] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5939/stat : 5939 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841320106256 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5940] ppid=5914 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/5917/task/5940/stat : 5940 (java) S 5914 5917 3284 0 -1 4202560 3518 0 0 0 24 0 0 0 20 0 19 0 11759666 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841319054136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5941] ppid=5914 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5917/task/5941/stat : 5941 (java) S 5914 5917 3284 0 -1 4202560 8012 0 0 0 34 2 0 0 20 0 19 0 11759666 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139841318001592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5942] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5942/stat : 5942 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139840444164856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5943] ppid=5914 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/5917/task/5943/stat : 5943 (java) S 5914 5917 3284 0 -1 4202560 100 0 0 0 21 27 0 0 20 0 19 0 11759666 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139840443112520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5945] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5945/stat : 5945 (java) S 5914 5917 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11759675 9856040960 67984 33554432000 1073741824 1073778376 140733558353568 139840442057768 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1723.63
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.21 2.19 2.14 3/213 5989
/proc/meminfo: memFree=30151300/32872528 swapFree=1243920/1391088
[pid=5917] ppid=5914 vsize=9625040 CPUtime=1783.74 cores=1,3,5,7
/proc/5917/stat : 5917 (java) S 5914 5917 3284 0 -1 4202496 15896 0 1 0 178331 43 0 0 20 0 19 0 11759661 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 140733558344704 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 2406260 70036 2266 9 0 2396937 0
[pid=5917/tid=5921] ppid=5914 vsize=9625040 CPUtime=1782.03 cores=1,3,5,7
/proc/5917/task/5921/stat : 5921 (java) R 5914 5917 3284 0 -1 4202560 2472 0 1 0 178170 33 0 0 20 0 19 0 11759661 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841499307808 139841333829366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5923] ppid=5914 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/5917/task/5923/stat : 5923 (java) S 5914 5917 3284 0 -1 4202560 50 0 0 0 6 0 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841460808104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5924] ppid=5914 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/5917/task/5924/stat : 5924 (java) S 5914 5917 3284 0 -1 4202560 83 0 0 0 10 2 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841459755560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5925] ppid=5914 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/5917/task/5925/stat : 5925 (java) S 5914 5917 3284 0 -1 4202560 34 0 0 0 9 2 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841458702504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5926] ppid=5914 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/5917/task/5926/stat : 5926 (java) S 5914 5917 3284 0 -1 4202560 97 0 0 0 9 1 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841457649960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5927] ppid=5914 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/5917/task/5927/stat : 5927 (java) S 5914 5917 3284 0 -1 4202560 72 0 0 0 10 1 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841456597928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5928] ppid=5914 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/5917/task/5928/stat : 5928 (java) S 5914 5917 3284 0 -1 4202560 40 0 0 0 9 0 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841455545384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5929] ppid=5914 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/5917/task/5929/stat : 5929 (java) S 5914 5917 3284 0 -1 4202560 84 0 0 0 13 2 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841454492328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5930] ppid=5914 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/5917/task/5930/stat : 5930 (java) S 5914 5917 3284 0 -1 4202560 28 0 0 0 9 0 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841453439784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5931] ppid=5914 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/5917/task/5931/stat : 5931 (java) S 5914 5917 3284 0 -1 4202560 44 0 0 0 1 0 0 0 20 0 19 0 11759663 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841323264360 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5932] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5932/stat : 5932 (java) S 5914 5917 3284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841322210680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5933] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5933/stat : 5933 (java) S 5914 5917 3284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841321157512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5939] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5939/stat : 5939 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841320106256 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5940] ppid=5914 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/5917/task/5940/stat : 5940 (java) S 5914 5917 3284 0 -1 4202560 3518 0 0 0 24 0 0 0 20 0 19 0 11759666 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841319054136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5941] ppid=5914 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5917/task/5941/stat : 5941 (java) S 5914 5917 3284 0 -1 4202560 8012 0 0 0 34 2 0 0 20 0 19 0 11759666 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841318001592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5942] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5942/stat : 5942 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139840444164856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5943] ppid=5914 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/5917/task/5943/stat : 5943 (java) S 5914 5917 3284 0 -1 4202560 104 0 0 0 22 28 0 0 20 0 19 0 11759666 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139840443112520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5945] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5945/stat : 5945 (java) S 5914 5917 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11759675 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139840442057768 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1783.74
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.61 s]
/proc/loadavg: 2.15 2.17 2.13 3/213 5989
/proc/meminfo: memFree=30151304/32872528 swapFree=1243920/1391088
[pid=5917] ppid=5914 vsize=9625040 CPUtime=1800.05 cores=1,3,5,7
/proc/5917/stat : 5917 (java) S 5914 5917 3284 0 -1 4202496 15896 0 1 0 179962 43 0 0 20 0 19 0 11759661 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 140733558344704 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5917/statm: 2406260 70036 2266 9 0 2396937 0
[pid=5917/tid=5921] ppid=5914 vsize=9625040 CPUtime=1798.33 cores=1,3,5,7
/proc/5917/task/5921/stat : 5921 (java) R 5914 5917 3284 0 -1 4202560 2472 0 1 0 179800 33 0 0 20 0 19 0 11759661 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841499307808 139841333829366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5923] ppid=5914 vsize=9625040 CPUtime=0.06 cores=1,3,5,7
/proc/5917/task/5923/stat : 5923 (java) S 5914 5917 3284 0 -1 4202560 50 0 0 0 6 0 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841460808104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5924] ppid=5914 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/5917/task/5924/stat : 5924 (java) S 5914 5917 3284 0 -1 4202560 83 0 0 0 10 2 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841459755560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5925] ppid=5914 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/5917/task/5925/stat : 5925 (java) S 5914 5917 3284 0 -1 4202560 34 0 0 0 9 2 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841458702504 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5926] ppid=5914 vsize=9625040 CPUtime=0.1 cores=1,3,5,7
/proc/5917/task/5926/stat : 5926 (java) S 5914 5917 3284 0 -1 4202560 97 0 0 0 9 1 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841457649960 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5927] ppid=5914 vsize=9625040 CPUtime=0.11 cores=1,3,5,7
/proc/5917/task/5927/stat : 5927 (java) S 5914 5917 3284 0 -1 4202560 72 0 0 0 10 1 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841456597928 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5928] ppid=5914 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/5917/task/5928/stat : 5928 (java) S 5914 5917 3284 0 -1 4202560 40 0 0 0 9 0 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841455545384 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5929] ppid=5914 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/5917/task/5929/stat : 5929 (java) S 5914 5917 3284 0 -1 4202560 84 0 0 0 13 2 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841454492328 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5930] ppid=5914 vsize=9625040 CPUtime=0.09 cores=1,3,5,7
/proc/5917/task/5930/stat : 5930 (java) S 5914 5917 3284 0 -1 4202560 28 0 0 0 9 0 0 0 20 0 19 0 11759662 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841453439784 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5931] ppid=5914 vsize=9625040 CPUtime=0.01 cores=1,3,5,7
/proc/5917/task/5931/stat : 5931 (java) S 5914 5917 3284 0 -1 4202560 44 0 0 0 1 0 0 0 20 0 19 0 11759663 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841323264360 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5932] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5932/stat : 5932 (java) S 5914 5917 3284 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841322210680 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5933] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5933/stat : 5933 (java) S 5914 5917 3284 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 11759664 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841321157512 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5917/tid=5939] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5939/stat : 5939 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841320106256 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5917/tid=5940] ppid=5914 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/5917/task/5940/stat : 5940 (java) S 5914 5917 3284 0 -1 4202560 3518 0 0 0 24 0 0 0 20 0 19 0 11759666 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841319054136 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5941] ppid=5914 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/5917/task/5941/stat : 5941 (java) S 5914 5917 3284 0 -1 4202560 8012 0 0 0 34 2 0 0 20 0 19 0 11759666 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139841318001592 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5942] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5942/stat : 5942 (java) S 5914 5917 3284 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 11759666 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139840444164856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5917/tid=5943] ppid=5914 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/5917/task/5943/stat : 5943 (java) S 5914 5917 3284 0 -1 4202560 104 0 0 0 22 29 0 0 20 0 19 0 11759666 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139840443112520 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5917/tid=5945] ppid=5914 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/5917/task/5945/stat : 5945 (java) S 5914 5917 3284 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 11759675 9856040960 70036 33554432000 1073741824 1073778376 140733558353568 139840442057768 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5917 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1798.64
CPU time (s): 1800.6
CPU user time (s): 1799.74
CPU system time (s): 0.860869
CPU usage (%): 100.109
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.860869
maximum resident set size= 280328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15948
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38288
involuntary context switches= 4125
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0702 second user time and 11.8962 second system time
The end