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-3459844-1307168828/watcher-3459844-1307168828 -o /tmp/evaluation-result-3459844-1307168828/solver-3459844-1307168828 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459844-1307168828.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 10559
/proc/meminfo: memFree=21324560/32950928 swapFree=67056580/67111528
[pid=10559] ppid=10557 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/10559/stat : 10559 (java) S 10557 10559 10194 0 -1 4202496 1549 0 1 0 0 0 0 0 25 0 2 0 828479822 13833195520 1251 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/10559/statm: 3377245 1265 906 9 0 3368401 0
[pid=10559/tid=10560] ppid=10557 vsize=13526316 CPUtime=0.01 cores=0,2,4,6
/proc/10559/task/10560/stat : 10560 (java) R 10557 10559 10194 0 -1 4202560 6211 0 1 0 0 1 0 0 25 0 2 0 828479822 13850947584 7028 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239476388923 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.117958 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 10559
/proc/meminfo: memFree=21324560/32950928 swapFree=67056580/67111528
[pid=10559] ppid=10557 vsize=13622248 CPUtime=0.13 cores=0,2,4,6
/proc/10559/stat : 10559 (java) S 10557 10559 10194 0 -1 4202496 15795 0 1 0 11 2 0 0 25 0 18 0 828479822 13949181952 15448 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10559/statm: 3405562 15448 2125 9 0 3396296 0
[pid=10559/tid=10560] ppid=10557 vsize=13622248 CPUtime=0.09 cores=0,2,4,6
/proc/10559/task/10560/stat : 10560 (java) R 10557 10559 10194 0 -1 4202560 13802 0 1 0 8 1 0 0 18 0 18 0 828479822 13949181952 15448 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 46912496199246 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13622248
[startup+0.200984 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 10559
/proc/meminfo: memFree=21324560/32950928 swapFree=67056580/67111528
[pid=10559] ppid=10557 vsize=13622684 CPUtime=0.26 cores=0,2,4,6
/proc/10559/stat : 10559 (java) S 10557 10559 10194 0 -1 4202496 16535 0 1 0 24 2 0 0 25 0 18 0 828479822 13949628416 16188 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10559/statm: 3405671 16188 2169 9 0 3396405 0
[pid=10559/tid=10560] ppid=10557 vsize=13622684 CPUtime=0.19 cores=0,2,4,6
/proc/10559/task/10560/stat : 10560 (java) R 10557 10559 10194 0 -1 4202560 14394 0 1 0 17 2 0 0 18 0 18 0 828479822 13949628416 16188 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 47496549848712 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13622684
[startup+0.308958 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 10559
/proc/meminfo: memFree=21324560/32950928 swapFree=67056580/67111528
[pid=10559] ppid=10557 vsize=13624672 CPUtime=0.51 cores=0,2,4,6
/proc/10559/stat : 10559 (java) S 10557 10559 10194 0 -1 4202496 19337 0 1 0 49 2 0 0 25 0 18 0 828479822 13951664128 18475 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10559/statm: 3406168 18476 2201 9 0 3396902 0
[pid=10559/tid=10560] ppid=10557 vsize=13624672 CPUtime=0.29 cores=0,2,4,6
/proc/10559/task/10560/stat : 10560 (java) R 10557 10559 10194 0 -1 4202560 15703 0 1 0 27 2 0 0 18 0 18 0 828479822 13951664128 18476 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 46912505588790 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 13624672
[startup+0.700851 s]
/proc/loadavg: 2.00 2.03 2.00 2/572 10559
/proc/meminfo: memFree=21324560/32950928 swapFree=67056580/67111528
[pid=10559] ppid=10557 vsize=13626656 CPUtime=1.22 cores=0,2,4,6
/proc/10559/stat : 10559 (java) S 10557 10559 10194 0 -1 4202496 49403 0 1 0 115 7 0 0 25 0 18 0 828479822 13953695744 46697 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10559/statm: 3406664 46698 2221 9 0 3397398 0
[pid=10559/tid=10560] ppid=10557 vsize=13626656 CPUtime=0.68 cores=0,2,4,6
/proc/10559/task/10560/stat : 10560 (java) R 10557 10559 10194 0 -1 4202560 42920 0 1 0 62 6 0 0 18 0 18 0 828479822 13953695744 46698 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 13626656
[startup+1.50069 s]
/proc/loadavg: 2.00 2.03 2.00 3/591 10578
/proc/meminfo: memFree=21127876/32950928 swapFree=67056580/67111528
[pid=10559] ppid=10557 vsize=13627844 CPUtime=2.52 cores=0,2,4,6
/proc/10559/stat : 10559 (java) S 10557 10559 10194 0 -1 4202496 55101 0 1 0 244 8 0 0 25 0 19 0 828479822 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10559/statm: 3406961 50980 2234 9 0 3397695 0
[pid=10559/tid=10560] ppid=10557 vsize=13627844 CPUtime=1.48 cores=0,2,4,6
/proc/10559/task/10560/stat : 10560 (java) R 10557 10559 10194 0 -1 4202560 46989 0 1 0 142 6 0 0 18 0 19 0 828479822 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 46912505920874 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10559/tid=10562] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10562/stat : 10562 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479824 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10563] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10563/stat : 10563 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479824 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10564] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10564/stat : 10564 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479824 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10565] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10565/stat : 10565 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479824 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10566] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10566/stat : 10566 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479824 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10567] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10567/stat : 10567 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479824 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10568] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10568/stat : 10568 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479824 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10569] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10569/stat : 10569 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479824 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10570] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10570/stat : 10570 (java) S 10557 10559 10194 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 828479825 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 0 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10571] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10571/stat : 10571 (java) S 10557 10559 10194 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 828479826 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10572] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10572/stat : 10572 (java) S 10557 10559 10194 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828479826 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10573] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10573/stat : 10573 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488518577 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10574] ppid=10557 vsize=13627844 CPUtime=0.55 cores=0,2,4,6
/proc/10559/task/10574/stat : 10574 (java) S 10557 10559 10194 0 -1 4202560 2965 0 0 0 55 0 0 0 21 0 19 0 828479828 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10575] ppid=10557 vsize=13627844 CPUtime=0.46 cores=0,2,4,6
/proc/10559/task/10575/stat : 10575 (java) S 10557 10559 10194 0 -1 4202560 3986 0 0 0 46 0 0 0 15 0 19 0 828479828 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10576] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10576/stat : 10576 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10577] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10577/stat : 10577 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828479828 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10578] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10578/stat : 10578 (java) S 10557 10559 10194 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828479904 13954912256 50980 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 13627844
[startup+3.10139 s]
/proc/loadavg: 2.00 2.03 2.00 3/591 10578
/proc/meminfo: memFree=21125576/32950928 swapFree=67056580/67111528
[pid=10559] ppid=10557 vsize=13627844 CPUtime=4.22 cores=0,2,4,6
/proc/10559/stat : 10559 (java) S 10557 10559 10194 0 -1 4202496 59956 0 1 0 413 9 0 0 25 0 19 0 828479822 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10559/statm: 3406961 55767 2262 9 0 3397695 0
[pid=10559/tid=10560] ppid=10557 vsize=13627844 CPUtime=3.03 cores=0,2,4,6
/proc/10559/task/10560/stat : 10560 (java) R 10557 10559 10194 0 -1 4202560 47209 0 1 0 297 6 0 0 20 0 19 0 828479822 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 46912505937504 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10559/tid=10562] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10562/stat : 10562 (java) S 10557 10559 10194 0 -1 4202560 819 0 0 0 0 0 0 0 18 0 19 0 828479824 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10563] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10563/stat : 10563 (java) S 10557 10559 10194 0 -1 4202560 822 0 0 0 0 0 0 0 18 0 19 0 828479824 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10564] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10564/stat : 10564 (java) S 10557 10559 10194 0 -1 4202560 554 0 0 0 0 0 0 0 18 0 19 0 828479824 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
[pid=10559/tid=10565] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10565/stat : 10565 (java) S 10557 10559 10194 0 -1 4202560 86 0 0 0 0 0 0 0 18 0 19 0 828479824 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10566] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10566/stat : 10566 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828479824 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10567] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10567/stat : 10567 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828479824 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
[pid=10559/tid=10568] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10568/stat : 10568 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828479824 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10569] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10569/stat : 10569 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828479824 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10570] ppid=10557 vsize=13627844 CPUtime=0.03 cores=0,2,4,6
/proc/10559/task/10570/stat : 10570 (java) S 10557 10559 10194 0 -1 4202560 2279 0 0 0 3 0 0 0 16 0 19 0 828479825 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 0 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10571] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10571/stat : 10571 (java) S 10557 10559 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828479826 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10572] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10572/stat : 10572 (java) S 10557 10559 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828479826 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10573] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10573/stat : 10573 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488518577 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10574] ppid=10557 vsize=13627844 CPUtime=0.6 cores=0,2,4,6
/proc/10559/task/10574/stat : 10574 (java) S 10557 10559 10194 0 -1 4202560 2976 0 0 0 60 0 0 0 15 0 19 0 828479828 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10575] ppid=10557 vsize=13627844 CPUtime=0.49 cores=0,2,4,6
/proc/10559/task/10575/stat : 10575 (java) S 10557 10559 10194 0 -1 4202560 4057 0 0 0 49 0 0 0 15 0 19 0 828479828 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10576] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10576/stat : 10576 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10577] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10577/stat : 10577 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828479828 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
[pid=10559/tid=10578] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10578/stat : 10578 (java) S 10557 10559 10194 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828479904 13954912256 55767 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 13627844
[startup+6.30071 s]
/proc/loadavg: 2.00 2.03 2.00 3/591 10578
/proc/meminfo: memFree=21105480/32950928 swapFree=67056580/67111528
[pid=10559] ppid=10557 vsize=13627844 CPUtime=7.75 cores=0,2,4,6
/proc/10559/stat : 10559 (java) S 10557 10559 10194 0 -1 4202496 67211 0 1 0 765 10 0 0 25 0 19 0 828479822 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10559/statm: 3406961 60706 2262 9 0 3397695 0
[pid=10559/tid=10560] ppid=10557 vsize=13627844 CPUtime=6.15 cores=0,2,4,6
/proc/10559/task/10560/stat : 10560 (java) R 10557 10559 10194 0 -1 4202560 47213 0 1 0 609 6 0 0 25 0 19 0 828479822 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 46912505983458 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=10559/tid=10562] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10562/stat : 10562 (java) S 10557 10559 10194 0 -1 4202560 909 0 0 0 0 0 0 0 18 0 19 0 828479824 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
[pid=10559/tid=10563] ppid=10557 vsize=13627844 CPUtime=0.01 cores=0,2,4,6
/proc/10559/task/10563/stat : 10563 (java) S 10557 10559 10194 0 -1 4202560 822 0 0 0 1 0 0 0 16 0 19 0 828479824 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10564] ppid=10557 vsize=13627844 CPUtime=0.01 cores=0,2,4,6
/proc/10559/task/10564/stat : 10564 (java) S 10557 10559 10194 0 -1 4202560 556 0 0 0 1 0 0 0 16 0 19 0 828479824 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
[pid=10559/tid=10565] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10565/stat : 10565 (java) S 10557 10559 10194 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 19 0 828479824 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10566] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10566/stat : 10566 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828479824 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10567] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10567/stat : 10567 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828479824 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
[pid=10559/tid=10568] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10568/stat : 10568 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828479824 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10569] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10569/stat : 10569 (java) S 10557 10559 10194 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 19 0 828479824 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10570] ppid=10557 vsize=13627844 CPUtime=0.09 cores=0,2,4,6
/proc/10559/task/10570/stat : 10570 (java) S 10557 10559 10194 0 -1 4202560 2692 0 0 0 9 0 0 0 15 0 19 0 828479825 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 0 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10571] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10571/stat : 10571 (java) S 10557 10559 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828479826 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10572] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10572/stat : 10572 (java) S 10557 10559 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828479826 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10573] ppid=10557 vsize=13627844 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10573/stat : 10573 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488518577 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10574] ppid=10557 vsize=13627844 CPUtime=0.66 cores=0,2,4,6
/proc/10559/task/10574/stat : 10574 (java) S 10557 10559 10194 0 -1 4202560 2978 0 0 0 66 0 0 0 15 0 19 0 828479828 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10575] ppid=10557 vsize=13627844 CPUtime=0.78 cores=0,2,4,6
/proc/10559/task/10575/stat : 10575 (java) R 10557 10559 10194 0 -1 4202560 10545 0 0 0 76 2 0 0 16 0 19 0 828479828 13954912256 60706 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 47496551567567 0 4 0 16800975 0 0 0 -1 2 0 0 0
################
# More data... #
################
[pid=10559/tid=10567] ppid=10557 vsize=13627312 CPUtime=0.11 cores=0,2,4,6
/proc/10559/task/10567/stat : 10567 (java) S 10557 10559 10194 0 -1 4202560 121 0 0 0 11 0 0 0 16 0 19 0 828479824 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
[pid=10559/tid=10568] ppid=10557 vsize=13627312 CPUtime=0.1 cores=0,2,4,6
/proc/10559/task/10568/stat : 10568 (java) S 10557 10559 10194 0 -1 4202560 620 0 0 0 10 0 0 0 15 0 19 0 828479824 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10569] ppid=10557 vsize=13627312 CPUtime=0.09 cores=0,2,4,6
/proc/10559/task/10569/stat : 10569 (java) S 10557 10559 10194 0 -1 4202560 221 0 0 0 9 0 0 0 16 0 19 0 828479824 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
[pid=10559/tid=10570] ppid=10557 vsize=13627312 CPUtime=4.43 cores=0,2,4,6
/proc/10559/task/10570/stat : 10570 (java) S 10557 10559 10194 0 -1 4202560 6749 0 0 0 441 2 0 0 15 0 19 0 828479825 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 0 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10571] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10571/stat : 10571 (java) S 10557 10559 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828479826 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10572] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10572/stat : 10572 (java) S 10557 10559 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828479826 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10573] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10573/stat : 10573 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488518577 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10574] ppid=10557 vsize=13627312 CPUtime=1.15 cores=0,2,4,6
/proc/10559/task/10574/stat : 10574 (java) S 10557 10559 10194 0 -1 4202560 5506 0 0 0 115 0 0 0 15 0 19 0 828479828 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10575] ppid=10557 vsize=13627312 CPUtime=0.94 cores=0,2,4,6
/proc/10559/task/10575/stat : 10575 (java) S 10557 10559 10194 0 -1 4202560 11752 0 0 0 92 2 0 0 15 0 19 0 828479828 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10576] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10576/stat : 10576 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10577] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10577/stat : 10577 (java) S 10557 10559 10194 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 828479828 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10578] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10578/stat : 10578 (java) S 10557 10559 10194 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828479904 13954367488 66473 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.89
Current children cumulated vsize (KiB) 13627312
[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/591 10674
/proc/meminfo: memFree=24254200/32950928 swapFree=67056580/67111528
[pid=10559] ppid=10557 vsize=13627312 CPUtime=1784.91 cores=0,2,4,6
/proc/10559/stat : 10559 (java) S 10557 10559 10194 0 -1 4202496 78468 0 1 0 178476 15 0 0 25 0 19 0 828479822 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10559/statm: 3406828 66488 2263 9 0 3397562 0
[pid=10559/tid=10560] ppid=10557 vsize=13627312 CPUtime=1777.22 cores=0,2,4,6
/proc/10559/task/10560/stat : 10560 (java) R 10557 10559 10194 0 -1 4202560 47309 0 1 0 177714 8 0 0 25 0 19 0 828479822 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 46912505938074 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10559/tid=10562] ppid=10557 vsize=13627312 CPUtime=0.11 cores=0,2,4,6
/proc/10559/task/10562/stat : 10562 (java) S 10557 10559 10194 0 -1 4202560 1159 0 0 0 11 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10563] ppid=10557 vsize=13627312 CPUtime=0.16 cores=0,2,4,6
/proc/10559/task/10563/stat : 10563 (java) S 10557 10559 10194 0 -1 4202560 1145 0 0 0 16 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10564] ppid=10557 vsize=13627312 CPUtime=0.11 cores=0,2,4,6
/proc/10559/task/10564/stat : 10564 (java) S 10557 10559 10194 0 -1 4202560 644 0 0 0 11 0 0 0 16 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10565] ppid=10557 vsize=13627312 CPUtime=0.13 cores=0,2,4,6
/proc/10559/task/10565/stat : 10565 (java) S 10557 10559 10194 0 -1 4202560 486 0 0 0 13 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10566] ppid=10557 vsize=13627312 CPUtime=0.12 cores=0,2,4,6
/proc/10559/task/10566/stat : 10566 (java) S 10557 10559 10194 0 -1 4202560 1485 0 0 0 12 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10567] ppid=10557 vsize=13627312 CPUtime=0.12 cores=0,2,4,6
/proc/10559/task/10567/stat : 10567 (java) S 10557 10559 10194 0 -1 4202560 121 0 0 0 12 0 0 0 16 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
[pid=10559/tid=10568] ppid=10557 vsize=13627312 CPUtime=0.11 cores=0,2,4,6
/proc/10559/task/10568/stat : 10568 (java) S 10557 10559 10194 0 -1 4202560 620 0 0 0 11 0 0 0 16 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10569] ppid=10557 vsize=13627312 CPUtime=0.1 cores=0,2,4,6
/proc/10559/task/10569/stat : 10569 (java) S 10557 10559 10194 0 -1 4202560 221 0 0 0 10 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10570] ppid=10557 vsize=13627312 CPUtime=4.55 cores=0,2,4,6
/proc/10559/task/10570/stat : 10570 (java) S 10557 10559 10194 0 -1 4202560 6768 0 0 0 453 2 0 0 15 0 19 0 828479825 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 0 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10571] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10571/stat : 10571 (java) S 10557 10559 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828479826 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10572] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10572/stat : 10572 (java) S 10557 10559 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828479826 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10573] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10573/stat : 10573 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488518577 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10574] ppid=10557 vsize=13627312 CPUtime=1.15 cores=0,2,4,6
/proc/10559/task/10574/stat : 10574 (java) S 10557 10559 10194 0 -1 4202560 5506 0 0 0 115 0 0 0 15 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10575] ppid=10557 vsize=13627312 CPUtime=0.94 cores=0,2,4,6
/proc/10559/task/10575/stat : 10575 (java) S 10557 10559 10194 0 -1 4202560 11752 0 0 0 92 2 0 0 15 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10576] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10576/stat : 10576 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10577] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10577/stat : 10577 (java) S 10557 10559 10194 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10578] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10578/stat : 10578 (java) S 10557 10559 10194 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828479904 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.91
Current children cumulated vsize (KiB) 13627312
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.4 s]
/proc/loadavg: 2.05 2.06 2.01 4/591 10674
/proc/meminfo: memFree=24253692/32950928 swapFree=67056580/67111528
[pid=10559] ppid=10557 vsize=13627312 CPUtime=1800.04 cores=0,2,4,6
/proc/10559/stat : 10559 (java) S 10557 10559 10194 0 -1 4202496 78468 0 1 0 179989 15 0 0 25 0 19 0 828479822 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10559/statm: 3406828 66488 2263 9 0 3397562 0
[pid=10559/tid=10560] ppid=10557 vsize=13627312 CPUtime=1792.36 cores=0,2,4,6
/proc/10559/task/10560/stat : 10560 (java) R 10557 10559 10194 0 -1 4202560 47309 0 1 0 179228 8 0 0 25 0 19 0 828479822 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 46912505818241 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10559/tid=10562] ppid=10557 vsize=13627312 CPUtime=0.11 cores=0,2,4,6
/proc/10559/task/10562/stat : 10562 (java) S 10557 10559 10194 0 -1 4202560 1159 0 0 0 11 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10563] ppid=10557 vsize=13627312 CPUtime=0.16 cores=0,2,4,6
/proc/10559/task/10563/stat : 10563 (java) S 10557 10559 10194 0 -1 4202560 1145 0 0 0 16 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10564] ppid=10557 vsize=13627312 CPUtime=0.11 cores=0,2,4,6
/proc/10559/task/10564/stat : 10564 (java) S 10557 10559 10194 0 -1 4202560 644 0 0 0 11 0 0 0 16 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10565] ppid=10557 vsize=13627312 CPUtime=0.13 cores=0,2,4,6
/proc/10559/task/10565/stat : 10565 (java) S 10557 10559 10194 0 -1 4202560 486 0 0 0 13 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10566] ppid=10557 vsize=13627312 CPUtime=0.12 cores=0,2,4,6
/proc/10559/task/10566/stat : 10566 (java) S 10557 10559 10194 0 -1 4202560 1485 0 0 0 12 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10567] ppid=10557 vsize=13627312 CPUtime=0.12 cores=0,2,4,6
/proc/10559/task/10567/stat : 10567 (java) S 10557 10559 10194 0 -1 4202560 121 0 0 0 12 0 0 0 16 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
[pid=10559/tid=10568] ppid=10557 vsize=13627312 CPUtime=0.11 cores=0,2,4,6
/proc/10559/task/10568/stat : 10568 (java) S 10557 10559 10194 0 -1 4202560 620 0 0 0 11 0 0 0 16 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10569] ppid=10557 vsize=13627312 CPUtime=0.1 cores=0,2,4,6
/proc/10559/task/10569/stat : 10569 (java) S 10557 10559 10194 0 -1 4202560 221 0 0 0 10 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10570] ppid=10557 vsize=13627312 CPUtime=4.55 cores=0,2,4,6
/proc/10559/task/10570/stat : 10570 (java) S 10557 10559 10194 0 -1 4202560 6768 0 0 0 453 2 0 0 15 0 19 0 828479825 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 0 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10571] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10571/stat : 10571 (java) S 10557 10559 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828479826 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10572] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10572/stat : 10572 (java) S 10557 10559 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828479826 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10573] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10573/stat : 10573 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488518577 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10574] ppid=10557 vsize=13627312 CPUtime=1.15 cores=0,2,4,6
/proc/10559/task/10574/stat : 10574 (java) S 10557 10559 10194 0 -1 4202560 5506 0 0 0 115 0 0 0 15 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10575] ppid=10557 vsize=13627312 CPUtime=0.94 cores=0,2,4,6
/proc/10559/task/10575/stat : 10575 (java) S 10557 10559 10194 0 -1 4202560 11752 0 0 0 92 2 0 0 15 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10576] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10576/stat : 10576 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10577] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10577/stat : 10577 (java) S 10557 10559 10194 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10578] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10578/stat : 10578 (java) S 10557 10559 10194 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828479904 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13627312
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1797.4 s]
/proc/loadavg: 2.05 2.06 2.01 4/591 10674
/proc/meminfo: memFree=24253692/32950928 swapFree=67056580/67111528
[pid=10559] ppid=10557 vsize=13627312 CPUtime=1800.04 cores=0,2,4,6
/proc/10559/stat : 10559 (java) S 10557 10559 10194 0 -1 4202496 78468 0 1 0 179989 15 0 0 25 0 19 0 828479822 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10559/statm: 3406828 66488 2263 9 0 3397562 0
[pid=10559/tid=10560] ppid=10557 vsize=13627312 CPUtime=1792.36 cores=0,2,4,6
/proc/10559/task/10560/stat : 10560 (java) R 10557 10559 10194 0 -1 4202560 47309 0 1 0 179228 8 0 0 25 0 19 0 828479822 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 46912505818241 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=10559/tid=10562] ppid=10557 vsize=13627312 CPUtime=0.11 cores=0,2,4,6
/proc/10559/task/10562/stat : 10562 (java) S 10557 10559 10194 0 -1 4202560 1159 0 0 0 11 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10563] ppid=10557 vsize=13627312 CPUtime=0.16 cores=0,2,4,6
/proc/10559/task/10563/stat : 10563 (java) S 10557 10559 10194 0 -1 4202560 1145 0 0 0 16 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10564] ppid=10557 vsize=13627312 CPUtime=0.11 cores=0,2,4,6
/proc/10559/task/10564/stat : 10564 (java) S 10557 10559 10194 0 -1 4202560 644 0 0 0 11 0 0 0 16 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10565] ppid=10557 vsize=13627312 CPUtime=0.13 cores=0,2,4,6
/proc/10559/task/10565/stat : 10565 (java) S 10557 10559 10194 0 -1 4202560 486 0 0 0 13 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10566] ppid=10557 vsize=13627312 CPUtime=0.12 cores=0,2,4,6
/proc/10559/task/10566/stat : 10566 (java) S 10557 10559 10194 0 -1 4202560 1485 0 0 0 12 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10567] ppid=10557 vsize=13627312 CPUtime=0.12 cores=0,2,4,6
/proc/10559/task/10567/stat : 10567 (java) S 10557 10559 10194 0 -1 4202560 121 0 0 0 12 0 0 0 16 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
[pid=10559/tid=10568] ppid=10557 vsize=13627312 CPUtime=0.11 cores=0,2,4,6
/proc/10559/task/10568/stat : 10568 (java) S 10557 10559 10194 0 -1 4202560 620 0 0 0 11 0 0 0 16 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10569] ppid=10557 vsize=13627312 CPUtime=0.1 cores=0,2,4,6
/proc/10559/task/10569/stat : 10569 (java) S 10557 10559 10194 0 -1 4202560 221 0 0 0 10 0 0 0 15 0 19 0 828479824 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10570] ppid=10557 vsize=13627312 CPUtime=4.55 cores=0,2,4,6
/proc/10559/task/10570/stat : 10570 (java) S 10557 10559 10194 0 -1 4202560 6768 0 0 0 453 2 0 0 15 0 19 0 828479825 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 0 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10571] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10571/stat : 10571 (java) S 10557 10559 10194 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828479826 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10572] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10572/stat : 10572 (java) S 10557 10559 10194 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828479826 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10573] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10573/stat : 10573 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488518577 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10574] ppid=10557 vsize=13627312 CPUtime=1.15 cores=0,2,4,6
/proc/10559/task/10574/stat : 10574 (java) S 10557 10559 10194 0 -1 4202560 5506 0 0 0 115 0 0 0 15 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 0 0 0 0
[pid=10559/tid=10575] ppid=10557 vsize=13627312 CPUtime=0.94 cores=0,2,4,6
/proc/10559/task/10575/stat : 10575 (java) S 10557 10559 10194 0 -1 4202560 11752 0 0 0 92 2 0 0 15 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10576] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10576/stat : 10576 (java) S 10557 10559 10194 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488510873 0 4 0 16800975 18446604446943282496 0 0 -1 4 0 0 0
[pid=10559/tid=10577] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10577/stat : 10577 (java) S 10557 10559 10194 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 828479828 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 2 0 0 0
[pid=10559/tid=10578] ppid=10557 vsize=13627312 CPUtime=0 cores=0,2,4,6
/proc/10559/task/10578/stat : 10578 (java) S 10557 10559 10194 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828479904 13954367488 66488 33554432000 1073741824 1073778376 140737104022368 18446744073709551615 239488511488 0 4 0 16800975 18446604446943282496 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 13627312
Child status: 143
Real time (s): 1797.49
CPU time (s): 1800.15
CPU user time (s): 1799.98
CPU system time (s): 0.174973
CPU usage (%): 100.148
Max. virtual memory (cumulated for all children) (KiB): 13635720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.174973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78501
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= 39066
involuntary context switches= 13482
runsolver used 10.7954 second user time and 21.9297 second system time
The end