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-4095956-1466099979/watcher-4095956-1466099979 -o /tmp/evaluation-result-4095956-1466099979/solver-4095956-1466099979 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1466098180-14176 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4095956-1466099979.opb
pid=14341
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: 1.96 2.05 2.07 1/171 14344
/proc/meminfo: memFree=31716828/32872528 swapFree=240572/273276
[pid=14344] ppid=14341 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/14344/stat : 14344 (java) D 14341 14344 14160 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 12047959 9515008 183 33554432000 1073741824 1073778376 140733766250736 140733766241768 251143208629 0 0 4096 0 18446744072100588836 0 0 17 2 0 0 0 0 0
/proc/14344/statm: 2323 183 140 9 0 71 0
[startup+0.100116 s]
/proc/loadavg: 1.96 2.05 2.07 1/171 14344
/proc/meminfo: memFree=31716828/32872528 swapFree=240572/273276
[pid=14344] ppid=14341 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/14344/stat : 14344 (java) S 14341 14344 14160 0 -1 4202496 4163 0 1 0 6 1 0 0 20 0 18 0 12047959 9787879424 5285 33554432000 1073741824 1073778376 140733911871728 140733911862864 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14344/statm: 2389619 5286 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200298 s]
/proc/loadavg: 1.96 2.05 2.07 1/171 14344
/proc/meminfo: memFree=31716828/32872528 swapFree=240572/273276
[pid=14344] ppid=14341 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/14344/stat : 14344 (java) S 14341 14344 14160 0 -1 4202496 5737 0 1 0 22 2 0 0 20 0 19 0 12047959 9856040960 6908 33554432000 1073741824 1073778376 140733911871728 140733911862864 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14344/statm: 2406260 6908 2212 9 0 2396937 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9625040
[startup+0.300248 s]
/proc/loadavg: 1.96 2.05 2.07 1/171 14344
/proc/meminfo: memFree=31716828/32872528 swapFree=240572/273276
[pid=14344] ppid=14341 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/14344/stat : 14344 (java) S 14341 14344 14160 0 -1 4202496 7309 0 1 0 49 2 0 0 20 0 19 0 12047959 9856040960 7577 33554432000 1073741824 1073778376 140733911871728 140733911862864 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14344/statm: 2406260 7577 2242 9 0 2396937 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 9625040
[startup+0.700168 s]
/proc/loadavg: 1.96 2.05 2.07 1/171 14344
/proc/meminfo: memFree=31716828/32872528 swapFree=240572/273276
[pid=14344] ppid=14341 vsize=9625040 CPUtime=1.22 cores=0,2,4,6
/proc/14344/stat : 14344 (java) S 14341 14344 14160 0 -1 4202496 11829 0 1 0 120 2 0 0 20 0 19 0 12047959 9856040960 10593 33554432000 1073741824 1073778376 140733911871728 140733911862864 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14344/statm: 2406260 10593 2255 9 0 2396937 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 9625040
[startup+1.5007 s]
/proc/loadavg: 1.96 2.05 2.07 4/213 14419
/proc/meminfo: memFree=31650904/32872528 swapFree=240572/273276
[pid=14344] ppid=14341 vsize=9625040 CPUtime=2.04 cores=0,2,4,6
/proc/14344/stat : 14344 (java) S 14341 14344 14160 0 -1 4202496 11836 0 1 0 202 2 0 0 20 0 19 0 12047959 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 140733911862864 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14344/statm: 2406260 11621 2257 9 0 2396937 0
[pid=14344/tid=14346] ppid=14341 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/14344/task/14346/stat : 14346 (java) R 14341 14344 14160 0 -1 4202560 2423 0 1 0 144 2 0 0 20 0 19 0 12047960 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139886522626312 139886363868108 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14347] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14347/stat : 14347 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139886484118568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14348] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14348/stat : 14348 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139886483065768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14349] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14349/stat : 14349 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139886482012968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14350] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14350/stat : 14350 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139886363404968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14351] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14351/stat : 14351 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139886362352168 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14352] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14352/stat : 14352 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139886361299368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14353] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14353/stat : 14353 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139886360246568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14354] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14354/stat : 14354 (java) S 14341 14344 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139886359193768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14359] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14359/stat : 14359 (java) S 14341 14344 14160 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139885876866024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14361] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14361/stat : 14361 (java) S 14341 14344 14160 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139885875812088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14362] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14362/stat : 14362 (java) S 14341 14344 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139885874759176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14367] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14367/stat : 14367 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139885873707664 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14368] ppid=14341 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/14344/task/14368/stat : 14368 (java) S 14341 14344 14160 0 -1 4202560 5305 0 0 0 32 0 0 0 20 0 19 0 12047966 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139885872654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14369] ppid=14341 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/14344/task/14369/stat : 14369 (java) S 14341 14344 14160 0 -1 4202560 2837 0 0 0 21 0 0 0 20 0 19 0 12047966 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139885871601976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14370] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14370/stat : 14370 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139885870549368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14371] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14371/stat : 14371 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139885869496776 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14386] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14386/stat : 14386 (java) S 14341 14344 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12047976 9856040960 11621 33554432000 1073741824 1073778376 140733911871728 139885868443304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.04
Current children cumulated vsize (KiB) 9625040
[startup+3.10068 s]
/proc/loadavg: 1.96 2.05 2.07 3/213 14419
/proc/meminfo: memFree=31643768/32872528 swapFree=240572/273276
[pid=14344] ppid=14341 vsize=9625040 CPUtime=3.65 cores=0,2,4,6
/proc/14344/stat : 14344 (java) S 14341 14344 14160 0 -1 4202496 11839 0 1 0 362 3 0 0 20 0 19 0 12047959 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 140733911862864 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14344/statm: 2406260 13157 2257 9 0 2396937 0
[pid=14344/tid=14346] ppid=14341 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/14344/task/14346/stat : 14346 (java) R 14341 14344 14160 0 -1 4202560 2426 0 1 0 304 2 0 0 20 0 19 0 12047960 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139886522617536 139886364089155 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14347] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14347/stat : 14347 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139886484118568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14348] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14348/stat : 14348 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139886483065768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14349] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14349/stat : 14349 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139886482012968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14350] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14350/stat : 14350 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139886363404968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14351] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14351/stat : 14351 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139886362352168 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14352] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14352/stat : 14352 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139886361299368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14353] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14353/stat : 14353 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139886360246568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14354] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14354/stat : 14354 (java) S 14341 14344 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139886359193768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14359] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14359/stat : 14359 (java) S 14341 14344 14160 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139885876866024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14361] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14361/stat : 14361 (java) S 14341 14344 14160 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139885875812088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14362] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14362/stat : 14362 (java) S 14341 14344 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139885874759176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14367] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14367/stat : 14367 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139885873707664 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14368] ppid=14341 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/14344/task/14368/stat : 14368 (java) S 14341 14344 14160 0 -1 4202560 5305 0 0 0 32 0 0 0 20 0 19 0 12047966 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139885872654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14369] ppid=14341 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/14344/task/14369/stat : 14369 (java) S 14341 14344 14160 0 -1 4202560 2837 0 0 0 21 0 0 0 20 0 19 0 12047966 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139885871601976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14370] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14370/stat : 14370 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139885870549368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14371] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14371/stat : 14371 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139885869496776 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14386] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14386/stat : 14386 (java) S 14341 14344 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12047976 9856040960 13157 33554432000 1073741824 1073778376 140733911871728 139885868443304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 9625040
[startup+6.30073 s]
/proc/loadavg: 1.96 2.05 2.07 3/213 14419
/proc/meminfo: memFree=31631220/32872528 swapFree=240572/273276
[pid=14344] ppid=14341 vsize=9625040 CPUtime=6.84 cores=0,2,4,6
/proc/14344/stat : 14344 (java) S 14341 14344 14160 0 -1 4202496 11845 0 1 0 681 3 0 0 20 0 19 0 12047959 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 140733911862864 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14344/statm: 2406260 13661 2258 9 0 2396937 0
[pid=14344/tid=14346] ppid=14341 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/14344/task/14346/stat : 14346 (java) R 14341 14344 14160 0 -1 4202560 2431 0 1 0 623 2 0 0 20 0 19 0 12047960 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139886522617536 139886363927926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14347] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14347/stat : 14347 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139886484118568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14348] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14348/stat : 14348 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139886483065768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14349] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14349/stat : 14349 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139886482012968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14350] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14350/stat : 14350 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139886363404968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14351] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14351/stat : 14351 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139886362352168 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14352] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14352/stat : 14352 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139886361299368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14353] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14353/stat : 14353 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139886360246568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14354] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14354/stat : 14354 (java) S 14341 14344 14160 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 12047962 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139886359193768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14359] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14359/stat : 14359 (java) S 14341 14344 14160 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139885876866024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14361] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14361/stat : 14361 (java) S 14341 14344 14160 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139885875812088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14362] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14362/stat : 14362 (java) S 14341 14344 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139885874759176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14367] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14367/stat : 14367 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139885873707664 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14368] ppid=14341 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/14344/task/14368/stat : 14368 (java) S 14341 14344 14160 0 -1 4202560 5305 0 0 0 32 0 0 0 20 0 19 0 12047966 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139885872654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14369] ppid=14341 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/14344/task/14369/stat : 14369 (java) S 14341 14344 14160 0 -1 4202560 2837 0 0 0 21 0 0 0 20 0 19 0 12047966 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139885871601976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14370] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14370/stat : 14370 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139885870549368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14371] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14371/stat : 14371 (java) S 14341 14344 14160 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139885869496776 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14386] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14386/stat : 14386 (java) S 14341 14344 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12047976 9856040960 13661 33554432000 1073741824 1073778376 140733911871728 139885868443304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.84
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=14344/tid=14386] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14386/stat : 14386 (java) S 14341 14344 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12047976 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885868443304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1663.56
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/213 14485
/proc/meminfo: memFree=31258612/32872528 swapFree=240572/273276
[pid=14344] ppid=14341 vsize=9625040 CPUtime=1723.57 cores=0,2,4,6
/proc/14344/stat : 14344 (java) S 14341 14344 14160 0 -1 4202496 12362 0 1 0 172318 39 0 0 20 0 19 0 12047959 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 140733911862864 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14344/statm: 2406260 61298 2272 9 0 2396937 0
[pid=14344/tid=14346] ppid=14341 vsize=9625040 CPUtime=1717.63 cores=0,2,4,6
/proc/14344/task/14346/stat : 14346 (java) R 14341 14344 14160 0 -1 4202560 2493 0 1 0 171732 31 0 0 20 0 19 0 12047960 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886522617632 139886363927828 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14347] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14347/stat : 14347 (java) S 14341 14344 14160 0 -1 4202560 48 0 0 0 7 1 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886484118568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14348] ppid=14341 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/14344/task/14348/stat : 14348 (java) S 14341 14344 14160 0 -1 4202560 25 0 0 0 7 2 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886483065768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14349] ppid=14341 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/14344/task/14349/stat : 14349 (java) S 14341 14344 14160 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886482012968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14350] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14350/stat : 14350 (java) S 14341 14344 14160 0 -1 4202560 27 0 0 0 7 1 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886363404968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14351] ppid=14341 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/14344/task/14351/stat : 14351 (java) S 14341 14344 14160 0 -1 4202560 13 0 0 0 7 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886362352168 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14352] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14352/stat : 14352 (java) S 14341 14344 14160 0 -1 4202560 14 0 0 0 8 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886361299368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14353] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14353/stat : 14353 (java) S 14341 14344 14160 0 -1 4202560 24 0 0 0 7 1 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886360246568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14354] ppid=14341 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/14344/task/14354/stat : 14354 (java) S 14341 14344 14160 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886359193768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14359] ppid=14341 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/14344/task/14359/stat : 14359 (java) S 14341 14344 14160 0 -1 4202560 38 0 0 0 1 0 0 0 20 0 19 0 12047963 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885876866024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14361] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14361/stat : 14361 (java) S 14341 14344 14160 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885875812088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14362] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14362/stat : 14362 (java) S 14341 14344 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885874759176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14367] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14367/stat : 14367 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885873707664 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14368] ppid=14341 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/14344/task/14368/stat : 14368 (java) S 14341 14344 14160 0 -1 4202560 5434 0 0 0 35 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885872654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14369] ppid=14341 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/14344/task/14369/stat : 14369 (java) S 14341 14344 14160 0 -1 4202560 2837 0 0 0 21 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885871601976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14370] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14370/stat : 14370 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885870549368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14371] ppid=14341 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/14344/task/14371/stat : 14371 (java) S 14341 14344 14160 0 -1 4202560 100 0 0 0 22 22 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885869496776 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14386] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14386/stat : 14386 (java) S 14341 14344 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12047976 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885868443304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1723.57
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 2.01 3/213 14487
/proc/meminfo: memFree=31258116/32872528 swapFree=240572/273276
[pid=14344] ppid=14341 vsize=9625040 CPUtime=1783.56 cores=0,2,4,6
/proc/14344/stat : 14344 (java) S 14341 14344 14160 0 -1 4202496 12366 0 1 0 178317 39 0 0 20 0 19 0 12047959 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 140733911862864 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14344/statm: 2406260 61298 2272 9 0 2396937 0
[pid=14344/tid=14346] ppid=14341 vsize=9625040 CPUtime=1777.48 cores=0,2,4,6
/proc/14344/task/14346/stat : 14346 (java) R 14341 14344 14160 0 -1 4202560 2493 0 1 0 177715 33 0 0 20 0 19 0 12047960 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886522617632 139886363927926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14347] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14347/stat : 14347 (java) S 14341 14344 14160 0 -1 4202560 48 0 0 0 7 1 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886484118568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14348] ppid=14341 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/14344/task/14348/stat : 14348 (java) S 14341 14344 14160 0 -1 4202560 25 0 0 0 7 2 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886483065768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14349] ppid=14341 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/14344/task/14349/stat : 14349 (java) S 14341 14344 14160 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886482012968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14350] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14350/stat : 14350 (java) S 14341 14344 14160 0 -1 4202560 27 0 0 0 7 1 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886363404968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14351] ppid=14341 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/14344/task/14351/stat : 14351 (java) S 14341 14344 14160 0 -1 4202560 13 0 0 0 7 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886362352168 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14352] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14352/stat : 14352 (java) S 14341 14344 14160 0 -1 4202560 14 0 0 0 8 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886361299368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14353] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14353/stat : 14353 (java) S 14341 14344 14160 0 -1 4202560 24 0 0 0 7 1 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886360246568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14354] ppid=14341 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/14344/task/14354/stat : 14354 (java) S 14341 14344 14160 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886359193768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14359] ppid=14341 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/14344/task/14359/stat : 14359 (java) S 14341 14344 14160 0 -1 4202560 38 0 0 0 1 0 0 0 20 0 19 0 12047963 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885876866024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14361] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14361/stat : 14361 (java) S 14341 14344 14160 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885875812088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14362] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14362/stat : 14362 (java) S 14341 14344 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885874759176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14367] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14367/stat : 14367 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885873707664 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14368] ppid=14341 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/14344/task/14368/stat : 14368 (java) S 14341 14344 14160 0 -1 4202560 5434 0 0 0 35 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885872654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14369] ppid=14341 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/14344/task/14369/stat : 14369 (java) S 14341 14344 14160 0 -1 4202560 2837 0 0 0 21 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885871601976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14370] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14370/stat : 14370 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885870549368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14371] ppid=14341 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/14344/task/14371/stat : 14371 (java) S 14341 14344 14160 0 -1 4202560 104 0 0 0 22 24 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885869496776 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14386] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14386/stat : 14386 (java) S 14341 14344 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12047976 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885868443304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.8 s]
/proc/loadavg: 2.10 2.06 2.00 3/213 14487
/proc/meminfo: memFree=31258368/32872528 swapFree=240572/273276
[pid=14344] ppid=14341 vsize=9625040 CPUtime=1800.07 cores=0,2,4,6
/proc/14344/stat : 14344 (java) S 14341 14344 14160 0 -1 4202496 12368 0 1 0 179967 40 0 0 20 0 19 0 12047959 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 140733911862864 251146567741 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14344/statm: 2406260 61298 2272 9 0 2396937 0
[pid=14344/tid=14346] ppid=14341 vsize=9625040 CPUtime=1793.94 cores=0,2,4,6
/proc/14344/task/14346/stat : 14346 (java) R 14341 14344 14160 0 -1 4202560 2493 0 1 0 179361 33 0 0 20 0 19 0 12047960 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886522617632 139886363868131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14347] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14347/stat : 14347 (java) S 14341 14344 14160 0 -1 4202560 48 0 0 0 7 1 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886484118568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14348] ppid=14341 vsize=9625040 CPUtime=0.09 cores=0,2,4,6
/proc/14344/task/14348/stat : 14348 (java) S 14341 14344 14160 0 -1 4202560 25 0 0 0 7 2 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886483065768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14344/tid=14349] ppid=14341 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/14344/task/14349/stat : 14349 (java) S 14341 14344 14160 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886482012968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14350] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14350/stat : 14350 (java) S 14341 14344 14160 0 -1 4202560 27 0 0 0 7 1 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886363404968 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14351] ppid=14341 vsize=9625040 CPUtime=0.07 cores=0,2,4,6
/proc/14344/task/14351/stat : 14351 (java) S 14341 14344 14160 0 -1 4202560 13 0 0 0 7 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886362352168 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14352] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14352/stat : 14352 (java) S 14341 14344 14160 0 -1 4202560 14 0 0 0 8 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886361299368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14353] ppid=14341 vsize=9625040 CPUtime=0.08 cores=0,2,4,6
/proc/14344/task/14353/stat : 14353 (java) S 14341 14344 14160 0 -1 4202560 24 0 0 0 7 1 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886360246568 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14354] ppid=14341 vsize=9625040 CPUtime=0.06 cores=0,2,4,6
/proc/14344/task/14354/stat : 14354 (java) S 14341 14344 14160 0 -1 4202560 35 0 0 0 6 0 0 0 20 0 19 0 12047962 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139886359193768 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14344/tid=14359] ppid=14341 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/14344/task/14359/stat : 14359 (java) S 14341 14344 14160 0 -1 4202560 38 0 0 0 1 0 0 0 20 0 19 0 12047963 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885876866024 251146581929 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14361] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14361/stat : 14361 (java) S 14341 14344 14160 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885875812088 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14362] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14362/stat : 14362 (java) S 14341 14344 14160 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 12047963 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885874759176 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14367] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14367/stat : 14367 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885873707664 251146589984 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14368] ppid=14341 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/14344/task/14368/stat : 14368 (java) S 14341 14344 14160 0 -1 4202560 5434 0 0 0 35 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885872654776 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14369] ppid=14341 vsize=9625040 CPUtime=0.21 cores=0,2,4,6
/proc/14344/task/14369/stat : 14369 (java) S 14341 14344 14160 0 -1 4202560 2837 0 0 0 21 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885871601976 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14370] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14370/stat : 14370 (java) S 14341 14344 14160 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885870549368 251146581052 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14344/tid=14371] ppid=14341 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/14344/task/14371/stat : 14371 (java) S 14341 14344 14160 0 -1 4202560 106 0 0 0 23 24 0 0 20 0 19 0 12047966 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885869496776 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14344/tid=14386] ppid=14341 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/14344/task/14386/stat : 14386 (java) S 14341 14344 14160 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 12047976 9856040960 61298 33554432000 1073741824 1073778376 140733911871728 139885868443304 251146581929 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
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 14344 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 14344 and gives
# childrusage.ru_utime.tv_sec=1795
# childrusage.ru_utime.tv_usec=138097
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=761884
# CPU time returned by wait4() is 1795.9
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1798.84
CPU time (s): 1800.07
CPU user time (s): 1799.67
CPU system time (s): 0.4
CPU usage (%): 100.068
Max. virtual memory (cumulated for all children) (KiB): 9625832
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.14
system time used= 0.761884
maximum resident set size= 245340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12411
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= 38248
involuntary context switches= 7899
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.64453 second user time and 13.7709 second system time
The end