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-3454595-1307190146/watcher-3454595-1307190146 -o /tmp/evaluation-result-3454595-1307190146/solver-3454595-1307190146 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454595-1307190146.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: 3.77 3.86 3.54 3/526 12949
/proc/meminfo: memFree=27576016/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=11796 CPUtime=0 cores=0,2,4,6
/proc/12949/stat : 12949 (runsolver) S 12947 12949 9506 0 -1 4202560 41 0 0 0 0 0 0 0 22 0 1 0 830617387 12079104 51 33554432000 4194304 5432328 140733586625568 18446744073709551615 4881591 0 2147483391 4096 24578 18446744071699960631 0 0 17 0 0 0 0
/proc/12949/statm: 2949 51 31 303 0 2643 0
[startup+0.042214 s]
/proc/loadavg: 3.77 3.86 3.54 3/526 12949
/proc/meminfo: memFree=27576016/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=10455012 CPUtime=0.02 cores=0,2,4,6
/proc/12949/stat : 12949 (java) S 12947 12949 9506 0 -1 4202496 10699 0 1 0 1 1 0 0 23 0 10 0 830617387 10705932288 10398 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 2613753 10400 1513 9 0 2604501 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012
[startup+0.103685 s]
/proc/loadavg: 3.77 3.86 3.54 3/526 12949
/proc/meminfo: memFree=27576016/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=10539544 CPUtime=0.09 cores=0,2,4,6
/proc/12949/stat : 12949 (java) S 12947 12949 9506 0 -1 4202496 12956 0 1 0 8 1 0 0 23 0 18 0 830617387 10792493056 12622 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 2634886 12623 2091 9 0 2625620 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539544
[startup+0.306194 s]
/proc/loadavg: 3.77 3.86 3.54 3/526 12949
/proc/meminfo: memFree=27576016/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=10552252 CPUtime=0.58 cores=0,2,4,6
/proc/12949/stat : 12949 (java) S 12947 12949 9506 0 -1 4202496 23083 0 1 0 55 3 0 0 23 0 18 0 830617387 10805506048 20736 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 2638063 20736 2191 9 0 2628797 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10552252
[startup+0.701141 s]
/proc/loadavg: 3.77 3.86 3.54 3/526 12949
/proc/meminfo: memFree=27576016/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=10552384 CPUtime=1.38 cores=0,2,4,6
/proc/12949/stat : 12949 (java) S 12947 12949 9506 0 -1 4202496 44804 0 1 0 132 6 0 0 23 0 18 0 830617387 10805641216 40143 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 2638096 40148 2210 9 0 2628830 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 10552384
[startup+1.50099 s]
/proc/loadavg: 3.77 3.86 3.54 4/544 12967
/proc/meminfo: memFree=27330924/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=10552384 CPUtime=2.25 cores=0,2,4,6
/proc/12949/stat : 12949 (java) S 12947 12949 9506 0 -1 4202496 106859 0 1 0 212 13 0 0 23 0 18 0 830617387 10805641216 101408 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 2638096 101411 2210 9 0 2628830 0
[pid=12949/tid=12951] ppid=12947 vsize=10552384 CPUtime=1.47 cores=0,2,4,6
/proc/12949/task/12951/stat : 12951 (java) R 12947 12949 9506 0 -1 4202560 93838 0 1 0 136 11 0 0 19 0 18 0 830617389 10805641216 101413 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 46912505751882 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12949/tid=12952] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12952/stat : 12952 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 101416 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12953] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12953/stat : 12953 (java) S 12947 12949 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 101418 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12954] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12954/stat : 12954 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 101419 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12955] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12955/stat : 12955 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 101421 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12956] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12956/stat : 12956 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 101423 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12957] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12957/stat : 12957 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 101425 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12958] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12958/stat : 12958 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 101427 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12959] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12959/stat : 12959 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 101429 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12960] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12960/stat : 12960 (java) S 12947 12949 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830617392 10805641216 101430 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 0 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12961] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12961/stat : 12961 (java) S 12947 12949 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830617392 10805641216 101432 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12962] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12962/stat : 12962 (java) S 12947 12949 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830617392 10805641216 101434 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12963] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12963/stat : 12963 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617395 10805641216 101437 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646338993 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12964] ppid=12947 vsize=10552384 CPUtime=0.42 cores=0,2,4,6
/proc/12949/task/12964/stat : 12964 (java) S 12947 12949 9506 0 -1 4202560 8157 0 0 0 41 1 0 0 15 0 18 0 830617395 10805641216 101440 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12965] ppid=12947 vsize=10552384 CPUtime=0.33 cores=0,2,4,6
/proc/12949/task/12965/stat : 12965 (java) S 12947 12949 9506 0 -1 4202560 3718 0 0 0 33 0 0 0 17 0 18 0 830617395 10805641216 101441 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12966] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12966/stat : 12966 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617395 10805641216 101443 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12967] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12967/stat : 12967 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830617395 10805641216 101445 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.25
Current children cumulated vsize (KiB) 10552384
[startup+3.10071 s]
/proc/loadavg: 3.77 3.86 3.54 4/544 12967
/proc/meminfo: memFree=26981120/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=10552384 CPUtime=3.84 cores=0,2,4,6
/proc/12949/stat : 12949 (java) S 12947 12949 9506 0 -1 4202496 235959 0 1 0 358 26 0 0 23 0 18 0 830617387 10805641216 230508 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 2638096 230512 2210 9 0 2628830 0
[pid=12949/tid=12951] ppid=12947 vsize=10552384 CPUtime=3.06 cores=0,2,4,6
/proc/12949/task/12951/stat : 12951 (java) R 12947 12949 9506 0 -1 4202560 222940 0 1 0 282 24 0 0 23 0 18 0 830617389 10805641216 230515 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 46912505764387 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12949/tid=12952] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12952/stat : 12952 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 230516 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12953] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12953/stat : 12953 (java) S 12947 12949 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 230518 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12954] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12954/stat : 12954 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 230520 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12955] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12955/stat : 12955 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 230522 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12956] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12956/stat : 12956 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 230524 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12957] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12957/stat : 12957 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 230525 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12958] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12958/stat : 12958 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 230527 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12959] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12959/stat : 12959 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617391 10805641216 230529 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12960] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12960/stat : 12960 (java) S 12947 12949 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830617392 10805641216 230531 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 0 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12961] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12961/stat : 12961 (java) S 12947 12949 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830617392 10805641216 230532 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12962] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12962/stat : 12962 (java) S 12947 12949 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830617392 10805641216 230536 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12963] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12963/stat : 12963 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617395 10805641216 230538 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646338993 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12964] ppid=12947 vsize=10552384 CPUtime=0.42 cores=0,2,4,6
/proc/12949/task/12964/stat : 12964 (java) S 12947 12949 9506 0 -1 4202560 8157 0 0 0 41 1 0 0 15 0 18 0 830617395 10805641216 230539 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12965] ppid=12947 vsize=10552384 CPUtime=0.33 cores=0,2,4,6
/proc/12949/task/12965/stat : 12965 (java) S 12947 12949 9506 0 -1 4202560 3718 0 0 0 33 0 0 0 17 0 18 0 830617395 10805641216 230540 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12966] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12966/stat : 12966 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830617395 10805641216 230541 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12967] ppid=12947 vsize=10552384 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12967/stat : 12967 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830617395 10805641216 230542 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 10552384
[startup+6.30108 s]
/proc/loadavg: 3.95 3.89 3.55 4/544 12967
/proc/meminfo: memFree=25819496/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=10553880 CPUtime=8.13 cores=0,2,4,6
/proc/12949/stat : 12949 (java) S 12947 12949 9506 0 -1 4202496 493495 0 1 0 757 56 0 0 23 0 22 0 830617387 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 2638470 487198 2236 9 0 2629204 0
[pid=12949/tid=12951] ppid=12947 vsize=10553880 CPUtime=5.6 cores=0,2,4,6
/proc/12949/task/12951/stat : 12951 (java) S 12947 12949 9506 0 -1 4202560 453115 0 1 0 510 50 0 0 16 0 22 0 830617389 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12952] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12952/stat : 12952 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617391 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12953] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12953/stat : 12953 (java) S 12947 12949 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830617391 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12954] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12954/stat : 12954 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617391 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12955] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12955/stat : 12955 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617391 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12956] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12956/stat : 12956 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617391 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12957] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12957/stat : 12957 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617391 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12958] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12958/stat : 12958 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617391 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12959] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12959/stat : 12959 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617391 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12960] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12960/stat : 12960 (java) S 12947 12949 9506 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 830617392 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 0 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12961] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12961/stat : 12961 (java) S 12947 12949 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830617392 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12962] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12962/stat : 12962 (java) S 12947 12949 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830617392 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12963] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12963/stat : 12963 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617395 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646338993 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12964] ppid=12947 vsize=10553880 CPUtime=0.58 cores=0,2,4,6
/proc/12949/task/12964/stat : 12964 (java) S 12947 12949 9506 0 -1 4202560 8192 0 0 0 57 1 0 0 15 0 22 0 830617395 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12965] ppid=12947 vsize=10553880 CPUtime=0.6 cores=0,2,4,6
/proc/12949/task/12965/stat : 12965 (java) S 12947 12949 9506 0 -1 4202560 3971 0 0 0 60 0 0 0 15 0 22 0 830617395 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12966] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12966/stat : 12966 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617395 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12967] ppid=12947 vsize=10553880 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12967/stat : 12967 (java) S 12947 12949 9506 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830617395 10807173120 487198 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 8.13
Current children cumulated vsize (KiB) 10553880
[startup+12.7009 s]
/proc/loadavg: 3.95 3.89 3.55 5/548 12974
/proc/meminfo: memFree=25318636/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=10553880 CPUtime=20.54 cores=0,2,4,6
/proc/12949/stat : 12949 (java) S 12947 12949 9506 0 -1 4202496 592975 0 1 0 1983 71 0 0 23 0 22 0 830617387 10807173120 586670 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 2638470 586670 2238 9 0 2629204 0
[pid=12949/tid=12951] ppid=12947 vsize=10553880 CPUtime=5.6 cores=0,2,4,6
################
# More data... #
################
/proc/12949/task/12954/stat : 12954 (java) S 12947 12949 9506 0 -1 4202560 18161 0 0 0 80 2 0 0 16 0 22 0 830617391 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12955] ppid=12947 vsize=10553684 CPUtime=1.18 cores=0,2,4,6
/proc/12949/task/12955/stat : 12955 (java) S 12947 12949 9506 0 -1 4202560 20551 0 0 0 116 2 0 0 16 0 22 0 830617391 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12956] ppid=12947 vsize=10553684 CPUtime=1.35 cores=0,2,4,6
/proc/12949/task/12956/stat : 12956 (java) S 12947 12949 9506 0 -1 4202560 43104 0 0 0 129 6 0 0 15 0 22 0 830617391 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12957] ppid=12947 vsize=10553684 CPUtime=1.42 cores=0,2,4,6
/proc/12949/task/12957/stat : 12957 (java) S 12947 12949 9506 0 -1 4202560 45689 0 0 0 135 7 0 0 15 0 22 0 830617391 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12958] ppid=12947 vsize=10553684 CPUtime=1.46 cores=0,2,4,6
/proc/12949/task/12958/stat : 12958 (java) S 12947 12949 9506 0 -1 4202560 52614 0 0 0 139 7 0 0 15 0 22 0 830617391 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12959] ppid=12947 vsize=10553684 CPUtime=1.13 cores=0,2,4,6
/proc/12949/task/12959/stat : 12959 (java) S 12947 12949 9506 0 -1 4202560 47362 0 0 0 107 6 0 0 16 0 22 0 830617391 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12960] ppid=12947 vsize=10553684 CPUtime=1.18 cores=0,2,4,6
/proc/12949/task/12960/stat : 12960 (java) S 12947 12949 9506 0 -1 4202560 3499 0 0 0 116 2 0 0 15 0 22 0 830617392 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 0 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12961] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12961/stat : 12961 (java) S 12947 12949 9506 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 830617392 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12962] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12962/stat : 12962 (java) S 12947 12949 9506 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 22 0 830617392 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12963] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12963/stat : 12963 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617395 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646338993 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12964] ppid=12947 vsize=10553684 CPUtime=1.7 cores=0,2,4,6
/proc/12949/task/12964/stat : 12964 (java) S 12947 12949 9506 0 -1 4202560 14804 0 0 0 169 1 0 0 15 0 22 0 830617395 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12965] ppid=12947 vsize=10553684 CPUtime=1.07 cores=0,2,4,6
/proc/12949/task/12965/stat : 12965 (java) S 12947 12949 9506 0 -1 4202560 5245 0 0 0 107 0 0 0 15 0 22 0 830617395 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12966] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12966/stat : 12966 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617395 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12967] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12967/stat : 12967 (java) S 12947 12949 9506 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 830617395 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=13069] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/13069/stat : 13069 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830648298 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=13080] ppid=12947 vsize=10553684 CPUtime=242.98 cores=0,2,4,6
/proc/12949/task/13080/stat : 13080 (java) R 12947 12949 9506 0 -1 4202560 6 0 0 0 24298 0 0 0 25 0 22 0 830675195 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 46912506036917 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12949/tid=13081] ppid=12947 vsize=10553684 CPUtime=242.94 cores=0,2,4,6
/proc/12949/task/13081/stat : 13081 (java) R 12947 12949 9506 0 -1 4202560 36 0 0 0 24294 0 0 0 25 0 22 0 830675195 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 46912506029852 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=12949/tid=13082] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/13082/stat : 13082 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830675204 10806972416 1006576 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1630.46
Current children cumulated vsize (KiB) 10553684
[startup+882.302 s]
/proc/loadavg: 3.91 3.98 3.81 5/548 13142
/proc/meminfo: memFree=25051268/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=10553684 CPUtime=1750.43 cores=0,2,4,6
/proc/12949/stat : 12949 (java) S 12947 12949 9506 0 -1 4202496 1040991 0 1 0 174905 138 0 0 23 0 22 0 830617387 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 2638421 1014500 2268 9 0 2629155 0
[pid=12949/tid=12951] ppid=12947 vsize=10553684 CPUtime=5.68 cores=0,2,4,6
/proc/12949/task/12951/stat : 12951 (java) S 12947 12949 9506 0 -1 4202560 453151 0 1 0 518 50 0 0 15 0 22 0 830617389 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12952] ppid=12947 vsize=10553684 CPUtime=1.24 cores=0,2,4,6
/proc/12949/task/12952/stat : 12952 (java) S 12947 12949 9506 0 -1 4202560 50459 0 0 0 117 7 0 0 15 0 22 0 830617391 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12953] ppid=12947 vsize=10553684 CPUtime=1.24 cores=0,2,4,6
/proc/12949/task/12953/stat : 12953 (java) S 12947 12949 9506 0 -1 4202560 32667 0 0 0 119 5 0 0 16 0 22 0 830617391 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12954] ppid=12947 vsize=10553684 CPUtime=0.93 cores=0,2,4,6
/proc/12949/task/12954/stat : 12954 (java) S 12947 12949 9506 0 -1 4202560 20189 0 0 0 90 3 0 0 15 0 22 0 830617391 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12955] ppid=12947 vsize=10553684 CPUtime=1.23 cores=0,2,4,6
/proc/12949/task/12955/stat : 12955 (java) S 12947 12949 9506 0 -1 4202560 20608 0 0 0 121 2 0 0 15 0 22 0 830617391 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12956] ppid=12947 vsize=10553684 CPUtime=1.45 cores=0,2,4,6
/proc/12949/task/12956/stat : 12956 (java) S 12947 12949 9506 0 -1 4202560 43158 0 0 0 139 6 0 0 16 0 22 0 830617391 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12957] ppid=12947 vsize=10553684 CPUtime=1.48 cores=0,2,4,6
/proc/12949/task/12957/stat : 12957 (java) S 12947 12949 9506 0 -1 4202560 46788 0 0 0 141 7 0 0 15 0 22 0 830617391 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12958] ppid=12947 vsize=10553684 CPUtime=1.53 cores=0,2,4,6
/proc/12949/task/12958/stat : 12958 (java) S 12947 12949 9506 0 -1 4202560 53638 0 0 0 146 7 0 0 16 0 22 0 830617391 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12959] ppid=12947 vsize=10553684 CPUtime=1.2 cores=0,2,4,6
/proc/12949/task/12959/stat : 12959 (java) S 12947 12949 9506 0 -1 4202560 47604 0 0 0 114 6 0 0 16 0 22 0 830617391 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12960] ppid=12947 vsize=10553684 CPUtime=1.81 cores=0,2,4,6
/proc/12949/task/12960/stat : 12960 (java) S 12947 12949 9506 0 -1 4202560 6031 0 0 0 179 2 0 0 15 0 22 0 830617392 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 0 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12961] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12961/stat : 12961 (java) S 12947 12949 9506 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 830617392 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12962] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12962/stat : 12962 (java) S 12947 12949 9506 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 22 0 830617392 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12963] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12963/stat : 12963 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617395 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646338993 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12964] ppid=12947 vsize=10553684 CPUtime=2.07 cores=0,2,4,6
/proc/12949/task/12964/stat : 12964 (java) S 12947 12949 9506 0 -1 4202560 19227 0 0 0 205 2 0 0 16 0 22 0 830617395 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12965] ppid=12947 vsize=10553684 CPUtime=1.11 cores=0,2,4,6
/proc/12949/task/12965/stat : 12965 (java) S 12947 12949 9506 0 -1 4202560 5251 0 0 0 111 0 0 0 15 0 22 0 830617395 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12966] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12966/stat : 12966 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617395 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12967] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12967/stat : 12967 (java) S 12947 12949 9506 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830617395 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=13069] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/13069/stat : 13069 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830648298 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=13080] ppid=12947 vsize=10553684 CPUtime=302.15 cores=0,2,4,6
/proc/12949/task/13080/stat : 13080 (java) R 12947 12949 9506 0 -1 4202560 9 0 0 0 30215 0 0 0 25 0 22 0 830675195 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 46912505962685 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12949/tid=13081] ppid=12947 vsize=10553684 CPUtime=302.13 cores=0,2,4,6
/proc/12949/task/13081/stat : 13081 (java) R 12947 12949 9506 0 -1 4202560 45 0 0 0 30213 0 0 0 25 0 22 0 830675195 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 46912505550896 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12949/tid=13082] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/13082/stat : 13082 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830675204 10806972416 1014500 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1750.43
Current children cumulated vsize (KiB) 10553684
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+907.101 s]
/proc/loadavg: 3.73 3.94 3.80 5/548 13142
/proc/meminfo: memFree=23707576/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=10553684 CPUtime=1800.13 cores=0,2,4,6
/proc/12949/stat : 12949 (java) S 12947 12949 9506 0 -1 4202496 1043763 0 1 0 179874 139 0 0 23 0 22 0 830617387 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 2638421 1017117 2268 9 0 2629155 0
[pid=12949/tid=12951] ppid=12947 vsize=10553684 CPUtime=5.68 cores=0,2,4,6
/proc/12949/task/12951/stat : 12951 (java) S 12947 12949 9506 0 -1 4202560 453151 0 1 0 518 50 0 0 15 0 22 0 830617389 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12952] ppid=12947 vsize=10553684 CPUtime=1.25 cores=0,2,4,6
/proc/12949/task/12952/stat : 12952 (java) S 12947 12949 9506 0 -1 4202560 50491 0 0 0 118 7 0 0 15 0 22 0 830617391 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12953] ppid=12947 vsize=10553684 CPUtime=1.27 cores=0,2,4,6
/proc/12949/task/12953/stat : 12953 (java) S 12947 12949 9506 0 -1 4202560 32979 0 0 0 122 5 0 0 16 0 22 0 830617391 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12954] ppid=12947 vsize=10553684 CPUtime=0.95 cores=0,2,4,6
/proc/12949/task/12954/stat : 12954 (java) S 12947 12949 9506 0 -1 4202560 20193 0 0 0 92 3 0 0 15 0 22 0 830617391 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12955] ppid=12947 vsize=10553684 CPUtime=1.27 cores=0,2,4,6
/proc/12949/task/12955/stat : 12955 (java) S 12947 12949 9506 0 -1 4202560 20942 0 0 0 124 3 0 0 16 0 22 0 830617391 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12956] ppid=12947 vsize=10553684 CPUtime=1.47 cores=0,2,4,6
/proc/12949/task/12956/stat : 12956 (java) S 12947 12949 9506 0 -1 4202560 43471 0 0 0 141 6 0 0 15 0 22 0 830617391 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12957] ppid=12947 vsize=10553684 CPUtime=1.53 cores=0,2,4,6
/proc/12949/task/12957/stat : 12957 (java) S 12947 12949 9506 0 -1 4202560 48053 0 0 0 146 7 0 0 16 0 22 0 830617391 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12958] ppid=12947 vsize=10553684 CPUtime=1.56 cores=0,2,4,6
/proc/12949/task/12958/stat : 12958 (java) S 12947 12949 9506 0 -1 4202560 53642 0 0 0 149 7 0 0 15 0 22 0 830617391 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12959] ppid=12947 vsize=10553684 CPUtime=1.23 cores=0,2,4,6
/proc/12949/task/12959/stat : 12959 (java) S 12947 12949 9506 0 -1 4202560 48108 0 0 0 117 6 0 0 15 0 22 0 830617391 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12960] ppid=12947 vsize=10553684 CPUtime=1.81 cores=0,2,4,6
/proc/12949/task/12960/stat : 12960 (java) S 12947 12949 9506 0 -1 4202560 6031 0 0 0 179 2 0 0 15 0 22 0 830617392 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 0 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12961] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12961/stat : 12961 (java) S 12947 12949 9506 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 830617392 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12962] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12962/stat : 12962 (java) S 12947 12949 9506 0 -1 4202560 36 0 0 0 0 0 0 0 15 0 22 0 830617392 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 6 0 0 0
[pid=12949/tid=12963] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12963/stat : 12963 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617395 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646338993 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12964] ppid=12947 vsize=10553684 CPUtime=2.07 cores=0,2,4,6
/proc/12949/task/12964/stat : 12964 (java) S 12947 12949 9506 0 -1 4202560 19227 0 0 0 205 2 0 0 16 0 22 0 830617395 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=12965] ppid=12947 vsize=10553684 CPUtime=1.11 cores=0,2,4,6
/proc/12949/task/12965/stat : 12965 (java) S 12947 12949 9506 0 -1 4202560 5251 0 0 0 111 0 0 0 15 0 22 0 830617395 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 2 0 0 0
[pid=12949/tid=12966] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12966/stat : 12966 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830617395 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331289 0 4 0 16800975 18446604441039332672 0 0 -1 4 0 0 0
[pid=12949/tid=12967] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/12967/stat : 12967 (java) S 12947 12949 9506 0 -1 4202560 54 0 0 0 0 0 0 0 15 0 22 0 830617395 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=13069] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/13069/stat : 13069 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830648298 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
[pid=12949/tid=13080] ppid=12947 vsize=10553684 CPUtime=326.9 cores=0,2,4,6
/proc/12949/task/13080/stat : 13080 (java) R 12947 12949 9506 0 -1 4202560 9 0 0 0 32690 0 0 0 25 0 22 0 830675195 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 46912505989468 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=12949/tid=13081] ppid=12947 vsize=10553684 CPUtime=326.88 cores=0,2,4,6
/proc/12949/task/13081/stat : 13081 (java) R 12947 12949 9506 0 -1 4202560 49 0 0 0 32688 0 0 0 21 0 22 0 830675195 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 46912505891474 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=12949/tid=13082] ppid=12947 vsize=10553684 CPUtime=0 cores=0,2,4,6
/proc/12949/task/13082/stat : 13082 (java) S 12947 12949 9506 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 830675204 10806972416 1017117 33554432000 1073741824 1073778376 140733353957712 18446744073709551615 216646331904 0 4 0 16800975 18446604441039332672 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 10553684
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+907.226 s]
/proc/loadavg: 3.73 3.94 3.80 5/548 13142
/proc/meminfo: memFree=23707576/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=0 CPUtime=1800.28 cores=0,2,4,6
/proc/12949/stat : 12949 (java) Z 12947 12949 9506 0 -1 4203548 1043794 0 1 0 179882 146 0 0 17 0 2 0 830617387 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 0 0 0 0 0 0 0
[pid=12949/tid=12959] ppid=12947 vsize=0 CPUtime=1.3 cores=0,2,4,6
/proc/12949/task/12959/stat : 12959 (java) R 12947 12949 9506 0 -1 4203588 48108 0 0 0 117 13 0 0 15 0 2 0 830617391 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0
[startup+907.301 s]
/proc/loadavg: 3.73 3.94 3.80 5/548 13142
/proc/meminfo: memFree=23707576/32951124 swapFree=51712236/67111528
[pid=12949] ppid=12947 vsize=0 CPUtime=1800.36 cores=0,2,4,6
/proc/12949/stat : 12949 (java) Z 12947 12949 9506 0 -1 4203548 1043794 0 1 0 179882 154 0 0 17 0 2 0 830617387 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/12949/statm: 0 0 0 0 0 0 0
[pid=12949/tid=12959] ppid=12947 vsize=0 CPUtime=1.38 cores=0,2,4,6
/proc/12949/task/12959/stat : 12959 (java) R 12947 12949 9506 0 -1 4203588 48108 0 0 0 117 21 0 0 15 0 2 0 830617391 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 907.302
CPU time (s): 1800.37
CPU user time (s): 1798.83
CPU system time (s): 1.54377
CPU usage (%): 198.431
Max. virtual memory (cumulated for all children) (KiB): 10563848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.83
system time used= 1.54377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1043794
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= 25632
involuntary context switches= 17229
runsolver used 5.08923 second user time and 10.6224 second system time
The end