Trace number 3311379

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 734.382 184.928

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf
MD5SUM3d0491523e951b9423a05375c0461833
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.104983
Satisfiable
(Un)Satisfiability was proved
Number of variables60
Number of clauses5340
Sum of the clauses size37380
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 55340

Solver Data 

0.10/0.12	45:18 INFO : Reading from input HOME/instance-3311379-1304124317.cnf
0.51/0.32	Executor set job limit to 1000000
0.51/0.32	Executor set job limit to 1000000
0.51/0.32	Executor set job limit to 1000000
0.51/0.32	Executor set job limit to 1000000
0.51/0.32	Starting Executor!
0.51/0.32	Starting Executor!
0.51/0.32	Starting Executor!
0.51/0.32	Starting Executor!
1.00/0.51	45:18 INFO : 60 variables remaining out of 60
1.00/0.51	45:18 INFO : 42720 literals remaining out of 42720
734.00/184.89	c Elapsed time 184.774
734.00/184.89	s SATISFIABLE
734.00/184.89	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 -51 -52 53 54 55 56 57 58 59 60 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-3311379-1304124317/watcher-3311379-1304124317 -o /tmp/evaluation-result-3311379-1304124317/solver-3311379-1304124317 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311379-1304124317.cnf -hbr 2 

running on 4 cores: 0,2,4,6

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: 7.36 7.90 7.87 1/172 6007
/proc/meminfo: memFree=22837020/32950928 swapFree=67111524/67111528
[pid=6007] ppid=6005 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/6007/stat : 6007 (java) R 6005 6007 5295 0 -1 4202496 1054 0 0 0 0 0 0 0 25 0 1 0 524031401 23580672 541 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274469005077 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/6007/statm: 5757 552 418 9 0 124 0

[startup+0.0273369 s]
/proc/loadavg: 7.36 7.90 7.87 1/172 6007
/proc/meminfo: memFree=22837020/32950928 swapFree=67111524/67111528
[pid=6007] ppid=6005 vsize=15602060 CPUtime=0.01 cores=0,2,4,6
/proc/6007/stat : 6007 (java) S 6005 6007 5295 0 -1 4202496 3372 0 1 0 1 0 0 0 25 0 11 0 524031401 15976509440 2814 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485770213 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/6007/statm: 3900515 2814 1619 9 0 3891263 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15602060

[startup+0.10375 s]
/proc/loadavg: 7.36 7.90 7.87 1/172 6007
/proc/meminfo: memFree=22837020/32950928 swapFree=67111524/67111528
[pid=6007] ppid=6005 vsize=15676300 CPUtime=0.1 cores=0,2,4,6
/proc/6007/stat : 6007 (java) S 6005 6007 5295 0 -1 4202496 5524 0 1 0 10 0 0 0 25 0 18 0 524031401 16052531200 4964 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6007/statm: 3919075 4964 2116 9 0 3909794 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676300

[startup+0.301048 s]
/proc/loadavg: 7.36 7.90 7.87 1/172 6007
/proc/meminfo: memFree=22837020/32950928 swapFree=67111524/67111528
[pid=6007] ppid=6005 vsize=15680176 CPUtime=0.51 cores=0,2,4,6
/proc/6007/stat : 6007 (java) S 6005 6007 5295 0 -1 4202496 14262 0 1 0 50 1 0 0 25 0 18 0 524031401 16056500224 12755 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6007/statm: 3920044 12755 2207 9 0 3910763 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680176

[startup+0.700975 s]
/proc/loadavg: 7.36 7.90 7.87 1/172 6007
/proc/meminfo: memFree=22837020/32950928 swapFree=67111524/67111528
[pid=6007] ppid=6005 vsize=15696112 CPUtime=1.66 cores=0,2,4,6
/proc/6007/stat : 6007 (java) S 6005 6007 5295 0 -1 4202496 28431 0 1 0 163 3 0 0 25 0 22 0 524031401 16072818688 23830 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6007/statm: 3924028 23830 2258 9 0 3914747 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 15696112

[startup+1.50084 s]
/proc/loadavg: 7.36 7.90 7.87 13/220 6060
/proc/meminfo: memFree=22484800/32950928 swapFree=67111524/67111528
[pid=6007] ppid=6005 vsize=15698576 CPUtime=4.82 cores=0,2,4,6
/proc/6007/stat : 6007 (java) S 6005 6007 5295 0 -1 4202496 54966 0 1 0 476 6 0 0 25 0 22 0 524031401 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6007/statm: 3924644 50360 2278 9 0 3915363 0
[pid=6007/tid=6010] ppid=6005 vsize=15698576 CPUtime=0.49 cores=0,2,4,6
/proc/6007/task/6010/stat : 6010 (java) S 6005 6007 5295 0 -1 4202560 12405 0 1 0 48 1 0 0 25 0 22 0 524031401 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6014] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6014/stat : 6014 (java) S 6005 6007 5295 0 -1 4202560 569 0 0 0 0 0 0 0 16 0 22 0 524031402 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6015] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6015/stat : 6015 (java) S 6005 6007 5295 0 -1 4202560 1516 0 0 0 0 0 0 0 16 0 22 0 524031402 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6016] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6016/stat : 6016 (java) S 6005 6007 5295 0 -1 4202560 957 0 0 0 0 0 0 0 15 0 22 0 524031402 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6017] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6017/stat : 6017 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524031402 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6018] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6018/stat : 6018 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524031402 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6019] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6019/stat : 6019 (java) S 6005 6007 5295 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 22 0 524031402 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6020] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6020/stat : 6020 (java) S 6005 6007 5295 0 -1 4202560 567 0 0 0 0 0 0 0 15 0 22 0 524031402 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6021] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6021/stat : 6021 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524031402 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6023] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6023/stat : 6023 (java) S 6005 6007 5295 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 524031403 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485784064 0 0 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6028] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6028/stat : 6028 (java) S 6005 6007 5295 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524031403 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6029] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6029/stat : 6029 (java) S 6005 6007 5295 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 524031403 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6041] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6041/stat : 6041 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524031406 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485791153 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6042] ppid=6005 vsize=15698576 CPUtime=0.71 cores=0,2,4,6
/proc/6007/task/6042/stat : 6042 (java) R 6005 6007 5295 0 -1 4202560 4612 0 0 0 71 0 0 0 25 0 22 0 524031406 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6007/tid=6044] ppid=6005 vsize=15698576 CPUtime=0.91 cores=0,2,4,6
/proc/6007/task/6044/stat : 6044 (java) S 6005 6007 5295 0 -1 4202560 9712 0 0 0 90 1 0 0 16 0 22 0 524031406 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6045] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6045/stat : 6045 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524031406 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6047] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6047/stat : 6047 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524031406 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485784064 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6057] ppid=6005 vsize=15698576 CPUtime=0.64 cores=0,2,4,6
/proc/6007/task/6057/stat : 6057 (java) R 6005 6007 5295 0 -1 4202560 5586 0 0 0 64 0 0 0 25 0 22 0 524031433 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505731783 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6007/tid=6058] ppid=6005 vsize=15698576 CPUtime=0.68 cores=0,2,4,6
/proc/6007/task/6058/stat : 6058 (java) R 6005 6007 5295 0 -1 4202560 5409 0 0 0 68 0 0 0 24 0 22 0 524031433 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912506012901 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6007/tid=6059] ppid=6005 vsize=15698576 CPUtime=0.51 cores=0,2,4,6
/proc/6007/task/6059/stat : 6059 (java) R 6005 6007 5295 0 -1 4202560 3951 0 0 0 51 0 0 0 23 0 22 0 524031433 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 47241236817953 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6007/tid=6060] ppid=6005 vsize=15698576 CPUtime=0.77 cores=0,2,4,6
/proc/6007/task/6060/stat : 6060 (java) R 6005 6007 5295 0 -1 4202560 8216 0 0 0 77 0 0 0 25 0 22 0 524031433 16075341824 50360 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505802084 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 15698576

[startup+3.10156 s]
/proc/loadavg: 7.36 7.90 7.87 9/220 6061
/proc/meminfo: memFree=22171824/32950928 swapFree=67111524/67111528
[pid=6007] ppid=6005 vsize=15698576 CPUtime=11.2 cores=0,2,4,6
/proc/6007/stat : 6007 (java) S 6005 6007 5295 0 -1 4202496 90988 0 1 0 1109 11 0 0 25 0 22 0 524031401 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6007/statm: 3924644 84663 2285 9 0 3915363 0
[pid=6007/tid=6010] ppid=6005 vsize=15698576 CPUtime=0.49 cores=0,2,4,6
/proc/6007/task/6010/stat : 6010 (java) S 6005 6007 5295 0 -1 4202560 12405 0 1 0 48 1 0 0 25 0 22 0 524031401 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6014] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6014/stat : 6014 (java) S 6005 6007 5295 0 -1 4202560 1075 0 0 0 0 0 0 0 15 0 22 0 524031402 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6015] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6015/stat : 6015 (java) S 6005 6007 5295 0 -1 4202560 2053 0 0 0 0 0 0 0 16 0 22 0 524031402 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6016] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6016/stat : 6016 (java) S 6005 6007 5295 0 -1 4202560 1466 0 0 0 0 0 0 0 16 0 22 0 524031402 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6017] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6017/stat : 6017 (java) S 6005 6007 5295 0 -1 4202560 1012 0 0 0 0 0 0 0 15 0 22 0 524031402 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6018] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6018/stat : 6018 (java) S 6005 6007 5295 0 -1 4202560 1138 0 0 0 0 0 0 0 15 0 22 0 524031402 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6019] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6019/stat : 6019 (java) S 6005 6007 5295 0 -1 4202560 915 0 0 0 0 0 0 0 16 0 22 0 524031402 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6020] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6020/stat : 6020 (java) S 6005 6007 5295 0 -1 4202560 2226 0 0 0 0 0 0 0 15 0 22 0 524031402 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6021] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6021/stat : 6021 (java) S 6005 6007 5295 0 -1 4202560 1020 0 0 0 0 0 0 0 16 0 22 0 524031402 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6023] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6023/stat : 6023 (java) S 6005 6007 5295 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 22 0 524031403 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485784064 0 0 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6028] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6028/stat : 6028 (java) S 6005 6007 5295 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524031403 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6029] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6029/stat : 6029 (java) S 6005 6007 5295 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 524031403 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6041] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6041/stat : 6041 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524031406 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485791153 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6042] ppid=6005 vsize=15698576 CPUtime=0.81 cores=0,2,4,6
/proc/6007/task/6042/stat : 6042 (java) S 6005 6007 5295 0 -1 4202560 4637 0 0 0 81 0 0 0 15 0 22 0 524031406 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6044] ppid=6005 vsize=15698576 CPUtime=1.01 cores=0,2,4,6
/proc/6007/task/6044/stat : 6044 (java) S 6005 6007 5295 0 -1 4202560 9727 0 0 0 100 1 0 0 15 0 22 0 524031406 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6045] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6045/stat : 6045 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524031406 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6047] ppid=6005 vsize=15698576 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6047/stat : 6047 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 524031406 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485784064 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6057] ppid=6005 vsize=15698576 CPUtime=2.13 cores=0,2,4,6
/proc/6007/task/6057/stat : 6057 (java) R 6005 6007 5295 0 -1 4202560 12469 0 0 0 212 1 0 0 25 0 22 0 524031433 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505802563 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6007/tid=6058] ppid=6005 vsize=15698576 CPUtime=2.27 cores=0,2,4,6
/proc/6007/task/6058/stat : 6058 (java) R 6005 6007 5295 0 -1 4202560 12689 0 0 0 226 1 0 0 25 0 22 0 524031433 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912506014437 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6007/tid=6059] ppid=6005 vsize=15698576 CPUtime=2.01 cores=0,2,4,6
/proc/6007/task/6059/stat : 6059 (java) R 6005 6007 5295 0 -1 4202560 11031 0 0 0 200 1 0 0 25 0 22 0 524031433 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505802401 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6007/tid=6060] ppid=6005 vsize=15698576 CPUtime=2.36 cores=0,2,4,6
/proc/6007/task/6060/stat : 6060 (java) R 6005 6007 5295 0 -1 4202560 15553 0 0 0 235 1 0 0 25 0 22 0 524031433 16075341824 84663 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 18446744073699065949 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 11.2
Current children cumulated vsize (KiB) 15698576

[startup+6.30099 s]
/proc/loadavg: 7.41 7.90 7.87 9/220 6061
/proc/meminfo: memFree=21429060/32950928 swapFree=67111524/67111528
[pid=6007] ppid=6005 vsize=15693932 CPUtime=23.96 cores=0,2,4,6
/proc/6007/stat : 6007 (java) S 6005 6007 5295 0 -1 4202496 93963 0 1 0 2385 11 0 0 25 0 22 0 524031401 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6007/statm: 3923483 83894 2288 9 0 3914202 0
[pid=6007/tid=6010] ppid=6005 vsize=15693932 CPUtime=0.49 cores=0,2,4,6
/proc/6007/task/6010/stat : 6010 (java) S 6005 6007 5295 0 -1 4202560 12405 0 1 0 48 1 0 0 25 0 22 0 524031401 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6014] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6014/stat : 6014 (java) S 6005 6007 5295 0 -1 4202560 1530 0 0 0 0 0 0 0 15 0 22 0 524031402 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6015] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6015/stat : 6015 (java) S 6005 6007 5295 0 -1 4202560 2378 0 0 0 0 0 0 0 15 0 22 0 524031402 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6016] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6016/stat : 6016 (java) S 6005 6007 5295 0 -1 4202560 1793 0 0 0 0 0 0 0 15 0 22 0 524031402 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6017] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6017/stat : 6017 (java) S 6005 6007 5295 0 -1 4202560 1479 0 0 0 0 0 0 0 15 0 22 0 524031402 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6018] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6018/stat : 6018 (java) S 6005 6007 5295 0 -1 4202560 1549 0 0 0 0 0 0 0 15 0 22 0 524031402 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6019] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6019/stat : 6019 (java) S 6005 6007 5295 0 -1 4202560 1360 0 0 0 0 0 0 0 15 0 22 0 524031402 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6020] ppid=6005 vsize=15693932 CPUtime=0.01 cores=0,2,4,6
/proc/6007/task/6020/stat : 6020 (java) S 6005 6007 5295 0 -1 4202560 2492 0 0 0 1 0 0 0 15 0 22 0 524031402 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6021] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6021/stat : 6021 (java) S 6005 6007 5295 0 -1 4202560 1265 0 0 0 0 0 0 0 16 0 22 0 524031402 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6023] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6023/stat : 6023 (java) S 6005 6007 5295 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 22 0 524031403 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485784064 0 0 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6028] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6028/stat : 6028 (java) S 6005 6007 5295 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524031403 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6029] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6029/stat : 6029 (java) S 6005 6007 5295 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 524031403 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6041] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6041/stat : 6041 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524031406 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485791153 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6042] ppid=6005 vsize=15693932 CPUtime=0.91 cores=0,2,4,6
/proc/6007/task/6042/stat : 6042 (java) S 6005 6007 5295 0 -1 4202560 4650 0 0 0 91 0 0 0 16 0 22 0 524031406 16070586368 83894 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0

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

/proc/6007/task/6041/stat : 6041 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524031406 16070586368 115831 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485791153 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6042] ppid=6005 vsize=15693932 CPUtime=0.92 cores=0,2,4,6
/proc/6007/task/6042/stat : 6042 (java) S 6005 6007 5295 0 -1 4202560 4650 0 0 0 92 0 0 0 16 0 22 0 524031406 16070586368 115831 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6044] ppid=6005 vsize=15693932 CPUtime=1.06 cores=0,2,4,6
/proc/6007/task/6044/stat : 6044 (java) S 6005 6007 5295 0 -1 4202560 9740 0 0 0 105 1 0 0 15 0 22 0 524031406 16070586368 115831 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6045] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6045/stat : 6045 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524031406 16070586368 115831 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6047] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6047/stat : 6047 (java) S 6005 6007 5295 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 524031406 16070586368 115831 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485784064 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6057] ppid=6005 vsize=15693932 CPUtime=179.1 cores=0,2,4,6
/proc/6007/task/6057/stat : 6057 (java) R 6005 6007 5295 0 -1 4202560 30500 0 0 0 17906 4 0 0 25 0 22 0 524031433 16070586368 115831 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505802084 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6007/tid=6058] ppid=6005 vsize=15693932 CPUtime=179.5 cores=0,2,4,6
/proc/6007/task/6058/stat : 6058 (java) R 6005 6007 5295 0 -1 4202560 30551 0 0 0 17946 4 0 0 25 0 22 0 524031433 16070586368 115831 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505810302 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=6007/tid=6059] ppid=6005 vsize=15693932 CPUtime=178.84 cores=0,2,4,6
/proc/6007/task/6059/stat : 6059 (java) R 6005 6007 5295 0 -1 4202560 28831 0 0 0 17879 5 0 0 25 0 22 0 524031433 16070586368 115831 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912506010149 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6007/tid=6060] ppid=6005 vsize=15693932 CPUtime=179.53 cores=0,2,4,6
/proc/6007/task/6060/stat : 6060 (java) R 6005 6007 5295 0 -1 4202560 34107 0 0 0 17947 6 0 0 18 0 22 0 524031433 16070586368 115831 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505601501 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 724.04
Current children cumulated vsize (KiB) 15693932

[startup+183.901 s]
/proc/loadavg: 7.89 7.93 7.89 9/220 6065
/proc/meminfo: memFree=21866592/32950928 swapFree=67111524/67111528
[pid=6007] ppid=6005 vsize=15693932 CPUtime=730.4 cores=0,2,4,6
/proc/6007/stat : 6007 (java) S 6005 6007 5295 0 -1 4202496 279960 0 1 0 72979 61 0 0 25 0 22 0 524031401 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6007/statm: 3923483 114958 2290 9 0 3914202 0
[pid=6007/tid=6010] ppid=6005 vsize=15693932 CPUtime=0.49 cores=0,2,4,6
/proc/6007/task/6010/stat : 6010 (java) S 6005 6007 5295 0 -1 4202560 12405 0 1 0 48 1 0 0 25 0 22 0 524031401 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6014] ppid=6005 vsize=15693932 CPUtime=0.52 cores=0,2,4,6
/proc/6007/task/6014/stat : 6014 (java) S 6005 6007 5295 0 -1 4202560 15159 0 0 0 49 3 0 0 15 0 22 0 524031402 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6015] ppid=6005 vsize=15693932 CPUtime=0.5 cores=0,2,4,6
/proc/6007/task/6015/stat : 6015 (java) S 6005 6007 5295 0 -1 4202560 16994 0 0 0 47 3 0 0 16 0 22 0 524031402 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6016] ppid=6005 vsize=15693932 CPUtime=0.52 cores=0,2,4,6
/proc/6007/task/6016/stat : 6016 (java) S 6005 6007 5295 0 -1 4202560 15266 0 0 0 49 3 0 0 16 0 22 0 524031402 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6017] ppid=6005 vsize=15693932 CPUtime=0.52 cores=0,2,4,6
/proc/6007/task/6017/stat : 6017 (java) S 6005 6007 5295 0 -1 4202560 16388 0 0 0 49 3 0 0 15 0 22 0 524031402 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6018] ppid=6005 vsize=15693932 CPUtime=0.53 cores=0,2,4,6
/proc/6007/task/6018/stat : 6018 (java) S 6005 6007 5295 0 -1 4202560 14812 0 0 0 51 2 0 0 15 0 22 0 524031402 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6019] ppid=6005 vsize=15693932 CPUtime=0.52 cores=0,2,4,6
/proc/6007/task/6019/stat : 6019 (java) S 6005 6007 5295 0 -1 4202560 16778 0 0 0 49 3 0 0 15 0 22 0 524031402 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6020] ppid=6005 vsize=15693932 CPUtime=0.56 cores=0,2,4,6
/proc/6007/task/6020/stat : 6020 (java) S 6005 6007 5295 0 -1 4202560 17192 0 0 0 54 2 0 0 15 0 22 0 524031402 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6021] ppid=6005 vsize=15693932 CPUtime=0.49 cores=0,2,4,6
/proc/6007/task/6021/stat : 6021 (java) S 6005 6007 5295 0 -1 4202560 14727 0 0 0 46 3 0 0 15 0 22 0 524031402 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6023] ppid=6005 vsize=15693932 CPUtime=0.3 cores=0,2,4,6
/proc/6007/task/6023/stat : 6023 (java) S 6005 6007 5295 0 -1 4202560 454 0 0 0 22 8 0 0 15 0 22 0 524031403 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485784064 0 0 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6028] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6028/stat : 6028 (java) S 6005 6007 5295 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524031403 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6029] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6029/stat : 6029 (java) S 6005 6007 5295 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 524031403 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6041] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6041/stat : 6041 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524031406 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485791153 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6042] ppid=6005 vsize=15693932 CPUtime=0.92 cores=0,2,4,6
/proc/6007/task/6042/stat : 6042 (java) S 6005 6007 5295 0 -1 4202560 4650 0 0 0 92 0 0 0 16 0 22 0 524031406 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6044] ppid=6005 vsize=15693932 CPUtime=1.06 cores=0,2,4,6
/proc/6007/task/6044/stat : 6044 (java) S 6005 6007 5295 0 -1 4202560 9740 0 0 0 105 1 0 0 15 0 22 0 524031406 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6045] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6045/stat : 6045 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524031406 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6047] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6047/stat : 6047 (java) S 6005 6007 5295 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 524031406 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485784064 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6057] ppid=6005 vsize=15693932 CPUtime=180.68 cores=0,2,4,6
/proc/6007/task/6057/stat : 6057 (java) R 6005 6007 5295 0 -1 4202560 30501 0 0 0 18064 4 0 0 25 0 22 0 524031433 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505810397 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6007/tid=6058] ppid=6005 vsize=15693932 CPUtime=181.08 cores=0,2,4,6
/proc/6007/task/6058/stat : 6058 (java) R 6005 6007 5295 0 -1 4202560 30554 0 0 0 18104 4 0 0 25 0 22 0 524031433 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912506013742 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=6007/tid=6059] ppid=6005 vsize=15693932 CPUtime=180.43 cores=0,2,4,6
/proc/6007/task/6059/stat : 6059 (java) R 6005 6007 5295 0 -1 4202560 28831 0 0 0 18038 5 0 0 25 0 22 0 524031433 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 47241236817659 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6007/tid=6060] ppid=6005 vsize=15693932 CPUtime=181.12 cores=0,2,4,6
/proc/6007/task/6060/stat : 6060 (java) R 6005 6007 5295 0 -1 4202560 34111 0 0 0 18106 6 0 0 20 0 22 0 524031433 16070586368 114958 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505798827 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 730.4
Current children cumulated vsize (KiB) 15693932

[startup+184.702 s]
/proc/loadavg: 7.89 7.93 7.89 12/220 6065
/proc/meminfo: memFree=21883576/32950928 swapFree=67111524/67111528
[pid=6007] ppid=6005 vsize=15693932 CPUtime=733.6 cores=0,2,4,6
/proc/6007/stat : 6007 (java) S 6005 6007 5295 0 -1 4202496 280110 0 1 0 73299 61 0 0 25 0 22 0 524031401 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6007/statm: 3923483 114556 2290 9 0 3914202 0
[pid=6007/tid=6010] ppid=6005 vsize=15693932 CPUtime=0.49 cores=0,2,4,6
/proc/6007/task/6010/stat : 6010 (java) S 6005 6007 5295 0 -1 4202560 12405 0 1 0 48 1 0 0 25 0 22 0 524031401 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6014] ppid=6005 vsize=15693932 CPUtime=0.52 cores=0,2,4,6
/proc/6007/task/6014/stat : 6014 (java) S 6005 6007 5295 0 -1 4202560 15164 0 0 0 49 3 0 0 15 0 22 0 524031402 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6015] ppid=6005 vsize=15693932 CPUtime=0.5 cores=0,2,4,6
/proc/6007/task/6015/stat : 6015 (java) S 6005 6007 5295 0 -1 4202560 17064 0 0 0 47 3 0 0 16 0 22 0 524031402 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6016] ppid=6005 vsize=15693932 CPUtime=0.52 cores=0,2,4,6
/proc/6007/task/6016/stat : 6016 (java) S 6005 6007 5295 0 -1 4202560 15267 0 0 0 49 3 0 0 15 0 22 0 524031402 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6017] ppid=6005 vsize=15693932 CPUtime=0.52 cores=0,2,4,6
/proc/6007/task/6017/stat : 6017 (java) S 6005 6007 5295 0 -1 4202560 16424 0 0 0 49 3 0 0 15 0 22 0 524031402 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6018] ppid=6005 vsize=15693932 CPUtime=0.53 cores=0,2,4,6
/proc/6007/task/6018/stat : 6018 (java) S 6005 6007 5295 0 -1 4202560 14814 0 0 0 51 2 0 0 16 0 22 0 524031402 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6019] ppid=6005 vsize=15693932 CPUtime=0.52 cores=0,2,4,6
/proc/6007/task/6019/stat : 6019 (java) S 6005 6007 5295 0 -1 4202560 16779 0 0 0 49 3 0 0 15 0 22 0 524031402 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6020] ppid=6005 vsize=15693932 CPUtime=0.56 cores=0,2,4,6
/proc/6007/task/6020/stat : 6020 (java) S 6005 6007 5295 0 -1 4202560 17207 0 0 0 54 2 0 0 15 0 22 0 524031402 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6021] ppid=6005 vsize=15693932 CPUtime=0.49 cores=0,2,4,6
/proc/6007/task/6021/stat : 6021 (java) S 6005 6007 5295 0 -1 4202560 14729 0 0 0 46 3 0 0 16 0 22 0 524031402 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6023] ppid=6005 vsize=15693932 CPUtime=0.3 cores=0,2,4,6
/proc/6007/task/6023/stat : 6023 (java) S 6005 6007 5295 0 -1 4202560 454 0 0 0 22 8 0 0 16 0 22 0 524031403 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485784064 0 0 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6028] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6028/stat : 6028 (java) S 6005 6007 5295 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 524031403 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6029] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6029/stat : 6029 (java) S 6005 6007 5295 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 524031403 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6041] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6041/stat : 6041 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524031406 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485791153 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6042] ppid=6005 vsize=15693932 CPUtime=0.99 cores=0,2,4,6
/proc/6007/task/6042/stat : 6042 (java) R 6005 6007 5295 0 -1 4202560 4659 0 0 0 99 0 0 0 15 0 22 0 524031406 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 47241233824512 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6007/tid=6044] ppid=6005 vsize=15693932 CPUtime=1.13 cores=0,2,4,6
/proc/6007/task/6044/stat : 6044 (java) R 6005 6007 5295 0 -1 4202560 9743 0 0 0 112 1 0 0 16 0 22 0 524031406 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 47241236705124 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=6007/tid=6045] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6045/stat : 6045 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 524031406 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6047] ppid=6005 vsize=15693932 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6047/stat : 6047 (java) R 6005 6007 5295 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 524031406 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485784064 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6007/tid=6057] ppid=6005 vsize=15693932 CPUtime=181.48 cores=0,2,4,6
/proc/6007/task/6057/stat : 6057 (java) R 6005 6007 5295 0 -1 4202560 30505 0 0 0 18144 4 0 0 25 0 22 0 524031433 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505810257 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=6007/tid=6058] ppid=6005 vsize=15693932 CPUtime=181.87 cores=0,2,4,6
/proc/6007/task/6058/stat : 6058 (java) R 6005 6007 5295 0 -1 4202560 30555 0 0 0 18183 4 0 0 25 0 22 0 524031433 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 47241236817752 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=6007/tid=6059] ppid=6005 vsize=15693932 CPUtime=181.16 cores=0,2,4,6
/proc/6007/task/6059/stat : 6059 (java) R 6005 6007 5295 0 -1 4202560 28832 0 0 0 18111 5 0 0 25 0 22 0 524031433 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505975759 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=6007/tid=6060] ppid=6005 vsize=15693932 CPUtime=181.85 cores=0,2,4,6
/proc/6007/task/6060/stat : 6060 (java) R 6005 6007 5295 0 -1 4202560 34111 0 0 0 18179 6 0 0 22 0 22 0 524031433 16070586368 114556 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 46912505976306 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 733.6
Current children cumulated vsize (KiB) 15693932

[startup+184.902 s]
/proc/loadavg: 7.89 7.93 7.89 12/220 6065
/proc/meminfo: memFree=21883576/32950928 swapFree=67111524/67111528
[pid=6007] ppid=6005 vsize=15694960 CPUtime=734.35 cores=0,2,4,6
/proc/6007/stat : 6007 (java) S 6005 6007 5295 0 -1 4202496 280238 0 1 0 73374 61 0 0 25 0 21 0 524031401 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485770213 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/6007/statm: 3923740 114650 2291 9 0 3914459 0
[pid=6007/tid=6010] ppid=6005 vsize=15694960 CPUtime=0.5 cores=0,2,4,6
/proc/6007/task/6010/stat : 6010 (java) S 6005 6007 5295 0 -1 4202560 12419 0 1 0 49 1 0 0 18 0 21 0 524031401 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6014] ppid=6005 vsize=15694960 CPUtime=0.52 cores=0,2,4,6
/proc/6007/task/6014/stat : 6014 (java) S 6005 6007 5295 0 -1 4202560 15164 0 0 0 49 3 0 0 15 0 21 0 524031402 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6015] ppid=6005 vsize=15694960 CPUtime=0.5 cores=0,2,4,6
/proc/6007/task/6015/stat : 6015 (java) S 6005 6007 5295 0 -1 4202560 17064 0 0 0 47 3 0 0 15 0 21 0 524031402 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6016] ppid=6005 vsize=15694960 CPUtime=0.52 cores=0,2,4,6
/proc/6007/task/6016/stat : 6016 (java) S 6005 6007 5295 0 -1 4202560 15284 0 0 0 49 3 0 0 15 0 21 0 524031402 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6017] ppid=6005 vsize=15694960 CPUtime=0.53 cores=0,2,4,6
/proc/6007/task/6017/stat : 6017 (java) S 6005 6007 5295 0 -1 4202560 16424 0 0 0 50 3 0 0 15 0 21 0 524031402 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6018] ppid=6005 vsize=15694960 CPUtime=0.53 cores=0,2,4,6
/proc/6007/task/6018/stat : 6018 (java) S 6005 6007 5295 0 -1 4202560 14814 0 0 0 51 2 0 0 15 0 21 0 524031402 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6019] ppid=6005 vsize=15694960 CPUtime=0.52 cores=0,2,4,6
/proc/6007/task/6019/stat : 6019 (java) S 6005 6007 5295 0 -1 4202560 16825 0 0 0 49 3 0 0 15 0 21 0 524031402 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6020] ppid=6005 vsize=15694960 CPUtime=0.56 cores=0,2,4,6
/proc/6007/task/6020/stat : 6020 (java) S 6005 6007 5295 0 -1 4202560 17207 0 0 0 54 2 0 0 15 0 21 0 524031402 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6021] ppid=6005 vsize=15694960 CPUtime=0.49 cores=0,2,4,6
/proc/6007/task/6021/stat : 6021 (java) S 6005 6007 5295 0 -1 4202560 14744 0 0 0 46 3 0 0 15 0 21 0 524031402 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6023] ppid=6005 vsize=15694960 CPUtime=0.3 cores=0,2,4,6
/proc/6007/task/6023/stat : 6023 (java) S 6005 6007 5295 0 -1 4202560 454 0 0 0 22 8 0 0 16 0 21 0 524031403 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485784064 0 0 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6028] ppid=6005 vsize=15694960 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6028/stat : 6028 (java) S 6005 6007 5295 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 21 0 524031403 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6029] ppid=6005 vsize=15694960 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6029/stat : 6029 (java) S 6005 6007 5295 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 21 0 524031403 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6041] ppid=6005 vsize=15694960 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6041/stat : 6041 (java) S 6005 6007 5295 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 21 0 524031406 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6042] ppid=6005 vsize=15694960 CPUtime=1.02 cores=0,2,4,6
/proc/6007/task/6042/stat : 6042 (java) S 6005 6007 5295 0 -1 4202560 4664 0 0 0 102 0 0 0 15 0 21 0 524031406 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6044] ppid=6005 vsize=15694960 CPUtime=1.32 cores=0,2,4,6
/proc/6007/task/6044/stat : 6044 (java) S 6005 6007 5295 0 -1 4202560 9758 0 0 0 131 1 0 0 16 0 21 0 524031406 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6045] ppid=6005 vsize=15694960 CPUtime=0 cores=0,2,4,6
/proc/6007/task/6045/stat : 6045 (java) S 6005 6007 5295 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 21 0 524031406 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 0 0 0 0
[pid=6007/tid=6057] ppid=6005 vsize=15694960 CPUtime=181.66 cores=0,2,4,6
/proc/6007/task/6057/stat : 6057 (java) S 6005 6007 5295 0 -1 4202560 30505 0 0 0 18162 4 0 0 25 0 21 0 524031433 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 2 0 0 0
[pid=6007/tid=6058] ppid=6005 vsize=15694960 CPUtime=182.03 cores=0,2,4,6
/proc/6007/task/6058/stat : 6058 (java) S 6005 6007 5295 0 -1 4202560 30555 0 0 0 18199 4 0 0 25 0 21 0 524031433 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
[pid=6007/tid=6059] ppid=6005 vsize=15694960 CPUtime=181.3 cores=0,2,4,6
/proc/6007/task/6059/stat : 6059 (java) S 6005 6007 5295 0 -1 4202560 28832 0 0 0 18125 5 0 0 25 0 21 0 524031433 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 4 0 0 0
[pid=6007/tid=6060] ppid=6005 vsize=15694960 CPUtime=181.87 cores=0,2,4,6
/proc/6007/task/6060/stat : 6060 (java) S 6005 6007 5295 0 -1 4202560 34112 0 0 0 18181 6 0 0 22 0 21 0 524031433 16071639040 114650 33554432000 1073741824 1073778376 140734254136480 18446744073709551615 274485783449 0 4 0 16800975 18446604453892855872 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 734.35
Current children cumulated vsize (KiB) 15694960

Child status: 10
Real time (s): 184.928
CPU time (s): 734.382
CPU user time (s): 733.74
CPU system time (s): 0.641902
CPU usage (%): 397.118
Max. virtual memory (cumulated for all children) (KiB): 15698576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 733.74
system time used= 0.641902
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280238
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= 42000
involuntary context switches= 22214

runsolver used 0.300954 second user time and 0.72189 second system time

The end

Launcher Data 

Begin job on node125 at 2011-04-30 02:45:17
IDJOB=3311379
IDBENCH=82764
IDSOLVER=1698
FILE ID=node125/3311379-1304124317
RUNJOBID= node125-1304124317-5997
PBS_JOBID= 13170720
Free space on /tmp= 72764 MiB

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

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

MD5SUM BENCH= 3d0491523e951b9423a05375c0461833
RANDOM SEED=1180588980

node125.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.828
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.65
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.82
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.828
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.74
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.828
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.75
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.828
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:     32950928 kB
MemFree:      22837292 kB
Buffers:       2125308 kB
Cached:        7400860 kB
SwapCached:          4 kB
Active:        2131348 kB
Inactive:      7458096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22837292 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            2048 kB
Writeback:           0 kB
AnonPages:       62844 kB
Mapped:          14516 kB
Slab:           460420 kB
PageTables:       4628 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   186996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72760 MiB
End job on node125 at 2011-04-30 02:48:22