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-3478781-1307437692/watcher-3478781-1307437692 -o /tmp/evaluation-result-3478781-1307437692/solver-3478781-1307437692 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3478781-1307437692.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: 3.85 3.80 2.48 2/571 4015
/proc/meminfo: memFree=24306092/32950928 swapFree=67056580/67111528
[pid=4015] ppid=4013 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/4015/stat : 4015 (java) S 4013 4015 3822 0 -1 4202496 1244 0 0 0 0 0 0 0 22 0 2 0 855366335 31268864 963 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488497637 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 7634 963 736 9 0 385 0
[pid=4015/tid=4016] ppid=4013 vsize=10445508 CPUtime=0.01 cores=1,3,5,7
/proc/4015/task/4016/stat : 4016 (java) S 4013 4015 3822 0 -1 4202560 8730 0 1 0 0 1 0 0 24 0 3 0 855366336 10696200192 9547 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16784584 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4017] ppid=4013 vsize=10446536 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4017/stat : 4017 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 855366338 10697252864 9550 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16784584 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4018] ppid=4013 vsize=10447564 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4018/stat : 4018 (java) S 4013 4015 3822 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 5 0 855366338 10698305536 9554 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16784584 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4019] ppid=4013 vsize=10448724 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4019/stat : 4019 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 6 0 855366338 10699493376 9560 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16784584 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4020] ppid=4013 vsize=10450780 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4020/stat : 4020 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 7 0 855366338 10701598720 9564 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16784584 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4021] ppid=4013 vsize=10451808 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4021/stat : 4021 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 9 0 855366338 10702651392 9569 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16784584 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4022] ppid=4013 vsize=10452836 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4022/stat : 4022 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 855366338 10703704064 9574 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16784584 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4023] ppid=4013 vsize=10452836 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (java) R 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 855366338 10703704064 9578 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16784584 0 0 0 -1 1 0 0 0
[pid=4015/tid=4024] ppid=4013 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4024/stat : 4024 (java) R 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 855366338 10703900672 9593 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.057029 s]
/proc/loadavg: 3.85 3.80 2.48 2/571 4015
/proc/meminfo: memFree=24306092/32950928 swapFree=67056580/67111528
[pid=4015] ppid=4013 vsize=10469672 CPUtime=0.04 cores=1,3,5,7
/proc/4015/stat : 4015 (java) S 4013 4015 3822 0 -1 4202496 11573 0 1 0 3 1 0 0 22 0 15 0 855366335 10720944128 11271 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 2617418 11273 1710 9 0 2608166 0
[pid=4015/tid=4016] ppid=4013 vsize=10469672 CPUtime=0.04 cores=1,3,5,7
/proc/4015/task/4016/stat : 4016 (java) R 4013 4015 3822 0 -1 4202560 10409 0 1 0 3 1 0 0 25 0 15 0 855366336 10720944128 11273 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239476648247 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4015/tid=4017] ppid=4013 vsize=10469672 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4017/stat : 4017 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 855366338 10720944128 11276 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4018] ppid=4013 vsize=10469672 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4018/stat : 4018 (java) S 4013 4015 3822 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 15 0 855366338 10720944128 11276 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4019] ppid=4013 vsize=10469672 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4019/stat : 4019 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 855366338 10720944128 11276 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4020] ppid=4013 vsize=10469672 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4020/stat : 4020 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 855366338 10720944128 11276 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4021] ppid=4013 vsize=10469672 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4021/stat : 4021 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 855366338 10720944128 11276 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4022] ppid=4013 vsize=10469672 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4022/stat : 4022 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 855366338 10720944128 11276 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4023] ppid=4013 vsize=10469672 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 855366338 10720944128 11278 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4024] ppid=4013 vsize=10469672 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4024/stat : 4024 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 15 0 855366338 10720944128 11279 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10469672
[startup+0.101004 s]
/proc/loadavg: 3.85 3.80 2.48 2/571 4015
/proc/meminfo: memFree=24306092/32950928 swapFree=67056580/67111528
[pid=4015] ppid=4013 vsize=10540024 CPUtime=0.1 cores=1,3,5,7
/proc/4015/stat : 4015 (java) S 4013 4015 3822 0 -1 4202496 13106 0 1 0 9 1 0 0 22 0 18 0 855366335 10792984576 12773 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 2635006 12774 2092 9 0 2625740 0
[pid=4015/tid=4016] ppid=4013 vsize=10540024 CPUtime=0.08 cores=1,3,5,7
/proc/4015/task/4016/stat : 4016 (java) R 4013 4015 3822 0 -1 4202560 11170 0 1 0 7 1 0 0 18 0 18 0 855366336 10792984576 12775 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 47833084910419 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4015/tid=4017] ppid=4013 vsize=10540024 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4017/stat : 4017 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10792984576 12775 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4018] ppid=4013 vsize=10540024 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4018/stat : 4018 (java) S 4013 4015 3822 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855366338 10792984576 12775 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4019] ppid=4013 vsize=10540024 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4019/stat : 4019 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10792984576 12776 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4020] ppid=4013 vsize=10540024 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4020/stat : 4020 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10792984576 12776 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4021] ppid=4013 vsize=10540024 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4021/stat : 4021 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10792984576 12776 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4022] ppid=4013 vsize=10540024 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4022/stat : 4022 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10792984576 12777 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4023] ppid=4013 vsize=10540024 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10792984576 12777 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4024] ppid=4013 vsize=10540024 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4024/stat : 4024 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10792984576 12777 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540024
[startup+0.301985 s]
/proc/loadavg: 3.85 3.80 2.48 2/571 4015
/proc/meminfo: memFree=24306092/32950928 swapFree=67056580/67111528
[pid=4015] ppid=4013 vsize=10540780 CPUtime=0.47 cores=1,3,5,7
/proc/4015/stat : 4015 (java) S 4013 4015 3822 0 -1 4202496 17389 0 1 0 45 2 0 0 22 0 18 0 855366335 10793758720 16720 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 2635195 16720 2198 9 0 2625929 0
[pid=4015/tid=4016] ppid=4013 vsize=10540780 CPUtime=0.29 cores=1,3,5,7
/proc/4015/task/4016/stat : 4016 (java) R 4013 4015 3822 0 -1 4202560 14432 0 1 0 27 2 0 0 18 0 18 0 855366336 10793758720 16721 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 46912505562776 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4015/tid=4017] ppid=4013 vsize=10540780 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4017/stat : 4017 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10793758720 16721 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4018] ppid=4013 vsize=10540780 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4018/stat : 4018 (java) S 4013 4015 3822 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855366338 10793758720 16721 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4019] ppid=4013 vsize=10540780 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4019/stat : 4019 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10793758720 16721 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4020] ppid=4013 vsize=10540780 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4020/stat : 4020 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10793758720 16721 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4021] ppid=4013 vsize=10540780 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4021/stat : 4021 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10793758720 16722 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4022] ppid=4013 vsize=10540780 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4022/stat : 4022 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10793758720 16722 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4023] ppid=4013 vsize=10540780 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10793758720 16723 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4024] ppid=4013 vsize=10540780 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4024/stat : 4024 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10793758720 16723 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10540780
[startup+0.700896 s]
/proc/loadavg: 3.85 3.80 2.48 2/571 4015
/proc/meminfo: memFree=24306092/32950928 swapFree=67056580/67111528
[pid=4015] ppid=4013 vsize=10543920 CPUtime=1.24 cores=1,3,5,7
/proc/4015/stat : 4015 (java) S 4013 4015 3822 0 -1 4202496 61083 0 1 0 115 9 0 0 22 0 18 0 855366335 10796974080 58922 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 2635980 58927 2214 9 0 2626714 0
[pid=4015/tid=4016] ppid=4013 vsize=10543920 CPUtime=0.68 cores=1,3,5,7
/proc/4015/task/4016/stat : 4016 (java) R 4013 4015 3822 0 -1 4202560 54837 0 1 0 61 7 0 0 18 0 18 0 855366336 10796974080 58930 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 46912505559789 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4015/tid=4017] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4017/stat : 4017 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 58933 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4018] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4018/stat : 4018 (java) S 4013 4015 3822 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 58936 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4019] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4019/stat : 4019 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 58939 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4020] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4020/stat : 4020 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 58942 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4021] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4021/stat : 4021 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 58945 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4022] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4022/stat : 4022 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 58947 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4023] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 58950 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4024] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4024/stat : 4024 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 58953 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 10543920
[startup+1.50075 s]
/proc/loadavg: 3.85 3.80 2.48 7/593 4037
/proc/meminfo: memFree=23603340/32950928 swapFree=67056580/67111528
[pid=4015] ppid=4013 vsize=10543920 CPUtime=2.11 cores=1,3,5,7
/proc/4015/stat : 4015 (java) S 4013 4015 3822 0 -1 4202496 177845 0 1 0 186 25 0 0 22 0 18 0 855366335 10796974080 175684 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 2635980 175689 2214 9 0 2626714 0
[pid=4015/tid=4016] ppid=4013 vsize=10543920 CPUtime=1.48 cores=1,3,5,7
/proc/4015/task/4016/stat : 4016 (java) R 4013 4015 3822 0 -1 4202560 171579 0 1 0 125 23 0 0 19 0 18 0 855366336 10796974080 175692 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 46912505589916 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4015/tid=4017] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4017/stat : 4017 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 175695 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4018] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4018/stat : 4018 (java) S 4013 4015 3822 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 175698 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4019] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4019/stat : 4019 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 175701 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4020] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4020/stat : 4020 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 175704 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4021] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4021/stat : 4021 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 175707 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4022] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4022/stat : 4022 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 175710 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4023] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 175713 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4024] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4024/stat : 4024 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366338 10796974080 175716 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4026] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4026/stat : 4026 (java) S 4013 4015 3822 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 855366339 10796974080 175718 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 0 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4027] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4027/stat : 4027 (java) S 4013 4015 3822 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 855366339 10796974080 175721 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4028] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4028/stat : 4028 (java) S 4013 4015 3822 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 855366339 10796974080 175724 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4029] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4029/stat : 4029 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366341 10796974080 175727 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488518577 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4030] ppid=4013 vsize=10543920 CPUtime=0.32 cores=1,3,5,7
/proc/4015/task/4030/stat : 4030 (java) S 4013 4015 3822 0 -1 4202560 3309 0 0 0 32 0 0 0 19 0 18 0 855366341 10796974080 175730 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4031] ppid=4013 vsize=10543920 CPUtime=0.27 cores=1,3,5,7
/proc/4015/task/4031/stat : 4031 (java) S 4013 4015 3822 0 -1 4202560 1814 0 0 0 27 0 0 0 15 0 18 0 855366341 10796974080 175733 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4032] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4032/stat : 4032 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 855366341 10796974080 175736 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4033] ppid=4013 vsize=10543920 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4033/stat : 4033 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 855366341 10796974080 175739 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 10543920
[startup+3.10144 s]
/proc/loadavg: 3.85 3.80 2.48 4/593 4037
/proc/meminfo: memFree=22582704/32950928 swapFree=67056580/67111528
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 4.14 4.01 3.36 5/597 4112
/proc/meminfo: memFree=17016636/32950928 swapFree=67056580/67111528
[pid=4015] ppid=4013 vsize=10557828 CPUtime=1606.8 cores=1,3,5,7
/proc/4015/stat : 4015 (java) S 4013 4015 3822 0 -1 4202496 1019279 0 1 0 160555 125 0 0 22 0 22 0 855366335 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 2639457 1003075 2265 9 0 2630191 0
[pid=4015/tid=4016] ppid=4013 vsize=10557828 CPUtime=7.61 cores=1,3,5,7
/proc/4015/task/4016/stat : 4016 (java) S 4013 4015 3822 0 -1 4202560 651045 0 1 0 682 79 0 0 15 0 22 0 855366336 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4017] ppid=4013 vsize=10557828 CPUtime=0.72 cores=1,3,5,7
/proc/4015/task/4017/stat : 4017 (java) S 4013 4015 3822 0 -1 4202560 27513 0 0 0 69 3 0 0 15 0 22 0 855366338 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4018] ppid=4013 vsize=10557828 CPUtime=0.78 cores=1,3,5,7
/proc/4015/task/4018/stat : 4018 (java) S 4013 4015 3822 0 -1 4202560 20220 0 0 0 76 2 0 0 16 0 22 0 855366338 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4019] ppid=4013 vsize=10557828 CPUtime=0.88 cores=1,3,5,7
/proc/4015/task/4019/stat : 4019 (java) S 4013 4015 3822 0 -1 4202560 37045 0 0 0 85 3 0 0 15 0 22 0 855366338 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4020] ppid=4013 vsize=10557828 CPUtime=0.84 cores=1,3,5,7
/proc/4015/task/4020/stat : 4020 (java) S 4013 4015 3822 0 -1 4202560 26653 0 0 0 81 3 0 0 15 0 22 0 855366338 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4021] ppid=4013 vsize=10557828 CPUtime=0.66 cores=1,3,5,7
/proc/4015/task/4021/stat : 4021 (java) S 4013 4015 3822 0 -1 4202560 20748 0 0 0 63 3 0 0 16 0 22 0 855366338 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4022] ppid=4013 vsize=10557828 CPUtime=0.36 cores=1,3,5,7
/proc/4015/task/4022/stat : 4022 (java) S 4013 4015 3822 0 -1 4202560 11082 0 0 0 35 1 0 0 16 0 22 0 855366338 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4023] ppid=4013 vsize=10557828 CPUtime=0.64 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (java) S 4013 4015 3822 0 -1 4202560 18194 0 0 0 62 2 0 0 15 0 22 0 855366338 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4024] ppid=4013 vsize=10557828 CPUtime=0.61 cores=1,3,5,7
/proc/4015/task/4024/stat : 4024 (java) S 4013 4015 3822 0 -1 4202560 20021 0 0 0 59 2 0 0 16 0 22 0 855366338 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4026] ppid=4013 vsize=10557828 CPUtime=35.41 cores=1,3,5,7
/proc/4015/task/4026/stat : 4026 (java) S 4013 4015 3822 0 -1 4202560 137217 0 0 0 3526 15 0 0 15 0 22 0 855366339 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 0 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4027] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4027/stat : 4027 (java) S 4013 4015 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855366339 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4028] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4028/stat : 4028 (java) S 4013 4015 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855366339 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4029] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4029/stat : 4029 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855366341 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488518577 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4030] ppid=4013 vsize=10557828 CPUtime=1.3 cores=1,3,5,7
/proc/4015/task/4030/stat : 4030 (java) S 4013 4015 3822 0 -1 4202560 6490 0 0 0 130 0 0 0 15 0 22 0 855366341 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4031] ppid=4013 vsize=10557828 CPUtime=1.56 cores=1,3,5,7
/proc/4015/task/4031/stat : 4031 (java) S 4013 4015 3822 0 -1 4202560 14076 0 0 0 155 1 0 0 15 0 22 0 855366341 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4032] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4032/stat : 4032 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855366341 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4033] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4033/stat : 4033 (java) S 4013 4015 3822 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 855366341 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4038] ppid=4013 vsize=10557828 CPUtime=777.67 cores=1,3,5,7
/proc/4015/task/4038/stat : 4038 (java) R 4013 4015 3822 0 -1 4202560 72 0 0 0 77767 0 0 0 25 0 22 0 855367142 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 46912506147026 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4015/tid=4039] ppid=4013 vsize=10557828 CPUtime=777.62 cores=1,3,5,7
/proc/4015/task/4039/stat : 4039 (java) R 4013 4015 3822 0 -1 4202560 27699 0 0 0 77759 3 0 0 25 0 22 0 855367142 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 46912505966458 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4015/tid=4040] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4040/stat : 4040 (java) S 4013 4015 3822 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 855367145 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4041] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4041/stat : 4041 (java) S 4013 4015 3822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855367148 10811215872 1003075 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1606.8
Current children cumulated vsize (KiB) 10557828
[startup+882.302 s]
/proc/loadavg: 4.12 4.03 3.40 5/597 4114
/proc/meminfo: memFree=16979916/32950928 swapFree=67056580/67111528
[pid=4015] ppid=4013 vsize=10557828 CPUtime=1725.81 cores=1,3,5,7
/proc/4015/stat : 4015 (java) S 4013 4015 3822 0 -1 4202496 1024907 0 1 0 172455 126 0 0 22 0 22 0 855366335 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 2639457 1008432 2265 9 0 2630191 0
[pid=4015/tid=4016] ppid=4013 vsize=10557828 CPUtime=7.61 cores=1,3,5,7
/proc/4015/task/4016/stat : 4016 (java) S 4013 4015 3822 0 -1 4202560 651045 0 1 0 682 79 0 0 15 0 22 0 855366336 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4017] ppid=4013 vsize=10557828 CPUtime=0.73 cores=1,3,5,7
/proc/4015/task/4017/stat : 4017 (java) S 4013 4015 3822 0 -1 4202560 29272 0 0 0 70 3 0 0 16 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4018] ppid=4013 vsize=10557828 CPUtime=0.8 cores=1,3,5,7
/proc/4015/task/4018/stat : 4018 (java) S 4013 4015 3822 0 -1 4202560 21958 0 0 0 77 3 0 0 16 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4019] ppid=4013 vsize=10557828 CPUtime=0.91 cores=1,3,5,7
/proc/4015/task/4019/stat : 4019 (java) S 4013 4015 3822 0 -1 4202560 37674 0 0 0 88 3 0 0 16 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4020] ppid=4013 vsize=10557828 CPUtime=0.87 cores=1,3,5,7
/proc/4015/task/4020/stat : 4020 (java) S 4013 4015 3822 0 -1 4202560 28088 0 0 0 84 3 0 0 16 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4021] ppid=4013 vsize=10557828 CPUtime=0.68 cores=1,3,5,7
/proc/4015/task/4021/stat : 4021 (java) S 4013 4015 3822 0 -1 4202560 20748 0 0 0 65 3 0 0 15 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4022] ppid=4013 vsize=10557828 CPUtime=0.36 cores=1,3,5,7
/proc/4015/task/4022/stat : 4022 (java) S 4013 4015 3822 0 -1 4202560 11082 0 0 0 35 1 0 0 15 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4023] ppid=4013 vsize=10557828 CPUtime=0.64 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (java) S 4013 4015 3822 0 -1 4202560 18194 0 0 0 62 2 0 0 16 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4024] ppid=4013 vsize=10557828 CPUtime=0.62 cores=1,3,5,7
/proc/4015/task/4024/stat : 4024 (java) S 4013 4015 3822 0 -1 4202560 20080 0 0 0 60 2 0 0 15 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4026] ppid=4013 vsize=10557828 CPUtime=36.47 cores=1,3,5,7
/proc/4015/task/4026/stat : 4026 (java) S 4013 4015 3822 0 -1 4202560 137219 0 0 0 3632 15 0 0 15 0 22 0 855366339 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 0 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4027] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4027/stat : 4027 (java) S 4013 4015 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855366339 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4028] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4028/stat : 4028 (java) S 4013 4015 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855366339 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4029] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4029/stat : 4029 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855366341 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488518577 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4030] ppid=4013 vsize=10557828 CPUtime=1.3 cores=1,3,5,7
/proc/4015/task/4030/stat : 4030 (java) S 4013 4015 3822 0 -1 4202560 6490 0 0 0 130 0 0 0 15 0 22 0 855366341 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4031] ppid=4013 vsize=10557828 CPUtime=1.56 cores=1,3,5,7
/proc/4015/task/4031/stat : 4031 (java) S 4013 4015 3822 0 -1 4202560 14076 0 0 0 155 1 0 0 15 0 22 0 855366341 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4032] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4032/stat : 4032 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855366341 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4033] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4033/stat : 4033 (java) S 4013 4015 3822 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 855366341 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4038] ppid=4013 vsize=10557828 CPUtime=836.58 cores=1,3,5,7
/proc/4015/task/4038/stat : 4038 (java) R 4013 4015 3822 0 -1 4202560 73 0 0 0 83658 0 0 0 25 0 22 0 855367142 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 46912505966444 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4015/tid=4039] ppid=4013 vsize=10557828 CPUtime=836.54 cores=1,3,5,7
/proc/4015/task/4039/stat : 4039 (java) R 4013 4015 3822 0 -1 4202560 27700 0 0 0 83651 3 0 0 25 0 22 0 855367142 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 46912505922982 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4015/tid=4040] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4040/stat : 4040 (java) S 4013 4015 3822 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 855367145 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4041] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4041/stat : 4041 (java) S 4013 4015 3822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855367148 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1725.81
Current children cumulated vsize (KiB) 10557828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+919.801 s]
/proc/loadavg: 4.06 4.02 3.43 5/597 4115
/proc/meminfo: memFree=16970336/32950928 swapFree=67056580/67111528
[pid=4015] ppid=4013 vsize=10557828 CPUtime=1800.17 cores=1,3,5,7
/proc/4015/stat : 4015 (java) S 4013 4015 3822 0 -1 4202496 1024913 0 1 0 179891 126 0 0 22 0 22 0 855366335 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488497637 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 2639457 1008432 2265 9 0 2630191 0
[pid=4015/tid=4016] ppid=4013 vsize=10557828 CPUtime=7.61 cores=1,3,5,7
/proc/4015/task/4016/stat : 4016 (java) S 4013 4015 3822 0 -1 4202560 651045 0 1 0 682 79 0 0 15 0 22 0 855366336 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4017] ppid=4013 vsize=10557828 CPUtime=0.74 cores=1,3,5,7
/proc/4015/task/4017/stat : 4017 (java) S 4013 4015 3822 0 -1 4202560 29272 0 0 0 71 3 0 0 16 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4018] ppid=4013 vsize=10557828 CPUtime=0.82 cores=1,3,5,7
/proc/4015/task/4018/stat : 4018 (java) S 4013 4015 3822 0 -1 4202560 21958 0 0 0 79 3 0 0 16 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4019] ppid=4013 vsize=10557828 CPUtime=0.93 cores=1,3,5,7
/proc/4015/task/4019/stat : 4019 (java) S 4013 4015 3822 0 -1 4202560 37674 0 0 0 90 3 0 0 16 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4020] ppid=4013 vsize=10557828 CPUtime=0.89 cores=1,3,5,7
/proc/4015/task/4020/stat : 4020 (java) S 4013 4015 3822 0 -1 4202560 28088 0 0 0 86 3 0 0 16 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4021] ppid=4013 vsize=10557828 CPUtime=0.72 cores=1,3,5,7
/proc/4015/task/4021/stat : 4021 (java) S 4013 4015 3822 0 -1 4202560 20748 0 0 0 69 3 0 0 16 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4022] ppid=4013 vsize=10557828 CPUtime=0.36 cores=1,3,5,7
/proc/4015/task/4022/stat : 4022 (java) S 4013 4015 3822 0 -1 4202560 11082 0 0 0 35 1 0 0 15 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4023] ppid=4013 vsize=10557828 CPUtime=0.64 cores=1,3,5,7
/proc/4015/task/4023/stat : 4023 (java) S 4013 4015 3822 0 -1 4202560 18194 0 0 0 62 2 0 0 15 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4024] ppid=4013 vsize=10557828 CPUtime=0.64 cores=1,3,5,7
/proc/4015/task/4024/stat : 4024 (java) S 4013 4015 3822 0 -1 4202560 20080 0 0 0 62 2 0 0 16 0 22 0 855366338 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4026] ppid=4013 vsize=10557828 CPUtime=37.18 cores=1,3,5,7
/proc/4015/task/4026/stat : 4026 (java) S 4013 4015 3822 0 -1 4202560 137221 0 0 0 3703 15 0 0 15 0 22 0 855366339 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 0 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4027] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4027/stat : 4027 (java) S 4013 4015 3822 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 855366339 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4028] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4028/stat : 4028 (java) S 4013 4015 3822 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 855366339 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 5 0 0 0
[pid=4015/tid=4029] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4029/stat : 4029 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855366341 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488518577 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4030] ppid=4013 vsize=10557828 CPUtime=1.3 cores=1,3,5,7
/proc/4015/task/4030/stat : 4030 (java) S 4013 4015 3822 0 -1 4202560 6490 0 0 0 130 0 0 0 15 0 22 0 855366341 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4031] ppid=4013 vsize=10557828 CPUtime=1.56 cores=1,3,5,7
/proc/4015/task/4031/stat : 4031 (java) S 4013 4015 3822 0 -1 4202560 14076 0 0 0 155 1 0 0 15 0 22 0 855366341 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 7 0 0 0
[pid=4015/tid=4032] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4032/stat : 4032 (java) S 4013 4015 3822 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 855366341 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488510873 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4033] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4033/stat : 4033 (java) S 4013 4015 3822 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 855366341 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
[pid=4015/tid=4038] ppid=4013 vsize=10557828 CPUtime=873.35 cores=1,3,5,7
/proc/4015/task/4038/stat : 4038 (java) R 4013 4015 3822 0 -1 4202560 75 0 0 0 87335 0 0 0 25 0 22 0 855367142 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 46912506010238 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=4015/tid=4039] ppid=4013 vsize=10557828 CPUtime=873.31 cores=1,3,5,7
/proc/4015/task/4039/stat : 4039 (java) R 4013 4015 3822 0 -1 4202560 27700 0 0 0 87328 3 0 0 25 0 22 0 855367142 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 46912505966444 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4015/tid=4040] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4040/stat : 4040 (java) S 4013 4015 3822 0 -1 4202560 8 0 0 0 0 0 0 0 19 0 22 0 855367145 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 1 0 0 0
[pid=4015/tid=4041] ppid=4013 vsize=10557828 CPUtime=0 cores=1,3,5,7
/proc/4015/task/4041/stat : 4041 (java) S 4013 4015 3822 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 855367148 10811215872 1008432 33554432000 1073741824 1073778376 140734088158848 18446744073709551615 239488511488 0 4 0 16800975 18446604455147198528 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 10557828
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+920 s]
/proc/loadavg: 4.06 4.02 3.43 5/597 4115
/proc/meminfo: memFree=16970336/32950928 swapFree=67056580/67111528
[pid=4015] ppid=4013 vsize=0 CPUtime=1800.44 cores=1,3,5,7
/proc/4015/stat : 4015 (java) Z 4013 4015 3822 0 -1 4203548 1024945 0 1 0 179904 140 0 0 17 0 2 0 855366335 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4015/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.44
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 920.017
CPU time (s): 1800.47
CPU user time (s): 1799.05
CPU system time (s): 1.41778
CPU usage (%): 195.699
Max. virtual memory (cumulated for all children) (KiB): 10561864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.41778
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1024945
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= 23332
involuntary context switches= 6106
runsolver used 4.97824 second user time and 12.6321 second system time
The end