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-3458570-1307148150/watcher-3458570-1307148150 -o /tmp/evaluation-result-3458570-1307148150/solver-3458570-1307148150 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458570-1307148150.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.05 1.96 2/572 28561
/proc/meminfo: memFree=23571012/32951124 swapFree=58940260/67111528
[pid=28561] ppid=28559 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28561/stat : 28561 (java) S 28559 28561 26823 0 -1 4202496 4562 0 1 0 0 0 0 0 23 0 2 0 826412786 13850947584 4263 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699477989 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/28561/statm: 3381579 4276 917 9 0 3372735 0
[pid=28561/tid=28562] ppid=28559 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28562/stat : 28562 (java) R 28559 28561 26823 0 -1 4202560 6911 0 1 0 0 0 0 0 24 0 2 0 826412786 13850947584 7728 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0660759 s]
/proc/loadavg: 2.07 2.05 1.96 2/572 28561
/proc/meminfo: memFree=23571012/32951124 swapFree=58940260/67111528
[pid=28561] ppid=28559 vsize=13554756 CPUtime=0.05 cores=1,3,5,7
/proc/28561/stat : 28561 (java) S 28559 28561 26823 0 -1 4202496 14114 0 1 0 4 1 0 0 23 0 18 0 826412786 13880070144 13810 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28561/statm: 3388689 13810 1721 9 0 3379437 0
[pid=28561/tid=28562] ppid=28559 vsize=13554756 CPUtime=0.04 cores=1,3,5,7
/proc/28561/task/28562/stat : 28562 (java) R 28559 28561 26823 0 -1 4202560 12940 0 1 0 3 1 0 0 25 0 18 0 826412786 13880070144 13811 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 47738824531875 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13554756
[startup+0.101093 s]
/proc/loadavg: 2.07 2.05 1.96 2/572 28561
/proc/meminfo: memFree=23571012/32951124 swapFree=58940260/67111528
[pid=28561] ppid=28559 vsize=13622128 CPUtime=0.1 cores=1,3,5,7
/proc/28561/stat : 28561 (java) S 28559 28561 26823 0 -1 4202496 15501 0 1 0 8 2 0 0 23 0 18 0 826412786 13949059072 15166 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28561/statm: 3405532 15167 2092 9 0 3396266 0
[pid=28561/tid=28562] ppid=28559 vsize=13622128 CPUtime=0.08 cores=1,3,5,7
/proc/28561/task/28562/stat : 28562 (java) R 28559 28561 26823 0 -1 4202560 13559 0 1 0 7 1 0 0 18 0 18 0 826412786 13949059072 15167 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622128
[startup+0.30106 s]
/proc/loadavg: 2.07 2.05 1.96 2/572 28561
/proc/meminfo: memFree=23571012/32951124 swapFree=58940260/67111528
[pid=28561] ppid=28559 vsize=13624092 CPUtime=0.48 cores=1,3,5,7
/proc/28561/stat : 28561 (java) S 28559 28561 26823 0 -1 4202496 18821 0 1 0 45 3 0 0 23 0 18 0 826412786 13951070208 18248 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28561/statm: 3406023 18249 2200 9 0 3396757 0
[pid=28561/tid=28562] ppid=28559 vsize=13624092 CPUtime=0.28 cores=1,3,5,7
/proc/28561/task/28562/stat : 28562 (java) R 28559 28561 26823 0 -1 4202560 15948 0 1 0 26 2 0 0 18 0 18 0 826412786 13951070208 18250 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 13624092
[startup+0.70096 s]
/proc/loadavg: 2.07 2.05 1.96 2/572 28561
/proc/meminfo: memFree=23571012/32951124 swapFree=58940260/67111528
[pid=28561] ppid=28559 vsize=13628940 CPUtime=1.38 cores=1,3,5,7
/proc/28561/stat : 28561 (java) S 28559 28561 26823 0 -1 4202496 28722 0 1 0 134 4 0 0 23 0 19 0 826412786 13956034560 25484 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28561/statm: 3407235 25484 2234 9 0 3397969 0
[pid=28561/tid=28562] ppid=28559 vsize=13628940 CPUtime=0.68 cores=1,3,5,7
/proc/28561/task/28562/stat : 28562 (java) R 28559 28561 26823 0 -1 4202560 21221 0 1 0 65 3 0 0 19 0 19 0 826412786 13956034560 25484 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 46912505793822 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 13628940
[startup+1.50081 s]
/proc/loadavg: 2.07 2.05 1.96 3/612 28619
/proc/meminfo: memFree=23415496/32951124 swapFree=58940260/67111528
[pid=28561] ppid=28559 vsize=13628940 CPUtime=2.23 cores=1,3,5,7
/proc/28561/stat : 28561 (java) S 28559 28561 26823 0 -1 4202496 28823 0 1 0 219 4 0 0 23 0 19 0 826412786 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28561/statm: 3407235 25585 2235 9 0 3397969 0
[pid=28561/tid=28562] ppid=28559 vsize=13628940 CPUtime=1.48 cores=1,3,5,7
/proc/28561/task/28562/stat : 28562 (java) R 28559 28561 26823 0 -1 4202560 21309 0 1 0 145 3 0 0 20 0 19 0 826412786 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 46912505832369 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28561/tid=28564] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28564/stat : 28564 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28565] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28565/stat : 28565 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28566] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28566/stat : 28566 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28567] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28567/stat : 28567 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28568] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28568/stat : 28568 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28569] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28569/stat : 28569 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28570] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28570/stat : 28570 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28571] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28571/stat : 28571 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28572] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28572/stat : 28572 (java) S 28559 28561 26823 0 -1 4202560 5 0 0 0 0 0 0 0 21 0 19 0 826412789 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 0 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28573] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28573/stat : 28573 (java) S 28559 28561 26823 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826412790 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28574] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28574/stat : 28574 (java) S 28559 28561 26823 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826412790 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28575] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28575/stat : 28575 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699498929 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28576] ppid=28559 vsize=13628940 CPUtime=0.41 cores=1,3,5,7
/proc/28561/task/28576/stat : 28576 (java) S 28559 28561 26823 0 -1 4202560 2554 0 0 0 41 0 0 0 24 0 19 0 826412792 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28577] ppid=28559 vsize=13628940 CPUtime=0.32 cores=1,3,5,7
/proc/28561/task/28577/stat : 28577 (java) S 28559 28561 26823 0 -1 4202560 3799 0 0 0 32 0 0 0 23 0 19 0 826412792 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28578] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28578/stat : 28578 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28579] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28579/stat : 28579 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826412792 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28618] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28618/stat : 28618 (java) S 28559 28561 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826412836 13956034560 25585 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 13628940
[startup+3.10152 s]
/proc/loadavg: 2.07 2.05 1.96 3/612 28619
/proc/meminfo: memFree=23396524/32951124 swapFree=58940260/67111528
[pid=28561] ppid=28559 vsize=13628940 CPUtime=3.83 cores=1,3,5,7
/proc/28561/stat : 28561 (java) S 28559 28561 26823 0 -1 4202496 28963 0 1 0 379 4 0 0 23 0 19 0 826412786 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28561/statm: 3407235 25724 2235 9 0 3397969 0
[pid=28561/tid=28562] ppid=28559 vsize=13628940 CPUtime=3.08 cores=1,3,5,7
/proc/28561/task/28562/stat : 28562 (java) R 28559 28561 26823 0 -1 4202560 21448 0 1 0 305 3 0 0 25 0 19 0 826412786 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 46912505788967 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28561/tid=28564] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28564/stat : 28564 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28565] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28565/stat : 28565 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28566] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28566/stat : 28566 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28567] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28567/stat : 28567 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28568] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28568/stat : 28568 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28569] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28569/stat : 28569 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28570] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28570/stat : 28570 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28571] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28571/stat : 28571 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412788 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28572] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28572/stat : 28572 (java) S 28559 28561 26823 0 -1 4202560 6 0 0 0 0 0 0 0 18 0 19 0 826412789 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 0 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28573] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28573/stat : 28573 (java) S 28559 28561 26823 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826412790 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28574] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28574/stat : 28574 (java) S 28559 28561 26823 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826412790 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28575] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28575/stat : 28575 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699498929 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28576] ppid=28559 vsize=13628940 CPUtime=0.41 cores=1,3,5,7
/proc/28561/task/28576/stat : 28576 (java) S 28559 28561 26823 0 -1 4202560 2554 0 0 0 41 0 0 0 18 0 19 0 826412792 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28577] ppid=28559 vsize=13628940 CPUtime=0.32 cores=1,3,5,7
/proc/28561/task/28577/stat : 28577 (java) S 28559 28561 26823 0 -1 4202560 3799 0 0 0 32 0 0 0 18 0 19 0 826412792 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28578] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28578/stat : 28578 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28579] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28579/stat : 28579 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826412792 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28618] ppid=28559 vsize=13628940 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28618/stat : 28618 (java) S 28559 28561 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826412836 13956034560 25724 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.83
Current children cumulated vsize (KiB) 13628940
[startup+6.30094 s]
/proc/loadavg: 2.06 2.05 1.96 3/612 28619
/proc/meminfo: memFree=23369604/32951124 swapFree=58940260/67111528
[pid=28561] ppid=28559 vsize=13628688 CPUtime=7.24 cores=1,3,5,7
/proc/28561/stat : 28561 (java) S 28559 28561 26823 0 -1 4202496 32640 0 1 0 719 5 0 0 23 0 19 0 826412786 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28561/statm: 3407172 27716 2263 9 0 3397906 0
[pid=28561/tid=28562] ppid=28559 vsize=13628688 CPUtime=6.25 cores=1,3,5,7
/proc/28561/task/28562/stat : 28562 (java) R 28559 28561 26823 0 -1 4202560 21526 0 1 0 622 3 0 0 25 0 19 0 826412786 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 46912505793906 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28561/tid=28564] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28564/stat : 28564 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826412788 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28565] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28565/stat : 28565 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826412788 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28566] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28566/stat : 28566 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826412788 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28567] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28567/stat : 28567 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826412788 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28568] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28568/stat : 28568 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826412788 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28569] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28569/stat : 28569 (java) S 28559 28561 26823 0 -1 4202560 319 0 0 0 0 0 0 0 18 0 19 0 826412788 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28570] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28570/stat : 28570 (java) S 28559 28561 26823 0 -1 4202560 264 0 0 0 0 0 0 0 18 0 19 0 826412788 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28571] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28571/stat : 28571 (java) S 28559 28561 26823 0 -1 4202560 367 0 0 0 0 0 0 0 17 0 19 0 826412788 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28572] ppid=28559 vsize=13628688 CPUtime=0.01 cores=1,3,5,7
/proc/28561/task/28572/stat : 28572 (java) S 28559 28561 26823 0 -1 4202560 954 0 0 0 1 0 0 0 15 0 19 0 826412789 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 0 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28573] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28573/stat : 28573 (java) S 28559 28561 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826412790 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28574] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28574/stat : 28574 (java) S 28559 28561 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826412790 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28575] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28575/stat : 28575 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699498929 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28576] ppid=28559 vsize=13628688 CPUtime=0.56 cores=1,3,5,7
/proc/28561/task/28576/stat : 28576 (java) S 28559 28561 26823 0 -1 4202560 4030 0 0 0 56 0 0 0 15 0 19 0 826412792 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28577] ppid=28559 vsize=13628688 CPUtime=0.36 cores=1,3,5,7
/proc/28561/task/28577/stat : 28577 (java) S 28559 28561 26823 0 -1 4202560 4024 0 0 0 36 0 0 0 17 0 19 0 826412792 13955776512 27716 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
################
# More data... #
################
[pid=28561/tid=28569] ppid=28559 vsize=13628688 CPUtime=0.05 cores=1,3,5,7
/proc/28561/task/28569/stat : 28569 (java) S 28559 28561 26823 0 -1 4202560 604 0 0 0 5 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28570] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28570/stat : 28570 (java) S 28559 28561 26823 0 -1 4202560 270 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28571] ppid=28559 vsize=13628688 CPUtime=0.08 cores=1,3,5,7
/proc/28561/task/28571/stat : 28571 (java) S 28559 28561 26823 0 -1 4202560 383 0 0 0 8 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28572] ppid=28559 vsize=13628688 CPUtime=3.32 cores=1,3,5,7
/proc/28561/task/28572/stat : 28572 (java) S 28559 28561 26823 0 -1 4202560 2195 0 0 0 331 1 0 0 15 0 19 0 826412789 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 0 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28573] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28573/stat : 28573 (java) S 28559 28561 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826412790 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28574] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28574/stat : 28574 (java) S 28559 28561 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826412790 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28575] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28575/stat : 28575 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699498929 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28576] ppid=28559 vsize=13628688 CPUtime=0.65 cores=1,3,5,7
/proc/28561/task/28576/stat : 28576 (java) S 28559 28561 26823 0 -1 4202560 4044 0 0 0 65 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28577] ppid=28559 vsize=13628688 CPUtime=0.39 cores=1,3,5,7
/proc/28561/task/28577/stat : 28577 (java) S 28559 28561 26823 0 -1 4202560 4024 0 0 0 39 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28578] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28578/stat : 28578 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28579] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28579/stat : 28579 (java) S 28559 28561 26823 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 1 0 0 0
[pid=28561/tid=28618] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28618/stat : 28618 (java) S 28559 28561 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826412836 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1663.69
Current children cumulated vsize (KiB) 13628688
[startup+1722.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/612 28679
/proc/meminfo: memFree=23327996/32951124 swapFree=58940260/67111528
[pid=28561] ppid=28559 vsize=13628688 CPUtime=1723.7 cores=1,3,5,7
/proc/28561/stat : 28561 (java) S 28559 28561 26823 0 -1 4202496 34973 0 1 0 172362 8 0 0 23 0 19 0 826412786 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28561/statm: 3407172 29700 2264 9 0 3397906 0
[pid=28561/tid=28562] ppid=28559 vsize=13628688 CPUtime=1718.54 cores=1,3,5,7
/proc/28561/task/28562/stat : 28562 (java) R 28559 28561 26823 0 -1 4202560 21674 0 1 0 171851 3 0 0 25 0 19 0 826412786 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 46912505801828 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28561/tid=28564] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28564/stat : 28564 (java) S 28559 28561 26823 0 -1 4202560 101 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 1 0 0 0
[pid=28561/tid=28565] ppid=28559 vsize=13628688 CPUtime=0.08 cores=1,3,5,7
/proc/28561/task/28565/stat : 28565 (java) S 28559 28561 26823 0 -1 4202560 188 0 0 0 8 0 0 0 16 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 1 0 0 0
[pid=28561/tid=28566] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28566/stat : 28566 (java) S 28559 28561 26823 0 -1 4202560 149 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28567] ppid=28559 vsize=13628688 CPUtime=0.08 cores=1,3,5,7
/proc/28561/task/28567/stat : 28567 (java) S 28559 28561 26823 0 -1 4202560 44 0 0 0 8 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28568] ppid=28559 vsize=13628688 CPUtime=0.07 cores=1,3,5,7
/proc/28561/task/28568/stat : 28568 (java) S 28559 28561 26823 0 -1 4202560 42 0 0 0 7 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28569] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28569/stat : 28569 (java) S 28559 28561 26823 0 -1 4202560 604 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28570] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28570/stat : 28570 (java) S 28559 28561 26823 0 -1 4202560 270 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28571] ppid=28559 vsize=13628688 CPUtime=0.08 cores=1,3,5,7
/proc/28561/task/28571/stat : 28571 (java) S 28559 28561 26823 0 -1 4202560 383 0 0 0 8 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28572] ppid=28559 vsize=13628688 CPUtime=3.47 cores=1,3,5,7
/proc/28561/task/28572/stat : 28572 (java) S 28559 28561 26823 0 -1 4202560 2199 0 0 0 345 2 0 0 16 0 19 0 826412789 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 0 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28573] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28573/stat : 28573 (java) S 28559 28561 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826412790 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28574] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28574/stat : 28574 (java) S 28559 28561 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826412790 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28575] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28575/stat : 28575 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699498929 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28576] ppid=28559 vsize=13628688 CPUtime=0.65 cores=1,3,5,7
/proc/28561/task/28576/stat : 28576 (java) S 28559 28561 26823 0 -1 4202560 4044 0 0 0 65 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28577] ppid=28559 vsize=13628688 CPUtime=0.39 cores=1,3,5,7
/proc/28561/task/28577/stat : 28577 (java) S 28559 28561 26823 0 -1 4202560 4024 0 0 0 39 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28578] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28578/stat : 28578 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28579] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28579/stat : 28579 (java) S 28559 28561 26823 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 1 0 0 0
[pid=28561/tid=28618] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28618/stat : 28618 (java) S 28559 28561 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826412836 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1723.7
Current children cumulated vsize (KiB) 13628688
[startup+1782.3 s]
/proc/loadavg: 2.01 2.05 2.01 3/612 28680
/proc/meminfo: memFree=23328056/32951124 swapFree=58940260/67111528
[pid=28561] ppid=28559 vsize=13628688 CPUtime=1783.71 cores=1,3,5,7
/proc/28561/stat : 28561 (java) S 28559 28561 26823 0 -1 4202496 34982 0 1 0 178363 8 0 0 23 0 19 0 826412786 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28561/statm: 3407172 29700 2264 9 0 3397906 0
[pid=28561/tid=28562] ppid=28559 vsize=13628688 CPUtime=1778.42 cores=1,3,5,7
/proc/28561/task/28562/stat : 28562 (java) R 28559 28561 26823 0 -1 4202560 21679 0 1 0 177839 3 0 0 25 0 19 0 826412786 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 46912505831777 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28561/tid=28564] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28564/stat : 28564 (java) S 28559 28561 26823 0 -1 4202560 101 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 1 0 0 0
[pid=28561/tid=28565] ppid=28559 vsize=13628688 CPUtime=0.08 cores=1,3,5,7
/proc/28561/task/28565/stat : 28565 (java) S 28559 28561 26823 0 -1 4202560 188 0 0 0 8 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28566] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28566/stat : 28566 (java) S 28559 28561 26823 0 -1 4202560 149 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 1 0 0 0
[pid=28561/tid=28567] ppid=28559 vsize=13628688 CPUtime=0.08 cores=1,3,5,7
/proc/28561/task/28567/stat : 28567 (java) S 28559 28561 26823 0 -1 4202560 44 0 0 0 8 0 0 0 16 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28568] ppid=28559 vsize=13628688 CPUtime=0.07 cores=1,3,5,7
/proc/28561/task/28568/stat : 28568 (java) S 28559 28561 26823 0 -1 4202560 42 0 0 0 7 0 0 0 16 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28569] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28569/stat : 28569 (java) S 28559 28561 26823 0 -1 4202560 604 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28570] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28570/stat : 28570 (java) S 28559 28561 26823 0 -1 4202560 270 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28571] ppid=28559 vsize=13628688 CPUtime=0.08 cores=1,3,5,7
/proc/28561/task/28571/stat : 28571 (java) S 28559 28561 26823 0 -1 4202560 383 0 0 0 8 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28572] ppid=28559 vsize=13628688 CPUtime=3.6 cores=1,3,5,7
/proc/28561/task/28572/stat : 28572 (java) S 28559 28561 26823 0 -1 4202560 2201 0 0 0 358 2 0 0 15 0 19 0 826412789 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 0 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28573] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28573/stat : 28573 (java) S 28559 28561 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826412790 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28574] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28574/stat : 28574 (java) S 28559 28561 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826412790 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28575] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28575/stat : 28575 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699498929 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28576] ppid=28559 vsize=13628688 CPUtime=0.65 cores=1,3,5,7
/proc/28561/task/28576/stat : 28576 (java) S 28559 28561 26823 0 -1 4202560 4044 0 0 0 65 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28577] ppid=28559 vsize=13628688 CPUtime=0.39 cores=1,3,5,7
/proc/28561/task/28577/stat : 28577 (java) S 28559 28561 26823 0 -1 4202560 4024 0 0 0 39 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28578] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28578/stat : 28578 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28579] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28579/stat : 28579 (java) S 28559 28561 26823 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 1 0 0 0
[pid=28561/tid=28618] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28618/stat : 28618 (java) S 28559 28561 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826412836 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1783.71
Current children cumulated vsize (KiB) 13628688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.6 s]
/proc/loadavg: 1.93 2.03 2.00 2/592 28684
/proc/meminfo: memFree=23468436/32951124 swapFree=58940260/67111528
[pid=28561] ppid=28559 vsize=13628688 CPUtime=1800.02 cores=1,3,5,7
/proc/28561/stat : 28561 (java) S 28559 28561 26823 0 -1 4202496 34987 0 1 0 179994 8 0 0 23 0 19 0 826412786 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/28561/statm: 3407172 29700 2264 9 0 3397906 0
[pid=28561/tid=28562] ppid=28559 vsize=13628688 CPUtime=1794.71 cores=1,3,5,7
/proc/28561/task/28562/stat : 28562 (java) R 28559 28561 26823 0 -1 4202560 21680 0 1 0 179468 3 0 0 25 0 19 0 826412786 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 46912505794171 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=28561/tid=28564] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28564/stat : 28564 (java) S 28559 28561 26823 0 -1 4202560 101 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 1 0 0 0
[pid=28561/tid=28565] ppid=28559 vsize=13628688 CPUtime=0.08 cores=1,3,5,7
/proc/28561/task/28565/stat : 28565 (java) S 28559 28561 26823 0 -1 4202560 188 0 0 0 8 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28566] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28566/stat : 28566 (java) S 28559 28561 26823 0 -1 4202560 149 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 1 0 0 0
[pid=28561/tid=28567] ppid=28559 vsize=13628688 CPUtime=0.08 cores=1,3,5,7
/proc/28561/task/28567/stat : 28567 (java) S 28559 28561 26823 0 -1 4202560 44 0 0 0 8 0 0 0 16 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28568] ppid=28559 vsize=13628688 CPUtime=0.07 cores=1,3,5,7
/proc/28561/task/28568/stat : 28568 (java) S 28559 28561 26823 0 -1 4202560 42 0 0 0 7 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28569] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28569/stat : 28569 (java) S 28559 28561 26823 0 -1 4202560 604 0 0 0 6 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28570] ppid=28559 vsize=13628688 CPUtime=0.06 cores=1,3,5,7
/proc/28561/task/28570/stat : 28570 (java) S 28559 28561 26823 0 -1 4202560 270 0 0 0 6 0 0 0 16 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28571] ppid=28559 vsize=13628688 CPUtime=0.08 cores=1,3,5,7
/proc/28561/task/28571/stat : 28571 (java) S 28559 28561 26823 0 -1 4202560 383 0 0 0 8 0 0 0 15 0 19 0 826412788 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28572] ppid=28559 vsize=13628688 CPUtime=3.62 cores=1,3,5,7
/proc/28561/task/28572/stat : 28572 (java) S 28559 28561 26823 0 -1 4202560 2203 0 0 0 360 2 0 0 15 0 19 0 826412789 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 0 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28573] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28573/stat : 28573 (java) S 28559 28561 26823 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826412790 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28574] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28574/stat : 28574 (java) S 28559 28561 26823 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826412790 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28575] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28575/stat : 28575 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699498929 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28576] ppid=28559 vsize=13628688 CPUtime=0.65 cores=1,3,5,7
/proc/28561/task/28576/stat : 28576 (java) S 28559 28561 26823 0 -1 4202560 4044 0 0 0 65 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 5 0 0 0
[pid=28561/tid=28577] ppid=28559 vsize=13628688 CPUtime=0.39 cores=1,3,5,7
/proc/28561/task/28577/stat : 28577 (java) S 28559 28561 26823 0 -1 4202560 4024 0 0 0 39 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 7 0 0 0
[pid=28561/tid=28578] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28578/stat : 28578 (java) S 28559 28561 26823 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491225 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
[pid=28561/tid=28579] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28579/stat : 28579 (java) S 28559 28561 26823 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826412792 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 1 0 0 0
[pid=28561/tid=28618] ppid=28559 vsize=13628688 CPUtime=0 cores=1,3,5,7
/proc/28561/task/28618/stat : 28618 (java) S 28559 28561 26823 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826412836 13955776512 29700 33554432000 1073741824 1073778376 140736820340896 18446744073709551615 212699491840 0 4 0 16800975 18446604470159161408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13628688
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): 1798.65
CPU time (s): 1800.08
CPU user time (s): 1799.99
CPU system time (s): 0.096985
CPU usage (%): 100.08
Max. virtual memory (cumulated for all children) (KiB): 13632380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35023
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= 41223
involuntary context switches= 7837
runsolver used 10.0245 second user time and 24.3813 second system time
The end