Trace number 3311591

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)? (TO) 4800.53 1207.28

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf
MD5SUM7954e0b477e9d5cbd0a1f159f4b0eef6
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.09/0.12	13:32 INFO : Reading from input HOME/instance-3311591-1304176412.cnf
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Executor set job limit to 1000000
0.26/0.25	Starting Executor!
0.26/0.25	Starting Executor!
0.26/0.25	Starting Executor!
0.26/0.25	Starting Executor!
0.45/0.36	13:32 INFO : 548 variables remaining out of 550
0.45/0.36	13:32 INFO : 9328 literals remaining out of 9372

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3311591-1304176412/watcher-3311591-1304176412 -o /tmp/evaluation-result-3311591-1304176412/solver-3311591-1304176412 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311591-1304176412.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: 2.70 6.45 7.46 1/172 27380
/proc/meminfo: memFree=30503624/32951124 swapFree=67111416/67111528
[pid=27380] ppid=27378 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/27380/stat : 27380 (java) R 27378 27380 27352 0 -1 4202496 1042 0 0 0 0 0 0 0 25 0 1 0 529243537 23580672 529 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212431054613 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/27380/statm: 5757 543 411 9 0 124 0

[startup+0.075258 s]
/proc/loadavg: 2.70 6.45 7.46 1/172 27380
/proc/meminfo: memFree=30503624/32951124 swapFree=67111416/67111528
[pid=27380] ppid=27378 vsize=15609780 CPUtime=0.06 cores=0,2,4,6
/proc/27380/stat : 27380 (java) S 27378 27380 27352 0 -1 4202496 4432 0 1 0 5 1 0 0 25 0 18 0 529243537 15984414720 3872 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27380/statm: 3902445 3872 1779 9 0 3893164 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15609780

[startup+0.100244 s]
/proc/loadavg: 2.70 6.45 7.46 1/172 27380
/proc/meminfo: memFree=30503624/32951124 swapFree=67111416/67111528
[pid=27380] ppid=27378 vsize=15676608 CPUtime=0.09 cores=0,2,4,6
/proc/27380/stat : 27380 (java) S 27378 27380 27352 0 -1 4202496 5516 0 1 0 8 1 0 0 25 0 18 0 529243537 16052846592 4956 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27380/statm: 3919152 4956 2116 9 0 3909871 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676608

[startup+0.300182 s]
/proc/loadavg: 2.70 6.45 7.46 1/172 27380
/proc/meminfo: memFree=30503624/32951124 swapFree=67111416/67111528
[pid=27380] ppid=27378 vsize=15681252 CPUtime=0.45 cores=0,2,4,6
/proc/27380/stat : 27380 (java) S 27378 27380 27352 0 -1 4202496 8760 0 1 0 43 2 0 0 25 0 22 0 529243537 16057602048 8107 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27380/statm: 3920313 8107 2209 9 0 3911032 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 15681252

[startup+0.751035 s]
/proc/loadavg: 2.70 6.45 7.46 1/172 27380
/proc/meminfo: memFree=30503624/32951124 swapFree=67111416/67111528
[pid=27380] ppid=27378 vsize=15689364 CPUtime=2.01 cores=0,2,4,6
/proc/27380/stat : 27380 (java) S 27378 27380 27352 0 -1 4202496 31976 0 1 0 196 5 0 0 25 0 22 0 529243537 16065908736 28718 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27380/statm: 3922341 28718 2260 9 0 3913060 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 15689364

[startup+1.50089 s]
/proc/loadavg: 2.56 6.36 7.42 13/220 27433
/proc/meminfo: memFree=30204396/32951124 swapFree=67111416/67111528
[pid=27380] ppid=27378 vsize=15689364 CPUtime=4.99 cores=0,2,4,6
/proc/27380/stat : 27380 (java) S 27378 27380 27352 0 -1 4202496 55984 0 1 0 491 8 0 0 25 0 22 0 529243537 16065908736 52056 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27380/statm: 3922341 52059 2275 9 0 3913060 0
[pid=27380/tid=27382] ppid=27378 vsize=15689364 CPUtime=0.34 cores=0,2,4,6
/proc/27380/task/27382/stat : 27382 (java) S 27378 27380 27352 0 -1 4202560 6342 0 1 0 33 1 0 0 21 0 22 0 529243537 16065908736 52061 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27383] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27383/stat : 27383 (java) S 27378 27380 27352 0 -1 4202560 2321 0 0 0 0 0 0 0 16 0 22 0 529243538 16065908736 52061 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27384] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27384/stat : 27384 (java) S 27378 27380 27352 0 -1 4202560 1665 0 0 0 0 0 0 0 15 0 22 0 529243538 16065908736 52063 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27385] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27385/stat : 27385 (java) S 27378 27380 27352 0 -1 4202560 1053 0 0 0 0 0 0 0 15 0 22 0 529243538 16065908736 52063 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27386] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27386/stat : 27386 (java) S 27378 27380 27352 0 -1 4202560 619 0 0 0 0 0 0 0 16 0 22 0 529243538 16065908736 52064 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27387] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27387/stat : 27387 (java) S 27378 27380 27352 0 -1 4202560 1212 0 0 0 0 0 0 0 16 0 22 0 529243538 16065908736 52071 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27388] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27388/stat : 27388 (java) S 27378 27380 27352 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 529243538 16065908736 52071 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27389] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27389/stat : 27389 (java) S 27378 27380 27352 0 -1 4202560 516 0 0 0 0 0 0 0 15 0 22 0 529243538 16065908736 52072 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27390] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27390/stat : 27390 (java) S 27378 27380 27352 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 22 0 529243538 16065908736 52074 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27391] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27391/stat : 27391 (java) S 27378 27380 27352 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 529243539 16065908736 52078 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447833600 0 0 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27392] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27392/stat : 27392 (java) S 27378 27380 27352 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529243539 16065908736 52082 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27393] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27393/stat : 27393 (java) S 27378 27380 27352 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529243539 16065908736 52091 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27394] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27394/stat : 27394 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529243542 16065908736 52092 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447840689 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27395] ppid=27378 vsize=15689364 CPUtime=0.68 cores=0,2,4,6
/proc/27380/task/27395/stat : 27395 (java) S 27378 27380 27352 0 -1 4202560 4244 0 0 0 68 0 0 0 15 0 22 0 529243542 16065908736 52098 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27396] ppid=27378 vsize=15689364 CPUtime=0.38 cores=0,2,4,6
/proc/27380/task/27396/stat : 27396 (java) R 27378 27380 27352 0 -1 4202560 3826 0 0 0 38 0 0 0 24 0 22 0 529243542 16065908736 52105 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447842997 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27380/tid=27397] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27397/stat : 27397 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529243542 16065908736 52106 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27398] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27398/stat : 27398 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529243542 16065908736 52107 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447833600 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27426] ppid=27378 vsize=15689364 CPUtime=1.02 cores=0,2,4,6
/proc/27380/task/27426/stat : 27426 (java) R 27378 27380 27352 0 -1 4202560 10090 0 0 0 102 0 0 0 19 0 22 0 529243562 16065908736 52113 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505799701 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27380/tid=27427] ppid=27378 vsize=15689364 CPUtime=0.81 cores=0,2,4,6
/proc/27380/task/27427/stat : 27427 (java) R 27378 27380 27352 0 -1 4202560 4797 0 0 0 81 0 0 0 16 0 22 0 529243562 16065908736 52114 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505856515 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27380/tid=27428] ppid=27378 vsize=15689364 CPUtime=0.82 cores=0,2,4,6
/proc/27380/task/27428/stat : 27428 (java) R 27378 27380 27352 0 -1 4202560 8608 0 0 0 81 1 0 0 16 0 22 0 529243563 16065908736 52114 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505783400 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27380/tid=27429] ppid=27378 vsize=15689364 CPUtime=0.82 cores=0,2,4,6
/proc/27380/task/27429/stat : 27429 (java) R 27378 27380 27352 0 -1 4202560 9270 0 0 0 82 0 0 0 20 0 22 0 529243563 16065908736 52116 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505871547 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 15689364

[startup+3.10158 s]
/proc/loadavg: 2.56 6.36 7.42 10/220 27433
/proc/meminfo: memFree=29963228/32951124 swapFree=67111416/67111528
[pid=27380] ppid=27378 vsize=15689364 CPUtime=11.36 cores=0,2,4,6
/proc/27380/stat : 27380 (java) S 27378 27380 27352 0 -1 4202496 148485 0 1 0 1118 18 0 0 25 0 22 0 529243537 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27380/statm: 3922341 143643 2277 9 0 3913060 0
[pid=27380/tid=27382] ppid=27378 vsize=15689364 CPUtime=0.34 cores=0,2,4,6
/proc/27380/task/27382/stat : 27382 (java) S 27378 27380 27352 0 -1 4202560 6342 0 1 0 33 1 0 0 21 0 22 0 529243537 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27383] ppid=27378 vsize=15689364 CPUtime=0.01 cores=0,2,4,6
/proc/27380/task/27383/stat : 27383 (java) S 27378 27380 27352 0 -1 4202560 3992 0 0 0 1 0 0 0 15 0 22 0 529243538 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27384] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27384/stat : 27384 (java) S 27378 27380 27352 0 -1 4202560 2272 0 0 0 0 0 0 0 15 0 22 0 529243538 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27385] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27385/stat : 27385 (java) S 27378 27380 27352 0 -1 4202560 2211 0 0 0 0 0 0 0 15 0 22 0 529243538 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27386] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27386/stat : 27386 (java) S 27378 27380 27352 0 -1 4202560 1939 0 0 0 0 0 0 0 16 0 22 0 529243538 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27387] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27387/stat : 27387 (java) S 27378 27380 27352 0 -1 4202560 2168 0 0 0 0 0 0 0 16 0 22 0 529243538 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27388] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27388/stat : 27388 (java) S 27378 27380 27352 0 -1 4202560 671 0 0 0 0 0 0 0 15 0 22 0 529243538 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27389] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27389/stat : 27389 (java) S 27378 27380 27352 0 -1 4202560 1078 0 0 0 0 0 0 0 15 0 22 0 529243538 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27390] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27390/stat : 27390 (java) S 27378 27380 27352 0 -1 4202560 1186 0 0 0 0 0 0 0 15 0 22 0 529243538 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27391] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27391/stat : 27391 (java) S 27378 27380 27352 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 22 0 529243539 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447833600 0 0 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27392] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27392/stat : 27392 (java) S 27378 27380 27352 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529243539 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27393] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27393/stat : 27393 (java) S 27378 27380 27352 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529243539 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27394] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27394/stat : 27394 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529243542 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447840689 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27395] ppid=27378 vsize=15689364 CPUtime=0.73 cores=0,2,4,6
/proc/27380/task/27395/stat : 27395 (java) S 27378 27380 27352 0 -1 4202560 4252 0 0 0 73 0 0 0 15 0 22 0 529243542 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27396] ppid=27378 vsize=15689364 CPUtime=0.54 cores=0,2,4,6
/proc/27380/task/27396/stat : 27396 (java) S 27378 27380 27352 0 -1 4202560 4722 0 0 0 53 1 0 0 16 0 22 0 529243542 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27397] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27397/stat : 27397 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529243542 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27398] ppid=27378 vsize=15689364 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27398/stat : 27398 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529243542 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447833600 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27426] ppid=27378 vsize=15689364 CPUtime=2.6 cores=0,2,4,6
/proc/27380/task/27426/stat : 27426 (java) R 27378 27380 27352 0 -1 4202560 30582 0 0 0 259 1 0 0 23 0 22 0 529243562 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 47227591470097 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27380/tid=27427] ppid=27378 vsize=15689364 CPUtime=2.37 cores=0,2,4,6
/proc/27380/task/27427/stat : 27427 (java) R 27378 27380 27352 0 -1 4202560 26569 0 0 0 235 2 0 0 18 0 22 0 529243562 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505707652 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27380/tid=27428] ppid=27378 vsize=15689364 CPUtime=2.39 cores=0,2,4,6
/proc/27380/task/27428/stat : 27428 (java) R 27378 27380 27352 0 -1 4202560 29008 0 0 0 236 3 0 0 18 0 22 0 529243563 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505855083 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27380/tid=27429] ppid=27378 vsize=15689364 CPUtime=2.23 cores=0,2,4,6
/proc/27380/task/27429/stat : 27429 (java) R 27378 27380 27352 0 -1 4202560 29665 0 0 0 221 2 0 0 24 0 22 0 529243563 16065908736 143643 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505855108 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.36
Current children cumulated vsize (KiB) 15689364

[startup+6.30098 s]
/proc/loadavg: 3.00 6.39 7.42 9/220 27434
/proc/meminfo: memFree=28341432/32951124 swapFree=67111416/67111528
[pid=27380] ppid=27378 vsize=15686624 CPUtime=24.13 cores=0,2,4,6
/proc/27380/stat : 27380 (java) S 27378 27380 27352 0 -1 4202496 274512 0 1 0 2382 31 0 0 25 0 22 0 529243537 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27380/statm: 3921656 267870 2284 9 0 3912375 0
[pid=27380/tid=27382] ppid=27378 vsize=15686624 CPUtime=0.34 cores=0,2,4,6
/proc/27380/task/27382/stat : 27382 (java) S 27378 27380 27352 0 -1 4202560 6342 0 1 0 33 1 0 0 21 0 22 0 529243537 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27383] ppid=27378 vsize=15686624 CPUtime=0.01 cores=0,2,4,6
/proc/27380/task/27383/stat : 27383 (java) S 27378 27380 27352 0 -1 4202560 3992 0 0 0 1 0 0 0 15 0 22 0 529243538 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27384] ppid=27378 vsize=15686624 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27384/stat : 27384 (java) S 27378 27380 27352 0 -1 4202560 2272 0 0 0 0 0 0 0 15 0 22 0 529243538 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27385] ppid=27378 vsize=15686624 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27385/stat : 27385 (java) S 27378 27380 27352 0 -1 4202560 2537 0 0 0 0 0 0 0 15 0 22 0 529243538 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27386] ppid=27378 vsize=15686624 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27386/stat : 27386 (java) S 27378 27380 27352 0 -1 4202560 2172 0 0 0 0 0 0 0 16 0 22 0 529243538 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27387] ppid=27378 vsize=15686624 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27387/stat : 27387 (java) S 27378 27380 27352 0 -1 4202560 2455 0 0 0 0 0 0 0 15 0 22 0 529243538 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27388] ppid=27378 vsize=15686624 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27388/stat : 27388 (java) S 27378 27380 27352 0 -1 4202560 712 0 0 0 0 0 0 0 16 0 22 0 529243538 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27389] ppid=27378 vsize=15686624 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27389/stat : 27389 (java) S 27378 27380 27352 0 -1 4202560 1446 0 0 0 0 0 0 0 16 0 22 0 529243538 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27390] ppid=27378 vsize=15686624 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27390/stat : 27390 (java) S 27378 27380 27352 0 -1 4202560 1797 0 0 0 0 0 0 0 16 0 22 0 529243538 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27391] ppid=27378 vsize=15686624 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27391/stat : 27391 (java) S 27378 27380 27352 0 -1 4202560 443 0 0 0 0 0 0 0 15 0 22 0 529243539 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447833600 0 0 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27392] ppid=27378 vsize=15686624 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27392/stat : 27392 (java) S 27378 27380 27352 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529243539 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27393] ppid=27378 vsize=15686624 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27393/stat : 27393 (java) S 27378 27380 27352 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529243539 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27394] ppid=27378 vsize=15686624 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27394/stat : 27394 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529243542 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447840689 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27395] ppid=27378 vsize=15686624 CPUtime=0.77 cores=0,2,4,6
/proc/27380/task/27395/stat : 27395 (java) S 27378 27380 27352 0 -1 4202560 4253 0 0 0 77 0 0 0 15 0 22 0 529243542 16063102976 267870 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0

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

[pid=27380/tid=27427] ppid=27378 vsize=15752160 CPUtime=1048.83 cores=0,2,4,6
/proc/27380/task/27427/stat : 27427 (java) R 27378 27380 27352 0 -1 4202560 352951 0 0 0 104832 51 0 0 25 0 22 0 529243562 16130211840 85087 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505855266 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27380/tid=27428] ppid=27378 vsize=15752160 CPUtime=1048.64 cores=0,2,4,6
/proc/27380/task/27428/stat : 27428 (java) R 27378 27380 27352 0 -1 4202560 350675 0 0 0 104811 53 0 0 25 0 22 0 529243563 16130211840 85087 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505902790 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27380/tid=27429] ppid=27378 vsize=15752160 CPUtime=1048.81 cores=0,2,4,6
/proc/27380/task/27429/stat : 27429 (java) R 27378 27380 27352 0 -1 4202560 350971 0 0 0 104831 50 0 0 25 0 22 0 529243563 16130211840 85087 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912506259329 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4224.09
Current children cumulated vsize (KiB) 15752160

[startup+1122.3 s]
/proc/loadavg: 8.35 8.15 7.91 9/220 27463
/proc/meminfo: memFree=29684316/32951124 swapFree=67111416/67111528
[pid=27380] ppid=27378 vsize=15752160 CPUtime=4462.67 cores=0,2,4,6
/proc/27380/stat : 27380 (java) S 27378 27380 27352 0 -1 4202496 2509371 0 1 0 445776 491 0 0 25 0 22 0 529243537 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27380/statm: 3938040 96687 2298 9 0 3928759 0
[pid=27380/tid=27382] ppid=27378 vsize=15752160 CPUtime=0.34 cores=0,2,4,6
/proc/27380/task/27382/stat : 27382 (java) S 27378 27380 27352 0 -1 4202560 6342 0 1 0 33 1 0 0 21 0 22 0 529243537 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27383] ppid=27378 vsize=15752160 CPUtime=3.3 cores=0,2,4,6
/proc/27380/task/27383/stat : 27383 (java) S 27378 27380 27352 0 -1 4202560 124619 0 0 0 308 22 0 0 15 0 22 0 529243538 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27384] ppid=27378 vsize=15752160 CPUtime=3.29 cores=0,2,4,6
/proc/27380/task/27384/stat : 27384 (java) S 27378 27380 27352 0 -1 4202560 135282 0 0 0 305 24 0 0 16 0 22 0 529243538 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27385] ppid=27378 vsize=15752160 CPUtime=3.25 cores=0,2,4,6
/proc/27380/task/27385/stat : 27385 (java) S 27378 27380 27352 0 -1 4202560 121892 0 0 0 299 26 0 0 15 0 22 0 529243538 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27386] ppid=27378 vsize=15752160 CPUtime=3.28 cores=0,2,4,6
/proc/27380/task/27386/stat : 27386 (java) S 27378 27380 27352 0 -1 4202560 122588 0 0 0 308 20 0 0 15 0 22 0 529243538 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27387] ppid=27378 vsize=15752160 CPUtime=3.31 cores=0,2,4,6
/proc/27380/task/27387/stat : 27387 (java) S 27378 27380 27352 0 -1 4202560 125256 0 0 0 306 25 0 0 15 0 22 0 529243538 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27388] ppid=27378 vsize=15752160 CPUtime=3.29 cores=0,2,4,6
/proc/27380/task/27388/stat : 27388 (java) S 27378 27380 27352 0 -1 4202560 125370 0 0 0 306 23 0 0 15 0 22 0 529243538 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27389] ppid=27378 vsize=15752160 CPUtime=3.25 cores=0,2,4,6
/proc/27380/task/27389/stat : 27389 (java) S 27378 27380 27352 0 -1 4202560 121268 0 0 0 303 22 0 0 15 0 22 0 529243538 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27390] ppid=27378 vsize=15752160 CPUtime=3.32 cores=0,2,4,6
/proc/27380/task/27390/stat : 27390 (java) S 27378 27380 27352 0 -1 4202560 128321 0 0 0 308 24 0 0 15 0 22 0 529243538 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27391] ppid=27378 vsize=15752160 CPUtime=2.25 cores=0,2,4,6
/proc/27380/task/27391/stat : 27391 (java) S 27378 27380 27352 0 -1 4202560 6226 0 0 0 142 83 0 0 15 0 22 0 529243539 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447833600 0 0 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27392] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27392/stat : 27392 (java) S 27378 27380 27352 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529243539 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27393] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27393/stat : 27393 (java) S 27378 27380 27352 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529243539 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27394] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27394/stat : 27394 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529243542 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447840689 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27395] ppid=27378 vsize=15752160 CPUtime=0.81 cores=0,2,4,6
/proc/27380/task/27395/stat : 27395 (java) S 27378 27380 27352 0 -1 4202560 4259 0 0 0 81 0 0 0 16 0 22 0 529243542 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27396] ppid=27378 vsize=15752160 CPUtime=0.67 cores=0,2,4,6
/proc/27380/task/27396/stat : 27396 (java) S 27378 27380 27352 0 -1 4202560 5388 0 0 0 66 1 0 0 15 0 22 0 529243542 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27397] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27397/stat : 27397 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529243542 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27398] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27398/stat : 27398 (java) S 27378 27380 27352 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 529243542 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447833600 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27426] ppid=27378 vsize=15752160 CPUtime=1108.09 cores=0,2,4,6
/proc/27380/task/27426/stat : 27426 (java) R 27378 27380 27352 0 -1 4202560 371848 0 0 0 110758 51 0 0 25 0 22 0 529243562 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 47227592004226 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27380/tid=27427] ppid=27378 vsize=15752160 CPUtime=1108.08 cores=0,2,4,6
/proc/27380/task/27427/stat : 27427 (java) R 27378 27380 27352 0 -1 4202560 370355 0 0 0 110756 52 0 0 25 0 22 0 529243562 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27380/tid=27428] ppid=27378 vsize=15752160 CPUtime=1107.81 cores=0,2,4,6
/proc/27380/task/27428/stat : 27428 (java) R 27378 27380 27352 0 -1 4202560 369222 0 0 0 110725 56 0 0 25 0 22 0 529243563 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505855038 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27380/tid=27429] ppid=27378 vsize=15752160 CPUtime=1108.16 cores=0,2,4,6
/proc/27380/task/27429/stat : 27429 (java) R 27378 27380 27352 0 -1 4202560 369688 0 0 0 110763 53 0 0 25 0 22 0 529243563 16130211840 96687 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505794758 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4462.67
Current children cumulated vsize (KiB) 15752160

[startup+1182.3 s]
/proc/loadavg: 8.22 8.14 7.92 9/220 27465
/proc/meminfo: memFree=29745772/32951124 swapFree=67111416/67111528
[pid=27380] ppid=27378 vsize=15752160 CPUtime=4701.33 cores=0,2,4,6
/proc/27380/stat : 27380 (java) S 27378 27380 27352 0 -1 4202496 2626033 0 1 0 469616 517 0 0 25 0 22 0 529243537 16130211840 91628 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27380/statm: 3938040 91630 2298 9 0 3928759 0
[pid=27380/tid=27382] ppid=27378 vsize=15752160 CPUtime=0.34 cores=0,2,4,6
/proc/27380/task/27382/stat : 27382 (java) S 27378 27380 27352 0 -1 4202560 6342 0 1 0 33 1 0 0 21 0 22 0 529243537 16130211840 91632 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27383] ppid=27378 vsize=15752160 CPUtime=3.48 cores=0,2,4,6
/proc/27380/task/27383/stat : 27383 (java) S 27378 27380 27352 0 -1 4202560 132144 0 0 0 325 23 0 0 15 0 22 0 529243538 16130211840 91633 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27384] ppid=27378 vsize=15752160 CPUtime=3.46 cores=0,2,4,6
/proc/27380/task/27384/stat : 27384 (java) S 27378 27380 27352 0 -1 4202560 141497 0 0 0 321 25 0 0 16 0 22 0 529243538 16130211840 91633 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27385] ppid=27378 vsize=15752160 CPUtime=3.44 cores=0,2,4,6
/proc/27380/task/27385/stat : 27385 (java) S 27378 27380 27352 0 -1 4202560 129150 0 0 0 317 27 0 0 15 0 22 0 529243538 16130211840 91633 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27386] ppid=27378 vsize=15752160 CPUtime=3.46 cores=0,2,4,6
/proc/27380/task/27386/stat : 27386 (java) S 27378 27380 27352 0 -1 4202560 128140 0 0 0 325 21 0 0 15 0 22 0 529243538 16130211840 91633 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27387] ppid=27378 vsize=15752160 CPUtime=3.5 cores=0,2,4,6
/proc/27380/task/27387/stat : 27387 (java) S 27378 27380 27352 0 -1 4202560 131449 0 0 0 323 27 0 0 16 0 22 0 529243538 16130211840 91633 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27388] ppid=27378 vsize=15752160 CPUtime=3.46 cores=0,2,4,6
/proc/27380/task/27388/stat : 27388 (java) S 27378 27380 27352 0 -1 4202560 133236 0 0 0 322 24 0 0 16 0 22 0 529243538 16130211840 91633 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27389] ppid=27378 vsize=15752160 CPUtime=3.43 cores=0,2,4,6
/proc/27380/task/27389/stat : 27389 (java) S 27378 27380 27352 0 -1 4202560 127747 0 0 0 320 23 0 0 15 0 22 0 529243538 16130211840 91633 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27390] ppid=27378 vsize=15752160 CPUtime=3.51 cores=0,2,4,6
/proc/27380/task/27390/stat : 27390 (java) S 27378 27380 27352 0 -1 4202560 134619 0 0 0 326 25 0 0 16 0 22 0 529243538 16130211840 91633 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27391] ppid=27378 vsize=15752160 CPUtime=2.36 cores=0,2,4,6
/proc/27380/task/27391/stat : 27391 (java) S 27378 27380 27352 0 -1 4202560 6571 0 0 0 148 88 0 0 15 0 22 0 529243539 16130211840 91633 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447833600 0 0 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27392] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27392/stat : 27392 (java) S 27378 27380 27352 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529243539 16130211840 91633 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27393] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27393/stat : 27393 (java) S 27378 27380 27352 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529243539 16130211840 91633 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27394] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27394/stat : 27394 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529243542 16130211840 91634 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447840689 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27395] ppid=27378 vsize=15752160 CPUtime=0.81 cores=0,2,4,6
/proc/27380/task/27395/stat : 27395 (java) S 27378 27380 27352 0 -1 4202560 4259 0 0 0 81 0 0 0 16 0 22 0 529243542 16130211840 91634 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27396] ppid=27378 vsize=15752160 CPUtime=0.67 cores=0,2,4,6
/proc/27380/task/27396/stat : 27396 (java) S 27378 27380 27352 0 -1 4202560 5388 0 0 0 66 1 0 0 15 0 22 0 529243542 16130211840 91634 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27397] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27397/stat : 27397 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529243542 16130211840 91634 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27398] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27398/stat : 27398 (java) S 27378 27380 27352 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 529243542 16130211840 91636 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447833600 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27426] ppid=27378 vsize=15752160 CPUtime=1167.34 cores=0,2,4,6
/proc/27380/task/27426/stat : 27426 (java) R 27378 27380 27352 0 -1 4202560 387692 0 0 0 116680 54 0 0 25 0 22 0 529243562 16130211840 91638 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505910683 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27380/tid=27427] ppid=27378 vsize=15752160 CPUtime=1167.43 cores=0,2,4,6
/proc/27380/task/27427/stat : 27427 (java) R 27378 27380 27352 0 -1 4202560 385842 0 0 0 116687 56 0 0 25 0 22 0 529243562 16130211840 91639 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505664956 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27380/tid=27428] ppid=27378 vsize=15752160 CPUtime=1166.93 cores=0,2,4,6
/proc/27380/task/27428/stat : 27428 (java) R 27378 27380 27352 0 -1 4202560 384700 0 0 0 116635 58 0 0 25 0 22 0 529243563 16130211840 91641 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505782293 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=27380/tid=27429] ppid=27378 vsize=15752160 CPUtime=1167.52 cores=0,2,4,6
/proc/27380/task/27429/stat : 27429 (java) R 27378 27380 27352 0 -1 4202560 385817 0 0 0 116697 55 0 0 25 0 22 0 529243563 16130211840 91642 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505910904 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4701.33
Current children cumulated vsize (KiB) 15752160



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.2 s]
/proc/loadavg: 8.14 8.13 7.92 5/197 27469
/proc/meminfo: memFree=30162208/32951124 swapFree=67111416/67111528
[pid=27380] ppid=27378 vsize=15752160 CPUtime=4800.3 cores=0,2,4,6
/proc/27380/stat : 27380 (java) S 27378 27380 27352 0 -1 4202496 2674766 0 1 0 479503 527 0 0 25 0 22 0 529243537 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/27380/statm: 3938040 86142 2298 9 0 3928759 0
[pid=27380/tid=27382] ppid=27378 vsize=15752160 CPUtime=0.34 cores=0,2,4,6
/proc/27380/task/27382/stat : 27382 (java) S 27378 27380 27352 0 -1 4202560 6342 0 1 0 33 1 0 0 21 0 22 0 529243537 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27383] ppid=27378 vsize=15752160 CPUtime=3.55 cores=0,2,4,6
/proc/27380/task/27383/stat : 27383 (java) S 27378 27380 27352 0 -1 4202560 134135 0 0 0 332 23 0 0 15 0 22 0 529243538 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27384] ppid=27378 vsize=15752160 CPUtime=3.52 cores=0,2,4,6
/proc/27380/task/27384/stat : 27384 (java) S 27378 27380 27352 0 -1 4202560 142941 0 0 0 326 26 0 0 16 0 22 0 529243538 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27385] ppid=27378 vsize=15752160 CPUtime=3.51 cores=0,2,4,6
/proc/27380/task/27385/stat : 27385 (java) S 27378 27380 27352 0 -1 4202560 131391 0 0 0 324 27 0 0 16 0 22 0 529243538 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27386] ppid=27378 vsize=15752160 CPUtime=3.52 cores=0,2,4,6
/proc/27380/task/27386/stat : 27386 (java) S 27378 27380 27352 0 -1 4202560 129887 0 0 0 331 21 0 0 15 0 22 0 529243538 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27387] ppid=27378 vsize=15752160 CPUtime=3.57 cores=0,2,4,6
/proc/27380/task/27387/stat : 27387 (java) S 27378 27380 27352 0 -1 4202560 133189 0 0 0 329 28 0 0 15 0 22 0 529243538 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27388] ppid=27378 vsize=15752160 CPUtime=3.54 cores=0,2,4,6
/proc/27380/task/27388/stat : 27388 (java) S 27378 27380 27352 0 -1 4202560 135150 0 0 0 329 25 0 0 16 0 22 0 529243538 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27389] ppid=27378 vsize=15752160 CPUtime=3.51 cores=0,2,4,6
/proc/27380/task/27389/stat : 27389 (java) S 27378 27380 27352 0 -1 4202560 129275 0 0 0 327 24 0 0 15 0 22 0 529243538 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27390] ppid=27378 vsize=15752160 CPUtime=3.56 cores=0,2,4,6
/proc/27380/task/27390/stat : 27390 (java) S 27378 27380 27352 0 -1 4202560 136064 0 0 0 331 25 0 0 15 0 22 0 529243538 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27391] ppid=27378 vsize=15752160 CPUtime=2.42 cores=0,2,4,6
/proc/27380/task/27391/stat : 27391 (java) S 27378 27380 27352 0 -1 4202560 6694 0 0 0 153 89 0 0 15 0 22 0 529243539 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447833600 0 0 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27392] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27392/stat : 27392 (java) S 27378 27380 27352 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529243539 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27393] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27393/stat : 27393 (java) S 27378 27380 27352 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529243539 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27394] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27394/stat : 27394 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529243542 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447840689 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27395] ppid=27378 vsize=15752160 CPUtime=0.81 cores=0,2,4,6
/proc/27380/task/27395/stat : 27395 (java) S 27378 27380 27352 0 -1 4202560 4259 0 0 0 81 0 0 0 16 0 22 0 529243542 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 2 0 0 0
[pid=27380/tid=27396] ppid=27378 vsize=15752160 CPUtime=0.67 cores=0,2,4,6
/proc/27380/task/27396/stat : 27396 (java) S 27378 27380 27352 0 -1 4202560 5388 0 0 0 66 1 0 0 15 0 22 0 529243542 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 0 0 0 0
[pid=27380/tid=27397] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27397/stat : 27397 (java) S 27378 27380 27352 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529243542 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447832985 0 4 0 16800975 18446604443906406528 0 0 -1 4 0 0 0
[pid=27380/tid=27398] ppid=27378 vsize=15752160 CPUtime=0 cores=0,2,4,6
/proc/27380/task/27398/stat : 27398 (java) S 27378 27380 27352 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 529243542 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 212447833600 0 4 0 16800975 18446604443906406528 0 0 -1 6 0 0 0
[pid=27380/tid=27426] ppid=27378 vsize=15752160 CPUtime=1191.92 cores=0,2,4,6
/proc/27380/task/27426/stat : 27426 (java) R 27378 27380 27352 0 -1 4202560 396620 0 0 0 119137 55 0 0 25 0 22 0 529243562 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505844341 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27380/tid=27427] ppid=27378 vsize=15752160 CPUtime=1192.02 cores=0,2,4,6
/proc/27380/task/27427/stat : 27427 (java) R 27378 27380 27352 0 -1 4202560 394257 0 0 0 119145 57 0 0 25 0 22 0 529243562 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505854981 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=27380/tid=27428] ppid=27378 vsize=15752160 CPUtime=1191.56 cores=0,2,4,6
/proc/27380/task/27428/stat : 27428 (java) R 27378 27380 27352 0 -1 4202560 393139 0 0 0 119096 60 0 0 25 0 22 0 529243563 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505926497 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=27380/tid=27429] ppid=27378 vsize=15752160 CPUtime=1192.12 cores=0,2,4,6
/proc/27380/task/27429/stat : 27429 (java) R 27378 27380 27352 0 -1 4202560 394582 0 0 0 119155 57 0 0 25 0 22 0 529243563 16130211840 86142 33554432000 1073741824 1073778376 140733998409088 18446744073709551615 46912505854909 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 15752160

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1207.28
CPU time (s): 4800.53
CPU user time (s): 4795.24
CPU system time (s): 5.29319
CPU usage (%): 397.633
Max. virtual memory (cumulated for all children) (KiB): 15752160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.24
system time used= 5.29319
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2674792
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= 231348
involuntary context switches= 132257

runsolver used 2.07568 second user time and 4.55331 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 17:13:32
IDJOB=3311591
IDBENCH=82976
IDSOLVER=1698
FILE ID=node102/3311591-1304176412
RUNJOBID= node102-1304176412-27370
PBS_JOBID= 13172418
Free space on /tmp= 72472 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311591-1304176412/watcher-3311591-1304176412 -o /tmp/evaluation-result-3311591-1304176412/solver-3311591-1304176412 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311591-1304176412.cnf -hbr 2

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

MD5SUM BENCH= 7954e0b477e9d5cbd0a1f159f4b0eef6
RANDOM SEED=717360292

node102.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	: 5226.15
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.82
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.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.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.75
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.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.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:     32951124 kB
MemFree:      30503788 kB
Buffers:        632572 kB
Cached:        1332408 kB
SwapCached:          0 kB
Active:         191748 kB
Inactive:      1837340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30503788 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:            1768 kB
Writeback:           0 kB
AnonPages:       64380 kB
Mapped:          14332 kB
Slab:           352056 kB
PageTables:       4248 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190588 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= 72468 MiB
End job on node102 at 2011-04-30 17:33:41