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-3455248-1307191840/watcher-3455248-1307191840 -o /tmp/evaluation-result-3455248-1307191840/solver-3455248-1307191840 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455248-1307191840.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.83 3.43 3.55 3/579 11709
/proc/meminfo: memFree=23966656/32951124 swapFree=34426104/67111528
[pid=11709] ppid=11707 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/11709/stat : 11709 (java) S 11707 11709 7463 0 -1 4202496 1778 0 1 0 0 0 0 0 18 0 2 0 909414701 10681323520 1480 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296728549 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/11709/statm: 2607745 1494 906 9 0 2598901 0
[pid=11709/tid=11710] ppid=11707 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11710/stat : 11710 (java) R 11707 11709 7463 0 -1 4202560 8821 0 1 0 0 0 0 0 21 0 10 0 909414702 10703900672 9646 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 47444518313983 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11709/tid=11711] ppid=11707 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 909414704 10703900672 9647 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16784584 18446604450167195712 0 0 -1 4 0 0 0
[pid=11709/tid=11712] ppid=11707 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11712/stat : 11712 (java) R 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 909414704 10703900672 9648 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11709/tid=11713] ppid=11707 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11713/stat : 11713 (java) R 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 909414704 10703900672 9648 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11709/tid=11714] ppid=11707 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11714/stat : 11714 (java) R 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 909414704 10703900672 9649 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11709/tid=11715] ppid=11707 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11715/stat : 11715 (java) R 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 909414704 10703900672 9650 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11716/stat : 11716 (java) R 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 10 0 909414704 10703900672 9650 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11717/stat : 11717 (java) R 11707 11709 7463 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 10 0 909414704 10703900672 9651 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16784584 0 0 0 -1 4 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=10453028 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11718/stat : 11718 (java) R 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 10 0 909414704 10703900672 9652 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296751797 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.119607 s]
/proc/loadavg: 3.83 3.43 3.55 3/579 11709
/proc/meminfo: memFree=23966656/32951124 swapFree=34426104/67111528
[pid=11709] ppid=11707 vsize=10605436 CPUtime=0.13 cores=0,2,4,6
/proc/11709/stat : 11709 (java) S 11707 11709 7463 0 -1 4202496 13446 0 1 0 12 1 0 0 18 0 18 0 909414701 10859966464 13119 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11709/statm: 2651359 13119 2136 9 0 2642093 0
[pid=11709/tid=11710] ppid=11707 vsize=10605436 CPUtime=0.1 cores=0,2,4,6
/proc/11709/task/11710/stat : 11710 (java) R 11707 11709 7463 0 -1 4202560 11414 0 1 0 9 1 0 0 18 0 18 0 909414702 10859966464 13119 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 47444515645576 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11709/tid=11711] ppid=11707 vsize=10605436 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 909414704 10859966464 13119 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 4 0 0 0
[pid=11709/tid=11712] ppid=11707 vsize=10605436 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 909414704 10859966464 13119 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11713] ppid=11707 vsize=10605436 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 909414704 10859966464 13119 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11714] ppid=11707 vsize=10605436 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 909414704 10859966464 13119 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11715] ppid=11707 vsize=10605436 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 909414704 10859966464 13119 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=10605436 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 909414704 10859966464 13119 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=10605436 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 7463 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 18 0 909414704 10859966464 13119 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=10605436 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11718/stat : 11718 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 18 0 909414704 10859966464 13119 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10605436
[startup+0.200534 s]
/proc/loadavg: 3.83 3.43 3.55 3/579 11709
/proc/meminfo: memFree=23966656/32951124 swapFree=34426104/67111528
[pid=11709] ppid=11707 vsize=10609468 CPUtime=0.28 cores=0,2,4,6
/proc/11709/stat : 11709 (java) S 11707 11709 7463 0 -1 4202496 14425 0 1 0 27 1 0 0 18 0 22 0 909414701 10864095232 13944 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11709/statm: 2652367 13944 2193 9 0 2643101 0
[pid=11709/tid=11710] ppid=11707 vsize=10609468 CPUtime=0.17 cores=0,2,4,6
/proc/11709/task/11710/stat : 11710 (java) S 11707 11709 7463 0 -1 4202560 11980 0 1 0 16 1 0 0 19 0 22 0 909414702 10864095232 13944 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296742400 0 4 0 16800975 18446604450167195712 0 0 -1 6 0 0 0
[pid=11709/tid=11711] ppid=11707 vsize=10609468 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 909414704 10864095232 13944 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 4 0 0 0
[pid=11709/tid=11712] ppid=11707 vsize=10609468 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909414704 10864095232 13944 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11713] ppid=11707 vsize=10609468 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909414704 10864095232 13944 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11714] ppid=11707 vsize=10609468 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909414704 10864095232 13944 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11715] ppid=11707 vsize=10609468 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909414704 10864095232 13944 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=10609468 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 909414704 10864095232 13944 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=10609468 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 7463 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 22 0 909414704 10864095232 13944 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=10609468 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11718/stat : 11718 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 909414704 10864095232 13944 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10609468
[startup+0.300595 s]
/proc/loadavg: 3.83 3.43 3.55 3/579 11709
/proc/meminfo: memFree=23966656/32951124 swapFree=34426104/67111528
[pid=11709] ppid=11707 vsize=10610856 CPUtime=0.48 cores=0,2,4,6
/proc/11709/stat : 11709 (java) S 11707 11709 7463 0 -1 4202496 16404 0 1 0 46 2 0 0 18 0 19 0 909414701 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11709/statm: 2652714 15095 2216 9 0 2643448 0
[pid=11709/tid=11710] ppid=11707 vsize=10610856 CPUtime=0.17 cores=0,2,4,6
/proc/11709/task/11710/stat : 11710 (java) S 11707 11709 7463 0 -1 4202560 11980 0 1 0 16 1 0 0 19 0 19 0 909414702 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296742400 0 4 0 16800975 18446604450167195712 0 0 -1 6 0 0 0
[pid=11709/tid=11711] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 4 0 0 0
[pid=11709/tid=11712] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11713] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11714] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11715] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 7463 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11718/stat : 11718 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10610856
Solver just ended. Dumping a history of the last processes samples
[startup+0.400579 s]
/proc/loadavg: 3.83 3.43 3.55 3/579 11709
/proc/meminfo: memFree=23966656/32951124 swapFree=34426104/67111528
[pid=11709] ppid=11707 vsize=10610856 CPUtime=0.48 cores=0,2,4,6
/proc/11709/stat : 11709 (java) S 11707 11709 7463 0 -1 4202496 16404 0 1 0 46 2 0 0 18 0 19 0 909414701 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11709/statm: 2652714 15095 2216 9 0 2643448 0
[pid=11709/tid=11710] ppid=11707 vsize=10610856 CPUtime=0.17 cores=0,2,4,6
/proc/11709/task/11710/stat : 11710 (java) S 11707 11709 7463 0 -1 4202560 11980 0 1 0 16 1 0 0 19 0 19 0 909414702 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296742400 0 4 0 16800975 18446604450167195712 0 0 -1 6 0 0 0
[pid=11709/tid=11711] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 4 0 0 0
[pid=11709/tid=11712] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11713] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11714] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11715] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 7463 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11718/stat : 11718 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10610856
[startup+0.600542 s]
/proc/loadavg: 3.83 3.43 3.55 3/579 11709
/proc/meminfo: memFree=23966656/32951124 swapFree=34426104/67111528
[pid=11709] ppid=11707 vsize=10610856 CPUtime=0.48 cores=0,2,4,6
/proc/11709/stat : 11709 (java) S 11707 11709 7463 0 -1 4202496 16404 0 1 0 46 2 0 0 18 0 19 0 909414701 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/11709/statm: 2652714 15095 2216 9 0 2643448 0
[pid=11709/tid=11710] ppid=11707 vsize=10610856 CPUtime=0.17 cores=0,2,4,6
/proc/11709/task/11710/stat : 11710 (java) S 11707 11709 7463 0 -1 4202560 11980 0 1 0 16 1 0 0 19 0 19 0 909414702 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296742400 0 4 0 16800975 18446604450167195712 0 0 -1 6 0 0 0
[pid=11709/tid=11711] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11711/stat : 11711 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 4 0 0 0
[pid=11709/tid=11712] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11712/stat : 11712 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11713] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11713/stat : 11713 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11714] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11714/stat : 11714 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11715] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11715/stat : 11715 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11716] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11716/stat : 11716 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11717] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11717/stat : 11717 (java) S 11707 11709 7463 0 -1 4202560 2 0 0 0 0 0 0 0 22 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
[pid=11709/tid=11718] ppid=11707 vsize=10610856 CPUtime=0 cores=0,2,4,6
/proc/11709/task/11718/stat : 11718 (java) S 11707 11709 7463 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 909414704 10865516544 15095 33554432000 1073741824 1073778376 140736690899392 18446744073709551615 224296741785 0 4 0 16800975 18446604450167195712 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10610856
Child status: 20
Real time (s): 0.696512
CPU time (s): 0.493924
CPU user time (s): 0.464929
CPU system time (s): 0.028995
CPU usage (%): 70.9139
Max. virtual memory (cumulated for all children) (KiB): 10610856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.464929
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16413
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= 197
involuntary context switches= 32
runsolver used 0.007998 second user time and 0.013997 second system time
The end