runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3459075-1307147468/watcher-3459075-1307147468 -o /tmp/evaluation-result-3459075-1307147468/solver-3459075-1307147468 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459075-1307147468.opb
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.00 1.23 1.61 4/399 5843
/proc/meminfo: memFree=30090008/32950904 swapFree=56615552/67111528
[pid=5843] ppid=5841 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5841 5843 31595 0 -1 4202496 2317 0 1 0 0 0 0 0 22 0 2 0 826346556 13833195520 2019 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/5843/statm: 3377245 2033 906 9 0 3368401 0
[pid=5843/tid=5845] ppid=5841 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5841 5843 31595 0 -1 4202560 4860 0 1 0 0 0 0 0 24 0 2 0 826346557 13850947584 5676 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0864371 s]
/proc/loadavg: 1.00 1.23 1.61 4/399 5843
/proc/meminfo: memFree=30090008/32950904 swapFree=56615552/67111528
[pid=5843] ppid=5841 vsize=13620352 CPUtime=0.07 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5841 5843 31595 0 -1 4202496 14793 0 1 0 6 1 0 0 22 0 18 0 826346556 13947240448 14490 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5843/statm: 3405088 14490 1913 9 0 3395822 0
[pid=5843/tid=5845] ppid=5841 vsize=13620352 CPUtime=0.07 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5841 5843 31595 0 -1 4202560 13425 0 1 0 6 1 0 0 25 0 18 0 826346557 13947240448 14490 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237278875493 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 13620352
[startup+0.100431 s]
/proc/loadavg: 1.00 1.23 1.61 4/399 5843
/proc/meminfo: memFree=30090008/32950904 swapFree=56615552/67111528
[pid=5843] ppid=5841 vsize=13621412 CPUtime=0.1 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5841 5843 31595 0 -1 4202496 15490 0 1 0 9 1 0 0 22 0 18 0 826346556 13948325888 15187 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5843/statm: 3405353 15187 2092 9 0 3396087 0
[pid=5843/tid=5845] ppid=5841 vsize=13621412 CPUtime=0.08 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5841 5843 31595 0 -1 4202560 13609 0 1 0 7 1 0 0 25 0 18 0 826346557 13948325888 15187 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13621412
[startup+0.300451 s]
/proc/loadavg: 1.00 1.23 1.61 4/399 5843
/proc/meminfo: memFree=30090008/32950904 swapFree=56615552/67111528
[pid=5843] ppid=5841 vsize=13627428 CPUtime=0.56 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5841 5843 31595 0 -1 4202496 20914 0 1 0 55 1 0 0 22 0 18 0 826346556 13954486272 19866 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5843/statm: 3406857 19868 2201 9 0 3397591 0
[pid=5843/tid=5845] ppid=5841 vsize=13627428 CPUtime=0.28 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5841 5843 31595 0 -1 4202560 16646 0 1 0 27 1 0 0 25 0 18 0 826346557 13954486272 19868 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290706379 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 13627428
[startup+0.700464 s]
/proc/loadavg: 1.00 1.23 1.61 4/399 5843
/proc/meminfo: memFree=30090008/32950904 swapFree=56615552/67111528
[pid=5843] ppid=5841 vsize=13629368 CPUtime=1.42 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5841 5843 31595 0 -1 4202496 31371 0 1 0 139 3 0 0 22 0 19 0 826346556 13956472832 29662 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5843/statm: 3407342 29662 2231 9 0 3398076 0
[pid=5843/tid=5845] ppid=5841 vsize=13629368 CPUtime=0.69 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5841 5843 31595 0 -1 4202560 25537 0 1 0 66 3 0 0 25 0 19 0 826346557 13956472832 29662 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 46912505199219 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 13629368
[startup+1.50124 s]
/proc/loadavg: 1.00 1.23 1.61 5/437 5931
/proc/meminfo: memFree=29893776/32950904 swapFree=56615552/67111528
[pid=5843] ppid=5841 vsize=13632068 CPUtime=2.33 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5841 5843 31595 0 -1 4202496 32614 0 1 0 230 3 0 0 22 0 19 0 826346556 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5843/statm: 3408017 30904 2236 9 0 3398751 0
[pid=5843/tid=5845] ppid=5841 vsize=13632068 CPUtime=1.49 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5841 5843 31595 0 -1 4202560 26084 0 1 0 146 3 0 0 25 0 19 0 826346557 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 46912505122380 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5843/tid=5856] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346559 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5857] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346559 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5858] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346559 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5859] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5859/stat : 5859 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346559 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5860] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5860/stat : 5860 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346559 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5861] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5861/stat : 5861 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346559 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5862] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5862/stat : 5862 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346559 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5863] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5863/stat : 5863 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346559 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5865] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5865/stat : 5865 (java) S 5841 5843 31595 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826346560 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 0 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5868] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5868/stat : 5868 (java) S 5841 5843 31595 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826346560 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5869] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5869/stat : 5869 (java) S 5841 5843 31595 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 826346560 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5875] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5875/stat : 5875 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290703281 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5876] ppid=5841 vsize=13632068 CPUtime=0.46 cores=0,2,4,6
/proc/5843/task/5876/stat : 5876 (java) R 5841 5843 31595 0 -1 4202560 2648 0 0 0 46 0 0 0 18 0 19 0 826346562 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 47865776057722 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5843/tid=5877] ppid=5841 vsize=13632068 CPUtime=0.37 cores=0,2,4,6
/proc/5843/task/5877/stat : 5877 (java) S 5841 5843 31595 0 -1 4202560 2722 0 0 0 37 0 0 0 17 0 19 0 826346562 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5878] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5878/stat : 5878 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5879] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5879/stat : 5879 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826346562 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5925] ppid=5841 vsize=13632068 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5925/stat : 5925 (java) S 5841 5843 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826346603 13959237632 30904 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 13632068
[startup+3.10101 s]
/proc/loadavg: 1.16 1.26 1.62 4/437 5931
/proc/meminfo: memFree=29834752/32950904 swapFree=56615552/67111528
[pid=5843] ppid=5841 vsize=13636296 CPUtime=4.39 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5841 5843 31595 0 -1 4202496 44199 0 1 0 434 5 0 0 22 0 19 0 826346556 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5843/statm: 3409074 38704 2263 9 0 3399808 0
[pid=5843/tid=5845] ppid=5841 vsize=13636296 CPUtime=3.04 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5841 5843 31595 0 -1 4202560 26104 0 1 0 301 3 0 0 25 0 19 0 826346557 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 46912505785883 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=5843/tid=5856] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5841 5843 31595 0 -1 4202560 311 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5857] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5858] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5841 5843 31595 0 -1 4202560 168 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5859] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5859/stat : 5859 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5860] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5860/stat : 5860 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5861] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5861/stat : 5861 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5862] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5862/stat : 5862 (java) S 5841 5843 31595 0 -1 4202560 381 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5863] ppid=5841 vsize=13636296 CPUtime=0.01 cores=0,2,4,6
/proc/5843/task/5863/stat : 5863 (java) S 5841 5843 31595 0 -1 4202560 343 0 0 0 1 0 0 0 15 0 19 0 826346559 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5865] ppid=5841 vsize=13636296 CPUtime=0.02 cores=0,2,4,6
/proc/5843/task/5865/stat : 5865 (java) S 5841 5843 31595 0 -1 4202560 912 0 0 0 2 0 0 0 16 0 19 0 826346560 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 0 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5868] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5868/stat : 5868 (java) S 5841 5843 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5869] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5869/stat : 5869 (java) S 5841 5843 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5875] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5875/stat : 5875 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290703281 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5876] ppid=5841 vsize=13636296 CPUtime=0.62 cores=0,2,4,6
/proc/5843/task/5876/stat : 5876 (java) S 5841 5843 31595 0 -1 4202560 5290 0 0 0 62 0 0 0 15 0 19 0 826346562 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5877] ppid=5841 vsize=13636296 CPUtime=0.65 cores=0,2,4,6
/proc/5843/task/5877/stat : 5877 (java) S 5841 5843 31595 0 -1 4202560 9536 0 0 0 64 1 0 0 15 0 19 0 826346562 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5878] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5878/stat : 5878 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5879] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5879/stat : 5879 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826346562 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5925] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5925/stat : 5925 (java) S 5841 5843 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826346603 13963567104 38704 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 13636296
[startup+6.30133 s]
/proc/loadavg: 1.16 1.26 1.62 3/437 5931
/proc/meminfo: memFree=29839332/32950904 swapFree=56615552/67111528
[pid=5843] ppid=5841 vsize=13636296 CPUtime=7.99 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5841 5843 31595 0 -1 4202496 44925 0 1 0 794 5 0 0 22 0 19 0 826346556 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5843/statm: 3409074 34948 2263 9 0 3399808 0
[pid=5843/tid=5845] ppid=5841 vsize=13636296 CPUtime=6.18 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5841 5843 31595 0 -1 4202560 26107 0 1 0 615 3 0 0 25 0 19 0 826346557 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 46912505986334 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5843/tid=5856] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5841 5843 31595 0 -1 4202560 537 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5857] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5841 5843 31595 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5858] ppid=5841 vsize=13636296 CPUtime=0.01 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5841 5843 31595 0 -1 4202560 311 0 0 0 1 0 0 0 15 0 19 0 826346559 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5859] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5859/stat : 5859 (java) S 5841 5843 31595 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5860] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5860/stat : 5860 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5861] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5861/stat : 5861 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826346559 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5862] ppid=5841 vsize=13636296 CPUtime=0.01 cores=0,2,4,6
/proc/5843/task/5862/stat : 5862 (java) S 5841 5843 31595 0 -1 4202560 381 0 0 0 1 0 0 0 15 0 19 0 826346559 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5863] ppid=5841 vsize=13636296 CPUtime=0.01 cores=0,2,4,6
/proc/5843/task/5863/stat : 5863 (java) S 5841 5843 31595 0 -1 4202560 343 0 0 0 1 0 0 0 15 0 19 0 826346559 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5865] ppid=5841 vsize=13636296 CPUtime=0.06 cores=0,2,4,6
/proc/5843/task/5865/stat : 5865 (java) S 5841 5843 31595 0 -1 4202560 1013 0 0 0 6 0 0 0 15 0 19 0 826346560 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 0 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5868] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5868/stat : 5868 (java) S 5841 5843 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5869] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5869/stat : 5869 (java) S 5841 5843 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5875] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5875/stat : 5875 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290703281 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5876] ppid=5841 vsize=13636296 CPUtime=0.65 cores=0,2,4,6
/proc/5843/task/5876/stat : 5876 (java) S 5841 5843 31595 0 -1 4202560 5304 0 0 0 65 0 0 0 15 0 19 0 826346562 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5877] ppid=5841 vsize=13636296 CPUtime=1.02 cores=0,2,4,6
/proc/5843/task/5877/stat : 5877 (java) S 5841 5843 31595 0 -1 4202560 9668 0 0 0 101 1 0 0 15 0 19 0 826346562 13963567104 34948 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=5843/tid=5861] ppid=5841 vsize=13636296 CPUtime=0.17 cores=0,2,4,6
/proc/5843/task/5861/stat : 5861 (java) S 5841 5843 31595 0 -1 4202560 803 0 0 0 17 0 0 0 16 0 19 0 826346559 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5862] ppid=5841 vsize=13636296 CPUtime=0.17 cores=0,2,4,6
/proc/5843/task/5862/stat : 5862 (java) S 5841 5843 31595 0 -1 4202560 1276 0 0 0 17 0 0 0 15 0 19 0 826346559 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5863] ppid=5841 vsize=13636296 CPUtime=0.18 cores=0,2,4,6
/proc/5843/task/5863/stat : 5863 (java) S 5841 5843 31595 0 -1 4202560 905 0 0 0 18 0 0 0 15 0 19 0 826346559 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5865] ppid=5841 vsize=13636296 CPUtime=8.64 cores=0,2,4,6
/proc/5843/task/5865/stat : 5865 (java) S 5841 5843 31595 0 -1 4202560 3527 0 0 0 862 2 0 0 15 0 19 0 826346560 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 0 0 16800975 18446604437135515840 0 0 -1 0 0 0 0
[pid=5843/tid=5868] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5868/stat : 5868 (java) S 5841 5843 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5869] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5869/stat : 5869 (java) S 5841 5843 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5875] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5875/stat : 5875 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290703281 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5876] ppid=5841 vsize=13636296 CPUtime=0.65 cores=0,2,4,6
/proc/5843/task/5876/stat : 5876 (java) S 5841 5843 31595 0 -1 4202560 5304 0 0 0 65 0 0 0 15 0 19 0 826346562 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5877] ppid=5841 vsize=13636296 CPUtime=1.06 cores=0,2,4,6
/proc/5843/task/5877/stat : 5877 (java) S 5841 5843 31595 0 -1 4202560 9728 0 0 0 105 1 0 0 15 0 19 0 826346562 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5878] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5878/stat : 5878 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5879] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5879/stat : 5879 (java) S 5841 5843 31595 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 826346562 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5925] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5925/stat : 5925 (java) S 5841 5843 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826346603 13963567104 44863 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1724.78
Current children cumulated vsize (KiB) 13636296
[startup+1782.3 s]
/proc/loadavg: 2.13 2.06 1.95 3/437 6028
/proc/meminfo: memFree=29761904/32950904 swapFree=56615552/67111528
[pid=5843] ppid=5841 vsize=13636296 CPUtime=1784.8 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5841 5843 31595 0 -1 4202496 55425 0 1 0 178469 11 0 0 22 0 19 0 826346556 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5843/statm: 3409074 44867 2264 9 0 3399808 0
[pid=5843/tid=5845] ppid=5841 vsize=13636296 CPUtime=1772.61 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5841 5843 31595 0 -1 4202560 26448 0 1 0 177257 4 0 0 25 0 19 0 826346557 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 46912505786095 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5843/tid=5856] ppid=5841 vsize=13636296 CPUtime=0.17 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5841 5843 31595 0 -1 4202560 1050 0 0 0 17 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5857] ppid=5841 vsize=13636296 CPUtime=0.18 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5841 5843 31595 0 -1 4202560 1740 0 0 0 18 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5858] ppid=5841 vsize=13636296 CPUtime=0.19 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5841 5843 31595 0 -1 4202560 601 0 0 0 19 0 0 0 16 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5859] ppid=5841 vsize=13636296 CPUtime=0.17 cores=0,2,4,6
/proc/5843/task/5859/stat : 5859 (java) S 5841 5843 31595 0 -1 4202560 1185 0 0 0 17 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5860] ppid=5841 vsize=13636296 CPUtime=0.19 cores=0,2,4,6
/proc/5843/task/5860/stat : 5860 (java) S 5841 5843 31595 0 -1 4202560 1598 0 0 0 19 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5861] ppid=5841 vsize=13636296 CPUtime=0.18 cores=0,2,4,6
/proc/5843/task/5861/stat : 5861 (java) S 5841 5843 31595 0 -1 4202560 803 0 0 0 18 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5862] ppid=5841 vsize=13636296 CPUtime=0.18 cores=0,2,4,6
/proc/5843/task/5862/stat : 5862 (java) S 5841 5843 31595 0 -1 4202560 1276 0 0 0 18 0 0 0 16 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5863] ppid=5841 vsize=13636296 CPUtime=0.19 cores=0,2,4,6
/proc/5843/task/5863/stat : 5863 (java) S 5841 5843 31595 0 -1 4202560 909 0 0 0 19 0 0 0 16 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5865] ppid=5841 vsize=13636296 CPUtime=8.94 cores=0,2,4,6
/proc/5843/task/5865/stat : 5865 (java) S 5841 5843 31595 0 -1 4202560 3531 0 0 0 892 2 0 0 15 0 19 0 826346560 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 0 0 16800975 18446604437135515840 0 0 -1 0 0 0 0
[pid=5843/tid=5868] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5868/stat : 5868 (java) S 5841 5843 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5869] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5869/stat : 5869 (java) S 5841 5843 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5875] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5875/stat : 5875 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290703281 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5876] ppid=5841 vsize=13636296 CPUtime=0.65 cores=0,2,4,6
/proc/5843/task/5876/stat : 5876 (java) S 5841 5843 31595 0 -1 4202560 5304 0 0 0 65 0 0 0 15 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5877] ppid=5841 vsize=13636296 CPUtime=1.06 cores=0,2,4,6
/proc/5843/task/5877/stat : 5877 (java) S 5841 5843 31595 0 -1 4202560 9728 0 0 0 105 1 0 0 15 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5878] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5878/stat : 5878 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5879] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5879/stat : 5879 (java) S 5841 5843 31595 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5925] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5925/stat : 5925 (java) S 5841 5843 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826346603 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1784.8
Current children cumulated vsize (KiB) 13636296
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.5 s]
/proc/loadavg: 2.10 2.06 1.95 3/437 6038
/proc/meminfo: memFree=29760780/32950904 swapFree=56615552/67111528
[pid=5843] ppid=5841 vsize=13636296 CPUtime=1800.01 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5841 5843 31595 0 -1 4202496 55432 0 1 0 179990 11 0 0 22 0 19 0 826346556 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5843/statm: 3409074 44867 2264 9 0 3399808 0
[pid=5843/tid=5845] ppid=5841 vsize=13636296 CPUtime=1787.74 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5841 5843 31595 0 -1 4202560 26451 0 1 0 178770 4 0 0 25 0 19 0 826346557 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 46912505986253 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5843/tid=5856] ppid=5841 vsize=13636296 CPUtime=0.17 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5841 5843 31595 0 -1 4202560 1050 0 0 0 17 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5857] ppid=5841 vsize=13636296 CPUtime=0.18 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5841 5843 31595 0 -1 4202560 1740 0 0 0 18 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5858] ppid=5841 vsize=13636296 CPUtime=0.19 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5841 5843 31595 0 -1 4202560 601 0 0 0 19 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5859] ppid=5841 vsize=13636296 CPUtime=0.17 cores=0,2,4,6
/proc/5843/task/5859/stat : 5859 (java) S 5841 5843 31595 0 -1 4202560 1185 0 0 0 17 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5860] ppid=5841 vsize=13636296 CPUtime=0.19 cores=0,2,4,6
/proc/5843/task/5860/stat : 5860 (java) S 5841 5843 31595 0 -1 4202560 1598 0 0 0 19 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5861] ppid=5841 vsize=13636296 CPUtime=0.18 cores=0,2,4,6
/proc/5843/task/5861/stat : 5861 (java) S 5841 5843 31595 0 -1 4202560 803 0 0 0 18 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5862] ppid=5841 vsize=13636296 CPUtime=0.18 cores=0,2,4,6
/proc/5843/task/5862/stat : 5862 (java) S 5841 5843 31595 0 -1 4202560 1276 0 0 0 18 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5863] ppid=5841 vsize=13636296 CPUtime=0.19 cores=0,2,4,6
/proc/5843/task/5863/stat : 5863 (java) S 5841 5843 31595 0 -1 4202560 909 0 0 0 19 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5865] ppid=5841 vsize=13636296 CPUtime=9.02 cores=0,2,4,6
/proc/5843/task/5865/stat : 5865 (java) S 5841 5843 31595 0 -1 4202560 3533 0 0 0 900 2 0 0 15 0 19 0 826346560 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 0 0 16800975 18446604437135515840 0 0 -1 0 0 0 0
[pid=5843/tid=5868] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5868/stat : 5868 (java) S 5841 5843 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5869] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5869/stat : 5869 (java) S 5841 5843 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5875] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5875/stat : 5875 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290703281 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5876] ppid=5841 vsize=13636296 CPUtime=0.65 cores=0,2,4,6
/proc/5843/task/5876/stat : 5876 (java) S 5841 5843 31595 0 -1 4202560 5304 0 0 0 65 0 0 0 15 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5877] ppid=5841 vsize=13636296 CPUtime=1.06 cores=0,2,4,6
/proc/5843/task/5877/stat : 5877 (java) S 5841 5843 31595 0 -1 4202560 9728 0 0 0 105 1 0 0 15 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5878] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5878/stat : 5878 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5879] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5879/stat : 5879 (java) S 5841 5843 31595 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5925] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5925/stat : 5925 (java) S 5841 5843 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826346603 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13636296
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.5 s]
/proc/loadavg: 2.10 2.06 1.95 3/437 6038
/proc/meminfo: memFree=29760780/32950904 swapFree=56615552/67111528
[pid=5843] ppid=5841 vsize=13636296 CPUtime=1800.01 cores=0,2,4,6
/proc/5843/stat : 5843 (java) S 5841 5843 31595 0 -1 4202496 55432 0 1 0 179990 11 0 0 22 0 19 0 826346556 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/5843/statm: 3409074 44867 2264 9 0 3399808 0
[pid=5843/tid=5845] ppid=5841 vsize=13636296 CPUtime=1787.74 cores=0,2,4,6
/proc/5843/task/5845/stat : 5845 (java) R 5841 5843 31595 0 -1 4202560 26451 0 1 0 178770 4 0 0 25 0 19 0 826346557 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 46912505986253 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=5843/tid=5856] ppid=5841 vsize=13636296 CPUtime=0.17 cores=0,2,4,6
/proc/5843/task/5856/stat : 5856 (java) S 5841 5843 31595 0 -1 4202560 1050 0 0 0 17 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5857] ppid=5841 vsize=13636296 CPUtime=0.18 cores=0,2,4,6
/proc/5843/task/5857/stat : 5857 (java) S 5841 5843 31595 0 -1 4202560 1740 0 0 0 18 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5858] ppid=5841 vsize=13636296 CPUtime=0.19 cores=0,2,4,6
/proc/5843/task/5858/stat : 5858 (java) S 5841 5843 31595 0 -1 4202560 601 0 0 0 19 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5859] ppid=5841 vsize=13636296 CPUtime=0.17 cores=0,2,4,6
/proc/5843/task/5859/stat : 5859 (java) S 5841 5843 31595 0 -1 4202560 1185 0 0 0 17 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5860] ppid=5841 vsize=13636296 CPUtime=0.19 cores=0,2,4,6
/proc/5843/task/5860/stat : 5860 (java) S 5841 5843 31595 0 -1 4202560 1598 0 0 0 19 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5861] ppid=5841 vsize=13636296 CPUtime=0.18 cores=0,2,4,6
/proc/5843/task/5861/stat : 5861 (java) S 5841 5843 31595 0 -1 4202560 803 0 0 0 18 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5862] ppid=5841 vsize=13636296 CPUtime=0.18 cores=0,2,4,6
/proc/5843/task/5862/stat : 5862 (java) S 5841 5843 31595 0 -1 4202560 1276 0 0 0 18 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 6 0 0 0
[pid=5843/tid=5863] ppid=5841 vsize=13636296 CPUtime=0.19 cores=0,2,4,6
/proc/5843/task/5863/stat : 5863 (java) S 5841 5843 31595 0 -1 4202560 909 0 0 0 19 0 0 0 15 0 19 0 826346559 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5865] ppid=5841 vsize=13636296 CPUtime=9.02 cores=0,2,4,6
/proc/5843/task/5865/stat : 5865 (java) S 5841 5843 31595 0 -1 4202560 3533 0 0 0 900 2 0 0 15 0 19 0 826346560 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 0 0 16800975 18446604437135515840 0 0 -1 0 0 0 0
[pid=5843/tid=5868] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5868/stat : 5868 (java) S 5841 5843 31595 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5869] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5869/stat : 5869 (java) S 5841 5843 31595 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 826346560 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5875] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5875/stat : 5875 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290703281 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5876] ppid=5841 vsize=13636296 CPUtime=0.65 cores=0,2,4,6
/proc/5843/task/5876/stat : 5876 (java) S 5841 5843 31595 0 -1 4202560 5304 0 0 0 65 0 0 0 15 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5877] ppid=5841 vsize=13636296 CPUtime=1.06 cores=0,2,4,6
/proc/5843/task/5877/stat : 5877 (java) S 5841 5843 31595 0 -1 4202560 9728 0 0 0 105 1 0 0 15 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5878] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5878/stat : 5878 (java) S 5841 5843 31595 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290695577 0 4 0 16800975 18446604437135515840 0 0 -1 2 0 0 0
[pid=5843/tid=5879] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5879/stat : 5879 (java) S 5841 5843 31595 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826346562 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 4 0 0 0
[pid=5843/tid=5925] ppid=5841 vsize=13636296 CPUtime=0 cores=0,2,4,6
/proc/5843/task/5925/stat : 5925 (java) S 5841 5843 31595 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826346603 13963567104 44867 33554432000 1073741824 1073778376 140734730055664 18446744073709551615 237290696192 0 4 0 16800975 18446604437135515840 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 13636296
Child status: 143
Real time (s): 1797.56
CPU time (s): 1800.1
CPU user time (s): 1799.97
CPU system time (s): 0.12798
CPU usage (%): 100.141
Max. virtual memory (cumulated for all children) (KiB): 13636296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.97
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55492
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 45446
involuntary context switches= 12675
runsolver used 7.2039 second user time and 15.7116 second system time
The end