Trace number 3311548

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)SAT 243.558 61.5335

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf
MD5SUMb7db695fcb9141eaff8463a25c8e621f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.032994
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 54450

Solver Data 

0.10/0.11	25:07 INFO : Reading from input HOME/instance-3311548-1304133907.cnf
0.51/0.30	Executor set job limit to 1000000
0.51/0.30	Executor set job limit to 1000000
0.51/0.30	Executor set job limit to 1000000
0.51/0.30	Executor set job limit to 1000000
0.51/0.31	Starting Executor!
0.51/0.31	Starting Executor!
0.51/0.31	Starting Executor!
0.51/0.31	Starting Executor!
0.74/0.47	25:07 INFO : 50 variables remaining out of 50
0.74/0.47	25:07 INFO : 35600 literals remaining out of 35600
243.46/61.51	c Elapsed time 61.407
243.46/61.51	s SATISFIABLE
243.46/61.51	v -1 -2 -3 4 5 6 -7 8 9 10 11 -12 13 14 15 16 -17 -18 19 -20 21 22 -23 -24 25 26 27 28 -29 -30 -31 32 33 -34 35 -36 -37 -38 -39 40 -41 -42 -43 -44 -45 46 47 -48 49 -50 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3311548-1304133907/watcher-3311548-1304133907 -o /tmp/evaluation-result-3311548-1304133907/solver-3311548-1304133907 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311548-1304133907.cnf -hbr 2 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.02 8.12 8.09 5/202 27924
/proc/meminfo: memFree=25333968/32951124 swapFree=67111412/67111528
[pid=27924] ppid=27922 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/27924/stat : 27924 (java) S 27922 27924 27536 0 -1 4202496 1429 0 0 0 0 0 0 0 25 0 2 0 524988854 29065216 898 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347695077 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/27924/statm: 7096 898 686 9 0 381 0
[pid=27924/tid=27925] ppid=27922 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27925/stat : 27925 (java) R 27922 27924 27536 0 -1 4202560 82 0 0 0 0 0 0 0 25 0 2 0 524988854 31313920 909 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232330970128 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.060608 s]
/proc/loadavg: 8.02 8.12 8.09 5/202 27924
/proc/meminfo: memFree=25333968/32951124 swapFree=67111412/67111528
[pid=27924] ppid=27922 vsize=15609780 CPUtime=0.05 cores=1,3,5,7
/proc/27924/stat : 27924 (java) S 27922 27924 27536 0 -1 4202496 4293 0 1 0 4 1 0 0 25 0 18 0 524988854 15984414720 3732 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27924/statm: 3902445 3732 1778 9 0 3893164 0
[pid=27924/tid=27925] ppid=27922 vsize=15609780 CPUtime=0.04 cores=1,3,5,7
/proc/27924/task/27925/stat : 27925 (java) R 27922 27924 27536 0 -1 4202560 2875 0 1 0 4 0 0 0 25 0 18 0 524988854 15984414720 3732 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912496201386 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 15609780

[startup+0.100609 s]
/proc/loadavg: 8.02 8.12 8.09 5/202 27924
/proc/meminfo: memFree=25333968/32951124 swapFree=67111412/67111528
[pid=27924] ppid=27922 vsize=15676728 CPUtime=0.1 cores=1,3,5,7
/proc/27924/stat : 27924 (java) S 27922 27924 27536 0 -1 4202496 5652 0 1 0 9 1 0 0 25 0 18 0 524988854 16052969472 5052 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27924/statm: 3919182 5053 2117 9 0 3909901 0
[pid=27924/tid=27925] ppid=27922 vsize=15676728 CPUtime=0.09 cores=1,3,5,7
/proc/27924/task/27925/stat : 27925 (java) R 27922 27924 27536 0 -1 4202560 3499 0 1 0 8 1 0 0 18 0 18 0 524988854 16052969472 5053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 47880904160003 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676728

[startup+0.300573 s]
/proc/loadavg: 8.02 8.12 8.09 5/202 27924
/proc/meminfo: memFree=25333968/32951124 swapFree=67111412/67111528
[pid=27924] ppid=27922 vsize=15682308 CPUtime=0.51 cores=1,3,5,7
/proc/27924/stat : 27924 (java) S 27922 27924 27536 0 -1 4202496 15450 0 1 0 49 2 0 0 25 0 18 0 524988854 16058683392 13535 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27924/statm: 3920577 13537 2207 9 0 3911296 0
[pid=27924/tid=27925] ppid=27922 vsize=15682308 CPUtime=0.29 cores=1,3,5,7
/proc/27924/task/27925/stat : 27925 (java) R 27922 27924 27536 0 -1 4202560 10207 0 1 0 27 2 0 0 18 0 18 0 524988854 16058683392 13537 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 47880908315747 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15682308

[startup+0.955105 s]
/proc/loadavg: 8.02 8.12 8.09 5/202 27924
/proc/meminfo: memFree=25333968/32951124 swapFree=67111412/67111528
[pid=27924] ppid=27922 vsize=15696620 CPUtime=2.71 cores=1,3,5,7
/proc/27924/stat : 27924 (java) S 27922 27924 27536 0 -1 4202496 49532 0 1 0 264 7 0 0 25 0 22 0 524988854 16073338880 43908 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27924/statm: 3924155 43909 2265 9 0 3914874 0
[pid=27924/tid=27925] ppid=27922 vsize=15696620 CPUtime=0.46 cores=1,3,5,7
/proc/27924/task/27925/stat : 27925 (java) S 27922 27924 27536 0 -1 4202560 11033 0 1 0 44 2 0 0 20 0 22 0 524988854 16073338880 43909 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 15696620

[startup+1.50132 s]
/proc/loadavg: 8.02 8.12 8.09 12/224 27946
/proc/meminfo: memFree=25171660/32951124 swapFree=67111412/67111528
[pid=27924] ppid=27922 vsize=15696620 CPUtime=4.87 cores=1,3,5,7
/proc/27924/stat : 27924 (java) S 27922 27924 27536 0 -1 4202496 52684 0 1 0 480 7 0 0 25 0 22 0 524988854 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27924/statm: 3924155 47053 2282 9 0 3914874 0
[pid=27924/tid=27925] ppid=27922 vsize=15696620 CPUtime=0.46 cores=1,3,5,7
/proc/27924/task/27925/stat : 27925 (java) S 27922 27924 27536 0 -1 4202560 11033 0 1 0 44 2 0 0 20 0 22 0 524988854 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27927] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27927/stat : 27927 (java) S 27922 27924 27536 0 -1 4202560 269 0 0 0 0 0 0 0 15 0 22 0 524988855 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27928] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27928/stat : 27928 (java) S 27922 27924 27536 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 22 0 524988855 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27929] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27929/stat : 27929 (java) S 27922 27924 27536 0 -1 4202560 473 0 0 0 0 0 0 0 16 0 22 0 524988855 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27930] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27930/stat : 27930 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524988855 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27931] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27931/stat : 27931 (java) S 27922 27924 27536 0 -1 4202560 181 0 0 0 0 0 0 0 15 0 22 0 524988855 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27932] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27932/stat : 27932 (java) S 27922 27924 27536 0 -1 4202560 377 0 0 0 0 0 0 0 16 0 22 0 524988855 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27933] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27933/stat : 27933 (java) S 27922 27924 27536 0 -1 4202560 525 0 0 0 0 0 0 0 16 0 22 0 524988855 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27934] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27934/stat : 27934 (java) S 27922 27924 27536 0 -1 4202560 583 0 0 0 0 0 0 0 15 0 22 0 524988855 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27935] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27935/stat : 27935 (java) S 27922 27924 27536 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 524988856 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708928 0 0 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27936] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27936/stat : 27936 (java) S 27922 27924 27536 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524988856 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27937] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27937/stat : 27937 (java) S 27922 27924 27536 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524988856 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27938] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27938/stat : 27938 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524988859 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347716017 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27939] ppid=27922 vsize=15696620 CPUtime=0.67 cores=1,3,5,7
/proc/27924/task/27939/stat : 27939 (java) S 27922 27924 27536 0 -1 4202560 5107 0 0 0 67 0 0 0 25 0 22 0 524988859 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27940] ppid=27922 vsize=15696620 CPUtime=0.83 cores=1,3,5,7
/proc/27924/task/27940/stat : 27940 (java) S 27922 27924 27536 0 -1 4202560 7965 0 0 0 83 0 0 0 17 0 22 0 524988859 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27941] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27941/stat : 27941 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524988859 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27942] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27942/stat : 27942 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524988859 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708928 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27943] ppid=27922 vsize=15696620 CPUtime=0.81 cores=1,3,5,7
/proc/27924/task/27943/stat : 27943 (java) R 27922 27924 27536 0 -1 4202560 7586 0 0 0 80 1 0 0 17 0 22 0 524988885 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505809572 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27924/tid=27944] ppid=27922 vsize=15696620 CPUtime=0.66 cores=1,3,5,7
/proc/27924/task/27944/stat : 27944 (java) R 27922 27924 27536 0 -1 4202560 2206 0 0 0 66 0 0 0 16 0 22 0 524988885 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505800618 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27924/tid=27945] ppid=27922 vsize=15696620 CPUtime=0.64 cores=1,3,5,7
/proc/27924/task/27945/stat : 27945 (java) R 27922 27924 27536 0 -1 4202560 8641 0 0 0 64 0 0 0 19 0 22 0 524988885 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 47880907977777 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27924/tid=27946] ppid=27922 vsize=15696620 CPUtime=0.72 cores=1,3,5,7
/proc/27924/task/27946/stat : 27946 (java) R 27922 27924 27536 0 -1 4202560 6314 0 0 0 72 0 0 0 17 0 22 0 524988885 16073338880 47053 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505694085 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.87
Current children cumulated vsize (KiB) 15696620

[startup+3.10103 s]
/proc/loadavg: 8.10 8.13 8.09 10/224 27946
/proc/meminfo: memFree=25172904/32951124 swapFree=67111412/67111528
[pid=27924] ppid=27922 vsize=15696620 CPUtime=11.23 cores=1,3,5,7
/proc/27924/stat : 27924 (java) S 27922 27924 27536 0 -1 4202496 55708 0 1 0 1115 8 0 0 25 0 22 0 524988854 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27924/statm: 3924155 45590 2289 9 0 3914874 0
[pid=27924/tid=27925] ppid=27922 vsize=15696620 CPUtime=0.46 cores=1,3,5,7
/proc/27924/task/27925/stat : 27925 (java) S 27922 27924 27536 0 -1 4202560 11033 0 1 0 44 2 0 0 20 0 22 0 524988854 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27927] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27927/stat : 27927 (java) S 27922 27924 27536 0 -1 4202560 711 0 0 0 0 0 0 0 16 0 22 0 524988855 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27928] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27928/stat : 27928 (java) S 27922 27924 27536 0 -1 4202560 338 0 0 0 0 0 0 0 16 0 22 0 524988855 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27929] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27929/stat : 27929 (java) S 27922 27924 27536 0 -1 4202560 487 0 0 0 0 0 0 0 15 0 22 0 524988855 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27930] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27930/stat : 27930 (java) S 27922 27924 27536 0 -1 4202560 635 0 0 0 0 0 0 0 16 0 22 0 524988855 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27931] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27931/stat : 27931 (java) S 27922 27924 27536 0 -1 4202560 770 0 0 0 0 0 0 0 16 0 22 0 524988855 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27932] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27932/stat : 27932 (java) S 27922 27924 27536 0 -1 4202560 617 0 0 0 0 0 0 0 15 0 22 0 524988855 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27933] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27933/stat : 27933 (java) S 27922 27924 27536 0 -1 4202560 1251 0 0 0 0 0 0 0 15 0 22 0 524988855 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27934] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27934/stat : 27934 (java) S 27922 27924 27536 0 -1 4202560 584 0 0 0 0 0 0 0 15 0 22 0 524988855 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27935] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27935/stat : 27935 (java) S 27922 27924 27536 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 524988856 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708928 0 0 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27936] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27936/stat : 27936 (java) S 27922 27924 27536 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524988856 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27937] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27937/stat : 27937 (java) S 27922 27924 27536 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524988856 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27938] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27938/stat : 27938 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524988859 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347716017 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27939] ppid=27922 vsize=15696620 CPUtime=0.68 cores=1,3,5,7
/proc/27924/task/27939/stat : 27939 (java) R 27922 27924 27536 0 -1 4202560 5110 0 0 0 68 0 0 0 20 0 22 0 524988859 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27924/tid=27940] ppid=27922 vsize=15696620 CPUtime=1.02 cores=1,3,5,7
/proc/27924/task/27940/stat : 27940 (java) S 27922 27924 27536 0 -1 4202560 8002 0 0 0 102 0 0 0 15 0 22 0 524988859 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27941] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27941/stat : 27941 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524988859 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27942] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27942/stat : 27942 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524988859 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708928 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27943] ppid=27922 vsize=15696620 CPUtime=2.37 cores=1,3,5,7
/proc/27924/task/27943/stat : 27943 (java) R 27922 27924 27536 0 -1 4202560 7591 0 0 0 236 1 0 0 19 0 22 0 524988885 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27924/tid=27944] ppid=27922 vsize=15696620 CPUtime=2.24 cores=1,3,5,7
/proc/27924/task/27944/stat : 27944 (java) R 27922 27924 27536 0 -1 4202560 2221 0 0 0 224 0 0 0 18 0 22 0 524988885 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505808500 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=27924/tid=27945] ppid=27922 vsize=15696620 CPUtime=2.04 cores=1,3,5,7
/proc/27924/task/27945/stat : 27945 (java) R 27922 27924 27536 0 -1 4202560 8646 0 0 0 204 0 0 0 22 0 22 0 524988885 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505995696 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27924/tid=27946] ppid=27922 vsize=15696620 CPUtime=2.3 cores=1,3,5,7
/proc/27924/task/27946/stat : 27946 (java) R 27922 27924 27536 0 -1 4202560 6316 0 0 0 230 0 0 0 19 0 22 0 524988885 16073338880 45590 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505809722 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.23
Current children cumulated vsize (KiB) 15696620

[startup+6.30147 s]
/proc/loadavg: 8.10 8.13 8.09 9/224 27946
/proc/meminfo: memFree=25265828/32951124 swapFree=67111412/67111528
[pid=27924] ppid=27922 vsize=15696620 CPUtime=23.95 cores=1,3,5,7
/proc/27924/stat : 27924 (java) S 27922 27924 27536 0 -1 4202496 56739 0 1 0 2386 9 0 0 25 0 22 0 524988854 16073338880 30387 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27924/statm: 3924155 30387 2289 9 0 3914874 0
[pid=27924/tid=27925] ppid=27922 vsize=15696620 CPUtime=0.46 cores=1,3,5,7
/proc/27924/task/27925/stat : 27925 (java) S 27922 27924 27536 0 -1 4202560 11033 0 1 0 44 2 0 0 20 0 22 0 524988854 16073338880 30387 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27927] ppid=27922 vsize=15696620 CPUtime=0.01 cores=1,3,5,7
/proc/27924/task/27927/stat : 27927 (java) S 27922 27924 27536 0 -1 4202560 939 0 0 0 1 0 0 0 15 0 22 0 524988855 16073338880 30387 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27928] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27928/stat : 27928 (java) S 27922 27924 27536 0 -1 4202560 454 0 0 0 0 0 0 0 15 0 22 0 524988855 16073338880 30387 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27929] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27929/stat : 27929 (java) S 27922 27924 27536 0 -1 4202560 526 0 0 0 0 0 0 0 15 0 22 0 524988855 16073338880 30387 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27930] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27930/stat : 27930 (java) S 27922 27924 27536 0 -1 4202560 738 0 0 0 0 0 0 0 16 0 22 0 524988855 16073338880 30387 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27931] ppid=27922 vsize=15696620 CPUtime=0.01 cores=1,3,5,7
/proc/27924/task/27931/stat : 27931 (java) S 27922 27924 27536 0 -1 4202560 963 0 0 0 1 0 0 0 15 0 22 0 524988855 16073338880 30387 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27932] ppid=27922 vsize=15696620 CPUtime=0.01 cores=1,3,5,7
/proc/27924/task/27932/stat : 27932 (java) S 27922 27924 27536 0 -1 4202560 671 0 0 0 1 0 0 0 15 0 22 0 524988855 16073338880 30387 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27933] ppid=27922 vsize=15696620 CPUtime=0.01 cores=1,3,5,7
/proc/27924/task/27933/stat : 27933 (java) S 27922 27924 27536 0 -1 4202560 1346 0 0 0 1 0 0 0 15 0 22 0 524988855 16073338880 30387 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27934] ppid=27922 vsize=15696620 CPUtime=0.01 cores=1,3,5,7
/proc/27924/task/27934/stat : 27934 (java) S 27922 27924 27536 0 -1 4202560 739 0 0 0 1 0 0 0 15 0 22 0 524988855 16073338880 30387 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0

################
# More data... #
################

/proc/27924/task/27939/stat : 27939 (java) S 27922 27924 27536 0 -1 4202560 5115 0 0 0 71 0 0 0 15 0 22 0 524988859 16073338880 80190 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27940] ppid=27922 vsize=15696620 CPUtime=1.08 cores=1,3,5,7
/proc/27924/task/27940/stat : 27940 (java) S 27922 27924 27536 0 -1 4202560 8013 0 0 0 108 0 0 0 15 0 22 0 524988859 16073338880 80190 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27941] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27941/stat : 27941 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524988859 16073338880 80190 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27942] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27942/stat : 27942 (java) S 27922 27924 27536 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 524988859 16073338880 80190 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708928 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27943] ppid=27922 vsize=15696620 CPUtime=57.78 cores=1,3,5,7
/proc/27924/task/27943/stat : 27943 (java) R 27922 27924 27536 0 -1 4202560 20777 0 0 0 5776 2 0 0 25 0 22 0 524988885 16073338880 80190 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27924/tid=27944] ppid=27922 vsize=15696620 CPUtime=57.8 cores=1,3,5,7
/proc/27924/task/27944/stat : 27944 (java) R 27922 27924 27536 0 -1 4202560 15187 0 0 0 5777 3 0 0 25 0 22 0 524988885 16073338880 80190 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912506041197 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27924/tid=27945] ppid=27922 vsize=15696620 CPUtime=57.58 cores=1,3,5,7
/proc/27924/task/27945/stat : 27945 (java) R 27922 27924 27536 0 -1 4202560 22270 0 0 0 5756 2 0 0 25 0 22 0 524988885 16073338880 80190 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 47880907975787 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27924/tid=27946] ppid=27922 vsize=15696620 CPUtime=57.81 cores=1,3,5,7
/proc/27924/task/27946/stat : 27946 (java) R 27922 27924 27536 0 -1 4202560 19721 0 0 0 5779 2 0 0 22 0 22 0 524988885 16073338880 80190 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505694104 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 234.71
Current children cumulated vsize (KiB) 15696620

[startup+60.9008 s]
/proc/loadavg: 8.18 8.15 8.10 9/224 27948
/proc/meminfo: memFree=25164216/32951124 swapFree=67111412/67111528
[pid=27924] ppid=27922 vsize=15696620 CPUtime=241.08 cores=1,3,5,7
/proc/27924/stat : 27924 (java) S 27922 27924 27536 0 -1 4202496 160452 0 1 0 24076 32 0 0 25 0 22 0 524988854 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27924/statm: 3924155 80048 2291 9 0 3914874 0
[pid=27924/tid=27925] ppid=27922 vsize=15696620 CPUtime=0.46 cores=1,3,5,7
/proc/27924/task/27925/stat : 27925 (java) S 27922 27924 27536 0 -1 4202560 11033 0 1 0 44 2 0 0 20 0 22 0 524988854 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27927] ppid=27922 vsize=15696620 CPUtime=0.17 cores=1,3,5,7
/proc/27924/task/27927/stat : 27927 (java) S 27922 27924 27536 0 -1 4202560 7188 0 0 0 15 2 0 0 16 0 22 0 524988855 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27928] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27928/stat : 27928 (java) S 27922 27924 27536 0 -1 4202560 7437 0 0 0 15 1 0 0 15 0 22 0 524988855 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27929] ppid=27922 vsize=15696620 CPUtime=0.15 cores=1,3,5,7
/proc/27924/task/27929/stat : 27929 (java) S 27922 27924 27536 0 -1 4202560 7033 0 0 0 14 1 0 0 16 0 22 0 524988855 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27930] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27930/stat : 27930 (java) S 27922 27924 27536 0 -1 4202560 8133 0 0 0 15 1 0 0 15 0 22 0 524988855 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27931] ppid=27922 vsize=15696620 CPUtime=0.14 cores=1,3,5,7
/proc/27924/task/27931/stat : 27931 (java) S 27922 27924 27536 0 -1 4202560 6113 0 0 0 13 1 0 0 15 0 22 0 524988855 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27932] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27932/stat : 27932 (java) S 27922 27924 27536 0 -1 4202560 7469 0 0 0 15 1 0 0 15 0 22 0 524988855 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27933] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27933/stat : 27933 (java) S 27922 27924 27536 0 -1 4202560 7004 0 0 0 15 1 0 0 15 0 22 0 524988855 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27934] ppid=27922 vsize=15696620 CPUtime=0.14 cores=1,3,5,7
/proc/27924/task/27934/stat : 27934 (java) S 27922 27924 27536 0 -1 4202560 6293 0 0 0 14 0 0 0 15 0 22 0 524988855 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27935] ppid=27922 vsize=15696620 CPUtime=0.1 cores=1,3,5,7
/proc/27924/task/27935/stat : 27935 (java) S 27922 27924 27536 0 -1 4202560 262 0 0 0 8 2 0 0 15 0 22 0 524988856 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708928 0 0 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27936] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27936/stat : 27936 (java) S 27922 27924 27536 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524988856 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27937] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27937/stat : 27937 (java) S 27922 27924 27536 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524988856 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27938] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27938/stat : 27938 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524988859 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347716017 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27939] ppid=27922 vsize=15696620 CPUtime=0.71 cores=1,3,5,7
/proc/27924/task/27939/stat : 27939 (java) S 27922 27924 27536 0 -1 4202560 5115 0 0 0 71 0 0 0 15 0 22 0 524988859 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27940] ppid=27922 vsize=15696620 CPUtime=1.08 cores=1,3,5,7
/proc/27924/task/27940/stat : 27940 (java) S 27922 27924 27536 0 -1 4202560 8013 0 0 0 108 0 0 0 15 0 22 0 524988859 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27941] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27941/stat : 27941 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524988859 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27942] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27942/stat : 27942 (java) S 27922 27924 27536 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 524988859 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708928 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27943] ppid=27922 vsize=15696620 CPUtime=59.35 cores=1,3,5,7
/proc/27924/task/27943/stat : 27943 (java) R 27922 27924 27536 0 -1 4202560 20779 0 0 0 5933 2 0 0 25 0 22 0 524988885 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505808500 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27924/tid=27944] ppid=27922 vsize=15696620 CPUtime=59.38 cores=1,3,5,7
/proc/27924/task/27944/stat : 27944 (java) R 27922 27924 27536 0 -1 4202560 15190 0 0 0 5935 3 0 0 25 0 22 0 524988885 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912506031868 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27924/tid=27945] ppid=27922 vsize=15696620 CPUtime=59.16 cores=1,3,5,7
/proc/27924/task/27945/stat : 27945 (java) R 27922 27924 27536 0 -1 4202560 22276 0 0 0 5914 2 0 0 25 0 22 0 524988885 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505809598 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27924/tid=27946] ppid=27922 vsize=15696620 CPUtime=59.39 cores=1,3,5,7
/proc/27924/task/27946/stat : 27946 (java) R 27922 27924 27536 0 -1 4202560 19723 0 0 0 5937 2 0 0 25 0 22 0 524988885 16073338880 80048 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505800579 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 241.08
Current children cumulated vsize (KiB) 15696620

[startup+61.3007 s]
/proc/loadavg: 8.18 8.15 8.10 9/224 27948
/proc/meminfo: memFree=25164216/32951124 swapFree=67111412/67111528
[pid=27924] ppid=27922 vsize=15696620 CPUtime=242.67 cores=1,3,5,7
/proc/27924/stat : 27924 (java) S 27922 27924 27536 0 -1 4202496 160526 0 1 0 24235 32 0 0 25 0 22 0 524988854 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27924/statm: 3924155 79627 2291 9 0 3914874 0
[pid=27924/tid=27925] ppid=27922 vsize=15696620 CPUtime=0.46 cores=1,3,5,7
/proc/27924/task/27925/stat : 27925 (java) S 27922 27924 27536 0 -1 4202560 11033 0 1 0 44 2 0 0 20 0 22 0 524988854 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27927] ppid=27922 vsize=15696620 CPUtime=0.17 cores=1,3,5,7
/proc/27924/task/27927/stat : 27927 (java) S 27922 27924 27536 0 -1 4202560 7190 0 0 0 15 2 0 0 15 0 22 0 524988855 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27928] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27928/stat : 27928 (java) S 27922 27924 27536 0 -1 4202560 7455 0 0 0 15 1 0 0 15 0 22 0 524988855 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27929] ppid=27922 vsize=15696620 CPUtime=0.15 cores=1,3,5,7
/proc/27924/task/27929/stat : 27929 (java) S 27922 27924 27536 0 -1 4202560 7035 0 0 0 14 1 0 0 15 0 22 0 524988855 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27930] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27930/stat : 27930 (java) S 27922 27924 27536 0 -1 4202560 8162 0 0 0 15 1 0 0 15 0 22 0 524988855 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27931] ppid=27922 vsize=15696620 CPUtime=0.14 cores=1,3,5,7
/proc/27924/task/27931/stat : 27931 (java) S 27922 27924 27536 0 -1 4202560 6114 0 0 0 13 1 0 0 15 0 22 0 524988855 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27932] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27932/stat : 27932 (java) S 27922 27924 27536 0 -1 4202560 7473 0 0 0 15 1 0 0 15 0 22 0 524988855 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27933] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27933/stat : 27933 (java) S 27922 27924 27536 0 -1 4202560 7004 0 0 0 15 1 0 0 15 0 22 0 524988855 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27934] ppid=27922 vsize=15696620 CPUtime=0.14 cores=1,3,5,7
/proc/27924/task/27934/stat : 27934 (java) S 27922 27924 27536 0 -1 4202560 6293 0 0 0 14 0 0 0 16 0 22 0 524988855 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27935] ppid=27922 vsize=15696620 CPUtime=0.1 cores=1,3,5,7
/proc/27924/task/27935/stat : 27935 (java) S 27922 27924 27536 0 -1 4202560 262 0 0 0 8 2 0 0 16 0 22 0 524988856 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708928 0 0 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27936] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27936/stat : 27936 (java) S 27922 27924 27536 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524988856 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27937] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27937/stat : 27937 (java) S 27922 27924 27536 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524988856 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27938] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27938/stat : 27938 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524988859 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347716017 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27939] ppid=27922 vsize=15696620 CPUtime=0.77 cores=1,3,5,7
/proc/27924/task/27939/stat : 27939 (java) R 27922 27924 27536 0 -1 4202560 5123 0 0 0 77 0 0 0 16 0 22 0 524988859 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 47880904470272 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27924/tid=27940] ppid=27922 vsize=15696620 CPUtime=1.14 cores=1,3,5,7
/proc/27924/task/27940/stat : 27940 (java) R 27922 27924 27536 0 -1 4202560 8017 0 0 0 114 0 0 0 15 0 22 0 524988859 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 47880906734099 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27924/tid=27941] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27941/stat : 27941 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524988859 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27942] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27942/stat : 27942 (java) S 27922 27924 27536 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 524988859 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708928 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27943] ppid=27922 vsize=15696620 CPUtime=59.69 cores=1,3,5,7
/proc/27924/task/27943/stat : 27943 (java) R 27922 27924 27536 0 -1 4202560 20779 0 0 0 5967 2 0 0 25 0 22 0 524988885 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505809813 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27924/tid=27944] ppid=27922 vsize=15696620 CPUtime=59.78 cores=1,3,5,7
/proc/27924/task/27944/stat : 27944 (java) R 27922 27924 27536 0 -1 4202560 15194 0 0 0 5975 3 0 0 25 0 22 0 524988885 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505194931 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27924/tid=27945] ppid=27922 vsize=15696620 CPUtime=59.5 cores=1,3,5,7
/proc/27924/task/27945/stat : 27945 (java) R 27922 27924 27536 0 -1 4202560 22277 0 0 0 5948 2 0 0 25 0 22 0 524988885 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505808271 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27924/tid=27946] ppid=27922 vsize=15696620 CPUtime=59.8 cores=1,3,5,7
/proc/27924/task/27946/stat : 27946 (java) R 27922 27924 27536 0 -1 4202560 19724 0 0 0 5977 3 0 0 25 0 22 0 524988885 16073338880 79627 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505120904 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 242.67
Current children cumulated vsize (KiB) 15696620

[startup+61.5007 s]
/proc/loadavg: 8.18 8.15 8.10 9/224 27948
/proc/meminfo: memFree=25164216/32951124 swapFree=67111412/67111528
[pid=27924] ppid=27922 vsize=15696620 CPUtime=243.46 cores=1,3,5,7
/proc/27924/stat : 27924 (java) S 27922 27924 27536 0 -1 4202496 161277 0 1 0 24314 32 0 0 25 0 22 0 524988854 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/27924/statm: 3924155 79723 2291 9 0 3914874 0
[pid=27924/tid=27925] ppid=27922 vsize=15696620 CPUtime=0.46 cores=1,3,5,7
/proc/27924/task/27925/stat : 27925 (java) S 27922 27924 27536 0 -1 4202560 11033 0 1 0 44 2 0 0 20 0 22 0 524988854 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27927] ppid=27922 vsize=15696620 CPUtime=0.17 cores=1,3,5,7
/proc/27924/task/27927/stat : 27927 (java) S 27922 27924 27536 0 -1 4202560 7206 0 0 0 15 2 0 0 15 0 22 0 524988855 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27928] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27928/stat : 27928 (java) S 27922 27924 27536 0 -1 4202560 7455 0 0 0 15 1 0 0 15 0 22 0 524988855 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27929] ppid=27922 vsize=15696620 CPUtime=0.15 cores=1,3,5,7
/proc/27924/task/27929/stat : 27929 (java) S 27922 27924 27536 0 -1 4202560 7035 0 0 0 14 1 0 0 15 0 22 0 524988855 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27930] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27930/stat : 27930 (java) S 27922 27924 27536 0 -1 4202560 8164 0 0 0 15 1 0 0 16 0 22 0 524988855 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27931] ppid=27922 vsize=15696620 CPUtime=0.14 cores=1,3,5,7
/proc/27924/task/27931/stat : 27931 (java) S 27922 27924 27536 0 -1 4202560 6146 0 0 0 13 1 0 0 16 0 22 0 524988855 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27932] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27932/stat : 27932 (java) S 27922 27924 27536 0 -1 4202560 7487 0 0 0 15 1 0 0 16 0 22 0 524988855 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 5 0 0 0
[pid=27924/tid=27933] ppid=27922 vsize=15696620 CPUtime=0.16 cores=1,3,5,7
/proc/27924/task/27933/stat : 27933 (java) S 27922 27924 27536 0 -1 4202560 7004 0 0 0 15 1 0 0 15 0 22 0 524988855 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27934] ppid=27922 vsize=15696620 CPUtime=0.14 cores=1,3,5,7
/proc/27924/task/27934/stat : 27934 (java) S 27922 27924 27536 0 -1 4202560 6293 0 0 0 14 0 0 0 15 0 22 0 524988855 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27935] ppid=27922 vsize=15696620 CPUtime=0.1 cores=1,3,5,7
/proc/27924/task/27935/stat : 27935 (java) S 27922 27924 27536 0 -1 4202560 262 0 0 0 8 2 0 0 15 0 22 0 524988856 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708928 0 0 0 16800975 18446604460087010432 0 0 -1 1 0 0 0
[pid=27924/tid=27936] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27936/stat : 27936 (java) S 27922 27924 27536 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524988856 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27937] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27937/stat : 27937 (java) S 27922 27924 27536 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 524988856 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27938] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27938/stat : 27938 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524988859 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347716017 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27939] ppid=27922 vsize=15696620 CPUtime=0.97 cores=1,3,5,7
/proc/27924/task/27939/stat : 27939 (java) R 27922 27924 27536 0 -1 4202560 5583 0 0 0 97 0 0 0 16 0 22 0 524988859 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 47880907865343 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27924/tid=27940] ppid=27922 vsize=15696620 CPUtime=1.2 cores=1,3,5,7
/proc/27924/task/27940/stat : 27940 (java) S 27922 27924 27536 0 -1 4202560 8243 0 0 0 120 0 0 0 15 0 22 0 524988859 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 3 0 0 0
[pid=27924/tid=27941] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27941/stat : 27941 (java) S 27922 27924 27536 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524988859 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708313 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27942] ppid=27922 vsize=15696620 CPUtime=0 cores=1,3,5,7
/proc/27924/task/27942/stat : 27942 (java) S 27922 27924 27536 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 22 0 524988859 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 232347708928 0 4 0 16800975 18446604460087010432 0 0 -1 7 0 0 0
[pid=27924/tid=27943] ppid=27922 vsize=15696620 CPUtime=59.7 cores=1,3,5,7
/proc/27924/task/27943/stat : 27943 (java) R 27922 27924 27536 0 -1 4202560 20779 0 0 0 5968 2 0 0 25 0 22 0 524988885 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912506578326 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=27924/tid=27944] ppid=27922 vsize=15696620 CPUtime=59.97 cores=1,3,5,7
/proc/27924/task/27944/stat : 27944 (java) R 27922 27924 27536 0 -1 4202560 15195 0 0 0 5994 3 0 0 25 0 22 0 524988885 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912506132046 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27924/tid=27945] ppid=27922 vsize=15696620 CPUtime=59.64 cores=1,3,5,7
/proc/27924/task/27945/stat : 27945 (java) R 27922 27924 27536 0 -1 4202560 22277 0 0 0 5962 2 0 0 25 0 22 0 524988885 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505808279 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27924/tid=27946] ppid=27922 vsize=15696620 CPUtime=59.99 cores=1,3,5,7
/proc/27924/task/27946/stat : 27946 (java) R 27922 27924 27536 0 -1 4202560 19724 0 0 0 5996 3 0 0 25 0 22 0 524988885 16073338880 79723 33554432000 1073741824 1073778376 140734453713552 18446744073709551615 46912505965212 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 243.46
Current children cumulated vsize (KiB) 15696620

Child status: 10
Real time (s): 61.5335
CPU time (s): 243.558
CPU user time (s): 243.215
CPU system time (s): 0.342947
CPU usage (%): 395.814
Max. virtual memory (cumulated for all children) (KiB): 15698536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.215
system time used= 0.342947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161305
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= 18983
involuntary context switches= 9237

runsolver used 0.094985 second user time and 0.243962 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-30 05:25:07
IDJOB=3311548
IDBENCH=82933
IDSOLVER=1698
FILE ID=node132/3311548-1304133907
RUNJOBID= node132-1304131477-27555
PBS_JOBID= 13170797
Free space on /tmp= 72172 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311548-1304133907/watcher-3311548-1304133907 -o /tmp/evaluation-result-3311548-1304133907/solver-3311548-1304133907 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311548-1304133907.cnf -hbr 2

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b7db695fcb9141eaff8463a25c8e621f
RANDOM SEED=588196743

node132.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25334116 kB
Buffers:        689000 kB
Cached:        5846244 kB
SwapCached:        112 kB
Active:        2033928 kB
Inactive:      5100208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25334116 kB
SwapTotal:    67111528 kB
SwapFree:     67111412 kB
Dirty:            3656 kB
Writeback:           0 kB
AnonPages:      599272 kB
Mapped:          23452 kB
Slab:           417796 kB
PageTables:       5756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1133836 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72172 MiB
End job on node132 at 2011-04-30 05:26:09