Trace number 3311207

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.44 1207.13

General information on the benchmark

Namerandom/large/
unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf
MD5SUM274f6c2fc3e630d8716a09f7c87233f2
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses17000
Sum of the clauses size119000
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 517000

Solver Data 

0.11/0.11	54:03 INFO : Reading from input HOME/instance-3311207-1304114043.cnf
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Executor set job limit to 1000000
0.61/0.41	Starting Executor!
0.61/0.41	Starting Executor!
0.61/0.41	Starting Executor!
0.61/0.41	Starting Executor!
1.62/0.85	54:04 INFO : 200 variables remaining out of 200
1.62/0.85	54:04 INFO : 136000 literals remaining out of 136000

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 8.36 8.17 8.05 6/198 32592
/proc/meminfo: memFree=30066960/32951124 swapFree=67111364/67111528
[pid=32592] ppid=32590 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/32592/stat : 32592 (java) S 32590 32592 32264 0 -1 4202496 1424 0 0 0 0 0 0 0 25 0 2 0 523002293 27824128 894 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256151525 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/32592/statm: 6793 894 684 9 0 381 0
[pid=32592/tid=32593] ppid=32590 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32593/stat : 32593 (java) S 32590 32592 32264 0 -1 4202560 66 0 0 0 0 0 0 0 25 0 2 0 523002293 27824128 894 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228239425159 0 2147483391 4096 0 18446744071699199166 0 0 -1 5 0 0 0

[startup+0.104707 s]
/proc/loadavg: 8.36 8.17 8.05 6/198 32592
/proc/meminfo: memFree=30066960/32951124 swapFree=67111364/67111528
[pid=32592] ppid=32590 vsize=15677200 CPUtime=0.11 cores=1,3,5,7
/proc/32592/stat : 32592 (java) S 32590 32592 32264 0 -1 4202496 5685 0 1 0 10 1 0 0 25 0 18 0 523002293 16053452800 5092 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32592/statm: 3919300 5093 2118 9 0 3910019 0
[pid=32592/tid=32593] ppid=32590 vsize=15677200 CPUtime=0.08 cores=1,3,5,7
/proc/32592/task/32593/stat : 32593 (java) R 32590 32592 32264 0 -1 4202560 3521 0 1 0 8 0 0 0 18 0 18 0 523002293 16053452800 5093 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 47073658336003 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15677200

[startup+0.20069 s]
/proc/loadavg: 8.36 8.17 8.05 6/198 32592
/proc/meminfo: memFree=30066960/32951124 swapFree=67111364/67111528
[pid=32592] ppid=32590 vsize=15678224 CPUtime=0.27 cores=1,3,5,7
/proc/32592/stat : 32592 (java) S 32590 32592 32264 0 -1 4202496 7141 0 1 0 26 1 0 0 25 0 18 0 523002293 16054501376 6548 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32592/statm: 3919556 6549 2184 9 0 3910275 0
[pid=32592/tid=32593] ppid=32590 vsize=15678224 CPUtime=0.18 cores=1,3,5,7
/proc/32592/task/32593/stat : 32593 (java) R 32590 32592 32264 0 -1 4202560 4555 0 1 0 18 0 0 0 18 0 18 0 523002293 16054501376 6549 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505511663 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 15678224

[startup+0.300673 s]
/proc/loadavg: 8.36 8.17 8.05 6/198 32592
/proc/meminfo: memFree=30066960/32951124 swapFree=67111364/67111528
[pid=32592] ppid=32590 vsize=15682320 CPUtime=0.5 cores=1,3,5,7
/proc/32592/stat : 32592 (java) S 32590 32592 32264 0 -1 4202496 15763 0 1 0 49 1 0 0 25 0 18 0 523002293 16058695680 14427 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32592/statm: 3920580 14435 2207 9 0 3911299 0
[pid=32592/tid=32593] ppid=32590 vsize=15682320 CPUtime=0.28 cores=1,3,5,7
/proc/32592/task/32593/stat : 32593 (java) R 32590 32592 32264 0 -1 4202560 10908 0 1 0 27 1 0 0 18 0 18 0 523002293 16058695680 14438 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505634835 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15682320

[startup+0.7006 s]
/proc/loadavg: 8.36 8.17 8.05 6/198 32592
/proc/meminfo: memFree=30066960/32951124 swapFree=67111364/67111528
[pid=32592] ppid=32590 vsize=15690984 CPUtime=1.32 cores=1,3,5,7
/proc/32592/stat : 32592 (java) S 32590 32592 32264 0 -1 4202496 43206 0 1 0 127 5 0 0 25 0 22 0 523002293 16067567616 39018 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32592/statm: 3922746 39018 2242 9 0 3913465 0
[pid=32592/tid=32593] ppid=32590 vsize=15690984 CPUtime=0.68 cores=1,3,5,7
/proc/32592/task/32593/stat : 32593 (java) R 32590 32592 32264 0 -1 4202560 29585 0 1 0 64 4 0 0 20 0 22 0 523002293 16067567616 39018 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505166996 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 15690984

[startup+1.50148 s]
/proc/loadavg: 8.36 8.17 8.05 8/220 32614
/proc/meminfo: memFree=29344300/32951124 swapFree=67111364/67111528
[pid=32592] ppid=32590 vsize=15700768 CPUtime=3.86 cores=1,3,5,7
/proc/32592/stat : 32592 (java) S 32590 32592 32264 0 -1 4202496 63432 0 1 0 379 7 0 0 25 0 22 0 523002293 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32592/statm: 3925192 53642 2274 9 0 3915911 0
[pid=32592/tid=32593] ppid=32590 vsize=15700768 CPUtime=0.84 cores=1,3,5,7
/proc/32592/task/32593/stat : 32593 (java) S 32590 32592 32264 0 -1 4202560 29672 0 1 0 80 4 0 0 20 0 22 0 523002293 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32595] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32595/stat : 32595 (java) R 32590 32592 32264 0 -1 4202560 1228 0 0 0 0 0 0 0 15 0 22 0 523002294 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228244302135 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32592/tid=32596] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32596/stat : 32596 (java) R 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523002294 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256165830 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32592/tid=32597] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32597/stat : 32597 (java) R 32590 32592 32264 0 -1 4202560 1367 0 0 0 0 0 0 0 15 0 22 0 523002294 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228244302135 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32592/tid=32598] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32598/stat : 32598 (java) S 32590 32592 32264 0 -1 4202560 1063 0 0 0 0 0 0 0 15 0 22 0 523002294 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32599] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32599/stat : 32599 (java) S 32590 32592 32264 0 -1 4202560 998 0 0 0 0 0 0 0 16 0 22 0 523002294 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32600] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32600/stat : 32600 (java) S 32590 32592 32264 0 -1 4202560 281 0 0 0 0 0 0 0 15 0 22 0 523002294 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32601] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32601/stat : 32601 (java) S 32590 32592 32264 0 -1 4202560 579 0 0 0 0 0 0 0 15 0 22 0 523002294 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32602] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32602/stat : 32602 (java) S 32590 32592 32264 0 -1 4202560 421 0 0 0 0 0 0 0 15 0 22 0 523002294 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32603] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32603/stat : 32603 (java) S 32590 32592 32264 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 523002295 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 0 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32604] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32604/stat : 32604 (java) S 32590 32592 32264 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 523002295 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32605] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32605/stat : 32605 (java) S 32590 32592 32264 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523002295 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32606] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32606/stat : 32606 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523002297 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32607] ppid=32590 vsize=15700768 CPUtime=0.83 cores=1,3,5,7
/proc/32592/task/32607/stat : 32607 (java) S 32590 32592 32264 0 -1 4202560 14446 0 0 0 82 1 0 0 24 0 22 0 523002297 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32608] ppid=32590 vsize=15700768 CPUtime=0.7 cores=1,3,5,7
/proc/32592/task/32608/stat : 32608 (java) S 32590 32592 32264 0 -1 4202560 5908 0 0 0 70 0 0 0 15 0 22 0 523002297 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32609] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32609/stat : 32609 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523002297 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32610] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32610/stat : 32610 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523002297 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32611] ppid=32590 vsize=15700768 CPUtime=0.39 cores=1,3,5,7
/proc/32592/task/32611/stat : 32611 (java) S 32590 32592 32264 0 -1 4202560 3164 0 0 0 39 0 0 0 16 0 22 0 523002334 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32612] ppid=32590 vsize=15700768 CPUtime=0.34 cores=1,3,5,7
/proc/32592/task/32612/stat : 32612 (java) S 32590 32592 32264 0 -1 4202560 680 0 0 0 34 0 0 0 16 0 22 0 523002334 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32613] ppid=32590 vsize=15700768 CPUtime=0.34 cores=1,3,5,7
/proc/32592/task/32613/stat : 32613 (java) S 32590 32592 32264 0 -1 4202560 309 0 0 0 34 0 0 0 16 0 22 0 523002334 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32614] ppid=32590 vsize=15700768 CPUtime=0.34 cores=1,3,5,7
/proc/32592/task/32614/stat : 32614 (java) S 32590 32592 32264 0 -1 4202560 1917 0 0 0 34 0 0 0 16 0 22 0 523002334 16077586432 53642 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 15700768

[startup+3.10115 s]
/proc/loadavg: 8.49 8.20 8.06 10/220 32614
/proc/meminfo: memFree=29070136/32951124 swapFree=67111364/67111528
[pid=32592] ppid=32590 vsize=15700768 CPUtime=10.24 cores=1,3,5,7
/proc/32592/stat : 32592 (java) S 32590 32592 32264 0 -1 4202496 120643 0 1 0 1007 17 0 0 25 0 22 0 523002293 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32592/statm: 3925192 110725 2274 9 0 3915911 0
[pid=32592/tid=32593] ppid=32590 vsize=15700768 CPUtime=0.84 cores=1,3,5,7
/proc/32592/task/32593/stat : 32593 (java) S 32590 32592 32264 0 -1 4202560 29672 0 1 0 80 4 0 0 20 0 22 0 523002293 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32595] ppid=32590 vsize=15700768 CPUtime=0.01 cores=1,3,5,7
/proc/32592/task/32595/stat : 32595 (java) S 32590 32592 32264 0 -1 4202560 4008 0 0 0 1 0 0 0 15 0 22 0 523002294 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32596] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32596/stat : 32596 (java) S 32590 32592 32264 0 -1 4202560 4064 0 0 0 0 0 0 0 15 0 22 0 523002294 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32597] ppid=32590 vsize=15700768 CPUtime=0.02 cores=1,3,5,7
/proc/32592/task/32597/stat : 32597 (java) S 32590 32592 32264 0 -1 4202560 7205 0 0 0 1 1 0 0 15 0 22 0 523002294 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32598] ppid=32590 vsize=15700768 CPUtime=0.01 cores=1,3,5,7
/proc/32592/task/32598/stat : 32598 (java) S 32590 32592 32264 0 -1 4202560 5210 0 0 0 0 1 0 0 16 0 22 0 523002294 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32599] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32599/stat : 32599 (java) S 32590 32592 32264 0 -1 4202560 4302 0 0 0 0 0 0 0 16 0 22 0 523002294 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32600] ppid=32590 vsize=15700768 CPUtime=0.01 cores=1,3,5,7
/proc/32592/task/32600/stat : 32600 (java) S 32590 32592 32264 0 -1 4202560 5882 0 0 0 1 0 0 0 16 0 22 0 523002294 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32601] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32601/stat : 32601 (java) S 32590 32592 32264 0 -1 4202560 2592 0 0 0 0 0 0 0 15 0 22 0 523002294 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32602] ppid=32590 vsize=15700768 CPUtime=0.02 cores=1,3,5,7
/proc/32592/task/32602/stat : 32602 (java) S 32590 32592 32264 0 -1 4202560 7394 0 0 0 1 1 0 0 16 0 22 0 523002294 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32603] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32603/stat : 32603 (java) S 32590 32592 32264 0 -1 4202560 234 0 0 0 0 0 0 0 15 0 22 0 523002295 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256165376 0 0 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32604] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32604/stat : 32604 (java) S 32590 32592 32264 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 523002295 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32605] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32605/stat : 32605 (java) S 32590 32592 32264 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523002295 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32606] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32606/stat : 32606 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523002297 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32607] ppid=32590 vsize=15700768 CPUtime=0.85 cores=1,3,5,7
/proc/32592/task/32607/stat : 32607 (java) S 32590 32592 32264 0 -1 4202560 14462 0 0 0 84 1 0 0 24 0 22 0 523002297 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32608] ppid=32590 vsize=15700768 CPUtime=0.97 cores=1,3,5,7
/proc/32592/task/32608/stat : 32608 (java) S 32590 32592 32264 0 -1 4202560 5941 0 0 0 97 0 0 0 15 0 22 0 523002297 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32609] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32609/stat : 32609 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523002297 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32610] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32610/stat : 32610 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523002297 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32611] ppid=32590 vsize=15700768 CPUtime=1.79 cores=1,3,5,7
/proc/32592/task/32611/stat : 32611 (java) R 32590 32592 32264 0 -1 4202560 8799 0 0 0 178 1 0 0 17 0 22 0 523002334 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505846050 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32592/tid=32612] ppid=32590 vsize=15700768 CPUtime=1.89 cores=1,3,5,7
/proc/32592/task/32612/stat : 32612 (java) R 32590 32592 32264 0 -1 4202560 6258 0 0 0 189 0 0 0 17 0 22 0 523002334 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505923432 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32592/tid=32613] ppid=32590 vsize=15700768 CPUtime=1.78 cores=1,3,5,7
/proc/32592/task/32613/stat : 32613 (java) R 32590 32592 32264 0 -1 4202560 5683 0 0 0 178 0 0 0 17 0 22 0 523002334 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505523303 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32592/tid=32614] ppid=32590 vsize=15700768 CPUtime=1.89 cores=1,3,5,7
/proc/32592/task/32614/stat : 32614 (java) R 32590 32592 32264 0 -1 4202560 7550 0 0 0 189 0 0 0 17 0 22 0 523002334 16077586432 110725 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912506177451 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 10.24
Current children cumulated vsize (KiB) 15700768

[startup+6.30159 s]
/proc/loadavg: 8.49 8.20 8.06 9/220 32614
/proc/meminfo: memFree=27973188/32951124 swapFree=67111364/67111528
[pid=32592] ppid=32590 vsize=15700768 CPUtime=23.01 cores=1,3,5,7
/proc/32592/stat : 32592 (java) S 32590 32592 32264 0 -1 4202496 290827 0 1 0 2263 38 0 0 25 0 22 0 523002293 16077586432 280478 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32592/statm: 3925192 280482 2284 9 0 3915911 0
[pid=32592/tid=32593] ppid=32590 vsize=15700768 CPUtime=0.84 cores=1,3,5,7
/proc/32592/task/32593/stat : 32593 (java) S 32590 32592 32264 0 -1 4202560 29672 0 1 0 80 4 0 0 20 0 22 0 523002293 16077586432 280484 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32595] ppid=32590 vsize=15700768 CPUtime=0.01 cores=1,3,5,7
/proc/32592/task/32595/stat : 32595 (java) S 32590 32592 32264 0 -1 4202560 6456 0 0 0 1 0 0 0 16 0 22 0 523002294 16077586432 280486 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32596] ppid=32590 vsize=15700768 CPUtime=0.02 cores=1,3,5,7
/proc/32592/task/32596/stat : 32596 (java) S 32590 32592 32264 0 -1 4202560 6459 0 0 0 1 1 0 0 15 0 22 0 523002294 16077586432 280488 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32597] ppid=32590 vsize=15700768 CPUtime=0.03 cores=1,3,5,7
/proc/32592/task/32597/stat : 32597 (java) S 32590 32592 32264 0 -1 4202560 9703 0 0 0 2 1 0 0 16 0 22 0 523002294 16077586432 280490 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32598] ppid=32590 vsize=15700768 CPUtime=0.02 cores=1,3,5,7
/proc/32592/task/32598/stat : 32598 (java) S 32590 32592 32264 0 -1 4202560 9613 0 0 0 1 1 0 0 16 0 22 0 523002294 16077586432 280491 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32599] ppid=32590 vsize=15700768 CPUtime=0.02 cores=1,3,5,7
/proc/32592/task/32599/stat : 32599 (java) S 32590 32592 32264 0 -1 4202560 6847 0 0 0 1 1 0 0 16 0 22 0 523002294 16077586432 280493 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32600] ppid=32590 vsize=15700768 CPUtime=0.02 cores=1,3,5,7
/proc/32592/task/32600/stat : 32600 (java) S 32590 32592 32264 0 -1 4202560 8495 0 0 0 1 1 0 0 15 0 22 0 523002294 16077586432 280495 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32601] ppid=32590 vsize=15700768 CPUtime=0.01 cores=1,3,5,7
/proc/32592/task/32601/stat : 32601 (java) S 32590 32592 32264 0 -1 4202560 5363 0 0 0 1 0 0 0 15 0 22 0 523002294 16077586432 280496 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32602] ppid=32590 vsize=15700768 CPUtime=0.02 cores=1,3,5,7
/proc/32592/task/32602/stat : 32602 (java) S 32590 32592 32264 0 -1 4202560 7394 0 0 0 1 1 0 0 15 0 22 0 523002294 16077586432 280498 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0

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

[pid=32592/tid=32612] ppid=32590 vsize=15700768 CPUtime=1048.65 cores=1,3,5,7
/proc/32592/task/32612/stat : 32612 (java) R 32590 32592 32264 0 -1 4202560 223385 0 0 0 104831 34 0 0 25 0 22 0 523002334 16077586432 92026 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32592/tid=32613] ppid=32590 vsize=15700768 CPUtime=1048.56 cores=1,3,5,7
/proc/32592/task/32613/stat : 32613 (java) R 32590 32592 32264 0 -1 4202560 219783 0 0 0 104821 35 0 0 25 0 22 0 523002334 16077586432 92028 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505845782 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32592/tid=32614] ppid=32590 vsize=15700768 CPUtime=1048.49 cores=1,3,5,7
/proc/32592/task/32614/stat : 32614 (java) R 32590 32592 32264 0 -1 4202560 219211 0 0 0 104813 36 0 0 25 0 22 0 523002334 16077586432 92029 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505958282 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4224.45
Current children cumulated vsize (KiB) 15700768

[startup+1122.3 s]
/proc/loadavg: 8.10 8.07 8.05 9/220 32656
/proc/meminfo: memFree=27555624/32951124 swapFree=67111364/67111528
[pid=32592] ppid=32590 vsize=15700768 CPUtime=4463.12 cores=1,3,5,7
/proc/32592/stat : 32592 (java) S 32590 32592 32264 0 -1 4202496 1609881 0 1 0 445948 364 0 0 25 0 22 0 523002293 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32592/statm: 3925192 94090 2298 9 0 3915911 0
[pid=32592/tid=32593] ppid=32590 vsize=15700768 CPUtime=0.84 cores=1,3,5,7
/proc/32592/task/32593/stat : 32593 (java) S 32590 32592 32264 0 -1 4202560 29672 0 1 0 80 4 0 0 20 0 22 0 523002293 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32595] ppid=32590 vsize=15700768 CPUtime=3.35 cores=1,3,5,7
/proc/32592/task/32595/stat : 32595 (java) S 32590 32592 32264 0 -1 4202560 77235 0 0 0 320 15 0 0 15 0 22 0 523002294 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32596] ppid=32590 vsize=15700768 CPUtime=3.29 cores=1,3,5,7
/proc/32592/task/32596/stat : 32596 (java) S 32590 32592 32264 0 -1 4202560 78951 0 0 0 310 19 0 0 15 0 22 0 523002294 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32597] ppid=32590 vsize=15700768 CPUtime=3.33 cores=1,3,5,7
/proc/32592/task/32597/stat : 32597 (java) S 32590 32592 32264 0 -1 4202560 80328 0 0 0 316 17 0 0 16 0 22 0 523002294 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32598] ppid=32590 vsize=15700768 CPUtime=3.23 cores=1,3,5,7
/proc/32592/task/32598/stat : 32598 (java) S 32590 32592 32264 0 -1 4202560 81007 0 0 0 304 19 0 0 16 0 22 0 523002294 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32599] ppid=32590 vsize=15700768 CPUtime=3.22 cores=1,3,5,7
/proc/32592/task/32599/stat : 32599 (java) S 32590 32592 32264 0 -1 4202560 76416 0 0 0 305 17 0 0 15 0 22 0 523002294 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32600] ppid=32590 vsize=15700768 CPUtime=3.3 cores=1,3,5,7
/proc/32592/task/32600/stat : 32600 (java) S 32590 32592 32264 0 -1 4202560 79795 0 0 0 311 19 0 0 15 0 22 0 523002294 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32601] ppid=32590 vsize=15700768 CPUtime=3.31 cores=1,3,5,7
/proc/32592/task/32601/stat : 32601 (java) S 32590 32592 32264 0 -1 4202560 78534 0 0 0 313 18 0 0 15 0 22 0 523002294 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32602] ppid=32590 vsize=15700768 CPUtime=3.16 cores=1,3,5,7
/proc/32592/task/32602/stat : 32602 (java) S 32590 32592 32264 0 -1 4202560 76192 0 0 0 299 17 0 0 15 0 22 0 523002294 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32603] ppid=32590 vsize=15700768 CPUtime=1.76 cores=1,3,5,7
/proc/32592/task/32603/stat : 32603 (java) S 32590 32592 32264 0 -1 4202560 3892 0 0 0 117 59 0 0 15 0 22 0 523002295 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256165376 0 0 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32604] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32604/stat : 32604 (java) S 32590 32592 32264 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 523002295 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32605] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32605/stat : 32605 (java) S 32590 32592 32264 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523002295 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32606] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32606/stat : 32606 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523002297 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32607] ppid=32590 vsize=15700768 CPUtime=1.04 cores=1,3,5,7
/proc/32592/task/32607/stat : 32607 (java) S 32590 32592 32264 0 -1 4202560 14508 0 0 0 103 1 0 0 16 0 22 0 523002297 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32608] ppid=32590 vsize=15700768 CPUtime=1.28 cores=1,3,5,7
/proc/32592/task/32608/stat : 32608 (java) S 32590 32592 32264 0 -1 4202560 6150 0 0 0 128 0 0 0 15 0 22 0 523002297 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32609] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32609/stat : 32609 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523002297 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32610] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32610/stat : 32610 (java) S 32590 32592 32264 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 22 0 523002297 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32611] ppid=32590 vsize=15700768 CPUtime=1108.4 cores=1,3,5,7
/proc/32592/task/32611/stat : 32611 (java) R 32590 32592 32264 0 -1 4202560 234543 0 0 0 110799 41 0 0 25 0 22 0 523002334 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505752389 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32592/tid=32612] ppid=32590 vsize=15700768 CPUtime=1107.84 cores=1,3,5,7
/proc/32592/task/32612/stat : 32612 (java) R 32590 32592 32264 0 -1 4202560 232689 0 0 0 110748 36 0 0 25 0 22 0 523002334 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32592/tid=32613] ppid=32590 vsize=15700768 CPUtime=1107.78 cores=1,3,5,7
/proc/32592/task/32613/stat : 32613 (java) R 32590 32592 32264 0 -1 4202560 229295 0 0 0 110742 36 0 0 25 0 22 0 523002334 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505770581 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=32592/tid=32614] ppid=32590 vsize=15700768 CPUtime=1107.81 cores=1,3,5,7
/proc/32592/task/32614/stat : 32614 (java) R 32590 32592 32264 0 -1 4202560 229225 0 0 0 110743 38 0 0 25 0 22 0 523002334 16077586432 94090 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505809302 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4463.12
Current children cumulated vsize (KiB) 15700768

[startup+1182.3 s]
/proc/loadavg: 8.10 8.07 8.05 9/220 32657
/proc/meminfo: memFree=28468232/32951124 swapFree=67111364/67111528
[pid=32592] ppid=32590 vsize=15700768 CPUtime=4701.77 cores=1,3,5,7
/proc/32592/stat : 32592 (java) S 32590 32592 32264 0 -1 4202496 1685006 0 1 0 469792 385 0 0 25 0 22 0 523002293 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32592/statm: 3925192 96062 2298 9 0 3915911 0
[pid=32592/tid=32593] ppid=32590 vsize=15700768 CPUtime=0.84 cores=1,3,5,7
/proc/32592/task/32593/stat : 32593 (java) S 32590 32592 32264 0 -1 4202560 29672 0 1 0 80 4 0 0 20 0 22 0 523002293 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32595] ppid=32590 vsize=15700768 CPUtime=3.51 cores=1,3,5,7
/proc/32592/task/32595/stat : 32595 (java) S 32590 32592 32264 0 -1 4202560 81160 0 0 0 335 16 0 0 15 0 22 0 523002294 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32596] ppid=32590 vsize=15700768 CPUtime=3.47 cores=1,3,5,7
/proc/32592/task/32596/stat : 32596 (java) S 32590 32592 32264 0 -1 4202560 82885 0 0 0 327 20 0 0 16 0 22 0 523002294 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32597] ppid=32590 vsize=15700768 CPUtime=3.49 cores=1,3,5,7
/proc/32592/task/32597/stat : 32597 (java) S 32590 32592 32264 0 -1 4202560 84175 0 0 0 331 18 0 0 15 0 22 0 523002294 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32598] ppid=32590 vsize=15700768 CPUtime=3.4 cores=1,3,5,7
/proc/32592/task/32598/stat : 32598 (java) S 32590 32592 32264 0 -1 4202560 85022 0 0 0 321 19 0 0 16 0 22 0 523002294 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32599] ppid=32590 vsize=15700768 CPUtime=3.41 cores=1,3,5,7
/proc/32592/task/32599/stat : 32599 (java) S 32590 32592 32264 0 -1 4202560 80427 0 0 0 322 19 0 0 15 0 22 0 523002294 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32600] ppid=32590 vsize=15700768 CPUtime=3.5 cores=1,3,5,7
/proc/32592/task/32600/stat : 32600 (java) S 32590 32592 32264 0 -1 4202560 84224 0 0 0 329 21 0 0 15 0 22 0 523002294 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32601] ppid=32590 vsize=15700768 CPUtime=3.5 cores=1,3,5,7
/proc/32592/task/32601/stat : 32601 (java) S 32590 32592 32264 0 -1 4202560 82421 0 0 0 331 19 0 0 15 0 22 0 523002294 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32602] ppid=32590 vsize=15700768 CPUtime=3.36 cores=1,3,5,7
/proc/32592/task/32602/stat : 32602 (java) S 32590 32592 32264 0 -1 4202560 80549 0 0 0 317 19 0 0 15 0 22 0 523002294 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32603] ppid=32590 vsize=15700768 CPUtime=1.89 cores=1,3,5,7
/proc/32592/task/32603/stat : 32603 (java) S 32590 32592 32264 0 -1 4202560 4142 0 0 0 126 63 0 0 15 0 22 0 523002295 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256165376 0 0 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32604] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32604/stat : 32604 (java) S 32590 32592 32264 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 523002295 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32605] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32605/stat : 32605 (java) S 32590 32592 32264 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523002295 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32606] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32606/stat : 32606 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523002297 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32607] ppid=32590 vsize=15700768 CPUtime=1.04 cores=1,3,5,7
/proc/32592/task/32607/stat : 32607 (java) S 32590 32592 32264 0 -1 4202560 14508 0 0 0 103 1 0 0 16 0 22 0 523002297 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32608] ppid=32590 vsize=15700768 CPUtime=1.28 cores=1,3,5,7
/proc/32592/task/32608/stat : 32608 (java) S 32590 32592 32264 0 -1 4202560 6150 0 0 0 128 0 0 0 15 0 22 0 523002297 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32609] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32609/stat : 32609 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523002297 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32610] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32610/stat : 32610 (java) S 32590 32592 32264 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 523002297 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32611] ppid=32590 vsize=15700768 CPUtime=1167.75 cores=1,3,5,7
/proc/32592/task/32611/stat : 32611 (java) R 32590 32592 32264 0 -1 4202560 245742 0 0 0 116733 42 0 0 25 0 22 0 523002334 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32592/tid=32612] ppid=32590 vsize=15700768 CPUtime=1167.07 cores=1,3,5,7
/proc/32592/task/32612/stat : 32612 (java) R 32590 32592 32264 0 -1 4202560 243188 0 0 0 116669 38 0 0 25 0 22 0 523002334 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32592/tid=32613] ppid=32590 vsize=15700768 CPUtime=1167.02 cores=1,3,5,7
/proc/32592/task/32613/stat : 32613 (java) R 32590 32592 32264 0 -1 4202560 239912 0 0 0 116663 39 0 0 25 0 22 0 523002334 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912506016549 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32592/tid=32614] ppid=32590 vsize=15700768 CPUtime=1167.09 cores=1,3,5,7
/proc/32592/task/32614/stat : 32614 (java) R 32590 32592 32264 0 -1 4202560 239377 0 0 0 116670 39 0 0 25 0 22 0 523002334 16077586432 96062 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505714496 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4701.77
Current children cumulated vsize (KiB) 15700768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1207.1 s]
/proc/loadavg: 7.45 7.93 8.00 5/193 32678
/proc/meminfo: memFree=30590432/32951124 swapFree=67111364/67111528
[pid=32592] ppid=32590 vsize=15700768 CPUtime=4800.39 cores=1,3,5,7
/proc/32592/stat : 32592 (java) S 32590 32592 32264 0 -1 4202496 1707331 0 1 0 479647 392 0 0 25 0 22 0 523002293 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/32592/statm: 3925192 88238 2298 9 0 3915911 0
[pid=32592/tid=32593] ppid=32590 vsize=15700768 CPUtime=0.84 cores=1,3,5,7
/proc/32592/task/32593/stat : 32593 (java) S 32590 32592 32264 0 -1 4202560 29672 0 1 0 80 4 0 0 20 0 22 0 523002293 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32595] ppid=32590 vsize=15700768 CPUtime=3.61 cores=1,3,5,7
/proc/32592/task/32595/stat : 32595 (java) S 32590 32592 32264 0 -1 4202560 82352 0 0 0 344 17 0 0 15 0 22 0 523002294 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32596] ppid=32590 vsize=15700768 CPUtime=3.54 cores=1,3,5,7
/proc/32592/task/32596/stat : 32596 (java) S 32590 32592 32264 0 -1 4202560 83922 0 0 0 334 20 0 0 15 0 22 0 523002294 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32597] ppid=32590 vsize=15700768 CPUtime=3.57 cores=1,3,5,7
/proc/32592/task/32597/stat : 32597 (java) S 32590 32592 32264 0 -1 4202560 85286 0 0 0 338 19 0 0 16 0 22 0 523002294 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32598] ppid=32590 vsize=15700768 CPUtime=3.48 cores=1,3,5,7
/proc/32592/task/32598/stat : 32598 (java) S 32590 32592 32264 0 -1 4202560 86231 0 0 0 328 20 0 0 15 0 22 0 523002294 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32599] ppid=32590 vsize=15700768 CPUtime=3.49 cores=1,3,5,7
/proc/32592/task/32599/stat : 32599 (java) S 32590 32592 32264 0 -1 4202560 81480 0 0 0 330 19 0 0 15 0 22 0 523002294 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32600] ppid=32590 vsize=15700768 CPUtime=3.57 cores=1,3,5,7
/proc/32592/task/32600/stat : 32600 (java) S 32590 32592 32264 0 -1 4202560 85942 0 0 0 336 21 0 0 16 0 22 0 523002294 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32601] ppid=32590 vsize=15700768 CPUtime=3.58 cores=1,3,5,7
/proc/32592/task/32601/stat : 32601 (java) S 32590 32592 32264 0 -1 4202560 83501 0 0 0 339 19 0 0 15 0 22 0 523002294 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32602] ppid=32590 vsize=15700768 CPUtime=3.42 cores=1,3,5,7
/proc/32592/task/32602/stat : 32602 (java) S 32590 32592 32264 0 -1 4202560 81615 0 0 0 323 19 0 0 15 0 22 0 523002294 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 7 0 0 0
[pid=32592/tid=32603] ppid=32590 vsize=15700768 CPUtime=1.93 cores=1,3,5,7
/proc/32592/task/32603/stat : 32603 (java) S 32590 32592 32264 0 -1 4202560 4267 0 0 0 129 64 0 0 16 0 22 0 523002295 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256165376 0 0 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32604] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32604/stat : 32604 (java) S 32590 32592 32264 0 -1 4202560 18 0 0 0 0 0 0 0 18 0 22 0 523002295 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32605] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32605/stat : 32605 (java) S 32590 32592 32264 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 523002295 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32606] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32606/stat : 32606 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523002297 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256172465 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32607] ppid=32590 vsize=15700768 CPUtime=1.04 cores=1,3,5,7
/proc/32592/task/32607/stat : 32607 (java) S 32590 32592 32264 0 -1 4202560 14508 0 0 0 103 1 0 0 16 0 22 0 523002297 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 1 0 0 0
[pid=32592/tid=32608] ppid=32590 vsize=15700768 CPUtime=1.28 cores=1,3,5,7
/proc/32592/task/32608/stat : 32608 (java) S 32590 32592 32264 0 -1 4202560 6150 0 0 0 128 0 0 0 15 0 22 0 523002297 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 3 0 0 0
[pid=32592/tid=32609] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32609/stat : 32609 (java) S 32590 32592 32264 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523002297 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256164761 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32610] ppid=32590 vsize=15700768 CPUtime=0 cores=1,3,5,7
/proc/32592/task/32610/stat : 32610 (java) S 32590 32592 32264 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 523002297 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 228256165376 0 4 0 16800975 18446604471115966656 0 0 -1 5 0 0 0
[pid=32592/tid=32611] ppid=32590 vsize=15700768 CPUtime=1192.27 cores=1,3,5,7
/proc/32592/task/32611/stat : 32611 (java) R 32590 32592 32264 0 -1 4202560 248765 0 0 0 119184 43 0 0 25 0 22 0 523002334 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505770512 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=32592/tid=32612] ppid=32590 vsize=15700768 CPUtime=1191.54 cores=1,3,5,7
/proc/32592/task/32612/stat : 32612 (java) R 32590 32592 32264 0 -1 4202560 246351 0 0 0 119116 38 0 0 25 0 22 0 523002334 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505832450 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=32592/tid=32613] ppid=32590 vsize=15700768 CPUtime=1191.53 cores=1,3,5,7
/proc/32592/task/32613/stat : 32613 (java) R 32590 32592 32264 0 -1 4202560 243172 0 0 0 119113 40 0 0 25 0 22 0 523002334 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505714496 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=32592/tid=32614] ppid=32590 vsize=15700768 CPUtime=1191.52 cores=1,3,5,7
/proc/32592/task/32614/stat : 32614 (java) R 32590 32592 32264 0 -1 4202560 242663 0 0 0 119112 40 0 0 25 0 22 0 523002334 16077586432 88238 33554432000 1073741824 1073778376 140734833937104 18446744073709551615 46912505770232 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 15700768

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.13
CPU time (s): 4800.44
CPU user time (s): 4796.5
CPU system time (s): 3.9394
CPU usage (%): 397.673
Max. virtual memory (cumulated for all children) (KiB): 15703428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.5
system time used= 3.9394
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1707357
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= 228360
involuntary context switches= 138138

runsolver used 2.06169 second user time and 4.5783 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 23:54:03
IDJOB=3311207
IDBENCH=82592
IDSOLVER=1698
FILE ID=node136/3311207-1304114043
RUNJOBID= node136-1304111628-32283
PBS_JOBID= 13170688
Free space on /tmp= 72332 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/large/unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311207-1304114043/watcher-3311207-1304114043 -o /tmp/evaluation-result-3311207-1304114043/solver-3311207-1304114043 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311207-1304114043.cnf -hbr 2

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

MD5SUM BENCH= 274f6c2fc3e630d8716a09f7c87233f2
RANDOM SEED=1413880077

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:      30067232 kB
Buffers:        589924 kB
Cached:         934604 kB
SwapCached:          0 kB
Active:        1002536 kB
Inactive:      1456036 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30067232 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            4432 kB
Writeback:           0 kB
AnonPages:      933828 kB
Mapped:          23384 kB
Slab:           360624 kB
PageTables:       6588 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1912596 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= 72332 MiB
End job on node136 at 2011-04-30 00:14:12