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-3458739-1307148501/watcher-3458739-1307148501 -o /tmp/evaluation-result-3458739-1307148501/solver-3458739-1307148501 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458739-1307148501.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.03 2.04 1.97 2/539 28073
/proc/meminfo: memFree=21446752/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 6638 0 1 0 0 0 0 0 25 0 2 0 807265580 13850947584 6339 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 3381579 6351 917 9 0 3372735 0
[pid=28073/tid=28074] ppid=28071 vsize=13526316 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 5899 0 1 0 0 0 0 0 25 0 2 0 807265580 13850947584 6715 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228095145019 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0575481 s]
/proc/loadavg: 2.03 2.04 1.97 2/539 28073
/proc/meminfo: memFree=21446752/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=13549616 CPUtime=0.04 cores=0,2,4,6
/proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 13932 0 1 0 3 1 0 0 25 0 13 0 807265580 13874806784 13628 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 3387404 13628 1684 9 0 3378152 0
[pid=28073/tid=28074] ppid=28071 vsize=13549616 CPUtime=0.03 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 12784 0 1 0 2 1 0 0 25 0 13 0 807265580 13874806784 13628 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228095446885 0 2147483391 0 16800971 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 13549616
[startup+0.105033 s]
/proc/loadavg: 2.03 2.04 1.97 2/539 28073
/proc/meminfo: memFree=21446752/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=13621648 CPUtime=0.1 cores=0,2,4,6
/proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 15551 0 1 0 8 2 0 0 25 0 18 0 807265580 13948567552 15247 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 3405412 15247 2092 9 0 3396146 0
[pid=28073/tid=28074] ppid=28071 vsize=13621648 CPUtime=0.09 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 13621 0 1 0 7 2 0 0 18 0 18 0 807265580 13948567552 15247 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505170474 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) 13621648
[startup+0.300963 s]
/proc/loadavg: 2.03 2.04 1.97 2/539 28073
/proc/meminfo: memFree=21446752/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=13623424 CPUtime=0.47 cores=0,2,4,6
/proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 18418 0 1 0 44 3 0 0 25 0 18 0 807265580 13950386176 17835 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 3405856 17835 2200 9 0 3396590 0
[pid=28073/tid=28074] ppid=28071 vsize=13623424 CPUtime=0.28 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 15431 0 1 0 26 2 0 0 18 0 18 0 807265580 13950386176 17836 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505219208 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) 13623424
[startup+0.700951 s]
/proc/loadavg: 2.03 2.04 1.97 2/539 28073
/proc/meminfo: memFree=21446752/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=13623160 CPUtime=0.99 cores=0,2,4,6
/proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 57651 0 1 0 92 7 0 0 25 0 18 0 807265580 13950115840 56140 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 3405790 56145 2211 9 0 3396524 0
[pid=28073/tid=28074] ppid=28071 vsize=13623160 CPUtime=0.68 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 52792 0 1 0 62 6 0 0 18 0 18 0 807265580 13950115840 56147 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505589450 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 13623160
[startup+1.50078 s]
/proc/loadavg: 2.19 2.07 1.98 5/558 28092
/proc/meminfo: memFree=21198424/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=13626568 CPUtime=2.15 cores=0,2,4,6
/proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 68563 0 1 0 206 9 0 0 25 0 19 0 807265580 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 3406642 66734 2232 9 0 3397376 0
[pid=28073/tid=28074] ppid=28071 vsize=13626568 CPUtime=1.48 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 62605 0 1 0 140 8 0 0 20 0 19 0 807265580 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 47244078218067 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28073/tid=28076] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28077] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28078] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28079] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28080] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66734 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28081] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28082] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28083] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265583 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28084] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 807265584 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28085] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 807265584 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28086] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 807265584 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28087] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28088] ppid=28071 vsize=13626568 CPUtime=0.26 cores=0,2,4,6
/proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 1401 0 0 0 26 0 0 0 19 0 19 0 807265586 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28089] ppid=28071 vsize=13626568 CPUtime=0.39 cores=0,2,4,6
/proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3396 0 0 0 39 0 0 0 15 0 19 0 807265586 13953605632 66735 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28090] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13953605632 66737 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28091] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807265586 13953605632 66737 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28092] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13953605632 66737 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 13626568
[startup+3.10149 s]
/proc/loadavg: 2.19 2.07 1.98 3/558 28092
/proc/meminfo: memFree=21172260/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=13626568 CPUtime=3.85 cores=0,2,4,6
/proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 85996 0 1 0 374 11 0 0 25 0 19 0 807265580 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 3406642 84162 2260 9 0 3397376 0
[pid=28073/tid=28074] ppid=28071 vsize=13626568 CPUtime=3.03 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 68171 0 1 0 294 9 0 0 24 0 19 0 807265580 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505760153 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28073/tid=28076] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28077] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28078] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28079] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28080] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28081] ppid=28071 vsize=13626568 CPUtime=0.01 cores=0,2,4,6
/proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 1480 0 0 0 1 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28082] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 2792 0 0 0 0 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28083] ppid=28071 vsize=13626568 CPUtime=0.01 cores=0,2,4,6
/proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 1679 0 0 0 1 0 0 0 18 0 19 0 807265583 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28084] ppid=28071 vsize=13626568 CPUtime=0.03 cores=0,2,4,6
/proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 5905 0 0 0 3 0 0 0 16 0 19 0 807265584 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28085] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807265584 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28086] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28087] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28088] ppid=28071 vsize=13626568 CPUtime=0.27 cores=0,2,4,6
/proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 1404 0 0 0 27 0 0 0 18 0 19 0 807265586 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28089] ppid=28071 vsize=13626568 CPUtime=0.45 cores=0,2,4,6
/proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3409 0 0 0 45 0 0 0 15 0 19 0 807265586 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28090] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28091] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807265586 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28092] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13953605632 84162 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 13626568
[startup+6.30091 s]
/proc/loadavg: 2.17 2.07 1.98 3/558 28092
/proc/meminfo: memFree=21072612/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=13626568 CPUtime=7.1 cores=0,2,4,6
/proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 96748 0 1 0 697 13 0 0 25 0 19 0 807265580 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 3406642 94903 2260 9 0 3397376 0
[pid=28073/tid=28074] ppid=28071 vsize=13626568 CPUtime=6.19 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 68175 0 1 0 610 9 0 0 25 0 19 0 807265580 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505812622 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28073/tid=28076] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 3062 0 0 0 0 0 0 0 16 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28077] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28078] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28079] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 2066 0 0 0 0 0 0 0 16 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28080] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28081] ppid=28071 vsize=13626568 CPUtime=0.01 cores=0,2,4,6
/proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 3460 0 0 0 1 0 0 0 18 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28082] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 2792 0 0 0 0 0 0 0 15 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28083] ppid=28071 vsize=13626568 CPUtime=0.01 cores=0,2,4,6
/proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 1679 0 0 0 1 0 0 0 18 0 19 0 807265583 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28084] ppid=28071 vsize=13626568 CPUtime=0.06 cores=0,2,4,6
/proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 9542 0 0 0 6 0 0 0 15 0 19 0 807265584 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28085] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807265584 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28086] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28087] ppid=28071 vsize=13626568 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28088] ppid=28071 vsize=13626568 CPUtime=0.29 cores=0,2,4,6
/proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 1408 0 0 0 29 0 0 0 15 0 19 0 807265586 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28089] ppid=28071 vsize=13626568 CPUtime=0.46 cores=0,2,4,6
/proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3410 0 0 0 46 0 0 0 15 0 19 0 807265586 13953605632 94903 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
################
# More data... #
################
/proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28087] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28088] ppid=28071 vsize=13625484 CPUtime=0.42 cores=0,2,4,6
/proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 2216 0 0 0 42 0 0 0 15 0 19 0 807265586 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28089] ppid=28071 vsize=13625484 CPUtime=0.47 cores=0,2,4,6
/proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3412 0 0 0 47 0 0 0 15 0 19 0 807265586 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28090] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28091] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 95 0 0 0 0 0 0 0 15 0 19 0 807265586 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28092] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13952495616 427669 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1670.04
Current children cumulated vsize (KiB) 13625484
[startup+1722.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/558 28195
/proc/meminfo: memFree=18817304/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=13625484 CPUtime=1730.34 cores=0,2,4,6
/proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 452804 0 1 0 172969 65 0 0 25 0 19 0 807265580 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 3406371 449311 2261 9 0 3397105 0
[pid=28073/tid=28074] ppid=28071 vsize=13625484 CPUtime=1707.51 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 118647 0 1 0 170731 20 0 0 25 0 19 0 807265580 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505759749 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28073/tid=28076] ppid=28071 vsize=13625484 CPUtime=1.15 cores=0,2,4,6
/proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 17033 0 0 0 113 2 0 0 15 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28077] ppid=28071 vsize=13625484 CPUtime=1.26 cores=0,2,4,6
/proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 31714 0 0 0 122 4 0 0 16 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28078] ppid=28071 vsize=13625484 CPUtime=1.36 cores=0,2,4,6
/proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 16215 0 0 0 135 1 0 0 15 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28079] ppid=28071 vsize=13625484 CPUtime=1.39 cores=0,2,4,6
/proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 24121 0 0 0 135 4 0 0 16 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28080] ppid=28071 vsize=13625484 CPUtime=1.28 cores=0,2,4,6
/proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 28921 0 0 0 124 4 0 0 16 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28081] ppid=28071 vsize=13625484 CPUtime=1.61 cores=0,2,4,6
/proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 24938 0 0 0 158 3 0 0 15 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28082] ppid=28071 vsize=13625484 CPUtime=1.37 cores=0,2,4,6
/proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 25814 0 0 0 134 3 0 0 15 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28083] ppid=28071 vsize=13625484 CPUtime=1.41 cores=0,2,4,6
/proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 11724 0 0 0 139 2 0 0 16 0 19 0 807265583 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28084] ppid=28071 vsize=13625484 CPUtime=11 cores=0,2,4,6
/proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 146800 0 0 0 1084 16 0 0 15 0 19 0 807265584 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28085] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28086] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28087] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28088] ppid=28071 vsize=13625484 CPUtime=0.42 cores=0,2,4,6
/proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 2216 0 0 0 42 0 0 0 15 0 19 0 807265586 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28089] ppid=28071 vsize=13625484 CPUtime=0.47 cores=0,2,4,6
/proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3412 0 0 0 47 0 0 0 15 0 19 0 807265586 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28090] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28091] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 807265586 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28092] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13952495616 449311 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1730.34
Current children cumulated vsize (KiB) 13625484
[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.01 3/558 28196
/proc/meminfo: memFree=18814512/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=13625484 CPUtime=1790.45 cores=0,2,4,6
/proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 453266 0 1 0 178979 66 0 0 25 0 19 0 807265580 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 3406371 449766 2261 9 0 3397105 0
[pid=28073/tid=28074] ppid=28071 vsize=13625484 CPUtime=1767.33 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 119103 0 1 0 176713 20 0 0 25 0 19 0 807265580 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505710576 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28073/tid=28076] ppid=28071 vsize=13625484 CPUtime=1.2 cores=0,2,4,6
/proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 17033 0 0 0 118 2 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28077] ppid=28071 vsize=13625484 CPUtime=1.3 cores=0,2,4,6
/proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 31714 0 0 0 126 4 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28078] ppid=28071 vsize=13625484 CPUtime=1.37 cores=0,2,4,6
/proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 16215 0 0 0 136 1 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28079] ppid=28071 vsize=13625484 CPUtime=1.39 cores=0,2,4,6
/proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 24121 0 0 0 135 4 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28080] ppid=28071 vsize=13625484 CPUtime=1.32 cores=0,2,4,6
/proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 28921 0 0 0 128 4 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28081] ppid=28071 vsize=13625484 CPUtime=1.61 cores=0,2,4,6
/proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 24938 0 0 0 158 3 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28082] ppid=28071 vsize=13625484 CPUtime=1.37 cores=0,2,4,6
/proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 25814 0 0 0 134 3 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28083] ppid=28071 vsize=13625484 CPUtime=1.42 cores=0,2,4,6
/proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 11724 0 0 0 140 2 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28084] ppid=28071 vsize=13625484 CPUtime=11.12 cores=0,2,4,6
/proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 146802 0 0 0 1096 16 0 0 15 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28085] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28086] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28087] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28088] ppid=28071 vsize=13625484 CPUtime=0.42 cores=0,2,4,6
/proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 2216 0 0 0 42 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28089] ppid=28071 vsize=13625484 CPUtime=0.47 cores=0,2,4,6
/proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3412 0 0 0 47 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28090] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28091] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28092] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1790.45
Current children cumulated vsize (KiB) 13625484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1791.92 s]
/proc/loadavg: 2.00 2.04 2.01 3/558 28197
/proc/meminfo: memFree=18814500/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=13625484 CPUtime=1800.09 cores=0,2,4,6
/proc/28073/stat : 28073 (java) S 28071 28073 25640 0 -1 4202496 453266 0 1 0 179943 66 0 0 25 0 19 0 807265580 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107253733 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 3406371 449766 2261 9 0 3397105 0
[pid=28073/tid=28074] ppid=28071 vsize=13625484 CPUtime=1776.97 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4202560 119103 0 1 0 177677 20 0 0 25 0 19 0 807265580 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 46912505768836 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=28073/tid=28076] ppid=28071 vsize=13625484 CPUtime=1.2 cores=0,2,4,6
/proc/28073/task/28076/stat : 28076 (java) S 28071 28073 25640 0 -1 4202560 17033 0 0 0 118 2 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28077] ppid=28071 vsize=13625484 CPUtime=1.3 cores=0,2,4,6
/proc/28073/task/28077/stat : 28077 (java) S 28071 28073 25640 0 -1 4202560 31714 0 0 0 126 4 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28078] ppid=28071 vsize=13625484 CPUtime=1.37 cores=0,2,4,6
/proc/28073/task/28078/stat : 28078 (java) S 28071 28073 25640 0 -1 4202560 16215 0 0 0 136 1 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28079] ppid=28071 vsize=13625484 CPUtime=1.39 cores=0,2,4,6
/proc/28073/task/28079/stat : 28079 (java) S 28071 28073 25640 0 -1 4202560 24121 0 0 0 135 4 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28080] ppid=28071 vsize=13625484 CPUtime=1.32 cores=0,2,4,6
/proc/28073/task/28080/stat : 28080 (java) S 28071 28073 25640 0 -1 4202560 28921 0 0 0 128 4 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28081] ppid=28071 vsize=13625484 CPUtime=1.61 cores=0,2,4,6
/proc/28073/task/28081/stat : 28081 (java) S 28071 28073 25640 0 -1 4202560 24938 0 0 0 158 3 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28082] ppid=28071 vsize=13625484 CPUtime=1.37 cores=0,2,4,6
/proc/28073/task/28082/stat : 28082 (java) S 28071 28073 25640 0 -1 4202560 25814 0 0 0 134 3 0 0 15 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28083] ppid=28071 vsize=13625484 CPUtime=1.42 cores=0,2,4,6
/proc/28073/task/28083/stat : 28083 (java) S 28071 28073 25640 0 -1 4202560 11724 0 0 0 140 2 0 0 16 0 19 0 807265583 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28084] ppid=28071 vsize=13625484 CPUtime=11.12 cores=0,2,4,6
/proc/28073/task/28084/stat : 28084 (java) S 28071 28073 25640 0 -1 4202560 146802 0 0 0 1096 16 0 0 15 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 0 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28085] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28085/stat : 28085 (java) S 28071 28073 25640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28086] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28086/stat : 28086 (java) S 28071 28073 25640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 807265584 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
[pid=28073/tid=28087] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28087/stat : 28087 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107274673 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28088] ppid=28071 vsize=13625484 CPUtime=0.42 cores=0,2,4,6
/proc/28073/task/28088/stat : 28088 (java) S 28071 28073 25640 0 -1 4202560 2216 0 0 0 42 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28089] ppid=28071 vsize=13625484 CPUtime=0.47 cores=0,2,4,6
/proc/28073/task/28089/stat : 28089 (java) S 28071 28073 25640 0 -1 4202560 3412 0 0 0 47 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 0 0 0 0
[pid=28073/tid=28090] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28090/stat : 28090 (java) S 28071 28073 25640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107266969 0 4 0 16800975 18446604440827499584 0 0 -1 6 0 0 0
[pid=28073/tid=28091] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28091/stat : 28091 (java) S 28071 28073 25640 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 807265586 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 2 0 0 0
[pid=28073/tid=28092] ppid=28071 vsize=13625484 CPUtime=0 cores=0,2,4,6
/proc/28073/task/28092/stat : 28092 (java) S 28071 28073 25640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 807265657 13952495616 449766 33554432000 1073741824 1073778376 140736319413072 18446744073709551615 228107267584 0 4 0 16800975 18446604440827499584 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 13625484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1792.03 s]
/proc/loadavg: 2.00 2.04 2.01 3/558 28197
/proc/meminfo: memFree=18814500/32951124 swapFree=58800704/67111528
[pid=28073] ppid=28071 vsize=0 CPUtime=1800.23 cores=0,2,4,6
/proc/28073/stat : 28073 (java) Z 28071 28073 25640 0 -1 4203548 453328 0 1 0 179953 70 0 0 17 0 2 0 807265580 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/28073/statm: 0 0 0 0 0 0 0
[pid=28073/tid=28074] ppid=28071 vsize=0 CPUtime=1777.06 cores=0,2,4,6
/proc/28073/task/28074/stat : 28074 (java) R 28071 28073 25640 0 -1 4203588 119103 0 1 0 177681 25 0 0 25 0 2 0 807265580 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1792.06
CPU time (s): 1800.27
CPU user time (s): 1799.53
CPU system time (s): 0.736887
CPU usage (%): 100.458
Max. virtual memory (cumulated for all children) (KiB): 13628972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.53
system time used= 0.736887
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 453328
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= 39588
involuntary context switches= 28601
runsolver used 10.1705 second user time and 20.8708 second system time
The end