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-3459062-1307154649/watcher-3459062-1307154649 -o /tmp/evaluation-result-3459062-1307154649/solver-3459062-1307154649 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3459062-1307154649.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.93 1.98 1.99 2/391 18113
/proc/meminfo: memFree=21941512/32951124 swapFree=37148216/67111528
[pid=18113] ppid=18111 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/18113/stat : 18113 (java) S 18111 18113 14642 0 -1 4202496 3429 0 1 0 0 0 0 0 25 0 2 0 827065411 13833195520 3131 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/18113/statm: 3377245 3147 906 9 0 3368401 0
[pid=18113/tid=18114] ppid=18111 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18114/stat : 18114 (java) R 18111 18113 14642 0 -1 4202560 4017 0 1 0 0 0 0 0 25 0 2 0 827065412 13850947584 4832 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0882449 s]
/proc/loadavg: 1.93 1.98 1.99 2/391 18113
/proc/meminfo: memFree=21941512/32951124 swapFree=37148216/67111528
[pid=18113] ppid=18111 vsize=13687932 CPUtime=0.08 cores=0,2,4,6
/proc/18113/stat : 18113 (java) S 18111 18113 14642 0 -1 4202496 15220 0 1 0 7 1 0 0 25 0 18 0 827065411 14016442368 14915 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18113/statm: 3421983 14915 2022 9 0 3412717 0
[pid=18113/tid=18114] ppid=18111 vsize=13687932 CPUtime=0.08 cores=0,2,4,6
/proc/18113/task/18114/stat : 18114 (java) D 18111 18113 14642 0 -1 4202560 13437 0 1 0 7 1 0 0 25 0 18 0 827065412 14016442368 14915 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230809208967 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13687932
[startup+0.100803 s]
/proc/loadavg: 1.93 1.98 1.99 2/391 18113
/proc/meminfo: memFree=21941512/32951124 swapFree=37148216/67111528
[pid=18113] ppid=18111 vsize=13622396 CPUtime=0.1 cores=0,2,4,6
/proc/18113/stat : 18113 (java) S 18111 18113 14642 0 -1 4202496 15564 0 1 0 9 1 0 0 25 0 18 0 827065411 13949333504 15254 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18113/statm: 3405599 15254 2092 9 0 3396333 0
[pid=18113/tid=18114] ppid=18111 vsize=13622396 CPUtime=0.09 cores=0,2,4,6
/proc/18113/task/18114/stat : 18114 (java) R 18111 18113 14642 0 -1 4202560 13645 0 1 0 8 1 0 0 18 0 18 0 827065412 13949333504 15254 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820992459 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622396
[startup+0.304805 s]
/proc/loadavg: 1.93 1.98 1.99 2/391 18113
/proc/meminfo: memFree=21941512/32951124 swapFree=37148216/67111528
[pid=18113] ppid=18111 vsize=13625468 CPUtime=0.53 cores=0,2,4,6
/proc/18113/stat : 18113 (java) S 18111 18113 14642 0 -1 4202496 19160 0 1 0 51 2 0 0 25 0 18 0 827065411 13952479232 18820 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18113/statm: 3406367 18821 2201 9 0 3397101 0
[pid=18113/tid=18114] ppid=18111 vsize=13625468 CPUtime=0.29 cores=0,2,4,6
/proc/18113/task/18114/stat : 18114 (java) R 18111 18113 14642 0 -1 4202560 16342 0 1 0 28 1 0 0 18 0 18 0 827065412 13952479232 18822 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 46912505550697 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13625468
[startup+0.700762 s]
/proc/loadavg: 1.93 1.98 1.99 2/391 18113
/proc/meminfo: memFree=21941512/32951124 swapFree=37148216/67111528
[pid=18113] ppid=18111 vsize=13628540 CPUtime=1.18 cores=0,2,4,6
/proc/18113/stat : 18113 (java) S 18111 18113 14642 0 -1 4202496 55666 0 1 0 111 7 0 0 25 0 18 0 827065411 13955624960 54594 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18113/statm: 3407135 54598 2213 9 0 3397869 0
[pid=18113/tid=18114] ppid=18111 vsize=13628540 CPUtime=0.68 cores=0,2,4,6
/proc/18113/task/18114/stat : 18114 (java) R 18111 18113 14642 0 -1 4202560 50587 0 1 0 62 6 0 0 18 0 18 0 827065412 13955624960 54601 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 46912505602053 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13628540
[startup+1.50163 s]
/proc/loadavg: 1.93 1.98 1.99 3/409 18131
/proc/meminfo: memFree=21601988/32951124 swapFree=37148216/67111528
[pid=18113] ppid=18111 vsize=13628540 CPUtime=1.98 cores=0,2,4,6
/proc/18113/stat : 18113 (java) S 18111 18113 14642 0 -1 4202496 140558 0 1 0 182 16 0 0 25 0 18 0 827065411 13955624960 139486 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18113/statm: 3407135 139490 2213 9 0 3397869 0
[pid=18113/tid=18114] ppid=18111 vsize=13628540 CPUtime=1.48 cores=0,2,4,6
/proc/18113/task/18114/stat : 18114 (java) R 18111 18113 14642 0 -1 4202560 135478 0 1 0 133 15 0 0 19 0 18 0 827065412 13955624960 139492 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 46912505623004 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18113/tid=18116] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18116/stat : 18116 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 139495 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18117] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18117/stat : 18117 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 139498 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18118] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18118/stat : 18118 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 139500 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18119] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18119/stat : 18119 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 139501 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18120] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18120/stat : 18120 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 139502 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18121] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18121/stat : 18121 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 139505 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18122] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18122/stat : 18122 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 139508 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18123] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18123/stat : 18123 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 139510 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18124] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18124/stat : 18124 (java) S 18111 18113 14642 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 827065415 13955624960 139513 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 0 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18125] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18125/stat : 18125 (java) S 18111 18113 14642 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 827065415 13955624960 139516 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18126] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18126/stat : 18126 (java) S 18111 18113 14642 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 827065415 13955624960 139518 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18127] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18127/stat : 18127 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065417 13955624960 139521 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820989361 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18128] ppid=18111 vsize=13628540 CPUtime=0.24 cores=0,2,4,6
/proc/18113/task/18128/stat : 18128 (java) S 18111 18113 14642 0 -1 4202560 2154 0 0 0 24 0 0 0 25 0 18 0 827065417 13955624960 139523 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
[pid=18113/tid=18129] ppid=18111 vsize=13628540 CPUtime=0.24 cores=0,2,4,6
/proc/18113/task/18129/stat : 18129 (java) S 18111 18113 14642 0 -1 4202560 1782 0 0 0 24 0 0 0 17 0 18 0 827065417 13955624960 139526 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 2 0 0 0
[pid=18113/tid=18130] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18130/stat : 18130 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065417 13955624960 139529 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18131] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18131/stat : 18131 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 827065417 13955624960 139531 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 4 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.98
Current children cumulated vsize (KiB) 13628540
[startup+3.10132 s]
/proc/loadavg: 1.93 1.98 1.99 3/409 18131
/proc/meminfo: memFree=21252680/32951124 swapFree=37148216/67111528
[pid=18113] ppid=18111 vsize=13628540 CPUtime=3.72 cores=0,2,4,6
/proc/18113/stat : 18113 (java) S 18111 18113 14642 0 -1 4202496 204343 0 1 0 348 24 0 0 25 0 18 0 827065411 13955624960 203271 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18113/statm: 3407135 203274 2224 9 0 3397869 0
[pid=18113/tid=18114] ppid=18111 vsize=13628540 CPUtime=3.09 cores=0,2,4,6
/proc/18113/task/18114/stat : 18114 (java) R 18111 18113 14642 0 -1 4202560 199238 0 1 0 286 23 0 0 23 0 18 0 827065412 13955624960 203275 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 46912505799037 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18113/tid=18116] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18116/stat : 18116 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 203277 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18117] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18117/stat : 18117 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 203278 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18118] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18118/stat : 18118 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 203280 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18119] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18119/stat : 18119 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 203282 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18120] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18120/stat : 18120 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 203283 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18121] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18121/stat : 18121 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 203285 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18122] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18122/stat : 18122 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 203286 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18123] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18123/stat : 18123 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065414 13955624960 203288 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18124] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18124/stat : 18124 (java) S 18111 18113 14642 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 827065415 13955624960 203290 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 0 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18125] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18125/stat : 18125 (java) S 18111 18113 14642 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 827065415 13955624960 203291 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18126] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18126/stat : 18126 (java) S 18111 18113 14642 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 827065415 13955624960 203293 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18127] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18127/stat : 18127 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065417 13955624960 203294 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820989361 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18128] ppid=18111 vsize=13628540 CPUtime=0.32 cores=0,2,4,6
/proc/18113/task/18128/stat : 18128 (java) S 18111 18113 14642 0 -1 4202560 2173 0 0 0 32 0 0 0 16 0 18 0 827065417 13955624960 203296 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
[pid=18113/tid=18129] ppid=18111 vsize=13628540 CPUtime=0.28 cores=0,2,4,6
/proc/18113/task/18129/stat : 18129 (java) R 18111 18113 14642 0 -1 4202560 1786 0 0 0 28 0 0 0 15 0 18 0 827065417 13955624960 203298 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 47759172081657 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18113/tid=18130] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18130/stat : 18130 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 827065417 13955624960 203299 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18131] ppid=18111 vsize=13628540 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18131/stat : 18131 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 827065417 13955624960 203301 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 4 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 13628540
[startup+6.30074 s]
/proc/loadavg: 1.93 1.98 1.99 3/410 18132
/proc/meminfo: memFree=21116164/32951124 swapFree=37148216/67111528
[pid=18113] ppid=18111 vsize=13629568 CPUtime=7.23 cores=0,2,4,6
/proc/18113/stat : 18113 (java) S 18111 18113 14642 0 -1 4202496 210424 0 1 0 699 24 0 0 25 0 19 0 827065411 13956677632 209039 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18113/statm: 3407392 209039 2236 9 0 3398126 0
[pid=18113/tid=18114] ppid=18111 vsize=13629568 CPUtime=6.28 cores=0,2,4,6
/proc/18113/task/18114/stat : 18114 (java) R 18111 18113 14642 0 -1 4202560 204936 0 1 0 605 23 0 0 21 0 19 0 827065412 13956677632 209039 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 46912505698439 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=18113/tid=18116] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18116/stat : 18116 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18117] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18117/stat : 18117 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18118] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18118/stat : 18118 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18119] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18119/stat : 18119 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18120] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18120/stat : 18120 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18121] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18121/stat : 18121 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18122] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18122/stat : 18122 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18123] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18123/stat : 18123 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18124] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18124/stat : 18124 (java) S 18111 18113 14642 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827065415 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 0 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18125] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18125/stat : 18125 (java) S 18111 18113 14642 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827065415 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18126] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18126/stat : 18126 (java) S 18111 18113 14642 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827065415 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18127] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18127/stat : 18127 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065417 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820989361 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18128] ppid=18111 vsize=13629568 CPUtime=0.54 cores=0,2,4,6
/proc/18113/task/18128/stat : 18128 (java) S 18111 18113 14642 0 -1 4202560 2523 0 0 0 54 0 0 0 15 0 19 0 827065417 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
[pid=18113/tid=18129] ppid=18111 vsize=13629568 CPUtime=0.39 cores=0,2,4,6
/proc/18113/task/18129/stat : 18129 (java) S 18111 18113 14642 0 -1 4202560 1803 0 0 0 39 0 0 0 15 0 19 0 827065417 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 2 0 0 0
[pid=18113/tid=18130] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18130/stat : 18130 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065417 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18131] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18131/stat : 18131 (java) S 18111 18113 14642 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827065417 13956677632 209040 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
################
# More data... #
################
[pid=18113/tid=18121] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18121/stat : 18121 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18122] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18122/stat : 18122 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18123] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18123/stat : 18123 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18124] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18124/stat : 18124 (java) S 18111 18113 14642 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827065415 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 0 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
[pid=18113/tid=18125] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18125/stat : 18125 (java) S 18111 18113 14642 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827065415 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18126] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18126/stat : 18126 (java) S 18111 18113 14642 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827065415 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18127] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18127/stat : 18127 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065417 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820989361 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18128] ppid=18111 vsize=13629568 CPUtime=0.59 cores=0,2,4,6
/proc/18113/task/18128/stat : 18128 (java) S 18111 18113 14642 0 -1 4202560 2830 0 0 0 59 0 0 0 15 0 19 0 827065417 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
[pid=18113/tid=18129] ppid=18111 vsize=13629568 CPUtime=0.52 cores=0,2,4,6
/proc/18113/task/18129/stat : 18129 (java) S 18111 18113 14642 0 -1 4202560 1825 0 0 0 52 0 0 0 15 0 19 0 827065417 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 2 0 0 0
[pid=18113/tid=18130] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18130/stat : 18130 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065417 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18131] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18131/stat : 18131 (java) S 18111 18113 14642 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 827065417 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 4 0 16800975 18446604440496009600 0 0 -1 2 0 0 0
[pid=18113/tid=18132] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18132/stat : 18132 (java) S 18111 18113 14642 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827065730 13956677632 465734 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1723.43
Current children cumulated vsize (KiB) 13629568
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/410 18179
/proc/meminfo: memFree=19989560/32951124 swapFree=37148216/67111528
[pid=18113] ppid=18111 vsize=13629568 CPUtime=1783.44 cores=0,2,4,6
/proc/18113/stat : 18113 (java) S 18111 18113 14642 0 -1 4202496 482653 0 1 0 178283 61 0 0 25 0 19 0 827065411 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18113/statm: 3407392 480863 2239 9 0 3398126 0
[pid=18113/tid=18114] ppid=18111 vsize=13629568 CPUtime=1782.3 cores=0,2,4,6
/proc/18113/task/18114/stat : 18114 (java) R 18111 18113 14642 0 -1 4202560 476731 0 1 0 178171 59 0 0 25 0 19 0 827065412 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 46912506014696 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18113/tid=18116] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18116/stat : 18116 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18117] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18117/stat : 18117 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18118] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18118/stat : 18118 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18119] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18119/stat : 18119 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18120] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18120/stat : 18120 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18121] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18121/stat : 18121 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18122] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18122/stat : 18122 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18123] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18123/stat : 18123 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18124] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18124/stat : 18124 (java) S 18111 18113 14642 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827065415 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 0 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
[pid=18113/tid=18125] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18125/stat : 18125 (java) S 18111 18113 14642 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827065415 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18126] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18126/stat : 18126 (java) S 18111 18113 14642 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827065415 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18127] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18127/stat : 18127 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065417 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820989361 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18128] ppid=18111 vsize=13629568 CPUtime=0.59 cores=0,2,4,6
/proc/18113/task/18128/stat : 18128 (java) S 18111 18113 14642 0 -1 4202560 2831 0 0 0 59 0 0 0 15 0 19 0 827065417 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
[pid=18113/tid=18129] ppid=18111 vsize=13629568 CPUtime=0.52 cores=0,2,4,6
/proc/18113/task/18129/stat : 18129 (java) S 18111 18113 14642 0 -1 4202560 1826 0 0 0 52 0 0 0 15 0 19 0 827065417 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 2 0 0 0
[pid=18113/tid=18130] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18130/stat : 18130 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065417 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18131] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18131/stat : 18131 (java) S 18111 18113 14642 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827065417 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 4 0 16800975 18446604440496009600 0 0 -1 2 0 0 0
[pid=18113/tid=18132] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18132/stat : 18132 (java) S 18111 18113 14642 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827065730 13956677632 480863 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1783.44
Current children cumulated vsize (KiB) 13629568
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.9 s]
/proc/loadavg: 1.92 1.99 1.99 2/386 18200
/proc/meminfo: memFree=20898084/32951124 swapFree=37148216/67111528
[pid=18113] ppid=18111 vsize=13629568 CPUtime=1800.05 cores=0,2,4,6
/proc/18113/stat : 18113 (java) S 18111 18113 14642 0 -1 4202496 485988 0 1 0 179944 61 0 0 25 0 19 0 827065411 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18113/statm: 3407392 484198 2239 9 0 3398126 0
[pid=18113/tid=18114] ppid=18111 vsize=13629568 CPUtime=1798.92 cores=0,2,4,6
/proc/18113/task/18114/stat : 18114 (java) R 18111 18113 14642 0 -1 4202560 480066 0 1 0 179832 60 0 0 25 0 19 0 827065412 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 46912505862662 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18113/tid=18116] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18116/stat : 18116 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18117] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18117/stat : 18117 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18118] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18118/stat : 18118 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18119] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18119/stat : 18119 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18120] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18120/stat : 18120 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18121] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18121/stat : 18121 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18122] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18122/stat : 18122 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18123] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18123/stat : 18123 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18124] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18124/stat : 18124 (java) S 18111 18113 14642 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827065415 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 0 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
[pid=18113/tid=18125] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18125/stat : 18125 (java) S 18111 18113 14642 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827065415 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18126] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18126/stat : 18126 (java) S 18111 18113 14642 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827065415 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18127] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18127/stat : 18127 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065417 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820989361 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18128] ppid=18111 vsize=13629568 CPUtime=0.59 cores=0,2,4,6
/proc/18113/task/18128/stat : 18128 (java) S 18111 18113 14642 0 -1 4202560 2831 0 0 0 59 0 0 0 15 0 19 0 827065417 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
[pid=18113/tid=18129] ppid=18111 vsize=13629568 CPUtime=0.52 cores=0,2,4,6
/proc/18113/task/18129/stat : 18129 (java) S 18111 18113 14642 0 -1 4202560 1826 0 0 0 52 0 0 0 15 0 19 0 827065417 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 2 0 0 0
[pid=18113/tid=18130] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18130/stat : 18130 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065417 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18131] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18131/stat : 18131 (java) S 18111 18113 14642 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827065417 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 4 0 16800975 18446604440496009600 0 0 -1 2 0 0 0
[pid=18113/tid=18132] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18132/stat : 18132 (java) S 18111 18113 14642 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827065730 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13629568
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1798.9 s]
/proc/loadavg: 1.92 1.99 1.99 2/386 18200
/proc/meminfo: memFree=20898084/32951124 swapFree=37148216/67111528
[pid=18113] ppid=18111 vsize=13629568 CPUtime=1800.05 cores=0,2,4,6
/proc/18113/stat : 18113 (java) S 18111 18113 14642 0 -1 4202496 485988 0 1 0 179944 61 0 0 25 0 19 0 827065411 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/18113/statm: 3407392 484198 2239 9 0 3398126 0
[pid=18113/tid=18114] ppid=18111 vsize=13629568 CPUtime=1798.92 cores=0,2,4,6
/proc/18113/task/18114/stat : 18114 (java) R 18111 18113 14642 0 -1 4202560 480066 0 1 0 179832 60 0 0 25 0 19 0 827065412 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 46912505862662 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=18113/tid=18116] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18116/stat : 18116 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18117] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18117/stat : 18117 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18118] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18118/stat : 18118 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18119] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18119/stat : 18119 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18120] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18120/stat : 18120 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18121] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18121/stat : 18121 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18122] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18122/stat : 18122 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18123] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18123/stat : 18123 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065414 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18124] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18124/stat : 18124 (java) S 18111 18113 14642 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 827065415 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 0 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
[pid=18113/tid=18125] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18125/stat : 18125 (java) S 18111 18113 14642 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 827065415 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18126] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18126/stat : 18126 (java) S 18111 18113 14642 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 827065415 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
[pid=18113/tid=18127] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18127/stat : 18127 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065417 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820989361 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18128] ppid=18111 vsize=13629568 CPUtime=0.59 cores=0,2,4,6
/proc/18113/task/18128/stat : 18128 (java) S 18111 18113 14642 0 -1 4202560 2831 0 0 0 59 0 0 0 15 0 19 0 827065417 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 0 0 0 0
[pid=18113/tid=18129] ppid=18111 vsize=13629568 CPUtime=0.52 cores=0,2,4,6
/proc/18113/task/18129/stat : 18129 (java) S 18111 18113 14642 0 -1 4202560 1826 0 0 0 52 0 0 0 15 0 19 0 827065417 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 2 0 0 0
[pid=18113/tid=18130] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18130/stat : 18130 (java) S 18111 18113 14642 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827065417 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820981657 0 4 0 16800975 18446604440496009600 0 0 -1 4 0 0 0
[pid=18113/tid=18131] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18131/stat : 18131 (java) S 18111 18113 14642 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 827065417 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 4 0 16800975 18446604440496009600 0 0 -1 2 0 0 0
[pid=18113/tid=18132] ppid=18111 vsize=13629568 CPUtime=0 cores=0,2,4,6
/proc/18113/task/18132/stat : 18132 (java) S 18111 18113 14642 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 827065730 13956677632 484198 33554432000 1073741824 1073778376 140736785666464 18446744073709551615 230820982272 0 4 0 16800975 18446604440496009600 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 13629568
Child status: 143
Real time (s): 1798.99
CPU time (s): 1800.15
CPU user time (s): 1799.46
CPU system time (s): 0.687895
CPU usage (%): 100.064
Max. virtual memory (cumulated for all children) (KiB): 13687932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.687895
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 486023
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= 36684
involuntary context switches= 35778
runsolver used 7.07892 second user time and 14.2008 second system time
The end