Trace number 3313316

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.55 1205.24

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
MD5SUMee159af2e208d290f7f3fefd15c344f2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark731.23
Satisfiable
(Un)Satisfiability was proved
Number of variables44692
Number of clauses129620
Sum of the clauses size302444
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 286412
Number of clauses of size 343206
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.11/0.42	13:43 INFO : Reading from input HOME/instance-3313316-1307639623.cnf
0.87/1.08	Executor set job limit to 1000000
0.87/1.08	Executor set job limit to 1000000
0.87/1.08	Executor set job limit to 1000000
0.87/1.08	Executor set job limit to 1000000
0.87/1.08	Starting Executor!
0.87/1.08	Starting Executor!
0.87/1.08	Starting Executor!
0.87/1.08	Starting Executor!
4.84/3.09	13:46 INFO : 43301 variables remaining out of 44692
4.84/3.09	13:46 INFO : 1025622 literals remaining out of 432064
647.43/164.98	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:2).
647.43/164.98	log4j:WARN Please initialize the log4j system properly.
647.43/164.98	log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.

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: 977)

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

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: 5.08 7.16 7.78 4/172 20797
/proc/meminfo: memFree=32144208/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=9020 CPUtime=0 cores=1,3,5,7
/proc/20797/stat : 20797 (java) R 20795 20797 19795 0 -1 4194304 588 0 0 0 0 0 0 0 22 0 1 0 875563235 9236480 78 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270608187447 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20797/statm: 2242 90 69 9 0 34 0

[startup+0.0781559 s]
/proc/loadavg: 5.08 7.16 7.78 4/172 20797
/proc/meminfo: memFree=32144208/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=15609780 CPUtime=0.06 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20795 20797 19795 0 -1 4202496 4417 0 1 0 5 1 0 0 22 0 18 0 875563235 15984414720 3856 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20797/statm: 3902445 3856 1779 9 0 3893164 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15609780

[startup+0.101138 s]
/proc/loadavg: 5.08 7.16 7.78 4/172 20797
/proc/meminfo: memFree=32144208/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=15676596 CPUtime=0.09 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20795 20797 19795 0 -1 4202496 5407 0 1 0 8 1 0 0 22 0 18 0 875563235 16052834304 4837 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20797/statm: 3919149 4837 2115 9 0 3909868 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676596

[startup+0.30109 s]
/proc/loadavg: 5.08 7.16 7.78 4/172 20797
/proc/meminfo: memFree=32144208/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=15676708 CPUtime=0.11 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20795 20797 19795 0 -1 4202496 5529 0 1 0 9 2 0 0 22 0 18 0 875563235 16052948992 4959 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20797/statm: 3919177 4959 2116 9 0 3909896 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676708

[startup+0.701017 s]
/proc/loadavg: 5.08 7.16 7.78 4/172 20797
/proc/meminfo: memFree=32144208/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=15682048 CPUtime=0.56 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20795 20797 19795 0 -1 4202496 21583 0 1 0 52 4 0 0 22 0 18 0 875563235 16058417152 19790 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20797/statm: 3920512 19797 2206 9 0 3911231 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 15682048

[startup+1.50088 s]
/proc/loadavg: 5.08 7.16 7.78 3/212 20842
/proc/meminfo: memFree=31836108/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=15713916 CPUtime=1.79 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20795 20797 19795 0 -1 4202496 51510 0 1 0 171 8 0 0 22 0 22 0 875563235 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20797/statm: 3928479 46925 2263 9 0 3919198 0
[pid=20797/tid=20800] ppid=20795 vsize=15713916 CPUtime=1.11 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) R 20795 20797 19795 0 -1 4202560 35602 0 1 0 106 5 0 0 20 0 22 0 875563236 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46934459149860 0 4 0 16800975 0 0 0 -1 5 0 0 19
[pid=20797/tid=20801] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20795 20797 19795 0 -1 4202560 46 0 0 0 0 0 0 0 16 0 22 0 875563236 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20802] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 875563236 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20803] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 875563236 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20804] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 875563236 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20805] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20795 20797 19795 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 875563236 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20806] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20795 20797 19795 0 -1 4202560 67 0 0 0 0 0 0 0 16 0 22 0 875563236 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20807] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20795 20797 19795 0 -1 4202560 384 0 0 0 0 0 0 0 16 0 22 0 875563236 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20808] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) S 20795 20797 19795 0 -1 4202560 690 0 0 0 0 0 0 0 16 0 22 0 875563236 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20813] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20813/stat : 20813 (java) S 20795 20797 19795 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 875563237 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 0 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20818] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20818/stat : 20818 (java) S 20795 20797 19795 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 875563238 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20819] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20819/stat : 20819 (java) S 20795 20797 19795 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 875563238 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20831] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20831/stat : 20831 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 875563240 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624934321 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20832] ppid=20795 vsize=15713916 CPUtime=0.18 cores=1,3,5,7
/proc/20797/task/20832/stat : 20832 (java) S 20795 20797 19795 0 -1 4202560 1503 0 0 0 18 0 0 0 15 0 22 0 875563240 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20833] ppid=20795 vsize=15713916 CPUtime=0.46 cores=1,3,5,7
/proc/20797/task/20833/stat : 20833 (java) R 20795 20797 19795 0 -1 4202560 11763 0 0 0 45 1 0 0 16 0 22 0 875563240 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46934457935170 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20797/tid=20834] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20834/stat : 20834 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 875563240 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20835] ppid=20795 vsize=15713916 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20835/stat : 20835 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875563240 16091049984 46925 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 15713916

[startup+3.1016 s]
/proc/loadavg: 5.00 7.11 7.76 5/220 20850
/proc/meminfo: memFree=31760820/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=15718528 CPUtime=5 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20795 20797 19795 0 -1 4202496 65556 0 1 0 490 10 0 0 22 0 22 0 875563235 16095772672 55059 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20797/statm: 3929632 55059 2267 9 0 3920351 0
[pid=20797/tid=20800] ppid=20795 vsize=15718528 CPUtime=2.69 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) R 20795 20797 19795 0 -1 4202560 35656 0 1 0 264 5 0 0 25 0 22 0 875563236 16095772672 55059 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46934462912403 0 4 0 16800975 0 0 0 -1 5 0 0 19
[pid=20797/tid=20801] ppid=20795 vsize=15718528 CPUtime=0.01 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20795 20797 19795 0 -1 4202560 1589 0 0 0 1 0 0 0 16 0 22 0 875563236 16095772672 55059 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20802] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875563236 16095772672 55059 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20803] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875563236 16095772672 55060 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20804] ppid=20795 vsize=15718528 CPUtime=0.01 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20795 20797 19795 0 -1 4202560 1334 0 0 0 1 0 0 0 16 0 22 0 875563236 16095772672 55060 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20805] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20795 20797 19795 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 875563236 16095772672 55060 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20806] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20795 20797 19795 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 875563236 16095772672 55060 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20807] ppid=20795 vsize=15718528 CPUtime=0.01 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20795 20797 19795 0 -1 4202560 2150 0 0 0 1 0 0 0 16 0 22 0 875563236 16095772672 55060 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20808] ppid=20795 vsize=15718528 CPUtime=0.01 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) S 20795 20797 19795 0 -1 4202560 1986 0 0 0 1 0 0 0 16 0 22 0 875563236 16095772672 55060 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20813] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20813/stat : 20813 (java) S 20795 20797 19795 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 875563237 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 0 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20818] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20818/stat : 20818 (java) S 20795 20797 19795 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 875563238 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20819] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20819/stat : 20819 (java) S 20795 20797 19795 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 875563238 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20831] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20831/stat : 20831 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 875563240 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624934321 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20832] ppid=20795 vsize=15718528 CPUtime=0.63 cores=1,3,5,7
/proc/20797/task/20832/stat : 20832 (java) S 20795 20797 19795 0 -1 4202560 4247 0 0 0 63 0 0 0 15 0 22 0 875563240 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20833] ppid=20795 vsize=15718528 CPUtime=1.58 cores=1,3,5,7
/proc/20797/task/20833/stat : 20833 (java) S 20795 20797 19795 0 -1 4202560 17071 0 0 0 156 2 0 0 15 0 22 0 875563240 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20834] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20834/stat : 20834 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 875563240 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20835] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20835/stat : 20835 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875563240 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20843] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20843/stat : 20843 (java) S 20795 20797 19795 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 22 0 875563343 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20844] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20844/stat : 20844 (java) S 20795 20797 19795 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 875563343 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20845] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20845/stat : 20845 (java) S 20795 20797 19795 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 875563343 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20846] ppid=20795 vsize=15718528 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20846/stat : 20846 (java) S 20795 20797 19795 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 875563343 16095772672 55061 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5
Current children cumulated vsize (KiB) 15718528

[startup+6.301 s]
/proc/loadavg: 5.00 7.11 7.76 5/220 20850
/proc/meminfo: memFree=31255532/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=15712732 CPUtime=15.39 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20795 20797 19795 0 -1 4202496 196993 0 1 0 1511 28 0 0 22 0 22 0 875563235 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20797/statm: 3928183 183967 2275 9 0 3918902 0
[pid=20797/tid=20800] ppid=20795 vsize=15712732 CPUtime=2.69 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20795 20797 19795 0 -1 4202560 35661 0 1 0 264 5 0 0 25 0 22 0 875563236 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 19
[pid=20797/tid=20801] ppid=20795 vsize=15712732 CPUtime=0.1 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20795 20797 19795 0 -1 4202560 12380 0 0 0 9 1 0 0 15 0 22 0 875563236 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20802] ppid=20795 vsize=15712732 CPUtime=0.18 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20795 20797 19795 0 -1 4202560 25791 0 0 0 15 3 0 0 16 0 22 0 875563236 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20803] ppid=20795 vsize=15712732 CPUtime=0.08 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20795 20797 19795 0 -1 4202560 12412 0 0 0 7 1 0 0 16 0 22 0 875563236 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20804] ppid=20795 vsize=15712732 CPUtime=0.12 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20795 20797 19795 0 -1 4202560 14266 0 0 0 10 2 0 0 16 0 22 0 875563236 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20805] ppid=20795 vsize=15712732 CPUtime=0.15 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20795 20797 19795 0 -1 4202560 26433 0 0 0 12 3 0 0 15 0 22 0 875563236 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20806] ppid=20795 vsize=15712732 CPUtime=0.06 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20795 20797 19795 0 -1 4202560 4656 0 0 0 6 0 0 0 15 0 22 0 875563236 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20807] ppid=20795 vsize=15712732 CPUtime=0.14 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20795 20797 19795 0 -1 4202560 17101 0 0 0 12 2 0 0 15 0 22 0 875563236 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20808] ppid=20795 vsize=15712732 CPUtime=0.05 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) S 20795 20797 19795 0 -1 4202560 8831 0 0 0 4 1 0 0 15 0 22 0 875563236 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20813] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20813/stat : 20813 (java) S 20795 20797 19795 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 22 0 875563237 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 0 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20818] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20818/stat : 20818 (java) S 20795 20797 19795 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 875563238 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20819] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20819/stat : 20819 (java) S 20795 20797 19795 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 875563238 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20831] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20831/stat : 20831 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 875563240 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624934321 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20832] ppid=20795 vsize=15712732 CPUtime=0.86 cores=1,3,5,7
/proc/20797/task/20832/stat : 20832 (java) S 20795 20797 19795 0 -1 4202560 4982 0 0 0 86 0 0 0 15 0 22 0 875563240 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20833] ppid=20795 vsize=15712732 CPUtime=1.88 cores=1,3,5,7
/proc/20797/task/20833/stat : 20833 (java) S 20795 20797 19795 0 -1 4202560 17103 0 0 0 186 2 0 0 15 0 22 0 875563240 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20834] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20834/stat : 20834 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 875563240 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20835] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20835/stat : 20835 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 875563240 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20843] ppid=20795 vsize=15712732 CPUtime=1.9 cores=1,3,5,7
/proc/20797/task/20843/stat : 20843 (java) R 20795 20797 19795 0 -1 4202560 2687 0 0 0 190 0 0 0 16 0 22 0 875563343 16089837568 183967 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912506492426 0 4 0 16800975 0 0 0 -1 3 0 0 0

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

/proc/meminfo: memFree=17382744/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=15712732 CPUtime=4469.99 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20795 20797 19795 0 -1 4202496 1927170 0 1 0 446725 274 0 0 22 0 22 0 875563235 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20797/statm: 3928183 1557726 2299 9 0 3918902 0
[pid=20797/tid=20800] ppid=20795 vsize=15712732 CPUtime=2.69 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20795 20797 19795 0 -1 4202560 35661 0 1 0 264 5 0 0 25 0 22 0 875563236 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 19
[pid=20797/tid=20801] ppid=20795 vsize=15712732 CPUtime=2.57 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20795 20797 19795 0 -1 4202560 126358 0 0 0 237 20 0 0 16 0 22 0 875563236 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20802] ppid=20795 vsize=15712732 CPUtime=2.69 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20795 20797 19795 0 -1 4202560 98742 0 0 0 254 15 0 0 15 0 22 0 875563236 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20803] ppid=20795 vsize=15712732 CPUtime=2.54 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20795 20797 19795 0 -1 4202560 128508 0 0 0 236 18 0 0 15 0 22 0 875563236 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20804] ppid=20795 vsize=15712732 CPUtime=2.92 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20795 20797 19795 0 -1 4202560 132013 0 0 0 273 19 0 0 15 0 22 0 875563236 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20805] ppid=20795 vsize=15712732 CPUtime=2.56 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20795 20797 19795 0 -1 4202560 110933 0 0 0 239 17 0 0 16 0 22 0 875563236 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20806] ppid=20795 vsize=15712732 CPUtime=2.83 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20795 20797 19795 0 -1 4202560 162109 0 0 0 259 24 0 0 16 0 22 0 875563236 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20807] ppid=20795 vsize=15712732 CPUtime=2.83 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20795 20797 19795 0 -1 4202560 157487 0 0 0 261 22 0 0 15 0 22 0 875563236 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20808] ppid=20795 vsize=15712732 CPUtime=2.7 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) S 20795 20797 19795 0 -1 4202560 108925 0 0 0 254 16 0 0 16 0 22 0 875563236 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20813] ppid=20795 vsize=15712732 CPUtime=0.8 cores=1,3,5,7
/proc/20797/task/20813/stat : 20813 (java) S 20795 20797 19795 0 -1 4202560 9616 0 0 0 73 7 0 0 15 0 22 0 875563237 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 0 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20818] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20818/stat : 20818 (java) S 20795 20797 19795 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 875563238 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20819] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20819/stat : 20819 (java) S 20795 20797 19795 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 875563238 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20831] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20831/stat : 20831 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 875563240 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624934321 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20832] ppid=20795 vsize=15712732 CPUtime=1.19 cores=1,3,5,7
/proc/20797/task/20832/stat : 20832 (java) S 20795 20797 19795 0 -1 4202560 6336 0 0 0 118 1 0 0 15 0 22 0 875563240 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20833] ppid=20795 vsize=15712732 CPUtime=2.46 cores=1,3,5,7
/proc/20797/task/20833/stat : 20833 (java) S 20795 20797 19795 0 -1 4202560 17174 0 0 0 244 2 0 0 15 0 22 0 875563240 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20834] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20834/stat : 20834 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 875563240 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20835] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20835/stat : 20835 (java) S 20795 20797 19795 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 875563240 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20843] ppid=20795 vsize=15712732 CPUtime=1110.47 cores=1,3,5,7
/proc/20797/task/20843/stat : 20843 (java) R 20795 20797 19795 0 -1 4202560 156869 0 0 0 111029 18 0 0 25 0 22 0 875563343 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912505931005 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20797/tid=20844] ppid=20795 vsize=15712732 CPUtime=1107.17 cores=1,3,5,7
/proc/20797/task/20844/stat : 20844 (java) R 20795 20797 19795 0 -1 4202560 316127 0 0 0 110679 38 0 0 25 0 22 0 875563343 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912506223712 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20797/tid=20845] ppid=20795 vsize=15712732 CPUtime=1112.07 cores=1,3,5,7
/proc/20797/task/20845/stat : 20845 (java) R 20795 20797 19795 0 -1 4202560 181933 0 0 0 111186 21 0 0 25 0 22 0 875563343 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912506443068 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20797/tid=20846] ppid=20795 vsize=15712732 CPUtime=1111.32 cores=1,3,5,7
/proc/20797/task/20846/stat : 20846 (java) R 20795 20797 19795 0 -1 4202560 176929 0 0 0 111112 20 0 0 25 0 22 0 875563343 16089837568 1557726 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912505994746 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4469.99
Current children cumulated vsize (KiB) 15712732

[startup+1182.3 s]
/proc/loadavg: 8.03 8.06 8.00 9/220 20881
/proc/meminfo: memFree=17372176/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=15712732 CPUtime=4709.61 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20795 20797 19795 0 -1 4202496 1927207 0 1 0 470687 274 0 0 22 0 22 0 875563235 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20797/statm: 3928183 1557736 2299 9 0 3918902 0
[pid=20797/tid=20800] ppid=20795 vsize=15712732 CPUtime=2.69 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20795 20797 19795 0 -1 4202560 35661 0 1 0 264 5 0 0 25 0 22 0 875563236 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 19
[pid=20797/tid=20801] ppid=20795 vsize=15712732 CPUtime=2.68 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20795 20797 19795 0 -1 4202560 126358 0 0 0 248 20 0 0 16 0 22 0 875563236 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20802] ppid=20795 vsize=15712732 CPUtime=2.78 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20795 20797 19795 0 -1 4202560 98742 0 0 0 263 15 0 0 16 0 22 0 875563236 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20803] ppid=20795 vsize=15712732 CPUtime=2.67 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20795 20797 19795 0 -1 4202560 128508 0 0 0 249 18 0 0 15 0 22 0 875563236 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20804] ppid=20795 vsize=15712732 CPUtime=3.02 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20795 20797 19795 0 -1 4202560 132013 0 0 0 283 19 0 0 16 0 22 0 875563236 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20805] ppid=20795 vsize=15712732 CPUtime=2.63 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20795 20797 19795 0 -1 4202560 110933 0 0 0 246 17 0 0 15 0 22 0 875563236 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20806] ppid=20795 vsize=15712732 CPUtime=2.94 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20795 20797 19795 0 -1 4202560 162112 0 0 0 270 24 0 0 15 0 22 0 875563236 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20807] ppid=20795 vsize=15712732 CPUtime=3 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20795 20797 19795 0 -1 4202560 157493 0 0 0 278 22 0 0 15 0 22 0 875563236 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20808] ppid=20795 vsize=15712732 CPUtime=2.83 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) S 20795 20797 19795 0 -1 4202560 108925 0 0 0 267 16 0 0 16 0 22 0 875563236 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20813] ppid=20795 vsize=15712732 CPUtime=0.81 cores=1,3,5,7
/proc/20797/task/20813/stat : 20813 (java) S 20795 20797 19795 0 -1 4202560 9623 0 0 0 74 7 0 0 15 0 22 0 875563237 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 0 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20818] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20818/stat : 20818 (java) S 20795 20797 19795 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 875563238 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20819] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20819/stat : 20819 (java) S 20795 20797 19795 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 875563238 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20831] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20831/stat : 20831 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 875563240 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624934321 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20832] ppid=20795 vsize=15712732 CPUtime=1.19 cores=1,3,5,7
/proc/20797/task/20832/stat : 20832 (java) S 20795 20797 19795 0 -1 4202560 6336 0 0 0 118 1 0 0 15 0 22 0 875563240 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20833] ppid=20795 vsize=15712732 CPUtime=2.46 cores=1,3,5,7
/proc/20797/task/20833/stat : 20833 (java) S 20795 20797 19795 0 -1 4202560 17174 0 0 0 244 2 0 0 15 0 22 0 875563240 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20834] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20834/stat : 20834 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 875563240 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20835] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20835/stat : 20835 (java) S 20795 20797 19795 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 875563240 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20843] ppid=20795 vsize=15712732 CPUtime=1170.23 cores=1,3,5,7
/proc/20797/task/20843/stat : 20843 (java) R 20795 20797 19795 0 -1 4202560 156872 0 0 0 117005 18 0 0 25 0 22 0 875563343 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912506223843 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20797/tid=20844] ppid=20795 vsize=15712732 CPUtime=1166.92 cores=1,3,5,7
/proc/20797/task/20844/stat : 20844 (java) R 20795 20797 19795 0 -1 4202560 316131 0 0 0 116654 38 0 0 25 0 22 0 875563343 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912505995018 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20797/tid=20845] ppid=20795 vsize=15712732 CPUtime=1171.82 cores=1,3,5,7
/proc/20797/task/20845/stat : 20845 (java) R 20795 20797 19795 0 -1 4202560 181940 0 0 0 117161 21 0 0 25 0 22 0 875563343 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46934462107888 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20797/tid=20846] ppid=20795 vsize=15712732 CPUtime=1170.75 cores=1,3,5,7
/proc/20797/task/20846/stat : 20846 (java) R 20795 20797 19795 0 -1 4202560 176932 0 0 0 117055 20 0 0 25 0 22 0 875563343 16089837568 1557736 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912505745493 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4709.61
Current children cumulated vsize (KiB) 15712732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205 s]
/proc/loadavg: 8.02 8.06 8.00 9/220 20882
/proc/meminfo: memFree=17372908/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=15712732 CPUtime=4800.29 cores=1,3,5,7
/proc/20797/stat : 20797 (java) S 20795 20797 19795 0 -1 4202496 1927219 0 1 0 479755 274 0 0 22 0 22 0 875563235 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624913381 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20797/statm: 3928183 1557738 2299 9 0 3918902 0
[pid=20797/tid=20800] ppid=20795 vsize=15712732 CPUtime=2.69 cores=1,3,5,7
/proc/20797/task/20800/stat : 20800 (java) S 20795 20797 19795 0 -1 4202560 35661 0 1 0 264 5 0 0 25 0 22 0 875563236 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 19
[pid=20797/tid=20801] ppid=20795 vsize=15712732 CPUtime=2.73 cores=1,3,5,7
/proc/20797/task/20801/stat : 20801 (java) S 20795 20797 19795 0 -1 4202560 126358 0 0 0 253 20 0 0 16 0 22 0 875563236 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20802] ppid=20795 vsize=15712732 CPUtime=2.82 cores=1,3,5,7
/proc/20797/task/20802/stat : 20802 (java) S 20795 20797 19795 0 -1 4202560 98742 0 0 0 267 15 0 0 15 0 22 0 875563236 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20803] ppid=20795 vsize=15712732 CPUtime=2.69 cores=1,3,5,7
/proc/20797/task/20803/stat : 20803 (java) S 20795 20797 19795 0 -1 4202560 128508 0 0 0 251 18 0 0 16 0 22 0 875563236 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20804] ppid=20795 vsize=15712732 CPUtime=3.08 cores=1,3,5,7
/proc/20797/task/20804/stat : 20804 (java) S 20795 20797 19795 0 -1 4202560 132013 0 0 0 289 19 0 0 16 0 22 0 875563236 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20805] ppid=20795 vsize=15712732 CPUtime=2.67 cores=1,3,5,7
/proc/20797/task/20805/stat : 20805 (java) S 20795 20797 19795 0 -1 4202560 110933 0 0 0 250 17 0 0 15 0 22 0 875563236 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20806] ppid=20795 vsize=15712732 CPUtime=2.97 cores=1,3,5,7
/proc/20797/task/20806/stat : 20806 (java) S 20795 20797 19795 0 -1 4202560 162113 0 0 0 273 24 0 0 15 0 22 0 875563236 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20807] ppid=20795 vsize=15712732 CPUtime=3.07 cores=1,3,5,7
/proc/20797/task/20807/stat : 20807 (java) S 20795 20797 19795 0 -1 4202560 157495 0 0 0 285 22 0 0 16 0 22 0 875563236 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20808] ppid=20795 vsize=15712732 CPUtime=2.87 cores=1,3,5,7
/proc/20797/task/20808/stat : 20808 (java) S 20795 20797 19795 0 -1 4202560 108925 0 0 0 271 16 0 0 15 0 22 0 875563236 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20813] ppid=20795 vsize=15712732 CPUtime=0.81 cores=1,3,5,7
/proc/20797/task/20813/stat : 20813 (java) S 20795 20797 19795 0 -1 4202560 9624 0 0 0 74 7 0 0 15 0 22 0 875563237 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 0 0 16800975 18446604458449393856 0 0 -1 1 0 0 0
[pid=20797/tid=20818] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20818/stat : 20818 (java) S 20795 20797 19795 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 875563238 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20819] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20819/stat : 20819 (java) S 20795 20797 19795 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 875563238 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20831] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20831/stat : 20831 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 875563240 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624934321 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20832] ppid=20795 vsize=15712732 CPUtime=1.19 cores=1,3,5,7
/proc/20797/task/20832/stat : 20832 (java) S 20795 20797 19795 0 -1 4202560 6336 0 0 0 118 1 0 0 15 0 22 0 875563240 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20833] ppid=20795 vsize=15712732 CPUtime=2.46 cores=1,3,5,7
/proc/20797/task/20833/stat : 20833 (java) S 20795 20797 19795 0 -1 4202560 17174 0 0 0 244 2 0 0 15 0 22 0 875563240 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 7 0 0 0
[pid=20797/tid=20834] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20834/stat : 20834 (java) S 20795 20797 19795 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 875563240 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624926617 0 4 0 16800975 18446604458449393856 0 0 -1 3 0 0 0
[pid=20797/tid=20835] ppid=20795 vsize=15712732 CPUtime=0 cores=1,3,5,7
/proc/20797/task/20835/stat : 20835 (java) S 20795 20797 19795 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 22 0 875563240 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 270624927232 0 4 0 16800975 18446604458449393856 0 0 -1 5 0 0 0
[pid=20797/tid=20843] ppid=20795 vsize=15712732 CPUtime=1192.84 cores=1,3,5,7
/proc/20797/task/20843/stat : 20843 (java) R 20795 20797 19795 0 -1 4202560 156874 0 0 0 119266 18 0 0 25 0 22 0 875563343 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912505601971 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20797/tid=20844] ppid=20795 vsize=15712732 CPUtime=1189.54 cores=1,3,5,7
/proc/20797/task/20844/stat : 20844 (java) R 20795 20797 19795 0 -1 4202560 316132 0 0 0 118916 38 0 0 25 0 22 0 875563343 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912506324350 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20797/tid=20845] ppid=20795 vsize=15712732 CPUtime=1194.44 cores=1,3,5,7
/proc/20797/task/20845/stat : 20845 (java) R 20795 20797 19795 0 -1 4202560 181943 0 0 0 119423 21 0 0 25 0 22 0 875563343 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912506720876 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20797/tid=20846] ppid=20795 vsize=15712732 CPUtime=1193.23 cores=1,3,5,7
/proc/20797/task/20846/stat : 20846 (java) R 20795 20797 19795 0 -1 4202560 176932 0 0 0 119303 20 0 0 25 0 22 0 875563343 16089837568 1557738 33554432000 1073741824 1073778376 140734509421104 18446744073709551615 46912505609432 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.29
Current children cumulated vsize (KiB) 15712732

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

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

[startup+1205.2 s]
/proc/loadavg: 8.02 8.06 8.00 9/220 20882
/proc/meminfo: memFree=17372908/32951124 swapFree=67052292/67111528
[pid=20797] ppid=20795 vsize=0 CPUtime=4800.51 cores=1,3,5,7
/proc/20797/stat : 20797 (java) Z 20795 20797 19795 0 -1 4203548 1927246 0 1 0 479758 293 0 0 17 0 2 0 875563235 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20797/statm: 0 0 0 0 0 0 0
[pid=20797/tid=20844] ppid=20795 vsize=0 CPUtime=1189.73 cores=1,3,5,7
/proc/20797/task/20844/stat : 20844 (java) R 20795 20797 19795 0 -1 4203588 316132 0 0 0 118916 57 0 0 25 0 2 0 875563343 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.51
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1205.24
CPU time (s): 4800.55
CPU user time (s): 4797.58
CPU system time (s): 2.96755
CPU usage (%): 398.308
Max. virtual memory (cumulated for all children) (KiB): 15718528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.58
system time used= 2.96755
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1927246
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= 36427
involuntary context switches= 56612

runsolver used 1.81772 second user time and 4.80927 second system time

The end

Launcher Data 

Begin job on node108 at 2011-06-09 19:13:43
IDJOB=3313316
IDBENCH=82466
IDSOLVER=1699
FILE ID=node108/3313316-1307639623
RUNJOBID= node108-1307639623-20780
PBS_JOBID= 13549383
Free space on /tmp= 74080 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-bobsmhdlc2-tseitin.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3313316-1307639623/watcher-3313316-1307639623 -o /tmp/evaluation-result-3313316-1307639623/solver-3313316-1307639623 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3313316-1307639623.cnf

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

MD5SUM BENCH= ee159af2e208d290f7f3fefd15c344f2
RANDOM SEED=860809381

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32141776 kB
Buffers:        215440 kB
Cached:         347300 kB
SwapCached:      25900 kB
Active:         343584 kB
Inactive:       254568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32141776 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:            6236 kB
Writeback:           0 kB
AnonPages:       30604 kB
Mapped:           8892 kB
Slab:           146988 kB
PageTables:       4448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190636 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= 74076 MiB
End job on node108 at 2011-06-09 19:33:50