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-3458814-1307150169/watcher-3458814-1307150169 -o /tmp/evaluation-result-3458814-1307150169/solver-3458814-1307150169 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458814-1307150169.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.06 2.01 2/433 26968
/proc/meminfo: memFree=20799348/32951124 swapFree=60787360/67111528
[pid=26968] ppid=26966 vsize=13508980 CPUtime=0 cores=0,2,4,6
/proc/26968/stat : 26968 (java) S 26966 26968 24782 0 -1 4202496 2949 0 1 0 0 0 0 0 25 0 2 0 826614808 13833195520 2651 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389104101 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/26968/statm: 3377245 2665 906 9 0 3368401 0
[pid=26968/tid=26969] ppid=26966 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26969/stat : 26969 (java) R 26966 26968 24782 0 -1 4202560 3464 0 1 0 0 0 0 0 25 0 2 0 826614809 13850947584 4280 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0577179 s]
/proc/loadavg: 2.11 2.06 2.01 2/433 26968
/proc/meminfo: memFree=20799348/32951124 swapFree=60787360/67111528
[pid=26968] ppid=26966 vsize=13615152 CPUtime=0.04 cores=0,2,4,6
/proc/26968/stat : 26968 (java) S 26966 26968 24782 0 -1 4202496 13931 0 1 0 3 1 0 0 25 0 13 0 826614808 13941915648 13628 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389104101 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0
/proc/26968/statm: 3403788 13629 1684 9 0 3394536 0
[pid=26968/tid=26969] ppid=26966 vsize=13615152 CPUtime=0.04 cores=0,2,4,6
/proc/26968/task/26969/stat : 26969 (java) R 26966 26968 24782 0 -1 4202560 12784 0 1 0 3 1 0 0 25 0 13 0 826614809 13941915648 13629 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 47004869098558 0 4 0 16800971 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13615152
[startup+0.100743 s]
/proc/loadavg: 2.11 2.06 2.01 2/433 26968
/proc/meminfo: memFree=20799348/32951124 swapFree=60787360/67111528
[pid=26968] ppid=26966 vsize=13621920 CPUtime=0.1 cores=0,2,4,6
/proc/26968/stat : 26968 (java) S 26966 26968 24782 0 -1 4202496 15491 0 1 0 8 2 0 0 25 0 18 0 826614808 13948846080 15165 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26968/statm: 3405480 15166 2092 9 0 3396214 0
[pid=26968/tid=26969] ppid=26966 vsize=13621920 CPUtime=0.07 cores=0,2,4,6
/proc/26968/task/26969/stat : 26969 (java) R 26966 26968 24782 0 -1 4202560 13541 0 1 0 6 1 0 0 18 0 18 0 826614809 13948846080 15166 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389128139 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) 13621920
[startup+0.300704 s]
/proc/loadavg: 2.11 2.06 2.01 2/433 26968
/proc/meminfo: memFree=20799348/32951124 swapFree=60787360/67111528
[pid=26968] ppid=26966 vsize=13624008 CPUtime=0.47 cores=0,2,4,6
/proc/26968/stat : 26968 (java) S 26966 26968 24782 0 -1 4202496 22587 0 1 0 44 3 0 0 25 0 18 0 826614808 13950984192 21668 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26968/statm: 3406002 21671 2199 9 0 3396736 0
[pid=26968/tid=26969] ppid=26966 vsize=13624008 CPUtime=0.27 cores=0,2,4,6
/proc/26968/task/26969/stat : 26969 (java) R 26966 26968 24782 0 -1 4202560 18979 0 1 0 25 2 0 0 18 0 18 0 826614809 13950984192 21672 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 46912505563163 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 13624008
[startup+0.700619 s]
/proc/loadavg: 2.11 2.06 2.01 2/433 26968
/proc/meminfo: memFree=20799348/32951124 swapFree=60787360/67111528
[pid=26968] ppid=26966 vsize=13628716 CPUtime=1.17 cores=0,2,4,6
/proc/26968/stat : 26968 (java) S 26966 26968 24782 0 -1 4202496 53517 0 1 0 110 7 0 0 25 0 18 0 826614808 13955805184 50759 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26968/statm: 3407179 50769 2204 9 0 3397913 0
[pid=26968/tid=26969] ppid=26966 vsize=13628716 CPUtime=0.68 cores=0,2,4,6
/proc/26968/task/26969/stat : 26969 (java) R 26966 26968 24782 0 -1 4202560 45933 0 1 0 62 6 0 0 18 0 18 0 826614809 13955805184 50774 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 46912505658521 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 13628716
[startup+1.51446 s]
/proc/loadavg: 2.11 2.06 2.01 3/451 27007
/proc/meminfo: memFree=20466864/32951124 swapFree=60787360/67111528
[pid=26968] ppid=26966 vsize=13629744 CPUtime=2.48 cores=0,2,4,6
/proc/26968/stat : 26968 (java) S 26966 26968 24782 0 -1 4202496 99588 0 1 0 233 15 0 0 25 0 19 0 826614808 13956857856 94357 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26968/statm: 3407436 94357 2219 9 0 3398170 0
[pid=26968/tid=26969] ppid=26966 vsize=13629744 CPUtime=1.48 cores=0,2,4,6
/proc/26968/task/26969/stat : 26969 (java) R 26966 26968 24782 0 -1 4202560 87292 0 1 0 136 12 0 0 20 0 19 0 826614809 13956857856 94357 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 47004865847808 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26968/tid=26974] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26974/stat : 26974 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13956857856 94357 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26975] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26975/stat : 26975 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13956857856 94357 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26976] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26976/stat : 26976 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13956857856 94357 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26977] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26977/stat : 26977 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13956857856 94357 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26978] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26978/stat : 26978 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13956857856 94357 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26979] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26979/stat : 26979 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13956857856 94357 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26980] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26980/stat : 26980 (java) S 26966 26968 24782 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 826614811 13956857856 94357 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26981] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26981/stat : 26981 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13956857856 94358 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26983] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26983/stat : 26983 (java) S 26966 26968 24782 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 826614812 13956857856 94358 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26984] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26984/stat : 26984 (java) S 26966 26968 24782 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826614812 13956857856 94358 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26985] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26985/stat : 26985 (java) S 26966 26968 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826614812 13956857856 94358 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26987] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26987/stat : 26987 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614814 13956857856 94358 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26988] ppid=26966 vsize=13629744 CPUtime=0.53 cores=0,2,4,6
/proc/26968/task/26988/stat : 26988 (java) S 26966 26968 24782 0 -1 4202560 8717 0 0 0 52 1 0 0 15 0 19 0 826614814 13956857856 94358 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26989] ppid=26966 vsize=13629744 CPUtime=0.43 cores=0,2,4,6
/proc/26968/task/26989/stat : 26989 (java) S 26966 26968 24782 0 -1 4202560 2422 0 0 0 43 0 0 0 16 0 19 0 826614814 13956857856 94358 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26990] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26990/stat : 26990 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614815 13956857856 94358 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26991] ppid=26966 vsize=13629744 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26991/stat : 26991 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826614815 13956857856 94358 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 13629744
[startup+3.10116 s]
/proc/loadavg: 2.26 2.09 2.02 4/452 27008
/proc/meminfo: memFree=20362392/32951124 swapFree=60787360/67111528
[pid=26968] ppid=26966 vsize=13630436 CPUtime=4.38 cores=0,2,4,6
/proc/26968/stat : 26968 (java) S 26966 26968 24782 0 -1 4202496 101231 0 1 0 422 16 0 0 25 0 19 0 826614808 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26968/statm: 3407609 95013 2225 9 0 3398343 0
[pid=26968/tid=26969] ppid=26966 vsize=13630436 CPUtime=3.08 cores=0,2,4,6
/proc/26968/task/26969/stat : 26969 (java) R 26966 26968 24782 0 -1 4202560 87743 0 1 0 294 14 0 0 25 0 19 0 826614809 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 46912505799961 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26968/tid=26974] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26974/stat : 26974 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26975] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26975/stat : 26975 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26976] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26976/stat : 26976 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26977] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26977/stat : 26977 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26978] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26978/stat : 26978 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26979] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26979/stat : 26979 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26980] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26980/stat : 26980 (java) S 26966 26968 24782 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 826614811 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26981] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26981/stat : 26981 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614811 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26983] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26983/stat : 26983 (java) S 26966 26968 24782 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826614812 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26984] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26984/stat : 26984 (java) S 26966 26968 24782 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826614812 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26985] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26985/stat : 26985 (java) S 26966 26968 24782 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826614812 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26987] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26987/stat : 26987 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614814 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26988] ppid=26966 vsize=13630436 CPUtime=0.72 cores=0,2,4,6
/proc/26968/task/26988/stat : 26988 (java) S 26966 26968 24782 0 -1 4202560 9885 0 0 0 71 1 0 0 15 0 19 0 826614814 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26989] ppid=26966 vsize=13630436 CPUtime=0.56 cores=0,2,4,6
/proc/26968/task/26989/stat : 26989 (java) S 26966 26968 24782 0 -1 4202560 2442 0 0 0 56 0 0 0 15 0 19 0 826614814 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26990] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26990/stat : 26990 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614815 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26991] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26991/stat : 26991 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826614815 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=27008] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/27008/stat : 27008 (java) S 26966 26968 24782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826614957 13957566464 95013 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 13630436
[startup+6.30158 s]
/proc/loadavg: 2.26 2.09 2.02 3/472 27031
/proc/meminfo: memFree=19630700/32951124 swapFree=60787360/67111528
[pid=26968] ppid=26966 vsize=13630436 CPUtime=7.82 cores=0,2,4,6
/proc/26968/stat : 26968 (java) S 26966 26968 24782 0 -1 4202496 123137 0 1 0 763 19 0 0 25 0 19 0 826614808 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26968/statm: 3407609 116159 2252 9 0 3398343 0
[pid=26968/tid=26969] ppid=26966 vsize=13630436 CPUtime=6.12 cores=0,2,4,6
/proc/26968/task/26969/stat : 26969 (java) R 26966 26968 24782 0 -1 4202560 88423 0 1 0 598 14 0 0 25 0 19 0 826614809 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 46912505980126 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26968/tid=26974] ppid=26966 vsize=13630436 CPUtime=0.03 cores=0,2,4,6
/proc/26968/task/26974/stat : 26974 (java) S 26966 26968 24782 0 -1 4202560 2807 0 0 0 3 0 0 0 17 0 19 0 826614811 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26975] ppid=26966 vsize=13630436 CPUtime=0.03 cores=0,2,4,6
/proc/26968/task/26975/stat : 26975 (java) S 26966 26968 24782 0 -1 4202560 2892 0 0 0 3 0 0 0 18 0 19 0 826614811 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26976] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26976/stat : 26976 (java) S 26966 26968 24782 0 -1 4202560 907 0 0 0 0 0 0 0 18 0 19 0 826614811 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26977] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26977/stat : 26977 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826614811 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26978] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26978/stat : 26978 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826614811 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26979] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26979/stat : 26979 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 826614811 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26980] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26980/stat : 26980 (java) S 26966 26968 24782 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 826614811 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26981] ppid=26966 vsize=13630436 CPUtime=0.03 cores=0,2,4,6
/proc/26968/task/26981/stat : 26981 (java) S 26966 26968 24782 0 -1 4202560 2720 0 0 0 3 0 0 0 18 0 19 0 826614811 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26983] ppid=26966 vsize=13630436 CPUtime=0.11 cores=0,2,4,6
/proc/26968/task/26983/stat : 26983 (java) S 26966 26968 24782 0 -1 4202560 10869 0 0 0 10 1 0 0 16 0 19 0 826614812 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26984] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26984/stat : 26984 (java) S 26966 26968 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826614812 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26985] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26985/stat : 26985 (java) S 26966 26968 24782 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826614812 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26987] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26987/stat : 26987 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614814 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26988] ppid=26966 vsize=13630436 CPUtime=0.73 cores=0,2,4,6
/proc/26968/task/26988/stat : 26988 (java) S 26966 26968 24782 0 -1 4202560 9886 0 0 0 72 1 0 0 15 0 19 0 826614814 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26989] ppid=26966 vsize=13630436 CPUtime=0.72 cores=0,2,4,6
/proc/26968/task/26989/stat : 26989 (java) S 26966 26968 24782 0 -1 4202560 3477 0 0 0 72 0 0 0 15 0 19 0 826614814 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26990] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26990/stat : 26990 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614815 13957566464 116159 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=26968/tid=26979] ppid=26966 vsize=13630436 CPUtime=0.4 cores=0,2,4,6
/proc/26968/task/26979/stat : 26979 (java) S 26966 26968 24782 0 -1 4202560 206 0 0 0 40 0 0 0 16 0 19 0 826614811 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=26980] ppid=26966 vsize=13630436 CPUtime=0.38 cores=0,2,4,6
/proc/26968/task/26980/stat : 26980 (java) S 26966 26968 24782 0 -1 4202560 55 0 0 0 38 0 0 0 15 0 19 0 826614811 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26981] ppid=26966 vsize=13630436 CPUtime=0.33 cores=0,2,4,6
/proc/26968/task/26981/stat : 26981 (java) S 26966 26968 24782 0 -1 4202560 2859 0 0 0 33 0 0 0 15 0 19 0 826614811 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26983] ppid=26966 vsize=13630436 CPUtime=34.42 cores=0,2,4,6
/proc/26968/task/26983/stat : 26983 (java) S 26966 26968 24782 0 -1 4202560 22556 0 0 0 3434 8 0 0 15 0 19 0 826614812 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26984] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26984/stat : 26984 (java) S 26966 26968 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826614812 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26985] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26985/stat : 26985 (java) S 26966 26968 24782 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826614812 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26987] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26987/stat : 26987 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614814 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26988] ppid=26966 vsize=13630436 CPUtime=0.83 cores=0,2,4,6
/proc/26968/task/26988/stat : 26988 (java) S 26966 26968 24782 0 -1 4202560 9905 0 0 0 82 1 0 0 15 0 19 0 826614814 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26989] ppid=26966 vsize=13630436 CPUtime=0.74 cores=0,2,4,6
/proc/26968/task/26989/stat : 26989 (java) S 26966 26968 24782 0 -1 4202560 3478 0 0 0 74 0 0 0 15 0 19 0 826614814 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26990] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26990/stat : 26990 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614815 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26991] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26991/stat : 26991 (java) S 26966 26968 24782 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 826614815 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=27008] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/27008/stat : 27008 (java) S 26966 26968 24782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826614957 13957566464 128313 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1725.58
Current children cumulated vsize (KiB) 13630436
[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/473 27080
/proc/meminfo: memFree=16398768/32951124 swapFree=60787360/67111528
[pid=26968] ppid=26966 vsize=13630436 CPUtime=1785.61 cores=0,2,4,6
/proc/26968/stat : 26968 (java) S 26966 26968 24782 0 -1 4202496 136245 0 1 0 178532 29 0 0 25 0 19 0 826614808 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26968/statm: 3407609 128524 2253 9 0 3398343 0
[pid=26968/tid=26969] ppid=26966 vsize=13630436 CPUtime=1746.32 cores=0,2,4,6
/proc/26968/task/26969/stat : 26969 (java) R 26966 26968 24782 0 -1 4202560 88737 0 1 0 174616 16 0 0 25 0 19 0 826614809 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 46912505964389 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26968/tid=26974] ppid=26966 vsize=13630436 CPUtime=0.39 cores=0,2,4,6
/proc/26968/task/26974/stat : 26974 (java) S 26966 26968 24782 0 -1 4202560 2861 0 0 0 39 0 0 0 16 0 19 0 826614811 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26975] ppid=26966 vsize=13630436 CPUtime=0.33 cores=0,2,4,6
/proc/26968/task/26975/stat : 26975 (java) S 26966 26968 24782 0 -1 4202560 2966 0 0 0 33 0 0 0 16 0 19 0 826614811 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26976] ppid=26966 vsize=13630436 CPUtime=0.31 cores=0,2,4,6
/proc/26968/task/26976/stat : 26976 (java) S 26966 26968 24782 0 -1 4202560 980 0 0 0 31 0 0 0 15 0 19 0 826614811 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26977] ppid=26966 vsize=13630436 CPUtime=0.32 cores=0,2,4,6
/proc/26968/task/26977/stat : 26977 (java) S 26966 26968 24782 0 -1 4202560 132 0 0 0 32 0 0 0 15 0 19 0 826614811 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=26978] ppid=26966 vsize=13630436 CPUtime=0.36 cores=0,2,4,6
/proc/26968/task/26978/stat : 26978 (java) S 26966 26968 24782 0 -1 4202560 45 0 0 0 36 0 0 0 15 0 19 0 826614811 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=26979] ppid=26966 vsize=13630436 CPUtime=0.4 cores=0,2,4,6
/proc/26968/task/26979/stat : 26979 (java) S 26966 26968 24782 0 -1 4202560 206 0 0 0 40 0 0 0 16 0 19 0 826614811 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=26980] ppid=26966 vsize=13630436 CPUtime=0.38 cores=0,2,4,6
/proc/26968/task/26980/stat : 26980 (java) S 26966 26968 24782 0 -1 4202560 65 0 0 0 38 0 0 0 15 0 19 0 826614811 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26981] ppid=26966 vsize=13630436 CPUtime=0.34 cores=0,2,4,6
/proc/26968/task/26981/stat : 26981 (java) S 26966 26968 24782 0 -1 4202560 2859 0 0 0 34 0 0 0 15 0 19 0 826614811 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26983] ppid=26966 vsize=13630436 CPUtime=34.77 cores=0,2,4,6
/proc/26968/task/26983/stat : 26983 (java) S 26966 26968 24782 0 -1 4202560 22758 0 0 0 3469 8 0 0 15 0 19 0 826614812 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26984] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26984/stat : 26984 (java) S 26966 26968 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826614812 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26985] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26985/stat : 26985 (java) S 26966 26968 24782 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826614812 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26987] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26987/stat : 26987 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614814 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26988] ppid=26966 vsize=13630436 CPUtime=0.83 cores=0,2,4,6
/proc/26968/task/26988/stat : 26988 (java) S 26966 26968 24782 0 -1 4202560 9905 0 0 0 82 1 0 0 15 0 19 0 826614814 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26989] ppid=26966 vsize=13630436 CPUtime=0.74 cores=0,2,4,6
/proc/26968/task/26989/stat : 26989 (java) S 26966 26968 24782 0 -1 4202560 3478 0 0 0 74 0 0 0 15 0 19 0 826614814 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26990] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26990/stat : 26990 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614815 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26991] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26991/stat : 26991 (java) S 26966 26968 24782 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 826614815 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=27008] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/27008/stat : 27008 (java) S 26966 26968 24782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826614957 13957566464 128524 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (KiB) 13630436
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.7 s]
/proc/loadavg: 2.06 2.06 2.01 3/473 27080
/proc/meminfo: memFree=16398628/32951124 swapFree=60787360/67111528
[pid=26968] ppid=26966 vsize=13630436 CPUtime=1800.03 cores=0,2,4,6
/proc/26968/stat : 26968 (java) S 26966 26968 24782 0 -1 4202496 136332 0 1 0 179974 29 0 0 25 0 19 0 826614808 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26968/statm: 3407609 128605 2253 9 0 3398343 0
[pid=26968/tid=26969] ppid=26966 vsize=13630436 CPUtime=1760.46 cores=0,2,4,6
/proc/26968/task/26969/stat : 26969 (java) R 26966 26968 24782 0 -1 4202560 88739 0 1 0 176030 16 0 0 25 0 19 0 826614809 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 46912506024573 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26968/tid=26974] ppid=26966 vsize=13630436 CPUtime=0.4 cores=0,2,4,6
/proc/26968/task/26974/stat : 26974 (java) S 26966 26968 24782 0 -1 4202560 2861 0 0 0 40 0 0 0 16 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26975] ppid=26966 vsize=13630436 CPUtime=0.33 cores=0,2,4,6
/proc/26968/task/26975/stat : 26975 (java) S 26966 26968 24782 0 -1 4202560 2966 0 0 0 33 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26976] ppid=26966 vsize=13630436 CPUtime=0.31 cores=0,2,4,6
/proc/26968/task/26976/stat : 26976 (java) S 26966 26968 24782 0 -1 4202560 980 0 0 0 31 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=26977] ppid=26966 vsize=13630436 CPUtime=0.33 cores=0,2,4,6
/proc/26968/task/26977/stat : 26977 (java) S 26966 26968 24782 0 -1 4202560 132 0 0 0 33 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=26978] ppid=26966 vsize=13630436 CPUtime=0.37 cores=0,2,4,6
/proc/26968/task/26978/stat : 26978 (java) S 26966 26968 24782 0 -1 4202560 45 0 0 0 37 0 0 0 16 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26979] ppid=26966 vsize=13630436 CPUtime=0.4 cores=0,2,4,6
/proc/26968/task/26979/stat : 26979 (java) S 26966 26968 24782 0 -1 4202560 206 0 0 0 40 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=26980] ppid=26966 vsize=13630436 CPUtime=0.39 cores=0,2,4,6
/proc/26968/task/26980/stat : 26980 (java) S 26966 26968 24782 0 -1 4202560 65 0 0 0 39 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26981] ppid=26966 vsize=13630436 CPUtime=0.34 cores=0,2,4,6
/proc/26968/task/26981/stat : 26981 (java) S 26966 26968 24782 0 -1 4202560 2861 0 0 0 34 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26983] ppid=26966 vsize=13630436 CPUtime=35.04 cores=0,2,4,6
/proc/26968/task/26983/stat : 26983 (java) S 26966 26968 24782 0 -1 4202560 22839 0 0 0 3496 8 0 0 15 0 19 0 826614812 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26984] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26984/stat : 26984 (java) S 26966 26968 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826614812 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26985] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26985/stat : 26985 (java) S 26966 26968 24782 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826614812 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26987] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26987/stat : 26987 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614814 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26988] ppid=26966 vsize=13630436 CPUtime=0.83 cores=0,2,4,6
/proc/26968/task/26988/stat : 26988 (java) S 26966 26968 24782 0 -1 4202560 9905 0 0 0 82 1 0 0 15 0 19 0 826614814 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26989] ppid=26966 vsize=13630436 CPUtime=0.74 cores=0,2,4,6
/proc/26968/task/26989/stat : 26989 (java) S 26966 26968 24782 0 -1 4202560 3478 0 0 0 74 0 0 0 15 0 19 0 826614814 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26990] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26990/stat : 26990 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614815 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26991] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26991/stat : 26991 (java) S 26966 26968 24782 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826614815 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=27008] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/27008/stat : 27008 (java) S 26966 26968 24782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826614957 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13630436
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1796.7 s]
/proc/loadavg: 2.06 2.06 2.01 3/473 27080
/proc/meminfo: memFree=16398628/32951124 swapFree=60787360/67111528
[pid=26968] ppid=26966 vsize=13630436 CPUtime=1800.03 cores=0,2,4,6
/proc/26968/stat : 26968 (java) S 26966 26968 24782 0 -1 4202496 136332 0 1 0 179974 29 0 0 25 0 19 0 826614808 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/26968/statm: 3407609 128605 2253 9 0 3398343 0
[pid=26968/tid=26969] ppid=26966 vsize=13630436 CPUtime=1760.46 cores=0,2,4,6
/proc/26968/task/26969/stat : 26969 (java) R 26966 26968 24782 0 -1 4202560 88739 0 1 0 176030 16 0 0 25 0 19 0 826614809 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 46912506024573 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26968/tid=26974] ppid=26966 vsize=13630436 CPUtime=0.4 cores=0,2,4,6
/proc/26968/task/26974/stat : 26974 (java) S 26966 26968 24782 0 -1 4202560 2861 0 0 0 40 0 0 0 16 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26975] ppid=26966 vsize=13630436 CPUtime=0.33 cores=0,2,4,6
/proc/26968/task/26975/stat : 26975 (java) S 26966 26968 24782 0 -1 4202560 2966 0 0 0 33 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26976] ppid=26966 vsize=13630436 CPUtime=0.31 cores=0,2,4,6
/proc/26968/task/26976/stat : 26976 (java) S 26966 26968 24782 0 -1 4202560 980 0 0 0 31 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=26977] ppid=26966 vsize=13630436 CPUtime=0.33 cores=0,2,4,6
/proc/26968/task/26977/stat : 26977 (java) S 26966 26968 24782 0 -1 4202560 132 0 0 0 33 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=26978] ppid=26966 vsize=13630436 CPUtime=0.37 cores=0,2,4,6
/proc/26968/task/26978/stat : 26978 (java) S 26966 26968 24782 0 -1 4202560 45 0 0 0 37 0 0 0 16 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26979] ppid=26966 vsize=13630436 CPUtime=0.4 cores=0,2,4,6
/proc/26968/task/26979/stat : 26979 (java) S 26966 26968 24782 0 -1 4202560 206 0 0 0 40 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=26980] ppid=26966 vsize=13630436 CPUtime=0.39 cores=0,2,4,6
/proc/26968/task/26980/stat : 26980 (java) S 26966 26968 24782 0 -1 4202560 65 0 0 0 39 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26981] ppid=26966 vsize=13630436 CPUtime=0.34 cores=0,2,4,6
/proc/26968/task/26981/stat : 26981 (java) S 26966 26968 24782 0 -1 4202560 2861 0 0 0 34 0 0 0 15 0 19 0 826614811 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 6 0 0 0
[pid=26968/tid=26983] ppid=26966 vsize=13630436 CPUtime=35.04 cores=0,2,4,6
/proc/26968/task/26983/stat : 26983 (java) S 26966 26968 24782 0 -1 4202560 22839 0 0 0 3496 8 0 0 15 0 19 0 826614812 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 0 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26984] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26984/stat : 26984 (java) S 26966 26968 24782 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826614812 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26985] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26985/stat : 26985 (java) S 26966 26968 24782 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826614812 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26987] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26987/stat : 26987 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614814 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389125041 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26988] ppid=26966 vsize=13630436 CPUtime=0.83 cores=0,2,4,6
/proc/26968/task/26988/stat : 26988 (java) S 26966 26968 24782 0 -1 4202560 9905 0 0 0 82 1 0 0 15 0 19 0 826614814 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26989] ppid=26966 vsize=13630436 CPUtime=0.74 cores=0,2,4,6
/proc/26968/task/26989/stat : 26989 (java) S 26966 26968 24782 0 -1 4202560 3478 0 0 0 74 0 0 0 15 0 19 0 826614814 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 0 0 0 0
[pid=26968/tid=26990] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26990/stat : 26990 (java) S 26966 26968 24782 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826614815 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117337 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
[pid=26968/tid=26991] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/26991/stat : 26991 (java) S 26966 26968 24782 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 826614815 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 2 0 0 0
[pid=26968/tid=27008] ppid=26966 vsize=13630436 CPUtime=0 cores=0,2,4,6
/proc/26968/task/27008/stat : 27008 (java) S 26966 26968 24782 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 826614957 13957566464 128605 33554432000 1073741824 1073778376 140733242362448 18446744073709551615 255389117952 0 4 0 16800975 18446604448099567488 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 13630436
Child status: 143
Real time (s): 1796.76
CPU time (s): 1800.11
CPU user time (s): 1799.79
CPU system time (s): 0.318951
CPU usage (%): 100.186
Max. virtual memory (cumulated for all children) (KiB): 13631260
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.318951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136371
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= 45236
involuntary context switches= 10907
runsolver used 8.49571 second user time and 17.6653 second system time
The end