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-3456878-1307636882/watcher-3456878-1307636882 -o /tmp/evaluation-result-3456878-1307636882/solver-3456878-1307636882 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456878-1307636882.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 2/192 24103
/proc/meminfo: memFree=28155488/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/24103/stat : 24103 (java) R 24101 24103 23633 0 -1 4202496 851 0 0 0 0 0 0 0 22 0 1 0 953918648 23580672 595 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252453103360 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/24103/statm: 5757 606 449 9 0 124 0
[startup+0.0724771 s]
/proc/loadavg: 2.00 2.00 1.91 2/192 24103
/proc/meminfo: memFree=28155488/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/24103/stat : 24103 (java) S 24101 24103 23633 0 -1 4202496 11808 0 1 0 5 0 0 0 22 0 18 0 953918648 10724442112 11505 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24103/statm: 2618272 11506 1742 9 0 2609006 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10473088
[startup+0.100468 s]
/proc/loadavg: 2.00 2.00 1.91 2/192 24103
/proc/meminfo: memFree=28155488/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=10540336 CPUtime=0.1 cores=1,3,5,7
/proc/24103/stat : 24103 (java) S 24101 24103 23633 0 -1 4202496 13046 0 1 0 9 1 0 0 22 0 18 0 953918648 10793304064 12703 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24103/statm: 2635084 12703 2092 9 0 2625818 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540336
[startup+0.300432 s]
/proc/loadavg: 2.00 2.00 1.91 2/192 24103
/proc/meminfo: memFree=28155488/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=10543184 CPUtime=0.46 cores=1,3,5,7
/proc/24103/stat : 24103 (java) S 24101 24103 23633 0 -1 4202496 15922 0 1 0 45 1 0 0 22 0 18 0 953918648 10796220416 15229 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24103/statm: 2635796 15230 2200 9 0 2626530 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10543184
[startup+0.700356 s]
/proc/loadavg: 2.00 2.00 1.91 2/192 24103
/proc/meminfo: memFree=28155488/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=10552996 CPUtime=1.48 cores=1,3,5,7
/proc/24103/stat : 24103 (java) S 24101 24103 23633 0 -1 4202496 40772 0 1 0 144 4 0 0 22 0 19 0 953918648 10806267904 36760 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24103/statm: 2638249 36760 2229 9 0 2628983 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10552996
[startup+1.50121 s]
/proc/loadavg: 2.00 2.00 1.91 5/211 24122
/proc/meminfo: memFree=27981388/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=10558428 CPUtime=2.96 cores=1,3,5,7
/proc/24103/stat : 24103 (java) S 24101 24103 23633 0 -1 4202496 71910 0 1 0 289 7 0 0 22 0 19 0 953918648 10811830272 65652 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24103/statm: 2639607 65653 2236 9 0 2630341 0
[pid=24103/tid=24105] ppid=24101 vsize=10558428 CPUtime=1.47 cores=1,3,5,7
/proc/24103/task/24105/stat : 24105 (java) R 24101 24103 23633 0 -1 4202560 55464 0 1 0 142 5 0 0 20 0 19 0 953918649 10811830272 65653 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 46912505860562 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24103/tid=24106] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24106/stat : 24106 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 953918651 10811830272 65654 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24107] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24107/stat : 24107 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 65655 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24108] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24108/stat : 24108 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 65657 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24109] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24109/stat : 24109 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 65657 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24110] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24110/stat : 24110 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 65658 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24111] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24111/stat : 24111 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 65659 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24112] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24112/stat : 24112 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 65661 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24113] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24113/stat : 24113 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 65661 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24114] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24114/stat : 24114 (java) S 24101 24103 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953918652 10811830272 65662 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 0 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24115] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24115/stat : 24115 (java) S 24101 24103 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953918652 10811830272 65662 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24116] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24116/stat : 24116 (java) S 24101 24103 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953918652 10811830272 65662 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24117] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24117/stat : 24117 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10811830272 65665 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469889457 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24118] ppid=24101 vsize=10558428 CPUtime=0.78 cores=1,3,5,7
/proc/24103/task/24118/stat : 24118 (java) S 24101 24103 23633 0 -1 4202560 5449 0 0 0 78 0 0 0 15 0 19 0 953918655 10811830272 65670 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24119] ppid=24101 vsize=10558428 CPUtime=0.68 cores=1,3,5,7
/proc/24103/task/24119/stat : 24119 (java) S 24101 24103 23633 0 -1 4202560 9838 0 0 0 67 1 0 0 21 0 19 0 953918655 10811830272 65671 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24120] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24120/stat : 24120 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10811830272 65676 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24121] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24121/stat : 24121 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953918655 10811830272 65681 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24122] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24122/stat : 24122 (java) S 24101 24103 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953918703 10811830272 65686 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 10558428
[startup+3.10092 s]
/proc/loadavg: 2.00 2.00 1.91 3/211 24122
/proc/meminfo: memFree=27783568/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=10558428 CPUtime=4.74 cores=1,3,5,7
/proc/24103/stat : 24103 (java) S 24101 24103 23633 0 -1 4202496 148986 0 1 0 458 16 0 0 22 0 19 0 953918648 10811830272 142726 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24103/statm: 2639607 142727 2239 9 0 2630341 0
[pid=24103/tid=24105] ppid=24101 vsize=10558428 CPUtime=3.08 cores=1,3,5,7
/proc/24103/task/24105/stat : 24105 (java) R 24101 24103 23633 0 -1 4202560 132518 0 1 0 294 14 0 0 25 0 19 0 953918649 10811830272 142727 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 46912505921304 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24103/tid=24106] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24106/stat : 24106 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 953918651 10811830272 142728 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24107] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24107/stat : 24107 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 142728 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24108] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24108/stat : 24108 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 142728 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24109] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24109/stat : 24109 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 142729 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24110] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24110/stat : 24110 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 142729 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24111] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24111/stat : 24111 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 142730 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24112] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24112/stat : 24112 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 142730 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24113] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24113/stat : 24113 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10811830272 142730 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24114] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24114/stat : 24114 (java) S 24101 24103 23633 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953918652 10811830272 142731 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 0 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24115] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24115/stat : 24115 (java) S 24101 24103 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953918652 10811830272 142731 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24116] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24116/stat : 24116 (java) S 24101 24103 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953918652 10811830272 142731 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24117] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24117/stat : 24117 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10811830272 142731 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469889457 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24118] ppid=24101 vsize=10558428 CPUtime=0.86 cores=1,3,5,7
/proc/24103/task/24118/stat : 24118 (java) S 24101 24103 23633 0 -1 4202560 5457 0 0 0 86 0 0 0 16 0 19 0 953918655 10811830272 142732 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24119] ppid=24101 vsize=10558428 CPUtime=0.78 cores=1,3,5,7
/proc/24103/task/24119/stat : 24119 (java) S 24101 24103 23633 0 -1 4202560 9851 0 0 0 77 1 0 0 15 0 19 0 953918655 10811830272 142732 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24120] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24120/stat : 24120 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10811830272 142732 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24121] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24121/stat : 24121 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953918655 10811830272 142733 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24122] ppid=24101 vsize=10558428 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24122/stat : 24122 (java) S 24101 24103 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953918703 10811830272 142733 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.74
Current children cumulated vsize (KiB) 10558428
[startup+6.30132 s]
/proc/loadavg: 2.00 2.00 1.91 3/211 24122
/proc/meminfo: memFree=27145456/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=10558792 CPUtime=8.07 cores=1,3,5,7
/proc/24103/stat : 24103 (java) S 24101 24103 23633 0 -1 4202496 304178 0 1 0 775 32 0 0 22 0 19 0 953918648 10812203008 296981 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24103/statm: 2639698 296982 2240 9 0 2630432 0
[pid=24103/tid=24105] ppid=24101 vsize=10558792 CPUtime=6.28 cores=1,3,5,7
/proc/24103/task/24105/stat : 24105 (java) R 24101 24103 23633 0 -1 4202560 287455 0 1 0 598 30 0 0 25 0 19 0 953918649 10812203008 296983 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 46912505865204 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=24103/tid=24106] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24106/stat : 24106 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 19 0 953918651 10812203008 296984 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24107] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24107/stat : 24107 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10812203008 296985 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24108] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24108/stat : 24108 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10812203008 296985 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24109] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24109/stat : 24109 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10812203008 296986 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24110] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24110/stat : 24110 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10812203008 296987 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24111] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24111/stat : 24111 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10812203008 296988 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24112] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24112/stat : 24112 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10812203008 296989 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24113] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24113/stat : 24113 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918651 10812203008 296989 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24114] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24114/stat : 24114 (java) S 24101 24103 23633 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953918652 10812203008 296990 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 0 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24115] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24115/stat : 24115 (java) S 24101 24103 23633 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 953918652 10812203008 296991 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24116] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24116/stat : 24116 (java) S 24101 24103 23633 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 953918652 10812203008 296992 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24117] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24117/stat : 24117 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10812203008 296992 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469889457 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24118] ppid=24101 vsize=10558792 CPUtime=0.93 cores=1,3,5,7
/proc/24103/task/24118/stat : 24118 (java) S 24101 24103 23633 0 -1 4202560 5703 0 0 0 93 0 0 0 15 0 19 0 953918655 10812203008 296993 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24119] ppid=24101 vsize=10558792 CPUtime=0.84 cores=1,3,5,7
/proc/24103/task/24119/stat : 24119 (java) S 24101 24103 23633 0 -1 4202560 9860 0 0 0 83 1 0 0 15 0 19 0 953918655 10812203008 296994 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24120] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24120/stat : 24120 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10812203008 296995 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24121] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24121/stat : 24121 (java) S 24101 24103 23633 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953918655 10812203008 296996 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24122] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24122/stat : 24122 (java) S 24101 24103 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953918703 10812203008 296996 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.07
Current children cumulated vsize (KiB) 10558792
[startup+12.7011 s]
################
# More data... #
################
/proc/24103/task/24115/stat : 24115 (java) S 24101 24103 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953918652 10812203008 1099484 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24116] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24116/stat : 24116 (java) S 24101 24103 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953918652 10812203008 1099484 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24117] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24117/stat : 24117 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10812203008 1099484 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469889457 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24118] ppid=24101 vsize=10558792 CPUtime=1.06 cores=1,3,5,7
/proc/24103/task/24118/stat : 24118 (java) S 24101 24103 23633 0 -1 4202560 5732 0 0 0 105 1 0 0 15 0 19 0 953918655 10812203008 1099484 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24119] ppid=24101 vsize=10558792 CPUtime=0.96 cores=1,3,5,7
/proc/24103/task/24119/stat : 24119 (java) S 24101 24103 23633 0 -1 4202560 9877 0 0 0 95 1 0 0 15 0 19 0 953918655 10812203008 1099484 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24120] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24120/stat : 24120 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10812203008 1099484 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24121] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24121/stat : 24121 (java) S 24101 24103 23633 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 953918655 10812203008 1099484 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24122] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24122/stat : 24122 (java) S 24101 24103 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953918703 10812203008 1099484 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1673.88
Current children cumulated vsize (KiB) 10558792
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 24230
/proc/meminfo: memFree=23373244/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=10558792 CPUtime=1734.25 cores=1,3,5,7
/proc/24103/stat : 24103 (java) S 24101 24103 23633 0 -1 4202496 1114939 0 1 0 173300 125 0 0 22 0 19 0 953918648 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24103/statm: 2639698 1103430 2268 9 0 2630432 0
[pid=24103/tid=24105] ppid=24101 vsize=10558792 CPUtime=1717 cores=1,3,5,7
/proc/24103/task/24105/stat : 24105 (java) R 24101 24103 23633 0 -1 4202560 690784 0 1 0 171625 75 0 0 25 0 19 0 953918649 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 46912505889275 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24103/tid=24106] ppid=24101 vsize=10558792 CPUtime=1.68 cores=1,3,5,7
/proc/24103/task/24106/stat : 24106 (java) S 24101 24103 23633 0 -1 4202560 57765 0 0 0 161 7 0 0 16 0 19 0 953918651 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24107] ppid=24101 vsize=10558792 CPUtime=1.77 cores=1,3,5,7
/proc/24103/task/24107/stat : 24107 (java) S 24101 24103 23633 0 -1 4202560 51790 0 0 0 171 6 0 0 16 0 19 0 953918651 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 7 0 0 0
[pid=24103/tid=24108] ppid=24101 vsize=10558792 CPUtime=1.52 cores=1,3,5,7
/proc/24103/task/24108/stat : 24108 (java) S 24101 24103 23633 0 -1 4202560 50846 0 0 0 147 5 0 0 16 0 19 0 953918651 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24109] ppid=24101 vsize=10558792 CPUtime=1.69 cores=1,3,5,7
/proc/24103/task/24109/stat : 24109 (java) S 24101 24103 23633 0 -1 4202560 45265 0 0 0 165 4 0 0 15 0 19 0 953918651 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24110] ppid=24101 vsize=10558792 CPUtime=2.07 cores=1,3,5,7
/proc/24103/task/24110/stat : 24110 (java) S 24101 24103 23633 0 -1 4202560 62880 0 0 0 200 7 0 0 16 0 19 0 953918651 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24111] ppid=24101 vsize=10558792 CPUtime=1.59 cores=1,3,5,7
/proc/24103/task/24111/stat : 24111 (java) S 24101 24103 23633 0 -1 4202560 49202 0 0 0 154 5 0 0 16 0 19 0 953918651 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24112] ppid=24101 vsize=10558792 CPUtime=1.66 cores=1,3,5,7
/proc/24103/task/24112/stat : 24112 (java) S 24101 24103 23633 0 -1 4202560 43136 0 0 0 162 4 0 0 16 0 19 0 953918651 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24113] ppid=24101 vsize=10558792 CPUtime=1.34 cores=1,3,5,7
/proc/24103/task/24113/stat : 24113 (java) S 24101 24103 23633 0 -1 4202560 41687 0 0 0 130 4 0 0 16 0 19 0 953918651 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 7 0 0 0
[pid=24103/tid=24114] ppid=24101 vsize=10558792 CPUtime=1.81 cores=1,3,5,7
/proc/24103/task/24114/stat : 24114 (java) S 24101 24103 23633 0 -1 4202560 4725 0 0 0 180 1 0 0 15 0 19 0 953918652 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 0 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24115] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24115/stat : 24115 (java) S 24101 24103 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953918652 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24116] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24116/stat : 24116 (java) S 24101 24103 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953918652 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24117] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24117/stat : 24117 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469889457 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24118] ppid=24101 vsize=10558792 CPUtime=1.06 cores=1,3,5,7
/proc/24103/task/24118/stat : 24118 (java) S 24101 24103 23633 0 -1 4202560 5732 0 0 0 105 1 0 0 15 0 19 0 953918655 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24119] ppid=24101 vsize=10558792 CPUtime=0.96 cores=1,3,5,7
/proc/24103/task/24119/stat : 24119 (java) S 24101 24103 23633 0 -1 4202560 9877 0 0 0 95 1 0 0 15 0 19 0 953918655 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24120] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24120/stat : 24120 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24121] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24121/stat : 24121 (java) S 24101 24103 23633 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 953918655 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24122] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24122/stat : 24122 (java) S 24101 24103 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953918703 10812203008 1103430 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1734.25
Current children cumulated vsize (KiB) 10558792
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 24231
/proc/meminfo: memFree=23318760/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=10558792 CPUtime=1794.58 cores=1,3,5,7
/proc/24103/stat : 24103 (java) S 24101 24103 23633 0 -1 4202496 1119658 0 1 0 179332 126 0 0 22 0 19 0 953918648 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24103/statm: 2639698 1108039 2268 9 0 2630432 0
[pid=24103/tid=24105] ppid=24101 vsize=10558792 CPUtime=1776.89 cores=1,3,5,7
/proc/24103/task/24105/stat : 24105 (java) R 24101 24103 23633 0 -1 4202560 690786 0 1 0 177614 75 0 0 25 0 19 0 953918649 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 46912505889084 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24103/tid=24106] ppid=24101 vsize=10558792 CPUtime=1.73 cores=1,3,5,7
/proc/24103/task/24106/stat : 24106 (java) S 24101 24103 23633 0 -1 4202560 58430 0 0 0 166 7 0 0 16 0 19 0 953918651 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24107] ppid=24101 vsize=10558792 CPUtime=1.87 cores=1,3,5,7
/proc/24103/task/24107/stat : 24107 (java) S 24101 24103 23633 0 -1 4202560 52880 0 0 0 181 6 0 0 16 0 19 0 953918651 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 7 0 0 0
[pid=24103/tid=24108] ppid=24101 vsize=10558792 CPUtime=1.57 cores=1,3,5,7
/proc/24103/task/24108/stat : 24108 (java) S 24101 24103 23633 0 -1 4202560 51416 0 0 0 152 5 0 0 15 0 19 0 953918651 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24109] ppid=24101 vsize=10558792 CPUtime=1.74 cores=1,3,5,7
/proc/24103/task/24109/stat : 24109 (java) S 24101 24103 23633 0 -1 4202560 45906 0 0 0 170 4 0 0 16 0 19 0 953918651 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24110] ppid=24101 vsize=10558792 CPUtime=2.08 cores=1,3,5,7
/proc/24103/task/24110/stat : 24110 (java) S 24101 24103 23633 0 -1 4202560 62880 0 0 0 201 7 0 0 15 0 19 0 953918651 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24111] ppid=24101 vsize=10558792 CPUtime=1.7 cores=1,3,5,7
/proc/24103/task/24111/stat : 24111 (java) S 24101 24103 23633 0 -1 4202560 50395 0 0 0 165 5 0 0 16 0 19 0 953918651 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24112] ppid=24101 vsize=10558792 CPUtime=1.71 cores=1,3,5,7
/proc/24103/task/24112/stat : 24112 (java) S 24101 24103 23633 0 -1 4202560 43686 0 0 0 167 4 0 0 16 0 19 0 953918651 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24113] ppid=24101 vsize=10558792 CPUtime=1.34 cores=1,3,5,7
/proc/24103/task/24113/stat : 24113 (java) S 24101 24103 23633 0 -1 4202560 41687 0 0 0 130 4 0 0 15 0 19 0 953918651 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 7 0 0 0
[pid=24103/tid=24114] ppid=24101 vsize=10558792 CPUtime=1.81 cores=1,3,5,7
/proc/24103/task/24114/stat : 24114 (java) S 24101 24103 23633 0 -1 4202560 4729 0 0 0 180 1 0 0 15 0 19 0 953918652 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 0 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24115] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24115/stat : 24115 (java) S 24101 24103 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953918652 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24116] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24116/stat : 24116 (java) S 24101 24103 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953918652 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24117] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24117/stat : 24117 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469889457 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24118] ppid=24101 vsize=10558792 CPUtime=1.06 cores=1,3,5,7
/proc/24103/task/24118/stat : 24118 (java) S 24101 24103 23633 0 -1 4202560 5732 0 0 0 105 1 0 0 15 0 19 0 953918655 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24119] ppid=24101 vsize=10558792 CPUtime=0.96 cores=1,3,5,7
/proc/24103/task/24119/stat : 24119 (java) S 24101 24103 23633 0 -1 4202560 9877 0 0 0 95 1 0 0 15 0 19 0 953918655 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24120] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24120/stat : 24120 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24121] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24121/stat : 24121 (java) S 24101 24103 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953918655 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24122] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24122/stat : 24122 (java) S 24101 24103 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953918703 10812203008 1108039 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 10558792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.6 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 24231
/proc/meminfo: memFree=23312060/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=10558792 CPUtime=1800.02 cores=1,3,5,7
/proc/24103/stat : 24103 (java) S 24101 24103 23633 0 -1 4202496 1121495 0 1 0 179876 126 0 0 22 0 19 0 953918648 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469868517 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24103/statm: 2639698 1109812 2268 9 0 2630432 0
[pid=24103/tid=24105] ppid=24101 vsize=10558792 CPUtime=1782.15 cores=1,3,5,7
/proc/24103/task/24105/stat : 24105 (java) R 24101 24103 23633 0 -1 4202560 690787 0 1 0 178140 75 0 0 25 0 19 0 953918649 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 46912505889032 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=24103/tid=24106] ppid=24101 vsize=10558792 CPUtime=1.73 cores=1,3,5,7
/proc/24103/task/24106/stat : 24106 (java) S 24101 24103 23633 0 -1 4202560 58430 0 0 0 166 7 0 0 15 0 19 0 953918651 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24107] ppid=24101 vsize=10558792 CPUtime=1.92 cores=1,3,5,7
/proc/24103/task/24107/stat : 24107 (java) S 24101 24103 23633 0 -1 4202560 53305 0 0 0 186 6 0 0 16 0 19 0 953918651 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 7 0 0 0
[pid=24103/tid=24108] ppid=24101 vsize=10558792 CPUtime=1.62 cores=1,3,5,7
/proc/24103/task/24108/stat : 24108 (java) S 24101 24103 23633 0 -1 4202560 51974 0 0 0 157 5 0 0 16 0 19 0 953918651 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24109] ppid=24101 vsize=10558792 CPUtime=1.79 cores=1,3,5,7
/proc/24103/task/24109/stat : 24109 (java) S 24101 24103 23633 0 -1 4202560 46224 0 0 0 175 4 0 0 16 0 19 0 953918651 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24110] ppid=24101 vsize=10558792 CPUtime=2.08 cores=1,3,5,7
/proc/24103/task/24110/stat : 24110 (java) S 24101 24103 23633 0 -1 4202560 62880 0 0 0 201 7 0 0 15 0 19 0 953918651 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24111] ppid=24101 vsize=10558792 CPUtime=1.74 cores=1,3,5,7
/proc/24103/task/24111/stat : 24111 (java) S 24101 24103 23633 0 -1 4202560 50928 0 0 0 169 5 0 0 16 0 19 0 953918651 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24112] ppid=24101 vsize=10558792 CPUtime=1.71 cores=1,3,5,7
/proc/24103/task/24112/stat : 24112 (java) S 24101 24103 23633 0 -1 4202560 43686 0 0 0 167 4 0 0 15 0 19 0 953918651 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24113] ppid=24101 vsize=10558792 CPUtime=1.34 cores=1,3,5,7
/proc/24103/task/24113/stat : 24113 (java) S 24101 24103 23633 0 -1 4202560 41687 0 0 0 130 4 0 0 15 0 19 0 953918651 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 7 0 0 0
[pid=24103/tid=24114] ppid=24101 vsize=10558792 CPUtime=1.81 cores=1,3,5,7
/proc/24103/task/24114/stat : 24114 (java) S 24101 24103 23633 0 -1 4202560 4731 0 0 0 180 1 0 0 15 0 19 0 953918652 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 0 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24115] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24115/stat : 24115 (java) S 24101 24103 23633 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953918652 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24116] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24116/stat : 24116 (java) S 24101 24103 23633 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 953918652 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24117] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24117/stat : 24117 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469889457 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24118] ppid=24101 vsize=10558792 CPUtime=1.06 cores=1,3,5,7
/proc/24103/task/24118/stat : 24118 (java) S 24101 24103 23633 0 -1 4202560 5732 0 0 0 105 1 0 0 15 0 19 0 953918655 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
[pid=24103/tid=24119] ppid=24101 vsize=10558792 CPUtime=0.96 cores=1,3,5,7
/proc/24103/task/24119/stat : 24119 (java) S 24101 24103 23633 0 -1 4202560 9877 0 0 0 95 1 0 0 15 0 19 0 953918655 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24120] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24120/stat : 24120 (java) S 24101 24103 23633 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 953918655 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469881753 0 4 0 16800975 18446604471144168512 0 0 -1 5 0 0 0
[pid=24103/tid=24121] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24121/stat : 24121 (java) S 24101 24103 23633 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953918655 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 3 0 0 0
[pid=24103/tid=24122] ppid=24101 vsize=10558792 CPUtime=0 cores=1,3,5,7
/proc/24103/task/24122/stat : 24122 (java) S 24101 24103 23633 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 953918703 10812203008 1109812 33554432000 1073741824 1073778376 140734450367920 18446744073709551615 252469882368 0 4 0 16800975 18446604471144168512 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 10558792
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1787.8 s]
/proc/loadavg: 2.00 2.00 1.93 3/211 24231
/proc/meminfo: memFree=23312060/32951124 swapFree=67062556/67111528
[pid=24103] ppid=24101 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/24103/stat : 24103 (java) Z 24101 24103 23633 0 -1 4203548 1121525 0 1 0 179880 142 0 0 17 0 2 0 953918648 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/24103/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1787.8
CPU time (s): 1800.23
CPU user time (s): 1798.81
CPU system time (s): 1.42378
CPU usage (%): 100.695
Max. virtual memory (cumulated for all children) (KiB): 10558792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.42378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1121525
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= 38513
involuntary context switches= 15152
runsolver used 2.89956 second user time and 6.87195 second system time
The end