Trace number 3313146

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? (TO) 4800.21 1207.05

General information on the benchmark

Namecrafted/skvortsov/
automata-synchronization/rnd_150_29_u.cnf
MD5SUM97209c9c2612edfa7815278bcf07a2b4
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark83.7023
Satisfiable
(Un)Satisfiability was proved
Number of variables4408
Number of clauses19904
Sum of the clauses size48208
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 211504
Number of clauses of size 38400
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	07:45 INFO : Reading from input HOME/instance-3313146-1304183265.cnf
0.51/0.36	Executor set job limit to 1000000
0.51/0.36	Executor set job limit to 1000000
0.51/0.36	Executor set job limit to 1000000
0.51/0.36	Executor set job limit to 1000000
0.51/0.36	Starting Executor!
0.51/0.36	Starting Executor!
0.51/0.36	Starting Executor!
0.51/0.36	Starting Executor!
1.76/0.88	07:46 INFO : 3621 variables remaining out of 4408
1.76/0.88	07:46 INFO : 75190 literals remaining out of 68112

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

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: 3.70 6.32 7.32 2/176 7271
/proc/meminfo: memFree=30818696/32951124 swapFree=67111364/67111528
[pid=7270] ppid=7267 vsize=256 CPUtime=0 cores=0,2,4,6
/proc/7270/stat : 7270 (java) R 7267 7270 6256 0 -1 4194304 528 0 0 0 0 0 0 0 23 0 1 0 529924434 262144 33 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228239425159 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/7270/statm: 64 33 24 9 0 23 0

[startup+0.0191871 s]
/proc/loadavg: 3.70 6.32 7.32 2/176 7271
/proc/meminfo: memFree=30818696/32951124 swapFree=67111364/67111528
[pid=7270] ppid=7267 vsize=15591648 CPUtime=0 cores=0,2,4,6
/proc/7270/stat : 7270 (java) S 7267 7270 6256 0 -1 4202496 2587 0 1 0 0 0 0 0 23 0 10 0 529924434 15965847552 2028 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0
/proc/7270/statm: 3897912 2028 1161 9 0 3888660 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15591648

[startup+0.104197 s]
/proc/loadavg: 3.70 6.32 7.32 2/176 7271
/proc/meminfo: memFree=30818696/32951124 swapFree=67111364/67111528
[pid=7270] ppid=7267 vsize=15675972 CPUtime=0.1 cores=0,2,4,6
/proc/7270/stat : 7270 (java) S 7267 7270 6256 0 -1 4202496 5525 0 1 0 9 1 0 0 23 0 18 0 529924434 16052195328 4965 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7270/statm: 3918993 4965 2117 9 0 3909712 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15675972

[startup+0.301678 s]
/proc/loadavg: 3.70 6.32 7.32 2/176 7271
/proc/meminfo: memFree=30818696/32951124 swapFree=67111364/67111528
[pid=7270] ppid=7267 vsize=15680664 CPUtime=0.51 cores=0,2,4,6
/proc/7270/stat : 7270 (java) S 7267 7270 6256 0 -1 4202496 13920 0 1 0 48 3 0 0 23 0 18 0 529924434 16056999936 12153 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7270/statm: 3920166 12158 2207 9 0 3910885 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680664

[startup+0.701036 s]
/proc/loadavg: 3.70 6.32 7.32 2/176 7271
/proc/meminfo: memFree=30818696/32951124 swapFree=67111364/67111528
[pid=7270] ppid=7267 vsize=15699868 CPUtime=1.45 cores=0,2,4,6
/proc/7270/stat : 7270 (java) S 7267 7270 6256 0 -1 4202496 31955 0 1 0 139 6 0 0 23 0 22 0 529924434 16076664832 27625 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7270/statm: 3924967 27625 2249 9 0 3915686 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 15699868

[startup+1.50087 s]
/proc/loadavg: 3.70 6.32 7.32 12/220 7315
/proc/meminfo: memFree=30547652/32951124 swapFree=67111364/67111528
[pid=7270] ppid=7267 vsize=15701656 CPUtime=4.2 cores=0,2,4,6
/proc/7270/stat : 7270 (java) S 7267 7270 6256 0 -1 4202496 68146 0 1 0 408 12 0 0 23 0 22 0 529924434 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7270/statm: 3925414 59481 2275 9 0 3916133 0
[pid=7270/tid=7274] ppid=7267 vsize=15701656 CPUtime=0.86 cores=0,2,4,6
/proc/7270/task/7274/stat : 7274 (java) S 7267 7270 6256 0 -1 4202560 18821 0 1 0 83 3 0 0 18 0 22 0 529924435 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7276] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7276/stat : 7276 (java) S 7267 7270 6256 0 -1 4202560 1524 0 0 0 0 0 0 0 15 0 22 0 529924436 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7277] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7277/stat : 7277 (java) S 7267 7270 6256 0 -1 4202560 1528 0 0 0 0 0 0 0 16 0 22 0 529924436 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7279] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7279/stat : 7279 (java) S 7267 7270 6256 0 -1 4202560 1637 0 0 0 0 0 0 0 16 0 22 0 529924436 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7281] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7281/stat : 7281 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529924436 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7283] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7283/stat : 7283 (java) S 7267 7270 6256 0 -1 4202560 1304 0 0 0 0 0 0 0 16 0 22 0 529924436 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7284] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7284/stat : 7284 (java) R 7267 7270 6256 0 -1 4202560 2285 0 0 0 0 0 0 0 16 0 22 0 529924436 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7270/tid=7286] ppid=7267 vsize=15701656 CPUtime=0.01 cores=0,2,4,6
/proc/7270/task/7286/stat : 7286 (java) S 7267 7270 6256 0 -1 4202560 2850 0 0 0 1 0 0 0 16 0 22 0 529924436 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7288] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7288/stat : 7288 (java) S 7267 7270 6256 0 -1 4202560 1340 0 0 0 0 0 0 0 15 0 22 0 529924436 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7292] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7292/stat : 7292 (java) R 7267 7270 6256 0 -1 4202560 74 0 0 0 0 0 0 0 16 0 22 0 529924437 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 0 0 16800975 0 0 0 -1 2 0 0 0
[pid=7270/tid=7294] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7294/stat : 7294 (java) S 7267 7270 6256 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529924437 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7296] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7296/stat : 7296 (java) S 7267 7270 6256 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529924437 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7299] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7299/stat : 7299 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529924439 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256172465 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7301] ppid=7267 vsize=15701656 CPUtime=0.85 cores=0,2,4,6
/proc/7270/task/7301/stat : 7301 (java) R 7267 7270 6256 0 -1 4202560 8214 0 0 0 83 2 0 0 15 0 22 0 529924439 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 47505983243522 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7270/tid=7302] ppid=7267 vsize=15701656 CPUtime=0.98 cores=0,2,4,6
/proc/7270/task/7302/stat : 7302 (java) R 7267 7270 6256 0 -1 4202560 10255 0 0 0 97 1 0 0 17 0 22 0 529924439 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 47505982400435 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7270/tid=7304] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7304/stat : 7304 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529924439 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7306] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7306/stat : 7306 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529924439 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256165376 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7312] ppid=7267 vsize=15701656 CPUtime=0.25 cores=0,2,4,6
/proc/7270/task/7312/stat : 7312 (java) S 7267 7270 6256 0 -1 4202560 690 0 0 0 25 0 0 0 16 0 22 0 529924470 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7313] ppid=7267 vsize=15701656 CPUtime=0.35 cores=0,2,4,6
/proc/7270/task/7313/stat : 7313 (java) R 7267 7270 6256 0 -1 4202560 6035 0 0 0 35 0 0 0 16 0 22 0 529924470 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912505978855 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7270/tid=7314] ppid=7267 vsize=15701656 CPUtime=0.43 cores=0,2,4,6
/proc/7270/task/7314/stat : 7314 (java) R 7267 7270 6256 0 -1 4202560 4193 0 0 0 43 0 0 0 16 0 22 0 529924470 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912506204479 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7270/tid=7315] ppid=7267 vsize=15701656 CPUtime=0.36 cores=0,2,4,6
/proc/7270/task/7315/stat : 7315 (java) R 7267 7270 6256 0 -1 4202560 6007 0 0 0 36 0 0 0 16 0 22 0 529924470 16078495744 59481 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 47505982836272 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.2
Current children cumulated vsize (KiB) 15701656

[startup+3.10159 s]
/proc/loadavg: 3.70 6.32 7.32 14/220 7315
/proc/meminfo: memFree=30058972/32951124 swapFree=67111364/67111528
[pid=7270] ppid=7267 vsize=15701656 CPUtime=10.55 cores=0,2,4,6
/proc/7270/stat : 7270 (java) S 7267 7270 6256 0 -1 4202496 170167 0 1 0 1030 25 0 0 23 0 22 0 529924434 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7270/statm: 3925414 160031 2285 9 0 3916133 0
[pid=7270/tid=7274] ppid=7267 vsize=15701656 CPUtime=0.86 cores=0,2,4,6
/proc/7270/task/7274/stat : 7274 (java) S 7267 7270 6256 0 -1 4202560 18821 0 1 0 83 3 0 0 18 0 22 0 529924435 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7276] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7276/stat : 7276 (java) S 7267 7270 6256 0 -1 4202560 3761 0 0 0 0 0 0 0 15 0 22 0 529924436 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7277] ppid=7267 vsize=15701656 CPUtime=0.01 cores=0,2,4,6
/proc/7270/task/7277/stat : 7277 (java) S 7267 7270 6256 0 -1 4202560 5031 0 0 0 0 1 0 0 16 0 22 0 529924436 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7279] ppid=7267 vsize=15701656 CPUtime=0.01 cores=0,2,4,6
/proc/7270/task/7279/stat : 7279 (java) S 7267 7270 6256 0 -1 4202560 6436 0 0 0 1 0 0 0 16 0 22 0 529924436 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7281] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7281/stat : 7281 (java) S 7267 7270 6256 0 -1 4202560 3841 0 0 0 0 0 0 0 15 0 22 0 529924436 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7283] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7283/stat : 7283 (java) S 7267 7270 6256 0 -1 4202560 5014 0 0 0 0 0 0 0 15 0 22 0 529924436 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7284] ppid=7267 vsize=15701656 CPUtime=0.02 cores=0,2,4,6
/proc/7270/task/7284/stat : 7284 (java) S 7267 7270 6256 0 -1 4202560 5780 0 0 0 1 1 0 0 16 0 22 0 529924436 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7286] ppid=7267 vsize=15701656 CPUtime=0.02 cores=0,2,4,6
/proc/7270/task/7286/stat : 7286 (java) S 7267 7270 6256 0 -1 4202560 5361 0 0 0 1 1 0 0 15 0 22 0 529924436 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7288] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7288/stat : 7288 (java) S 7267 7270 6256 0 -1 4202560 2177 0 0 0 0 0 0 0 16 0 22 0 529924436 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7292] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7292/stat : 7292 (java) S 7267 7270 6256 0 -1 4202560 464 0 0 0 0 0 0 0 15 0 22 0 529924437 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256165376 0 0 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7294] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7294/stat : 7294 (java) S 7267 7270 6256 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529924437 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7296] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7296/stat : 7296 (java) S 7267 7270 6256 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529924437 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7299] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7299/stat : 7299 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529924439 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256172465 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7301] ppid=7267 vsize=15701656 CPUtime=1.08 cores=0,2,4,6
/proc/7270/task/7301/stat : 7301 (java) S 7267 7270 6256 0 -1 4202560 9679 0 0 0 106 2 0 0 15 0 22 0 529924439 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7302] ppid=7267 vsize=15701656 CPUtime=1.13 cores=0,2,4,6
/proc/7270/task/7302/stat : 7302 (java) S 7267 7270 6256 0 -1 4202560 10281 0 0 0 112 1 0 0 15 0 22 0 529924439 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7304] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7304/stat : 7304 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529924439 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7306] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7306/stat : 7306 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529924439 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256165376 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7312] ppid=7267 vsize=15701656 CPUtime=1.67 cores=0,2,4,6
/proc/7270/task/7312/stat : 7312 (java) R 7267 7270 6256 0 -1 4202560 14248 0 0 0 166 1 0 0 17 0 22 0 529924470 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912505927049 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7270/tid=7313] ppid=7267 vsize=15701656 CPUtime=1.92 cores=0,2,4,6
/proc/7270/task/7313/stat : 7313 (java) R 7267 7270 6256 0 -1 4202560 26387 0 0 0 190 2 0 0 17 0 22 0 529924470 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912505833226 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7270/tid=7314] ppid=7267 vsize=15701656 CPUtime=1.81 cores=0,2,4,6
/proc/7270/task/7314/stat : 7314 (java) R 7267 7270 6256 0 -1 4202560 24121 0 0 0 178 3 0 0 17 0 22 0 529924470 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912505810332 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7270/tid=7315] ppid=7267 vsize=15701656 CPUtime=1.84 cores=0,2,4,6
/proc/7270/task/7315/stat : 7315 (java) R 7267 7270 6256 0 -1 4202560 27377 0 0 0 183 1 0 0 17 0 22 0 529924470 16078495744 160031 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912506395182 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (KiB) 15701656

[startup+6.30103 s]
/proc/loadavg: 4.21 6.38 7.34 10/220 7315
/proc/meminfo: memFree=27799204/32951124 swapFree=67111364/67111528
[pid=7270] ppid=7267 vsize=15701656 CPUtime=23.33 cores=0,2,4,6
/proc/7270/stat : 7270 (java) S 7267 7270 6256 0 -1 4202496 444527 0 1 0 2276 57 0 0 23 0 22 0 529924434 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7270/statm: 3925414 434162 2288 9 0 3916133 0
[pid=7270/tid=7274] ppid=7267 vsize=15701656 CPUtime=0.86 cores=0,2,4,6
/proc/7270/task/7274/stat : 7274 (java) S 7267 7270 6256 0 -1 4202560 18821 0 1 0 83 3 0 0 18 0 22 0 529924435 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7276] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7276/stat : 7276 (java) S 7267 7270 6256 0 -1 4202560 4126 0 0 0 0 0 0 0 16 0 22 0 529924436 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7277] ppid=7267 vsize=15701656 CPUtime=0.02 cores=0,2,4,6
/proc/7270/task/7277/stat : 7277 (java) S 7267 7270 6256 0 -1 4202560 5549 0 0 0 1 1 0 0 15 0 22 0 529924436 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7279] ppid=7267 vsize=15701656 CPUtime=0.01 cores=0,2,4,6
/proc/7270/task/7279/stat : 7279 (java) S 7267 7270 6256 0 -1 4202560 6488 0 0 0 1 0 0 0 15 0 22 0 529924436 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7281] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7281/stat : 7281 (java) S 7267 7270 6256 0 -1 4202560 3891 0 0 0 0 0 0 0 15 0 22 0 529924436 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7283] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7283/stat : 7283 (java) S 7267 7270 6256 0 -1 4202560 5378 0 0 0 0 0 0 0 16 0 22 0 529924436 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7284] ppid=7267 vsize=15701656 CPUtime=0.02 cores=0,2,4,6
/proc/7270/task/7284/stat : 7284 (java) S 7267 7270 6256 0 -1 4202560 5908 0 0 0 1 1 0 0 15 0 22 0 529924436 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7286] ppid=7267 vsize=15701656 CPUtime=0.02 cores=0,2,4,6
/proc/7270/task/7286/stat : 7286 (java) S 7267 7270 6256 0 -1 4202560 5513 0 0 0 1 1 0 0 15 0 22 0 529924436 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7288] ppid=7267 vsize=15701656 CPUtime=0.01 cores=0,2,4,6
/proc/7270/task/7288/stat : 7288 (java) S 7267 7270 6256 0 -1 4202560 2675 0 0 0 1 0 0 0 16 0 22 0 529924436 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7292] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7292/stat : 7292 (java) S 7267 7270 6256 0 -1 4202560 1247 0 0 0 0 0 0 0 15 0 22 0 529924437 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256165376 0 0 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7294] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7294/stat : 7294 (java) S 7267 7270 6256 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529924437 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7296] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7296/stat : 7296 (java) S 7267 7270 6256 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529924437 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7299] ppid=7267 vsize=15701656 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7299/stat : 7299 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529924439 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256172465 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7301] ppid=7267 vsize=15701656 CPUtime=1.13 cores=0,2,4,6
/proc/7270/task/7301/stat : 7301 (java) S 7267 7270 6256 0 -1 4202560 9849 0 0 0 111 2 0 0 15 0 22 0 529924439 16078495744 434162 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0

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

[pid=7270/tid=7313] ppid=7267 vsize=15696120 CPUtime=1048.36 cores=0,2,4,6
/proc/7270/task/7313/stat : 7313 (java) S 7267 7270 6256 0 -1 4202560 307926 0 0 0 104792 44 0 0 25 0 22 0 529924470 16072826880 153821 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7314] ppid=7267 vsize=15696120 CPUtime=1047.92 cores=0,2,4,6
/proc/7270/task/7314/stat : 7314 (java) S 7267 7270 6256 0 -1 4202560 321420 0 0 0 104747 45 0 0 25 0 22 0 529924470 16072826880 153821 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7315] ppid=7267 vsize=15696120 CPUtime=1048.74 cores=0,2,4,6
/proc/7270/task/7315/stat : 7315 (java) S 7267 7270 6256 0 -1 4202560 333069 0 0 0 104831 43 0 0 25 0 22 0 529924470 16072826880 153821 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4224.47
Current children cumulated vsize (KiB) 15696120

[startup+1122.3 s]
/proc/loadavg: 8.16 8.06 7.85 10/220 7345
/proc/meminfo: memFree=29619852/32951124 swapFree=67111364/67111528
[pid=7270] ppid=7267 vsize=15696120 CPUtime=4463.19 cores=0,2,4,6
/proc/7270/stat : 7270 (java) S 7267 7270 6256 0 -1 4202496 2268244 0 1 0 445879 440 0 0 23 0 22 0 529924434 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7270/statm: 3924030 169572 2299 9 0 3914749 0
[pid=7270/tid=7274] ppid=7267 vsize=15696120 CPUtime=0.86 cores=0,2,4,6
/proc/7270/task/7274/stat : 7274 (java) S 7267 7270 6256 0 -1 4202560 18821 0 1 0 83 3 0 0 18 0 22 0 529924435 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7276] ppid=7267 vsize=15696120 CPUtime=3.57 cores=0,2,4,6
/proc/7270/task/7276/stat : 7276 (java) S 7267 7270 6256 0 -1 4202560 112048 0 0 0 333 24 0 0 16 0 22 0 529924436 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7277] ppid=7267 vsize=15696120 CPUtime=3.46 cores=0,2,4,6
/proc/7270/task/7277/stat : 7277 (java) S 7267 7270 6256 0 -1 4202560 110025 0 0 0 326 20 0 0 16 0 22 0 529924436 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7279] ppid=7267 vsize=15696120 CPUtime=3.4 cores=0,2,4,6
/proc/7270/task/7279/stat : 7279 (java) S 7267 7270 6256 0 -1 4202560 109735 0 0 0 319 21 0 0 16 0 22 0 529924436 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7281] ppid=7267 vsize=15696120 CPUtime=3.43 cores=0,2,4,6
/proc/7270/task/7281/stat : 7281 (java) S 7267 7270 6256 0 -1 4202560 109869 0 0 0 322 21 0 0 16 0 22 0 529924436 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7283] ppid=7267 vsize=15696120 CPUtime=3.49 cores=0,2,4,6
/proc/7270/task/7283/stat : 7283 (java) S 7267 7270 6256 0 -1 4202560 108485 0 0 0 324 25 0 0 15 0 22 0 529924436 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7284] ppid=7267 vsize=15696120 CPUtime=3.41 cores=0,2,4,6
/proc/7270/task/7284/stat : 7284 (java) S 7267 7270 6256 0 -1 4202560 111632 0 0 0 318 23 0 0 15 0 22 0 529924436 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7286] ppid=7267 vsize=15696120 CPUtime=3.44 cores=0,2,4,6
/proc/7270/task/7286/stat : 7286 (java) S 7267 7270 6256 0 -1 4202560 107099 0 0 0 325 19 0 0 16 0 22 0 529924436 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7288] ppid=7267 vsize=15696120 CPUtime=3.45 cores=0,2,4,6
/proc/7270/task/7288/stat : 7288 (java) S 7267 7270 6256 0 -1 4202560 111744 0 0 0 322 23 0 0 15 0 22 0 529924436 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7292] ppid=7267 vsize=15696120 CPUtime=2.02 cores=0,2,4,6
/proc/7270/task/7292/stat : 7292 (java) S 7267 7270 6256 0 -1 4202560 6089 0 0 0 139 63 0 0 15 0 22 0 529924437 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256165376 0 0 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7294] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7294/stat : 7294 (java) S 7267 7270 6256 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529924437 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7296] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7296/stat : 7296 (java) S 7267 7270 6256 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529924437 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7299] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7299/stat : 7299 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529924439 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256172465 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7301] ppid=7267 vsize=15696120 CPUtime=1.23 cores=0,2,4,6
/proc/7270/task/7301/stat : 7301 (java) S 7267 7270 6256 0 -1 4202560 9866 0 0 0 121 2 0 0 15 0 22 0 529924439 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7302] ppid=7267 vsize=15696120 CPUtime=1.39 cores=0,2,4,6
/proc/7270/task/7302/stat : 7302 (java) S 7267 7270 6256 0 -1 4202560 10317 0 0 0 138 1 0 0 15 0 22 0 529924439 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7304] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7304/stat : 7304 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529924439 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7306] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7306/stat : 7306 (java) S 7267 7270 6256 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 529924439 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256165376 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7312] ppid=7267 vsize=15696120 CPUtime=1107.08 cores=0,2,4,6
/proc/7270/task/7312/stat : 7312 (java) R 7267 7270 6256 0 -1 4202560 319965 0 0 0 110663 45 0 0 25 0 22 0 529924470 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912506356302 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7270/tid=7313] ppid=7267 vsize=15696120 CPUtime=1107.46 cores=0,2,4,6
/proc/7270/task/7313/stat : 7313 (java) R 7267 7270 6256 0 -1 4202560 326067 0 0 0 110700 46 0 0 25 0 22 0 529924470 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912505796391 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7270/tid=7314] ppid=7267 vsize=15696120 CPUtime=1107.26 cores=0,2,4,6
/proc/7270/task/7314/stat : 7314 (java) R 7267 7270 6256 0 -1 4202560 341032 0 0 0 110679 47 0 0 25 0 22 0 529924470 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912505791797 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7270/tid=7315] ppid=7267 vsize=15696120 CPUtime=1108.04 cores=0,2,4,6
/proc/7270/task/7315/stat : 7315 (java) R 7267 7270 6256 0 -1 4202560 354003 0 0 0 110758 46 0 0 25 0 22 0 529924470 16072826880 169572 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912506391413 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4463.19
Current children cumulated vsize (KiB) 15696120

[startup+1182.3 s]
/proc/loadavg: 8.22 8.08 7.86 10/220 7346
/proc/meminfo: memFree=29680808/32951124 swapFree=67111364/67111528
[pid=7270] ppid=7267 vsize=15696120 CPUtime=4701.85 cores=0,2,4,6
/proc/7270/stat : 7270 (java) S 7267 7270 6256 0 -1 4202496 2349914 0 1 0 469722 463 0 0 23 0 22 0 529924434 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7270/statm: 3924030 138771 2299 9 0 3914749 0
[pid=7270/tid=7274] ppid=7267 vsize=15696120 CPUtime=0.86 cores=0,2,4,6
/proc/7270/task/7274/stat : 7274 (java) S 7267 7270 6256 0 -1 4202560 18821 0 1 0 83 3 0 0 18 0 22 0 529924435 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7276] ppid=7267 vsize=15696120 CPUtime=3.73 cores=0,2,4,6
/proc/7270/task/7276/stat : 7276 (java) S 7267 7270 6256 0 -1 4202560 114911 0 0 0 348 25 0 0 15 0 22 0 529924436 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7277] ppid=7267 vsize=15696120 CPUtime=3.64 cores=0,2,4,6
/proc/7270/task/7277/stat : 7277 (java) S 7267 7270 6256 0 -1 4202560 113929 0 0 0 343 21 0 0 15 0 22 0 529924436 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7279] ppid=7267 vsize=15696120 CPUtime=3.59 cores=0,2,4,6
/proc/7270/task/7279/stat : 7279 (java) S 7267 7270 6256 0 -1 4202560 113572 0 0 0 337 22 0 0 15 0 22 0 529924436 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7281] ppid=7267 vsize=15696120 CPUtime=3.63 cores=0,2,4,6
/proc/7270/task/7281/stat : 7281 (java) S 7267 7270 6256 0 -1 4202560 113339 0 0 0 341 22 0 0 15 0 22 0 529924436 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7283] ppid=7267 vsize=15696120 CPUtime=3.69 cores=0,2,4,6
/proc/7270/task/7283/stat : 7283 (java) S 7267 7270 6256 0 -1 4202560 112838 0 0 0 342 27 0 0 15 0 22 0 529924436 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7284] ppid=7267 vsize=15696120 CPUtime=3.6 cores=0,2,4,6
/proc/7270/task/7284/stat : 7284 (java) S 7267 7270 6256 0 -1 4202560 114792 0 0 0 335 25 0 0 15 0 22 0 529924436 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7286] ppid=7267 vsize=15696120 CPUtime=3.64 cores=0,2,4,6
/proc/7270/task/7286/stat : 7286 (java) S 7267 7270 6256 0 -1 4202560 111306 0 0 0 343 21 0 0 16 0 22 0 529924436 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7288] ppid=7267 vsize=15696120 CPUtime=3.64 cores=0,2,4,6
/proc/7270/task/7288/stat : 7288 (java) S 7267 7270 6256 0 -1 4202560 114751 0 0 0 341 23 0 0 16 0 22 0 529924436 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7292] ppid=7267 vsize=15696120 CPUtime=2.14 cores=0,2,4,6
/proc/7270/task/7292/stat : 7292 (java) S 7267 7270 6256 0 -1 4202560 6406 0 0 0 146 68 0 0 15 0 22 0 529924437 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256165376 0 0 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7294] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7294/stat : 7294 (java) S 7267 7270 6256 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529924437 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7296] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7296/stat : 7296 (java) S 7267 7270 6256 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529924437 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7299] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7299/stat : 7299 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529924439 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256172465 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7301] ppid=7267 vsize=15696120 CPUtime=1.23 cores=0,2,4,6
/proc/7270/task/7301/stat : 7301 (java) S 7267 7270 6256 0 -1 4202560 9866 0 0 0 121 2 0 0 15 0 22 0 529924439 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7302] ppid=7267 vsize=15696120 CPUtime=1.39 cores=0,2,4,6
/proc/7270/task/7302/stat : 7302 (java) S 7267 7270 6256 0 -1 4202560 10317 0 0 0 138 1 0 0 15 0 22 0 529924439 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7304] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7304/stat : 7304 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529924439 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7306] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7306/stat : 7306 (java) S 7267 7270 6256 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 529924439 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256165376 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7312] ppid=7267 vsize=15696120 CPUtime=1166.35 cores=0,2,4,6
/proc/7270/task/7312/stat : 7312 (java) R 7267 7270 6256 0 -1 4202560 332752 0 0 0 116588 47 0 0 25 0 22 0 529924470 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912505813307 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=7270/tid=7313] ppid=7267 vsize=15696120 CPUtime=1166.7 cores=0,2,4,6
/proc/7270/task/7313/stat : 7313 (java) R 7267 7270 6256 0 -1 4202560 338103 0 0 0 116621 49 0 0 25 0 22 0 529924470 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912505791919 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7270/tid=7314] ppid=7267 vsize=15696120 CPUtime=1166.46 cores=0,2,4,6
/proc/7270/task/7314/stat : 7314 (java) R 7267 7270 6256 0 -1 4202560 354883 0 0 0 116596 50 0 0 25 0 22 0 529924470 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912505813871 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7270/tid=7315] ppid=7267 vsize=15696120 CPUtime=1167.37 cores=0,2,4,6
/proc/7270/task/7315/stat : 7315 (java) R 7267 7270 6256 0 -1 4202560 367879 0 0 0 116690 47 0 0 25 0 22 0 529924470 16072826880 138771 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912506078891 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4701.85
Current children cumulated vsize (KiB) 15696120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207 s]
/proc/loadavg: 8.22 8.09 7.87 9/220 7347
/proc/meminfo: memFree=29593736/32951124 swapFree=67111364/67111528
[pid=7270] ppid=7267 vsize=15696120 CPUtime=4800.14 cores=0,2,4,6
/proc/7270/stat : 7270 (java) S 7267 7270 6256 0 -1 4202496 2425283 0 1 0 479537 477 0 0 23 0 22 0 529924434 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0
/proc/7270/statm: 3924030 173325 2299 9 0 3914749 0
[pid=7270/tid=7274] ppid=7267 vsize=15696120 CPUtime=0.86 cores=0,2,4,6
/proc/7270/task/7274/stat : 7274 (java) S 7267 7270 6256 0 -1 4202560 18821 0 1 0 83 3 0 0 18 0 22 0 529924435 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7276] ppid=7267 vsize=15696120 CPUtime=3.8 cores=0,2,4,6
/proc/7270/task/7276/stat : 7276 (java) S 7267 7270 6256 0 -1 4202560 117632 0 0 0 355 25 0 0 16 0 22 0 529924436 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7277] ppid=7267 vsize=15696120 CPUtime=3.71 cores=0,2,4,6
/proc/7270/task/7277/stat : 7277 (java) S 7267 7270 6256 0 -1 4202560 115552 0 0 0 349 22 0 0 16 0 22 0 529924436 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7279] ppid=7267 vsize=15696120 CPUtime=3.68 cores=0,2,4,6
/proc/7270/task/7279/stat : 7279 (java) S 7267 7270 6256 0 -1 4202560 117827 0 0 0 345 23 0 0 16 0 22 0 529924436 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7281] ppid=7267 vsize=15696120 CPUtime=3.72 cores=0,2,4,6
/proc/7270/task/7281/stat : 7281 (java) S 7267 7270 6256 0 -1 4202560 116687 0 0 0 349 23 0 0 16 0 22 0 529924436 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7283] ppid=7267 vsize=15696120 CPUtime=3.76 cores=0,2,4,6
/proc/7270/task/7283/stat : 7283 (java) S 7267 7270 6256 0 -1 4202560 115181 0 0 0 349 27 0 0 15 0 22 0 529924436 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7284] ppid=7267 vsize=15696120 CPUtime=3.68 cores=0,2,4,6
/proc/7270/task/7284/stat : 7284 (java) S 7267 7270 6256 0 -1 4202560 118491 0 0 0 342 26 0 0 15 0 22 0 529924436 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 4 0 0 0
[pid=7270/tid=7286] ppid=7267 vsize=15696120 CPUtime=3.71 cores=0,2,4,6
/proc/7270/task/7286/stat : 7286 (java) S 7267 7270 6256 0 -1 4202560 113987 0 0 0 350 21 0 0 15 0 22 0 529924436 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7288] ppid=7267 vsize=15696120 CPUtime=3.72 cores=0,2,4,6
/proc/7270/task/7288/stat : 7288 (java) S 7267 7270 6256 0 -1 4202560 119006 0 0 0 348 24 0 0 15 0 22 0 529924436 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7292] ppid=7267 vsize=15696120 CPUtime=2.2 cores=0,2,4,6
/proc/7270/task/7292/stat : 7292 (java) S 7267 7270 6256 0 -1 4202560 6621 0 0 0 150 70 0 0 16 0 22 0 529924437 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256165376 0 0 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7294] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7294/stat : 7294 (java) S 7267 7270 6256 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529924437 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7296] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7296/stat : 7296 (java) S 7267 7270 6256 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 529924437 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 2 0 0 0
[pid=7270/tid=7299] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7299/stat : 7299 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529924439 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256172465 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7301] ppid=7267 vsize=15696120 CPUtime=1.23 cores=0,2,4,6
/proc/7270/task/7301/stat : 7301 (java) S 7267 7270 6256 0 -1 4202560 9866 0 0 0 121 2 0 0 15 0 22 0 529924439 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7302] ppid=7267 vsize=15696120 CPUtime=1.39 cores=0,2,4,6
/proc/7270/task/7302/stat : 7302 (java) S 7267 7270 6256 0 -1 4202560 10317 0 0 0 138 1 0 0 15 0 22 0 529924439 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7304] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7304/stat : 7304 (java) S 7267 7270 6256 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529924439 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256164761 0 4 0 16800975 18446604453548079296 0 0 -1 6 0 0 0
[pid=7270/tid=7306] ppid=7267 vsize=15696120 CPUtime=0 cores=0,2,4,6
/proc/7270/task/7306/stat : 7306 (java) S 7267 7270 6256 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 529924439 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 228256165376 0 4 0 16800975 18446604453548079296 0 0 -1 0 0 0 0
[pid=7270/tid=7312] ppid=7267 vsize=15696120 CPUtime=1190.76 cores=0,2,4,6
/proc/7270/task/7312/stat : 7312 (java) R 7267 7270 6256 0 -1 4202560 343845 0 0 0 119027 49 0 0 25 0 22 0 529924470 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 18446744073699065971 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=7270/tid=7313] ppid=7267 vsize=15696120 CPUtime=1191.05 cores=0,2,4,6
/proc/7270/task/7313/stat : 7313 (java) R 7267 7270 6256 0 -1 4202560 351390 0 0 0 119054 51 0 0 25 0 22 0 529924470 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912506100317 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=7270/tid=7314] ppid=7267 vsize=15696120 CPUtime=1190.9 cores=0,2,4,6
/proc/7270/task/7314/stat : 7314 (java) R 7267 7270 6256 0 -1 4202560 367499 0 0 0 119038 52 0 0 25 0 22 0 529924470 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912505523239 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=7270/tid=7315] ppid=7267 vsize=15696120 CPUtime=1191.8 cores=0,2,4,6
/proc/7270/task/7315/stat : 7315 (java) R 7267 7270 6256 0 -1 4202560 381110 0 0 0 119131 49 0 0 25 0 22 0 529924470 16072826880 173325 33554432000 1073741824 1073778376 140733577031152 18446744073709551615 46912505523184 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 15696120

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.05
CPU time (s): 4800.21
CPU user time (s): 4795.4
CPU system time (s): 4.80527
CPU usage (%): 397.681
Max. virtual memory (cumulated for all children) (KiB): 15701656

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.4
system time used= 4.80527
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2425308
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= 210988
involuntary context switches= 133350

runsolver used 1.91871 second user time and 4.78627 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-30 19:07:45
IDJOB=3313146
IDBENCH=83196
IDSOLVER=1699
FILE ID=node136/3313146-1304183265
RUNJOBID= node136-1304183265-7252
PBS_JOBID= 13172430
Free space on /tmp= 73080 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/rnd_150_29_u.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313146-1304183265/watcher-3313146-1304183265 -o /tmp/evaluation-result-3313146-1304183265/solver-3313146-1304183265 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313146-1304183265.cnf

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

MD5SUM BENCH= 97209c9c2612edfa7815278bcf07a2b4
RANDOM SEED=1758018969

node136.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.809
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.61
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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
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.809
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.75
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.809
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.76
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.809
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.75
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.809
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.83
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.809
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.809
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30819240 kB
Buffers:        630696 kB
Cached:        1013360 kB
SwapCached:          0 kB
Active:         219820 kB
Inactive:      1488196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30819240 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            3588 kB
Writeback:           8 kB
AnonPages:       62816 kB
Mapped:          14396 kB
Slab:           360844 kB
PageTables:       4600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   189612 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= 73076 MiB
End job on node136 at 2011-04-30 19:27:54