runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3251654-1303586881/watcher-3251654-1303586881 -o /tmp/evaluation-result-3251654-1303586881/solver-3251654-1303586881 -C 2400 -W 1300 -M 7680 java -server -XX:MaxPermSize=256m -Xms7000m -Xmx7000m -jar org.sat4j.core.jar HOME/instance-3251654-1303586881.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.08 2.62 3.16 7/218 13118
/proc/meminfo: memFree=16879852/32951124 swapFree=67111528/67111528
[pid=13118] ppid=13116 vsize=30528 CPUtime=0 cores=0,2
/proc/13118/stat : 13118 (java) S 13116 13118 11570 0 -1 4202496 1248 0 0 0 0 0 0 0 21 0 2 0 548918704 31260672 966 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032198629 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 7632 966 739 9 0 383 0
[pid=13118/tid=13119] ppid=13116 vsize=30528 CPUtime=0 cores=0,2
/proc/13118/task/13119/stat : 13119 (java) R 13116 13118 11570 0 -1 4202560 132 0 0 0 0 0 0 0 22 0 2 0 548918704 31260672 966 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260020393984 0 0 4096 0 0 0 0 -1 0 0 0 0
[startup+0.074286 s]
/proc/loadavg: 1.08 2.62 3.16 7/218 13118
/proc/meminfo: memFree=16879852/32951124 swapFree=67111528/67111528
[pid=13118] ppid=13116 vsize=7569940 CPUtime=0.07 cores=0,2
/proc/13118/stat : 13118 (java) S 13116 13118 11570 0 -1 4202496 9452 0 1 0 6 1 0 0 21 0 18 0 548918704 7751618560 9147 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 1892485 9147 1754 9 0 1883223 0
[pid=13118/tid=13119] ppid=13116 vsize=7569940 CPUtime=0.06 cores=0,2
/proc/13118/task/13119/stat : 13119 (java) R 13116 13118 11570 0 -1 4202560 8276 0 1 0 5 1 0 0 25 0 18 0 548918704 7751618560 9147 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 46912505215955 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) 7569940
[startup+0.111356 s]
/proc/loadavg: 1.08 2.62 3.16 7/218 13118
/proc/meminfo: memFree=16879852/32951124 swapFree=67111528/67111528
[pid=13118] ppid=13116 vsize=7636092 CPUtime=0.13 cores=0,2
/proc/13118/stat : 13118 (java) S 13116 13118 11570 0 -1 4202496 11048 0 1 0 12 1 0 0 21 0 18 0 548918704 7819358208 10743 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 1909023 10743 2123 9 0 1899761 0
[pid=13118/tid=13119] ppid=13116 vsize=7636092 CPUtime=0.1 cores=0,2
/proc/13118/task/13119/stat : 13119 (java) R 13116 13118 11570 0 -1 4202560 9290 0 1 0 9 1 0 0 18 0 18 0 548918704 7819358208 10743 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 7636092
[startup+0.300291 s]
/proc/loadavg: 1.08 2.62 3.16 7/218 13118
/proc/meminfo: memFree=16879852/32951124 swapFree=67111528/67111528
[pid=13118] ppid=13116 vsize=7637024 CPUtime=0.4 cores=0,2
/proc/13118/stat : 13118 (java) S 13116 13118 11570 0 -1 4202496 14842 0 1 0 39 1 0 0 21 0 18 0 548918704 7820312576 14440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 1909256 14441 2197 9 0 1899994 0
[pid=13118/tid=13119] ppid=13116 vsize=7637024 CPUtime=0.29 cores=0,2
/proc/13118/task/13119/stat : 13119 (java) R 13116 13118 11570 0 -1 4202560 12633 0 1 0 28 1 0 0 18 0 18 0 548918704 7820312576 14441 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 46912505544829 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 7637024
[startup+0.70019 s]
/proc/loadavg: 1.08 2.62 3.16 7/218 13118
/proc/meminfo: memFree=16879852/32951124 swapFree=67111528/67111528
[pid=13118] ppid=13116 vsize=7644732 CPUtime=1.01 cores=0,2
/proc/13118/stat : 13118 (java) S 13116 13118 11570 0 -1 4202496 23081 0 1 0 99 2 0 0 21 0 19 0 548918704 7828205568 21620 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 1911183 21620 2217 9 0 1901921 0
[pid=13118/tid=13119] ppid=13116 vsize=7644732 CPUtime=0.68 cores=0,2
/proc/13118/task/13119/stat : 13119 (java) R 13116 13118 11570 0 -1 4202560 18230 0 1 0 67 1 0 0 19 0 19 0 548918704 7828205568 21620 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 46912505200839 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 7644732
[startup+1.50109 s]
/proc/loadavg: 1.08 2.62 3.16 5/239 13140
/proc/meminfo: memFree=16753276/32951124 swapFree=67111528/67111528
[pid=13118] ppid=13116 vsize=7644732 CPUtime=1.91 cores=0,2
/proc/13118/stat : 13118 (java) S 13116 13118 11570 0 -1 4202496 23948 0 1 0 189 2 0 0 21 0 19 0 548918704 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 1911183 22486 2224 9 0 1901921 0
[pid=13118/tid=13119] ppid=13116 vsize=7644732 CPUtime=1.49 cores=0,2
/proc/13118/task/13119/stat : 13119 (java) R 13116 13118 11570 0 -1 4202560 19067 0 1 0 147 2 0 0 20 0 19 0 548918704 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 46912505655163 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13118/tid=13121] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13121/stat : 13121 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 548918706 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13122] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13122/stat : 13122 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918706 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13123] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13123/stat : 13123 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918706 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13124] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13124/stat : 13124 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918706 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13125] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13125/stat : 13125 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918706 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13126] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13126/stat : 13126 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918706 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13127] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13127/stat : 13127 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918706 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13128] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13128/stat : 13128 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918706 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13129] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13129/stat : 13129 (java) S 13116 13118 11570 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 548918707 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 0 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13130] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13130/stat : 13130 (java) S 13116 13118 11570 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 548918707 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13131] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13131/stat : 13131 (java) S 13116 13118 11570 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 548918707 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13132] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13132/stat : 13132 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032219569 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13133] ppid=13116 vsize=7644732 CPUtime=0.26 cores=0,2
/proc/13118/task/13133/stat : 13133 (java) S 13116 13118 11570 0 -1 4202560 2721 0 0 0 26 0 0 0 21 0 19 0 548918709 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13134] ppid=13116 vsize=7644732 CPUtime=0.15 cores=0,2
/proc/13118/task/13134/stat : 13134 (java) S 13116 13118 11570 0 -1 4202560 998 0 0 0 15 0 0 0 20 0 19 0 548918709 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13135] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13135/stat : 13135 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13136] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13136/stat : 13136 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548918709 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13140] ppid=13116 vsize=7644732 CPUtime=0 cores=0,2
/proc/13118/task/13140/stat : 13140 (java) S 13116 13118 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548918751 7828205568 22486 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.91
Current children cumulated vsize (KiB) 7644732
[startup+3.10082 s]
/proc/loadavg: 1.23 2.63 3.16 4/239 13140
/proc/meminfo: memFree=16663892/32951124 swapFree=67111528/67111528
[pid=13118] ppid=13116 vsize=7664036 CPUtime=3.75 cores=0,2
/proc/13118/stat : 13118 (java) S 13116 13118 11570 0 -1 4202496 46742 0 1 0 370 5 0 0 21 0 19 0 548918704 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 1916009 43333 2251 9 0 1906747 0
[pid=13118/tid=13119] ppid=13116 vsize=7664036 CPUtime=2.9 cores=0,2
/proc/13118/task/13119/stat : 13119 (java) R 13116 13118 11570 0 -1 4202560 19684 0 1 0 288 2 0 0 22 0 19 0 548918704 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 46912505366582 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13118/tid=13121] ppid=13116 vsize=7664036 CPUtime=0.04 cores=0,2
/proc/13118/task/13121/stat : 13121 (java) S 13116 13118 11570 0 -1 4202560 4144 0 0 0 4 0 0 0 18 0 19 0 548918706 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13122] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13122/stat : 13122 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 548918706 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13123] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13123/stat : 13123 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 548918706 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13124] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13124/stat : 13124 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 548918706 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13125] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13125/stat : 13125 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 548918706 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13126] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13126/stat : 13126 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 548918706 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13127] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13127/stat : 13127 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 548918706 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13128] ppid=13116 vsize=7664036 CPUtime=0.04 cores=0,2
/proc/13118/task/13128/stat : 13128 (java) S 13116 13118 11570 0 -1 4202560 3815 0 0 0 4 0 0 0 18 0 19 0 548918706 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13129] ppid=13116 vsize=7664036 CPUtime=0.12 cores=0,2
/proc/13118/task/13129/stat : 13129 (java) S 13116 13118 11570 0 -1 4202560 7879 0 0 0 12 0 0 0 16 0 19 0 548918707 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 0 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13130] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13130/stat : 13130 (java) S 13116 13118 11570 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 548918707 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13131] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13131/stat : 13131 (java) S 13116 13118 11570 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 548918707 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13132] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13132/stat : 13132 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032219569 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13133] ppid=13116 vsize=7664036 CPUtime=0.44 cores=0,2
/proc/13118/task/13133/stat : 13133 (java) S 13116 13118 11570 0 -1 4202560 8816 0 0 0 44 0 0 0 16 0 19 0 548918709 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13134] ppid=13116 vsize=7664036 CPUtime=0.16 cores=0,2
/proc/13118/task/13134/stat : 13134 (java) S 13116 13118 11570 0 -1 4202560 1246 0 0 0 16 0 0 0 16 0 19 0 548918709 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13135] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13135/stat : 13135 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13136] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13136/stat : 13136 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548918709 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13140] ppid=13116 vsize=7664036 CPUtime=0 cores=0,2
/proc/13118/task/13140/stat : 13140 (java) S 13116 13118 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548918751 7847972864 43333 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.75
Current children cumulated vsize (KiB) 7664036
[startup+6.30124 s]
/proc/loadavg: 1.23 2.63 3.16 4/239 13140
/proc/meminfo: memFree=16564072/32951124 swapFree=67111528/67111528
[pid=13118] ppid=13116 vsize=7658672 CPUtime=6.96 cores=0,2
/proc/13118/stat : 13118 (java) S 13116 13118 11570 0 -1 4202496 48742 0 1 0 691 5 0 0 21 0 19 0 548918704 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 1914668 44440 2253 9 0 1905406 0
[pid=13118/tid=13119] ppid=13116 vsize=7658672 CPUtime=5.98 cores=0,2
/proc/13118/task/13119/stat : 13119 (java) R 13116 13118 11570 0 -1 4202560 19686 0 1 0 596 2 0 0 25 0 19 0 548918704 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 46912505711696 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13118/tid=13121] ppid=13116 vsize=7658672 CPUtime=0.04 cores=0,2
/proc/13118/task/13121/stat : 13121 (java) S 13116 13118 11570 0 -1 4202560 4144 0 0 0 4 0 0 0 18 0 19 0 548918706 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13122] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13122/stat : 13122 (java) S 13116 13118 11570 0 -1 4202560 628 0 0 0 0 0 0 0 15 0 19 0 548918706 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13123] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13123/stat : 13123 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548918706 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13124] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13124/stat : 13124 (java) S 13116 13118 11570 0 -1 4202560 853 0 0 0 0 0 0 0 16 0 19 0 548918706 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13125] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13125/stat : 13125 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548918706 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13126] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13126/stat : 13126 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548918706 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13127] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13127/stat : 13127 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 548918706 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13128] ppid=13116 vsize=7658672 CPUtime=0.04 cores=0,2
/proc/13118/task/13128/stat : 13128 (java) S 13116 13118 11570 0 -1 4202560 3815 0 0 0 4 0 0 0 17 0 19 0 548918706 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13129] ppid=13116 vsize=7658672 CPUtime=0.22 cores=0,2
/proc/13118/task/13129/stat : 13129 (java) S 13116 13118 11570 0 -1 4202560 8396 0 0 0 22 0 0 0 16 0 19 0 548918707 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 0 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13130] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13130/stat : 13130 (java) S 13116 13118 11570 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 548918707 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13131] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13131/stat : 13131 (java) S 13116 13118 11570 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 548918707 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13132] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13132/stat : 13132 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032219569 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13133] ppid=13116 vsize=7658672 CPUtime=0.45 cores=0,2
/proc/13118/task/13133/stat : 13133 (java) S 13116 13118 11570 0 -1 4202560 8818 0 0 0 45 0 0 0 16 0 19 0 548918709 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13134] ppid=13116 vsize=7658672 CPUtime=0.17 cores=0,2
/proc/13118/task/13134/stat : 13134 (java) S 13116 13118 11570 0 -1 4202560 1246 0 0 0 17 0 0 0 15 0 19 0 548918709 7842480128 44440 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=13118/tid=13126] ppid=13116 vsize=7658672 CPUtime=0.1 cores=0,2
/proc/13118/task/13126/stat : 13126 (java) S 13116 13118 11570 0 -1 4202560 1144 0 0 0 10 0 0 0 15 0 19 0 548918706 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13127] ppid=13116 vsize=7658672 CPUtime=0.09 cores=0,2
/proc/13118/task/13127/stat : 13127 (java) S 13116 13118 11570 0 -1 4202560 1450 0 0 0 9 0 0 0 15 0 19 0 548918706 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13128] ppid=13116 vsize=7658672 CPUtime=0.14 cores=0,2
/proc/13118/task/13128/stat : 13128 (java) S 13116 13118 11570 0 -1 4202560 4376 0 0 0 14 0 0 0 16 0 19 0 548918706 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13129] ppid=13116 vsize=7658672 CPUtime=5.22 cores=0,2
/proc/13118/task/13129/stat : 13129 (java) S 13116 13118 11570 0 -1 4202560 20760 0 0 0 520 2 0 0 15 0 19 0 548918707 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 0 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13130] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13130/stat : 13130 (java) S 13116 13118 11570 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 548918707 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13131] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13131/stat : 13131 (java) S 13116 13118 11570 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 548918707 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13132] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13132/stat : 13132 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032219569 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13133] ppid=13116 vsize=7658672 CPUtime=0.48 cores=0,2
/proc/13118/task/13133/stat : 13133 (java) S 13116 13118 11570 0 -1 4202560 8823 0 0 0 48 0 0 0 15 0 19 0 548918709 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13134] ppid=13116 vsize=7658672 CPUtime=0.17 cores=0,2
/proc/13118/task/13134/stat : 13134 (java) S 13116 13118 11570 0 -1 4202560 1246 0 0 0 17 0 0 0 15 0 19 0 548918709 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13135] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13135/stat : 13135 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13136] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13136/stat : 13136 (java) S 13116 13118 11570 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 19 0 548918709 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13140] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13140/stat : 13140 (java) S 13116 13118 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548918751 7842480128 65388 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1123.49
Current children cumulated vsize (KiB) 7658672
[startup+1182.3 s]
/proc/loadavg: 3.00 3.00 3.03 4/238 13174
/proc/meminfo: memFree=16260436/32951124 swapFree=67111528/67111528
[pid=13118] ppid=13116 vsize=7658672 CPUtime=1183.52 cores=0,2
/proc/13118/stat : 13118 (java) S 13116 13118 11570 0 -1 4202496 72465 0 1 0 118342 10 0 0 21 0 19 0 548918704 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 1914668 67989 2253 9 0 1905406 0
[pid=13118/tid=13119] ppid=13116 vsize=7658672 CPUtime=1176.34 cores=0,2
/proc/13118/task/13119/stat : 13119 (java) R 13116 13118 11570 0 -1 4202560 20194 0 1 0 117631 3 0 0 25 0 19 0 548918704 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 46912505655163 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13118/tid=13121] ppid=13116 vsize=7658672 CPUtime=0.18 cores=0,2
/proc/13118/task/13121/stat : 13121 (java) S 13116 13118 11570 0 -1 4202560 4688 0 0 0 17 1 0 0 15 0 19 0 548918706 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13122] ppid=13116 vsize=7658672 CPUtime=0.17 cores=0,2
/proc/13118/task/13122/stat : 13122 (java) S 13116 13118 11570 0 -1 4202560 1917 0 0 0 17 0 0 0 15 0 19 0 548918706 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13123] ppid=13116 vsize=7658672 CPUtime=0.15 cores=0,2
/proc/13118/task/13123/stat : 13123 (java) S 13116 13118 11570 0 -1 4202560 1953 0 0 0 15 0 0 0 16 0 19 0 548918706 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13124] ppid=13116 vsize=7658672 CPUtime=0.07 cores=0,2
/proc/13118/task/13124/stat : 13124 (java) S 13116 13118 11570 0 -1 4202560 1346 0 0 0 7 0 0 0 16 0 19 0 548918706 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13125] ppid=13116 vsize=7658672 CPUtime=0.16 cores=0,2
/proc/13118/task/13125/stat : 13125 (java) S 13116 13118 11570 0 -1 4202560 1537 0 0 0 16 0 0 0 16 0 19 0 548918706 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13126] ppid=13116 vsize=7658672 CPUtime=0.1 cores=0,2
/proc/13118/task/13126/stat : 13126 (java) S 13116 13118 11570 0 -1 4202560 1144 0 0 0 10 0 0 0 15 0 19 0 548918706 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13127] ppid=13116 vsize=7658672 CPUtime=0.09 cores=0,2
/proc/13118/task/13127/stat : 13127 (java) S 13116 13118 11570 0 -1 4202560 1450 0 0 0 9 0 0 0 15 0 19 0 548918706 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13128] ppid=13116 vsize=7658672 CPUtime=0.14 cores=0,2
/proc/13118/task/13128/stat : 13128 (java) S 13116 13118 11570 0 -1 4202560 4376 0 0 0 14 0 0 0 15 0 19 0 548918706 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13129] ppid=13116 vsize=7658672 CPUtime=5.37 cores=0,2
/proc/13118/task/13129/stat : 13129 (java) S 13116 13118 11570 0 -1 4202560 22571 0 0 0 535 2 0 0 15 0 19 0 548918707 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 0 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13130] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13130/stat : 13130 (java) S 13116 13118 11570 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 548918707 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13131] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13131/stat : 13131 (java) S 13116 13118 11570 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 548918707 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13132] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13132/stat : 13132 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032219569 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13133] ppid=13116 vsize=7658672 CPUtime=0.48 cores=0,2
/proc/13118/task/13133/stat : 13133 (java) S 13116 13118 11570 0 -1 4202560 8823 0 0 0 48 0 0 0 15 0 19 0 548918709 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13134] ppid=13116 vsize=7658672 CPUtime=0.17 cores=0,2
/proc/13118/task/13134/stat : 13134 (java) S 13116 13118 11570 0 -1 4202560 1246 0 0 0 17 0 0 0 15 0 19 0 548918709 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13135] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13135/stat : 13135 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13136] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13136/stat : 13136 (java) S 13116 13118 11570 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 548918709 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13140] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13140/stat : 13140 (java) S 13116 13118 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548918751 7842480128 67989 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1183.52
Current children cumulated vsize (KiB) 7658672
[startup+1242.3 s]
/proc/loadavg: 3.00 3.00 3.02 4/238 13176
/proc/meminfo: memFree=16250864/32951124 swapFree=67111528/67111528
[pid=13118] ppid=13116 vsize=7658672 CPUtime=1243.53 cores=0,2
/proc/13118/stat : 13118 (java) S 13116 13118 11570 0 -1 4202496 73707 0 1 0 124343 10 0 0 21 0 19 0 548918704 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 1914668 69222 2253 9 0 1905406 0
[pid=13118/tid=13119] ppid=13116 vsize=7658672 CPUtime=1236.18 cores=0,2
/proc/13118/task/13119/stat : 13119 (java) R 13116 13118 11570 0 -1 4202560 20408 0 1 0 123614 4 0 0 25 0 19 0 548918704 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 46912505634934 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13118/tid=13121] ppid=13116 vsize=7658672 CPUtime=0.18 cores=0,2
/proc/13118/task/13121/stat : 13121 (java) S 13116 13118 11570 0 -1 4202560 4688 0 0 0 17 1 0 0 16 0 19 0 548918706 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13122] ppid=13116 vsize=7658672 CPUtime=0.17 cores=0,2
/proc/13118/task/13122/stat : 13122 (java) S 13116 13118 11570 0 -1 4202560 1917 0 0 0 17 0 0 0 15 0 19 0 548918706 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13123] ppid=13116 vsize=7658672 CPUtime=0.15 cores=0,2
/proc/13118/task/13123/stat : 13123 (java) S 13116 13118 11570 0 -1 4202560 1953 0 0 0 15 0 0 0 15 0 19 0 548918706 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13124] ppid=13116 vsize=7658672 CPUtime=0.09 cores=0,2
/proc/13118/task/13124/stat : 13124 (java) S 13116 13118 11570 0 -1 4202560 1739 0 0 0 9 0 0 0 16 0 19 0 548918706 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13125] ppid=13116 vsize=7658672 CPUtime=0.16 cores=0,2
/proc/13118/task/13125/stat : 13125 (java) S 13116 13118 11570 0 -1 4202560 1537 0 0 0 16 0 0 0 15 0 19 0 548918706 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13126] ppid=13116 vsize=7658672 CPUtime=0.12 cores=0,2
/proc/13118/task/13126/stat : 13126 (java) S 13116 13118 11570 0 -1 4202560 1390 0 0 0 12 0 0 0 16 0 19 0 548918706 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13127] ppid=13116 vsize=7658672 CPUtime=0.09 cores=0,2
/proc/13118/task/13127/stat : 13127 (java) S 13116 13118 11570 0 -1 4202560 1450 0 0 0 9 0 0 0 15 0 19 0 548918706 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13128] ppid=13116 vsize=7658672 CPUtime=0.14 cores=0,2
/proc/13118/task/13128/stat : 13128 (java) S 13116 13118 11570 0 -1 4202560 4376 0 0 0 14 0 0 0 15 0 19 0 548918706 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13129] ppid=13116 vsize=7658672 CPUtime=5.5 cores=0,2
/proc/13118/task/13129/stat : 13129 (java) S 13116 13118 11570 0 -1 4202560 22956 0 0 0 548 2 0 0 15 0 19 0 548918707 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 0 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13130] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13130/stat : 13130 (java) S 13116 13118 11570 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 548918707 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13131] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13131/stat : 13131 (java) S 13116 13118 11570 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 548918707 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13132] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13132/stat : 13132 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032219569 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13133] ppid=13116 vsize=7658672 CPUtime=0.48 cores=0,2
/proc/13118/task/13133/stat : 13133 (java) S 13116 13118 11570 0 -1 4202560 8823 0 0 0 48 0 0 0 15 0 19 0 548918709 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13134] ppid=13116 vsize=7658672 CPUtime=0.17 cores=0,2
/proc/13118/task/13134/stat : 13134 (java) S 13116 13118 11570 0 -1 4202560 1246 0 0 0 17 0 0 0 15 0 19 0 548918709 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13135] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13135/stat : 13135 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13136] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13136/stat : 13136 (java) S 13116 13118 11570 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 548918709 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13140] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13140/stat : 13140 (java) S 13116 13118 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548918751 7842480128 69222 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1243.53
Current children cumulated vsize (KiB) 7658672
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.00 3.00 3.02 2/199 13183
/proc/meminfo: memFree=16667060/32951124 swapFree=67111528/67111528
[pid=13118] ppid=13116 vsize=7658672 CPUtime=1301.26 cores=0,2
/proc/13118/stat : 13118 (java) S 13116 13118 11570 0 -1 4202496 74337 0 1 0 130116 10 0 0 21 0 19 0 548918704 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13118/statm: 1914668 69845 2253 9 0 1905406 0
[pid=13118/tid=13119] ppid=13116 vsize=7658672 CPUtime=1293.73 cores=0,2
/proc/13118/task/13119/stat : 13119 (java) R 13116 13118 11570 0 -1 4202560 20477 0 1 0 129369 4 0 0 25 0 19 0 548918704 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 46912505711478 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13118/tid=13121] ppid=13116 vsize=7658672 CPUtime=0.2 cores=0,2
/proc/13118/task/13121/stat : 13121 (java) S 13116 13118 11570 0 -1 4202560 4688 0 0 0 19 1 0 0 16 0 19 0 548918706 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13122] ppid=13116 vsize=7658672 CPUtime=0.17 cores=0,2
/proc/13118/task/13122/stat : 13122 (java) S 13116 13118 11570 0 -1 4202560 1917 0 0 0 17 0 0 0 15 0 19 0 548918706 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13123] ppid=13116 vsize=7658672 CPUtime=0.15 cores=0,2
/proc/13118/task/13123/stat : 13123 (java) S 13116 13118 11570 0 -1 4202560 1953 0 0 0 15 0 0 0 16 0 19 0 548918706 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13124] ppid=13116 vsize=7658672 CPUtime=0.1 cores=0,2
/proc/13118/task/13124/stat : 13124 (java) S 13116 13118 11570 0 -1 4202560 1739 0 0 0 10 0 0 0 15 0 19 0 548918706 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13125] ppid=13116 vsize=7658672 CPUtime=0.16 cores=0,2
/proc/13118/task/13125/stat : 13125 (java) S 13116 13118 11570 0 -1 4202560 1537 0 0 0 16 0 0 0 15 0 19 0 548918706 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13126] ppid=13116 vsize=7658672 CPUtime=0.12 cores=0,2
/proc/13118/task/13126/stat : 13126 (java) S 13116 13118 11570 0 -1 4202560 1390 0 0 0 12 0 0 0 15 0 19 0 548918706 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13127] ppid=13116 vsize=7658672 CPUtime=0.11 cores=0,2
/proc/13118/task/13127/stat : 13127 (java) S 13116 13118 11570 0 -1 4202560 1454 0 0 0 11 0 0 0 16 0 19 0 548918706 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13128] ppid=13116 vsize=7658672 CPUtime=0.14 cores=0,2
/proc/13118/task/13128/stat : 13128 (java) S 13116 13118 11570 0 -1 4202560 4376 0 0 0 14 0 0 0 15 0 19 0 548918706 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13129] ppid=13116 vsize=7658672 CPUtime=5.64 cores=0,2
/proc/13118/task/13129/stat : 13129 (java) S 13116 13118 11570 0 -1 4202560 23509 0 0 0 562 2 0 0 15 0 19 0 548918707 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 0 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13130] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13130/stat : 13130 (java) S 13116 13118 11570 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 19 0 548918707 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13131] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13131/stat : 13131 (java) S 13116 13118 11570 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 548918707 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13132] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13132/stat : 13132 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032219569 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13133] ppid=13116 vsize=7658672 CPUtime=0.48 cores=0,2
/proc/13118/task/13133/stat : 13133 (java) S 13116 13118 11570 0 -1 4202560 8823 0 0 0 48 0 0 0 15 0 19 0 548918709 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13134] ppid=13116 vsize=7658672 CPUtime=0.17 cores=0,2
/proc/13118/task/13134/stat : 13134 (java) S 13116 13118 11570 0 -1 4202560 1246 0 0 0 17 0 0 0 15 0 19 0 548918709 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 0 0 0 0
[pid=13118/tid=13135] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13135/stat : 13135 (java) S 13116 13118 11570 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 548918709 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032211865 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13136] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13136/stat : 13136 (java) S 13116 13118 11570 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 548918709 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
[pid=13118/tid=13140] ppid=13116 vsize=7658672 CPUtime=0 cores=0,2
/proc/13118/task/13140/stat : 13140 (java) S 13116 13118 11570 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 548918751 7842480128 69845 33554432000 1073741824 1073778376 140736027511184 18446744073709551615 260032212480 0 4 0 16800975 18446604453930384192 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1301.26
Current children cumulated vsize (KiB) 7658672
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1300.06
CPU time (s): 1301.36
CPU user time (s): 1301.24
CPU system time (s): 0.122981
CPU usage (%): 100.1
Max. virtual memory (cumulated for all children) (KiB): 7664036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1301.24
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74375
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= 27769
involuntary context switches= 4891
runsolver used 2.26365 second user time and 4.84726 second system time
The end