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-3457073-1307215873/watcher-3457073-1307215873 -o /tmp/evaluation-result-3457073-1307215873/solver-3457073-1307215873 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457073-1307215873.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: 0.16 0.03 0.01 2/576 14540
/proc/meminfo: memFree=27529164/32951124 swapFree=34426104/67111528
[pid=14540] ppid=14538 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14538 14540 14484 0 -1 4202496 3202 0 1 0 0 0 0 0 18 0 2 0 911818016 10694979584 2903 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/14540/statm: 2611079 2918 917 9 0 2602235 0
[pid=14540/tid=14541] ppid=14538 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14541/stat : 14541 (java) R 14538 14540 14484 0 -1 4202560 8808 0 1 0 0 0 0 0 25 0 10 0 911818017 10703900672 9632 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 46966862279376 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=14540/tid=14542] ppid=14538 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 911818018 10703900672 9638 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16784584 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14543] ppid=14538 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 911818018 10703900672 9638 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16784584 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14544] ppid=14538 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 911818018 10703900672 9639 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16784584 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14545] ppid=14538 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 10 0 911818018 10703900672 9642 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16784584 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14546] ppid=14538 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 10 0 911818018 10703900672 9644 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16784584 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14547] ppid=14538 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 10 0 911818018 10703900672 9646 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16784584 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14548] ppid=14538 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) R 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 911818018 10703900672 9647 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 3 0 0 0
[pid=14540/tid=14549] ppid=14538 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) R 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 10 0 911818018 10703900672 9647 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0650371 s]
/proc/loadavg: 0.16 0.03 0.01 2/576 14540
/proc/meminfo: memFree=27529164/32951124 swapFree=34426104/67111528
[pid=14540] ppid=14538 vsize=10538212 CPUtime=0.05 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14538 14540 14484 0 -1 4202496 11737 0 1 0 4 1 0 0 18 0 18 0 911818016 10791129088 11433 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14540/statm: 2634553 11434 1741 9 0 2625287 0
[pid=14540/tid=14541] ppid=14538 vsize=10538212 CPUtime=0.05 cores=1,3,5,7
/proc/14540/task/14541/stat : 14541 (java) R 14538 14540 14484 0 -1 4202560 10564 0 1 0 4 1 0 0 22 0 18 0 911818017 10791129088 11434 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 46966861239043 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14540/tid=14542] ppid=14538 vsize=10538212 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 911818018 10791129088 11435 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14543] ppid=14538 vsize=10538212 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 911818018 10791129088 11437 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14544] ppid=14538 vsize=10538212 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 911818018 10791129088 11437 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14545] ppid=14538 vsize=10538212 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 911818018 10791129088 11437 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14546] ppid=14538 vsize=10538212 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 911818018 10791129088 11437 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14547] ppid=14538 vsize=10538212 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 911818018 10791129088 11437 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14548] ppid=14538 vsize=10538212 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 911818018 10791129088 11437 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14549] ppid=14538 vsize=10538212 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 911818018 10791129088 11438 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538212
[startup+0.107069 s]
/proc/loadavg: 0.16 0.03 0.01 2/576 14540
/proc/meminfo: memFree=27529164/32951124 swapFree=34426104/67111528
[pid=14540] ppid=14538 vsize=10539788 CPUtime=0.12 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14538 14540 14484 0 -1 4202496 13174 0 1 0 10 2 0 0 18 0 18 0 911818016 10792742912 12870 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14540/statm: 2634947 12870 2107 9 0 2625681 0
[pid=14540/tid=14541] ppid=14538 vsize=10539788 CPUtime=0.09 cores=1,3,5,7
/proc/14540/task/14541/stat : 14541 (java) R 14538 14540 14484 0 -1 4202560 11214 0 1 0 8 1 0 0 22 0 18 0 911818017 10792742912 12871 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 46966865734483 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14540/tid=14542] ppid=14538 vsize=10539788 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 911818018 10792742912 12872 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14543] ppid=14538 vsize=10539788 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 911818018 10792742912 12872 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14544] ppid=14538 vsize=10539788 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 911818018 10792742912 12873 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14545] ppid=14538 vsize=10539788 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 911818018 10792742912 12875 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14546] ppid=14538 vsize=10539788 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 18 0 911818018 10792742912 12875 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14547] ppid=14538 vsize=10539788 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 18 0 911818018 10792742912 12876 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14548] ppid=14538 vsize=10539788 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 911818018 10792742912 12876 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14549] ppid=14538 vsize=10539788 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 911818018 10792742912 12876 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10539788
[startup+0.30096 s]
/proc/loadavg: 0.16 0.03 0.01 2/576 14540
/proc/meminfo: memFree=27529164/32951124 swapFree=34426104/67111528
[pid=14540] ppid=14538 vsize=10541976 CPUtime=0.47 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14538 14540 14484 0 -1 4202496 16059 0 1 0 45 2 0 0 18 0 19 0 911818016 10794983424 15333 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14540/statm: 2635494 15333 2210 9 0 2626228 0
[pid=14540/tid=14541] ppid=14538 vsize=10541976 CPUtime=0.28 cores=1,3,5,7
/proc/14540/task/14541/stat : 14541 (java) R 14538 14540 14484 0 -1 4202560 12922 0 1 0 27 1 0 0 23 0 19 0 911818017 10794983424 15333 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 46912505181552 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=14540/tid=14542] ppid=14538 vsize=10541976 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911818018 10794983424 15333 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14543] ppid=14538 vsize=10541976 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911818018 10794983424 15333 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14544] ppid=14538 vsize=10541976 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911818018 10794983424 15333 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14545] ppid=14538 vsize=10541976 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 911818018 10794983424 15333 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14546] ppid=14538 vsize=10541976 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 911818018 10794983424 15333 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14547] ppid=14538 vsize=10541976 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911818018 10794983424 15333 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14548] ppid=14538 vsize=10541976 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911818018 10794983424 15333 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14549] ppid=14538 vsize=10541976 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911818018 10794983424 15333 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541976
[startup+0.700929 s]
/proc/loadavg: 0.16 0.03 0.01 2/576 14540
/proc/meminfo: memFree=27529164/32951124 swapFree=34426104/67111528
[pid=14540] ppid=14538 vsize=10553152 CPUtime=1.62 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14538 14540 14484 0 -1 4202496 42039 0 1 0 155 7 0 0 18 0 19 0 911818016 10806427648 37964 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14540/statm: 2638288 37965 2224 9 0 2629022 0
[pid=14540/tid=14541] ppid=14538 vsize=10553152 CPUtime=0.68 cores=1,3,5,7
/proc/14540/task/14541/stat : 14541 (java) R 14538 14540 14484 0 -1 4202560 29688 0 1 0 63 5 0 0 18 0 19 0 911818017 10806427648 37967 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 46912505758632 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14540/tid=14542] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911818018 10806427648 37968 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14543] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911818018 10806427648 37969 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14544] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911818018 10806427648 37970 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14545] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 911818018 10806427648 37971 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14546] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 911818018 10806427648 37972 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14547] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911818018 10806427648 37972 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14548] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911818018 10806427648 37972 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14549] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911818018 10806427648 37974 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10553152
[startup+1.5008 s]
/proc/loadavg: 0.16 0.03 0.01 3/595 14559
/proc/meminfo: memFree=26894692/32951124 swapFree=34426104/67111528
[pid=14540] ppid=14538 vsize=10553152 CPUtime=2.66 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14538 14540 14484 0 -1 4202496 127063 0 1 0 250 16 0 0 18 0 19 0 911818016 10806427648 122988 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14540/statm: 2638288 122992 2227 9 0 2629022 0
[pid=14540/tid=14541] ppid=14538 vsize=10553152 CPUtime=1.48 cores=1,3,5,7
/proc/14540/task/14541/stat : 14541 (java) R 14538 14540 14484 0 -1 4202560 114678 0 1 0 134 14 0 0 18 0 19 0 911818017 10806427648 122994 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 46912505651492 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14540/tid=14542] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 911818018 10806427648 122996 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14543] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911818018 10806427648 122999 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14544] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911818018 10806427648 123002 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14545] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 911818018 10806427648 123007 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14546] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 19 0 911818018 10806427648 123011 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14547] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 911818018 10806427648 123015 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14548] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911818018 10806427648 123020 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14549] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 911818018 10806427648 123024 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14551] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) S 14538 14540 14484 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 911818019 10806427648 123029 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 0 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14552] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) S 14538 14540 14484 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 911818020 10806427648 123034 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14553] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) S 14538 14540 14484 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 911818020 10806427648 123038 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14554] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911818022 10806427648 123042 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296749489 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14555] ppid=14538 vsize=10553152 CPUtime=0.53 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14538 14540 14484 0 -1 4202560 5305 0 0 0 53 0 0 0 15 0 19 0 911818022 10806427648 123046 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 5 0 0 0
[pid=14540/tid=14556] ppid=14538 vsize=10553152 CPUtime=0.62 cores=1,3,5,7
/proc/14540/task/14556/stat : 14556 (java) S 14538 14540 14484 0 -1 4202560 5926 0 0 0 62 0 0 0 15 0 19 0 911818022 10806427648 123051 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14557] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14557/stat : 14557 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911818022 10806427648 123055 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14558] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14558/stat : 14558 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 911818022 10806427648 123059 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14559] ppid=14538 vsize=10553152 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14559/stat : 14559 (java) S 14538 14540 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911818046 10806427648 123063 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 4 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 10553152
[startup+3.10154 s]
################
# More data... #
################
/proc/14540/task/14553/stat : 14553 (java) S 14538 14540 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911818020 10873536512 918382 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14554] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911818022 10873536512 918382 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296749489 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14555] ppid=14538 vsize=10618688 CPUtime=0.77 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14538 14540 14484 0 -1 4202560 5359 0 0 0 77 0 0 0 15 0 19 0 911818022 10873536512 918382 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 5 0 0 0
[pid=14540/tid=14556] ppid=14538 vsize=10618688 CPUtime=0.77 cores=1,3,5,7
/proc/14540/task/14556/stat : 14556 (java) S 14538 14540 14484 0 -1 4202560 5966 0 0 0 77 0 0 0 15 0 19 0 911818022 10873536512 918382 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14557] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14557/stat : 14557 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911818022 10873536512 918382 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14558] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14558/stat : 14558 (java) S 14538 14540 14484 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 911818022 10873536512 918382 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14559] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14559/stat : 14559 (java) S 14538 14540 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911818046 10873536512 918382 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 4 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1667.12
Current children cumulated vsize (KiB) 10618688
[startup+1722.3 s]
/proc/loadavg: 2.10 2.09 1.72 3/595 14608
/proc/meminfo: memFree=21304844/32951124 swapFree=34426104/67111528
[pid=14540] ppid=14538 vsize=10618688 CPUtime=1727.22 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14538 14540 14484 0 -1 4202496 923652 0 1 0 172616 106 0 0 18 0 19 0 911818016 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14540/statm: 2654672 918396 2258 9 0 2645406 0
[pid=14540/tid=14541] ppid=14538 vsize=10618688 CPUtime=1719.75 cores=1,3,5,7
/proc/14540/task/14541/stat : 14541 (java) R 14538 14540 14484 0 -1 4202560 837203 0 1 0 171881 94 0 0 25 0 19 0 911818017 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 46912505715642 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14540/tid=14542] ppid=14538 vsize=10618688 CPUtime=0.65 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) S 14538 14540 14484 0 -1 4202560 7876 0 0 0 65 0 0 0 16 0 19 0 911818018 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14543] ppid=14538 vsize=10618688 CPUtime=0.54 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14538 14540 14484 0 -1 4202560 8049 0 0 0 53 1 0 0 15 0 19 0 911818018 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 5 0 0 0
[pid=14540/tid=14544] ppid=14538 vsize=10618688 CPUtime=0.6 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14538 14540 14484 0 -1 4202560 8530 0 0 0 60 0 0 0 15 0 19 0 911818018 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14545] ppid=14538 vsize=10618688 CPUtime=0.49 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14538 14540 14484 0 -1 4202560 6909 0 0 0 49 0 0 0 16 0 19 0 911818018 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14546] ppid=14538 vsize=10618688 CPUtime=0.57 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14538 14540 14484 0 -1 4202560 8193 0 0 0 57 0 0 0 15 0 19 0 911818018 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
[pid=14540/tid=14547] ppid=14538 vsize=10618688 CPUtime=0.63 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14538 14540 14484 0 -1 4202560 8370 0 0 0 63 0 0 0 15 0 19 0 911818018 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14548] ppid=14538 vsize=10618688 CPUtime=0.71 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14538 14540 14484 0 -1 4202560 10391 0 0 0 69 2 0 0 16 0 19 0 911818018 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 5 0 0 0
[pid=14540/tid=14549] ppid=14538 vsize=10618688 CPUtime=0.62 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14538 14540 14484 0 -1 4202560 6741 0 0 0 62 0 0 0 16 0 19 0 911818018 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
[pid=14540/tid=14551] ppid=14538 vsize=10618688 CPUtime=0.98 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) S 14538 14540 14484 0 -1 4202560 8813 0 0 0 96 2 0 0 15 0 19 0 911818019 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 0 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
[pid=14540/tid=14552] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) S 14538 14540 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911818020 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14553] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) S 14538 14540 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911818020 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14554] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911818022 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296749489 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14555] ppid=14538 vsize=10618688 CPUtime=0.77 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14538 14540 14484 0 -1 4202560 5359 0 0 0 77 0 0 0 15 0 19 0 911818022 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 5 0 0 0
[pid=14540/tid=14556] ppid=14538 vsize=10618688 CPUtime=0.77 cores=1,3,5,7
/proc/14540/task/14556/stat : 14556 (java) S 14538 14540 14484 0 -1 4202560 5966 0 0 0 77 0 0 0 15 0 19 0 911818022 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14557] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14557/stat : 14557 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911818022 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14558] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14558/stat : 14558 (java) S 14538 14540 14484 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 911818022 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14559] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14559/stat : 14559 (java) S 14538 14540 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911818046 10873536512 918396 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 4 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1727.22
Current children cumulated vsize (KiB) 10618688
[startup+1782.3 s]
/proc/loadavg: 2.07 2.09 1.74 3/595 14610
/proc/meminfo: memFree=21299984/32951124 swapFree=34426104/67111528
[pid=14540] ppid=14538 vsize=10618688 CPUtime=1787.34 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14538 14540 14484 0 -1 4202496 923675 0 1 0 178628 106 0 0 18 0 19 0 911818016 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14540/statm: 2654672 918409 2258 9 0 2645406 0
[pid=14540/tid=14541] ppid=14538 vsize=10618688 CPUtime=1779.69 cores=1,3,5,7
/proc/14540/task/14541/stat : 14541 (java) R 14538 14540 14484 0 -1 4202560 837207 0 1 0 177875 94 0 0 25 0 19 0 911818017 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 46912505715608 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14540/tid=14542] ppid=14538 vsize=10618688 CPUtime=0.66 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) S 14538 14540 14484 0 -1 4202560 7877 0 0 0 66 0 0 0 15 0 19 0 911818018 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14543] ppid=14538 vsize=10618688 CPUtime=0.56 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14538 14540 14484 0 -1 4202560 8050 0 0 0 55 1 0 0 15 0 19 0 911818018 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 5 0 0 0
[pid=14540/tid=14544] ppid=14538 vsize=10618688 CPUtime=0.62 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14538 14540 14484 0 -1 4202560 8531 0 0 0 62 0 0 0 15 0 19 0 911818018 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
[pid=14540/tid=14545] ppid=14538 vsize=10618688 CPUtime=0.52 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14538 14540 14484 0 -1 4202560 6913 0 0 0 52 0 0 0 16 0 19 0 911818018 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14546] ppid=14538 vsize=10618688 CPUtime=0.62 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14538 14540 14484 0 -1 4202560 8199 0 0 0 62 0 0 0 16 0 19 0 911818018 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
[pid=14540/tid=14547] ppid=14538 vsize=10618688 CPUtime=0.64 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14538 14540 14484 0 -1 4202560 8370 0 0 0 64 0 0 0 15 0 19 0 911818018 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14548] ppid=14538 vsize=10618688 CPUtime=0.72 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14538 14540 14484 0 -1 4202560 10391 0 0 0 70 2 0 0 16 0 19 0 911818018 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 5 0 0 0
[pid=14540/tid=14549] ppid=14538 vsize=10618688 CPUtime=0.64 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14538 14540 14484 0 -1 4202560 6741 0 0 0 64 0 0 0 16 0 19 0 911818018 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14551] ppid=14538 vsize=10618688 CPUtime=0.99 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) S 14538 14540 14484 0 -1 4202560 8817 0 0 0 97 2 0 0 15 0 19 0 911818019 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 0 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14552] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) S 14538 14540 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911818020 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14553] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) S 14538 14540 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911818020 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14554] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911818022 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296749489 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14555] ppid=14538 vsize=10618688 CPUtime=0.77 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14538 14540 14484 0 -1 4202560 5359 0 0 0 77 0 0 0 15 0 19 0 911818022 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 5 0 0 0
[pid=14540/tid=14556] ppid=14538 vsize=10618688 CPUtime=0.77 cores=1,3,5,7
/proc/14540/task/14556/stat : 14556 (java) S 14538 14540 14484 0 -1 4202560 5966 0 0 0 77 0 0 0 15 0 19 0 911818022 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14557] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14557/stat : 14557 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911818022 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14558] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14558/stat : 14558 (java) S 14538 14540 14484 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 911818022 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14559] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14559/stat : 14559 (java) S 14538 14540 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911818046 10873536512 918409 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 4 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1787.34
Current children cumulated vsize (KiB) 10618688
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795 s]
/proc/loadavg: 1.97 2.07 1.74 2/572 14637
/proc/meminfo: memFree=24982296/32951124 swapFree=34426104/67111528
[pid=14540] ppid=14538 vsize=10618688 CPUtime=1800.08 cores=1,3,5,7
/proc/14540/stat : 14540 (java) S 14538 14540 14484 0 -1 4202496 923687 0 1 0 179902 106 0 0 18 0 19 0 911818016 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14540/statm: 2654672 918416 2258 9 0 2645406 0
[pid=14540/tid=14541] ppid=14538 vsize=10618688 CPUtime=1792.4 cores=1,3,5,7
/proc/14540/task/14541/stat : 14541 (java) R 14538 14540 14484 0 -1 4202560 837208 0 1 0 179146 94 0 0 25 0 19 0 911818017 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 46912505497026 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14540/tid=14542] ppid=14538 vsize=10618688 CPUtime=0.68 cores=1,3,5,7
/proc/14540/task/14542/stat : 14542 (java) S 14538 14540 14484 0 -1 4202560 7880 0 0 0 68 0 0 0 16 0 19 0 911818018 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14543] ppid=14538 vsize=10618688 CPUtime=0.56 cores=1,3,5,7
/proc/14540/task/14543/stat : 14543 (java) S 14538 14540 14484 0 -1 4202560 8050 0 0 0 55 1 0 0 15 0 19 0 911818018 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 5 0 0 0
[pid=14540/tid=14544] ppid=14538 vsize=10618688 CPUtime=0.62 cores=1,3,5,7
/proc/14540/task/14544/stat : 14544 (java) S 14538 14540 14484 0 -1 4202560 8531 0 0 0 62 0 0 0 15 0 19 0 911818018 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
[pid=14540/tid=14545] ppid=14538 vsize=10618688 CPUtime=0.54 cores=1,3,5,7
/proc/14540/task/14545/stat : 14545 (java) S 14538 14540 14484 0 -1 4202560 6917 0 0 0 54 0 0 0 16 0 19 0 911818018 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14546] ppid=14538 vsize=10618688 CPUtime=0.63 cores=1,3,5,7
/proc/14540/task/14546/stat : 14546 (java) S 14538 14540 14484 0 -1 4202560 8199 0 0 0 63 0 0 0 16 0 19 0 911818018 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
[pid=14540/tid=14547] ppid=14538 vsize=10618688 CPUtime=0.64 cores=1,3,5,7
/proc/14540/task/14547/stat : 14547 (java) S 14538 14540 14484 0 -1 4202560 8370 0 0 0 64 0 0 0 15 0 19 0 911818018 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14548] ppid=14538 vsize=10618688 CPUtime=0.72 cores=1,3,5,7
/proc/14540/task/14548/stat : 14548 (java) S 14538 14540 14484 0 -1 4202560 10391 0 0 0 70 2 0 0 15 0 19 0 911818018 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 5 0 0 0
[pid=14540/tid=14549] ppid=14538 vsize=10618688 CPUtime=0.64 cores=1,3,5,7
/proc/14540/task/14549/stat : 14549 (java) S 14538 14540 14484 0 -1 4202560 6741 0 0 0 64 0 0 0 15 0 19 0 911818018 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14551] ppid=14538 vsize=10618688 CPUtime=0.99 cores=1,3,5,7
/proc/14540/task/14551/stat : 14551 (java) S 14538 14540 14484 0 -1 4202560 8819 0 0 0 97 2 0 0 15 0 19 0 911818019 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 0 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14552] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14552/stat : 14552 (java) S 14538 14540 14484 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 911818020 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14553] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14553/stat : 14553 (java) S 14538 14540 14484 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 911818020 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 7 0 0 0
[pid=14540/tid=14554] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14554/stat : 14554 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 911818022 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296749489 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14555] ppid=14538 vsize=10618688 CPUtime=0.77 cores=1,3,5,7
/proc/14540/task/14555/stat : 14555 (java) S 14538 14540 14484 0 -1 4202560 5359 0 0 0 77 0 0 0 15 0 19 0 911818022 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 5 0 0 0
[pid=14540/tid=14556] ppid=14538 vsize=10618688 CPUtime=0.77 cores=1,3,5,7
/proc/14540/task/14556/stat : 14556 (java) S 14538 14540 14484 0 -1 4202560 5966 0 0 0 77 0 0 0 15 0 19 0 911818022 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14557] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14557/stat : 14557 (java) S 14538 14540 14484 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 911818022 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296741785 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14558] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14558/stat : 14558 (java) S 14538 14540 14484 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 911818022 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 4 0 16800975 18446604466616429504 0 0 -1 3 0 0 0
[pid=14540/tid=14559] ppid=14538 vsize=10618688 CPUtime=0 cores=1,3,5,7
/proc/14540/task/14559/stat : 14559 (java) S 14538 14540 14484 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 911818046 10873536512 918416 33554432000 1073741824 1073778376 140737092914928 18446744073709551615 224296742400 0 4 0 16800975 18446604466616429504 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10618688
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.13 s]
/proc/loadavg: 1.97 2.07 1.74 2/556 14640
/proc/meminfo: memFree=26691684/32951124 swapFree=34426104/67111528
[pid=14540] ppid=14538 vsize=0 CPUtime=1800.21 cores=1,3,5,7
/proc/14540/stat : 14540 (java) Z 14538 14540 14484 0 -1 4203548 923723 0 1 0 179907 114 0 0 17 0 2 0 911818016 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/14540/statm: 0 0 0 0 0 0 0
[pid=14540/tid=14639] ppid=14538 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/14540/task/14639/stat : 14639 (java) R 14538 14540 14484 0 -1 4203588 11 0 0 0 0 9 0 0 19 0 2 0 911997519 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.2
CPU time (s): 1800.29
CPU user time (s): 1799.08
CPU system time (s): 1.21181
CPU usage (%): 100.284
Max. virtual memory (cumulated for all children) (KiB): 10618688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.08
system time used= 1.21182
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 923723
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= 40184
involuntary context switches= 10277
runsolver used 10.1905 second user time and 24.2533 second system time
The end