Trace number 3312961

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.43 1204.77

General information on the benchmark

Namecrafted/mosoi/289/
289-unsat-21x14.cnf
MD5SUMf76302f2442dfc7cabc2315e61e55fea
Bench CategoryCRAFTED (crafted 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 variables1176
Number of clauses78498
Sum of the clauses size310464
Maximum clause length4
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 21764
Number of clauses of size 30
Number of clauses of size 476734
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	53:29 INFO : Reading from input HOME/instance-3312961-1304182409.cnf
0.81/0.67	Executor set job limit to 1000000
0.81/0.67	Executor set job limit to 1000000
0.81/0.67	Executor set job limit to 1000000
0.81/0.67	Executor set job limit to 1000000
0.81/0.67	Starting Executor!
0.81/0.67	Starting Executor!
0.81/0.68	Starting Executor!
0.81/0.68	Starting Executor!
2.88/1.63	53:31 INFO : 1176 variables remaining out of 1176
2.88/1.63	53:31 INFO : 394254 literals remaining out of 388962

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

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

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


[startup+0 s]
/proc/loadavg: 7.43 7.84 7.42 3/194 1655
/proc/meminfo: memFree=25748024/32951124 swapFree=67051468/67111528
[pid=1655] ppid=1653 vsize=9016 CPUtime=0 cores=0,2,4,6
/proc/1655/stat : 1655 (java) R 1653 1655 931 0 -1 4194304 554 0 0 0 0 0 0 0 25 0 1 0 529843667 9232384 60 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218365987520 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1655/statm: 2255 73 57 9 0 34 0

[startup+0.065794 s]
/proc/loadavg: 7.43 7.84 7.42 3/194 1655
/proc/meminfo: memFree=25748024/32951124 swapFree=67051468/67111528
[pid=1655] ppid=1653 vsize=15675316 CPUtime=0.06 cores=0,2,4,6
/proc/1655/stat : 1655 (java) S 1653 1655 931 0 -1 4202496 4365 0 1 0 5 1 0 0 25 0 18 0 529843667 16051523584 3805 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1655/statm: 3918829 3805 1778 9 0 3909548 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15675316

[startup+0.100836 s]
/proc/loadavg: 7.43 7.84 7.42 3/194 1655
/proc/meminfo: memFree=25748024/32951124 swapFree=67051468/67111528
[pid=1655] ppid=1653 vsize=15676316 CPUtime=0.1 cores=0,2,4,6
/proc/1655/stat : 1655 (java) S 1653 1655 931 0 -1 4202496 5585 0 1 0 9 1 0 0 25 0 18 0 529843667 16052547584 4979 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1655/statm: 3919079 4979 2116 9 0 3909798 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676316

[startup+0.300742 s]
/proc/loadavg: 7.43 7.84 7.42 3/194 1655
/proc/meminfo: memFree=25748024/32951124 swapFree=67051468/67111528
[pid=1655] ppid=1653 vsize=15679748 CPUtime=0.51 cores=0,2,4,6
/proc/1655/stat : 1655 (java) S 1653 1655 931 0 -1 4202496 13703 0 1 0 48 3 0 0 25 0 18 0 529843667 16056061952 12152 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1655/statm: 3919937 12156 2205 9 0 3910656 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679748

[startup+0.700667 s]
/proc/loadavg: 7.43 7.84 7.42 3/194 1655
/proc/meminfo: memFree=25748024/32951124 swapFree=67051468/67111528
[pid=1655] ppid=1653 vsize=15683712 CPUtime=0.93 cores=0,2,4,6
/proc/1655/stat : 1655 (java) S 1653 1655 931 0 -1 4202496 41930 0 1 0 87 6 0 0 25 0 22 0 529843667 16060121088 40338 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1655/statm: 3920928 40338 2227 9 0 3911647 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 15683712

[startup+1.50157 s]
/proc/loadavg: 7.43 7.84 7.42 4/216 1677
/proc/meminfo: memFree=25517148/32951124 swapFree=67051468/67111528
[pid=1655] ppid=1653 vsize=15694896 CPUtime=2.72 cores=0,2,4,6
/proc/1655/stat : 1655 (java) S 1653 1655 931 0 -1 4202496 51663 0 1 0 264 8 0 0 25 0 22 0 529843667 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1655/statm: 3923724 46283 2259 9 0 3914443 0
[pid=1655/tid=1657] ppid=1653 vsize=15694896 CPUtime=1.47 cores=0,2,4,6
/proc/1655/task/1657/stat : 1657 (java) R 1653 1655 931 0 -1 4202560 35622 0 1 0 142 5 0 0 25 0 22 0 529843667 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912505951271 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1655/tid=1658] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1658/stat : 1658 (java) S 1653 1655 931 0 -1 4202560 66 0 0 0 0 0 0 0 16 0 22 0 529843668 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1659] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1659/stat : 1659 (java) S 1653 1655 931 0 -1 4202560 648 0 0 0 0 0 0 0 19 0 22 0 529843668 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1660] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1660/stat : 1660 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529843668 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1661] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1661/stat : 1661 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529843668 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1662] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1662/stat : 1662 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 529843668 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1663] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1663/stat : 1663 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 529843668 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1664] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1664/stat : 1664 (java) S 1653 1655 931 0 -1 4202560 326 0 0 0 0 0 0 0 16 0 22 0 529843668 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1665] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1665/stat : 1665 (java) S 1653 1655 931 0 -1 4202560 72 0 0 0 0 0 0 0 19 0 22 0 529843668 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1666] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1666/stat : 1666 (java) S 1653 1655 931 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 529843669 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 0 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1667] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1667/stat : 1667 (java) S 1653 1655 931 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 529843669 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1668] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1668/stat : 1668 (java) S 1653 1655 931 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 529843669 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1669] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1669/stat : 1669 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529843671 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382780849 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1670] ppid=1653 vsize=15694896 CPUtime=0.62 cores=0,2,4,6
/proc/1655/task/1670/stat : 1670 (java) S 1653 1655 931 0 -1 4202560 7721 0 0 0 61 1 0 0 16 0 22 0 529843671 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1671] ppid=1653 vsize=15694896 CPUtime=0.58 cores=0,2,4,6
/proc/1655/task/1671/stat : 1671 (java) S 1653 1655 931 0 -1 4202560 5767 0 0 0 58 0 0 0 16 0 22 0 529843671 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1672] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1672/stat : 1672 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529843671 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1673] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1673/stat : 1673 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529843671 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1674] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1674/stat : 1674 (java) S 1653 1655 931 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 529843735 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1675] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1675/stat : 1675 (java) S 1653 1655 931 0 -1 4202560 13 0 0 0 0 0 0 0 18 0 22 0 529843735 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1676] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1676/stat : 1676 (java) S 1653 1655 931 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 529843735 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1677] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1677/stat : 1677 (java) S 1653 1655 931 0 -1 4202560 7 0 0 0 0 0 0 0 18 0 22 0 529843735 16071573504 46283 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 15694896

[startup+3.10124 s]
/proc/loadavg: 7.43 7.84 7.42 4/216 1677
/proc/meminfo: memFree=25193272/32951124 swapFree=67051468/67111528
[pid=1655] ppid=1653 vsize=15694896 CPUtime=7.67 cores=0,2,4,6
/proc/1655/stat : 1655 (java) S 1653 1655 931 0 -1 4202496 72127 0 1 0 755 12 0 0 25 0 22 0 529843667 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1655/statm: 3923724 64533 2274 9 0 3914443 0
[pid=1655/tid=1657] ppid=1653 vsize=15694896 CPUtime=1.61 cores=0,2,4,6
/proc/1655/task/1657/stat : 1657 (java) S 1653 1655 931 0 -1 4202560 35645 0 1 0 156 5 0 0 25 0 22 0 529843667 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1658] ppid=1653 vsize=15694896 CPUtime=0.01 cores=0,2,4,6
/proc/1655/task/1658/stat : 1658 (java) S 1653 1655 931 0 -1 4202560 3702 0 0 0 1 0 0 0 15 0 22 0 529843668 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1659] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1659/stat : 1659 (java) S 1653 1655 931 0 -1 4202560 648 0 0 0 0 0 0 0 15 0 22 0 529843668 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1660] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1660/stat : 1660 (java) S 1653 1655 931 0 -1 4202560 2717 0 0 0 0 0 0 0 15 0 22 0 529843668 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1661] ppid=1653 vsize=15694896 CPUtime=0.02 cores=0,2,4,6
/proc/1655/task/1661/stat : 1661 (java) S 1653 1655 931 0 -1 4202560 4874 0 0 0 1 1 0 0 15 0 22 0 529843668 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1662] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1662/stat : 1662 (java) S 1653 1655 931 0 -1 4202560 646 0 0 0 0 0 0 0 15 0 22 0 529843668 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1663] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1663/stat : 1663 (java) S 1653 1655 931 0 -1 4202560 2245 0 0 0 0 0 0 0 16 0 22 0 529843668 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1664] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1664/stat : 1664 (java) S 1653 1655 931 0 -1 4202560 1335 0 0 0 0 0 0 0 15 0 22 0 529843668 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1665] ppid=1653 vsize=15694896 CPUtime=0.01 cores=0,2,4,6
/proc/1655/task/1665/stat : 1665 (java) S 1653 1655 931 0 -1 4202560 3350 0 0 0 1 0 0 0 15 0 22 0 529843668 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1666] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1666/stat : 1666 (java) S 1653 1655 931 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 22 0 529843669 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 0 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1667] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1667/stat : 1667 (java) S 1653 1655 931 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529843669 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1668] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1668/stat : 1668 (java) S 1653 1655 931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529843669 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1669] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1669/stat : 1669 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529843671 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382780849 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1670] ppid=1653 vsize=15694896 CPUtime=0.91 cores=0,2,4,6
/proc/1655/task/1670/stat : 1670 (java) S 1653 1655 931 0 -1 4202560 9618 0 0 0 89 2 0 0 15 0 22 0 529843671 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1671] ppid=1653 vsize=15694896 CPUtime=0.81 cores=0,2,4,6
/proc/1655/task/1671/stat : 1671 (java) S 1653 1655 931 0 -1 4202560 5798 0 0 0 81 0 0 0 15 0 22 0 529843671 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1672] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1672/stat : 1672 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529843671 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1673] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1673/stat : 1673 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529843671 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1674] ppid=1653 vsize=15694896 CPUtime=1.05 cores=0,2,4,6
/proc/1655/task/1674/stat : 1674 (java) R 1653 1655 931 0 -1 4202560 17 0 0 0 105 0 0 0 16 0 22 0 529843735 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 47922994545261 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1655/tid=1675] ppid=1653 vsize=15694896 CPUtime=1.07 cores=0,2,4,6
/proc/1655/task/1675/stat : 1675 (java) R 1653 1655 931 0 -1 4202560 13 0 0 0 107 0 0 0 16 0 22 0 529843735 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912505658108 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1655/tid=1676] ppid=1653 vsize=15694896 CPUtime=1.2 cores=0,2,4,6
/proc/1655/task/1676/stat : 1676 (java) R 1653 1655 931 0 -1 4202560 22 0 0 0 120 0 0 0 16 0 22 0 529843735 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912506229748 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=1655/tid=1677] ppid=1653 vsize=15694896 CPUtime=0.86 cores=0,2,4,6
/proc/1655/task/1677/stat : 1677 (java) R 1653 1655 931 0 -1 4202560 9 0 0 0 86 0 0 0 16 0 22 0 529843735 16071573504 64533 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 47922994545718 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.67
Current children cumulated vsize (KiB) 15694896

[startup+6.30067 s]
/proc/loadavg: 7.32 7.81 7.42 7/220 1681
/proc/meminfo: memFree=24708248/32951124 swapFree=67051468/67111528
[pid=1655] ppid=1653 vsize=15694896 CPUtime=20.42 cores=0,2,4,6
/proc/1655/stat : 1655 (java) S 1653 1655 931 0 -1 4202496 197252 0 1 0 2010 32 0 0 25 0 22 0 529843667 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1655/statm: 3923724 189550 2274 9 0 3914443 0
[pid=1655/tid=1657] ppid=1653 vsize=15694896 CPUtime=1.61 cores=0,2,4,6
/proc/1655/task/1657/stat : 1657 (java) S 1653 1655 931 0 -1 4202560 35645 0 1 0 156 5 0 0 25 0 22 0 529843667 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1658] ppid=1653 vsize=15694896 CPUtime=0.03 cores=0,2,4,6
/proc/1655/task/1658/stat : 1658 (java) S 1653 1655 931 0 -1 4202560 8265 0 0 0 2 1 0 0 15 0 22 0 529843668 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1659] ppid=1653 vsize=15694896 CPUtime=0.04 cores=0,2,4,6
/proc/1655/task/1659/stat : 1659 (java) S 1653 1655 931 0 -1 4202560 11224 0 0 0 2 2 0 0 16 0 22 0 529843668 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1660] ppid=1653 vsize=15694896 CPUtime=0.07 cores=0,2,4,6
/proc/1655/task/1660/stat : 1660 (java) S 1653 1655 931 0 -1 4202560 19872 0 0 0 4 3 0 0 16 0 22 0 529843668 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1661] ppid=1653 vsize=15694896 CPUtime=0.04 cores=0,2,4,6
/proc/1655/task/1661/stat : 1661 (java) S 1653 1655 931 0 -1 4202560 14114 0 0 0 2 2 0 0 15 0 22 0 529843668 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1662] ppid=1653 vsize=15694896 CPUtime=0.05 cores=0,2,4,6
/proc/1655/task/1662/stat : 1662 (java) S 1653 1655 931 0 -1 4202560 16652 0 0 0 3 2 0 0 16 0 22 0 529843668 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1663] ppid=1653 vsize=15694896 CPUtime=0.04 cores=0,2,4,6
/proc/1655/task/1663/stat : 1663 (java) S 1653 1655 931 0 -1 4202560 11361 0 0 0 2 2 0 0 15 0 22 0 529843668 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1664] ppid=1653 vsize=15694896 CPUtime=0.01 cores=0,2,4,6
/proc/1655/task/1664/stat : 1664 (java) S 1653 1655 931 0 -1 4202560 6461 0 0 0 1 0 0 0 16 0 22 0 529843668 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1665] ppid=1653 vsize=15694896 CPUtime=0.04 cores=0,2,4,6
/proc/1655/task/1665/stat : 1665 (java) S 1653 1655 931 0 -1 4202560 11951 0 0 0 2 2 0 0 16 0 22 0 529843668 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1666] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1666/stat : 1666 (java) S 1653 1655 931 0 -1 4202560 402 0 0 0 0 0 0 0 15 0 22 0 529843669 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 0 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1667] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1667/stat : 1667 (java) S 1653 1655 931 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529843669 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1668] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1668/stat : 1668 (java) S 1653 1655 931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529843669 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1669] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1669/stat : 1669 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529843671 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382780849 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1670] ppid=1653 vsize=15694896 CPUtime=0.91 cores=0,2,4,6
/proc/1655/task/1670/stat : 1670 (java) S 1653 1655 931 0 -1 4202560 9618 0 0 0 89 2 0 0 15 0 22 0 529843671 16071573504 189550 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0

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

[pid=1655/tid=1675] ppid=1653 vsize=15694896 CPUtime=1111.03 cores=0,2,4,6
/proc/1655/task/1675/stat : 1675 (java) R 1653 1655 931 0 -1 4202560 295409 0 0 0 111066 37 0 0 25 0 22 0 529843735 16071573504 367672 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912505963838 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1655/tid=1676] ppid=1653 vsize=15694896 CPUtime=1112.21 cores=0,2,4,6
/proc/1655/task/1676/stat : 1676 (java) R 1653 1655 931 0 -1 4202560 301761 0 0 0 111187 34 0 0 25 0 22 0 529843735 16071573504 367672 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912506210891 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1655/tid=1677] ppid=1653 vsize=15694896 CPUtime=1110.81 cores=0,2,4,6
/proc/1655/task/1677/stat : 1677 (java) R 1653 1655 931 0 -1 4202560 285826 0 0 0 111047 34 0 0 25 0 22 0 529843735 16071573504 367672 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912505951334 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4471.85
Current children cumulated vsize (KiB) 15694896

[startup+1182.3 s]
/proc/loadavg: 8.19 8.11 7.88 9/220 1725
/proc/meminfo: memFree=13311772/32951124 swapFree=67051468/67111528
[pid=1655] ppid=1653 vsize=15694896 CPUtime=4711.01 cores=0,2,4,6
/proc/1655/stat : 1655 (java) S 1653 1655 931 0 -1 4202496 2039195 0 1 0 470766 335 0 0 25 0 22 0 529843667 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1655/statm: 3923724 327398 2297 9 0 3914443 0
[pid=1655/tid=1657] ppid=1653 vsize=15694896 CPUtime=1.61 cores=0,2,4,6
/proc/1655/task/1657/stat : 1657 (java) S 1653 1655 931 0 -1 4202560 35645 0 1 0 156 5 0 0 25 0 22 0 529843667 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1658] ppid=1653 vsize=15694896 CPUtime=2.84 cores=0,2,4,6
/proc/1655/task/1658/stat : 1658 (java) S 1653 1655 931 0 -1 4202560 81959 0 0 0 270 14 0 0 15 0 22 0 529843668 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1659] ppid=1653 vsize=15694896 CPUtime=2.83 cores=0,2,4,6
/proc/1655/task/1659/stat : 1659 (java) S 1653 1655 931 0 -1 4202560 112080 0 0 0 262 21 0 0 15 0 22 0 529843668 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1660] ppid=1653 vsize=15694896 CPUtime=2.86 cores=0,2,4,6
/proc/1655/task/1660/stat : 1660 (java) S 1653 1655 931 0 -1 4202560 106697 0 0 0 267 19 0 0 16 0 22 0 529843668 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1661] ppid=1653 vsize=15694896 CPUtime=2.77 cores=0,2,4,6
/proc/1655/task/1661/stat : 1661 (java) S 1653 1655 931 0 -1 4202560 80227 0 0 0 263 14 0 0 15 0 22 0 529843668 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1662] ppid=1653 vsize=15694896 CPUtime=2.73 cores=0,2,4,6
/proc/1655/task/1662/stat : 1662 (java) S 1653 1655 931 0 -1 4202560 97664 0 0 0 255 18 0 0 15 0 22 0 529843668 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1663] ppid=1653 vsize=15694896 CPUtime=2.66 cores=0,2,4,6
/proc/1655/task/1663/stat : 1663 (java) S 1653 1655 931 0 -1 4202560 82486 0 0 0 252 14 0 0 16 0 22 0 529843668 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1664] ppid=1653 vsize=15694896 CPUtime=2.78 cores=0,2,4,6
/proc/1655/task/1664/stat : 1664 (java) S 1653 1655 931 0 -1 4202560 96007 0 0 0 262 16 0 0 16 0 22 0 529843668 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1665] ppid=1653 vsize=15694896 CPUtime=2.63 cores=0,2,4,6
/proc/1655/task/1665/stat : 1665 (java) S 1653 1655 931 0 -1 4202560 102509 0 0 0 243 20 0 0 16 0 22 0 529843668 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1666] ppid=1653 vsize=15694896 CPUtime=1.04 cores=0,2,4,6
/proc/1655/task/1666/stat : 1666 (java) S 1653 1655 931 0 -1 4202560 28140 0 0 0 68 36 0 0 15 0 22 0 529843669 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 0 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1667] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1667/stat : 1667 (java) S 1653 1655 931 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529843669 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1668] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1668/stat : 1668 (java) S 1653 1655 931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529843669 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1669] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1669/stat : 1669 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529843671 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382780849 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1670] ppid=1653 vsize=15694896 CPUtime=1.06 cores=0,2,4,6
/proc/1655/task/1670/stat : 1670 (java) S 1653 1655 931 0 -1 4202560 9638 0 0 0 104 2 0 0 16 0 22 0 529843671 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1671] ppid=1653 vsize=15694896 CPUtime=1.12 cores=0,2,4,6
/proc/1655/task/1671/stat : 1671 (java) S 1653 1655 931 0 -1 4202560 5814 0 0 0 112 0 0 0 15 0 22 0 529843671 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1672] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1672/stat : 1672 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529843671 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1673] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1673/stat : 1673 (java) S 1653 1655 931 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 529843671 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1674] ppid=1653 vsize=15694896 CPUtime=1171.54 cores=0,2,4,6
/proc/1655/task/1674/stat : 1674 (java) R 1653 1655 931 0 -1 4202560 285849 0 0 0 117118 36 0 0 25 0 22 0 529843735 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912505963906 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1655/tid=1675] ppid=1653 vsize=15694896 CPUtime=1170.46 cores=0,2,4,6
/proc/1655/task/1675/stat : 1675 (java) R 1653 1655 931 0 -1 4202560 306267 0 0 0 117007 39 0 0 25 0 22 0 529843735 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912506157351 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=1655/tid=1676] ppid=1653 vsize=15694896 CPUtime=1171.65 cores=0,2,4,6
/proc/1655/task/1676/stat : 1676 (java) R 1653 1655 931 0 -1 4202560 310982 0 0 0 117129 36 0 0 25 0 22 0 529843735 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912506198172 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1655/tid=1677] ppid=1653 vsize=15694896 CPUtime=1170.24 cores=0,2,4,6
/proc/1655/task/1677/stat : 1677 (java) R 1653 1655 931 0 -1 4202560 295778 0 0 0 116989 35 0 0 25 0 22 0 529843735 16071573504 327398 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912506252962 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4711.01
Current children cumulated vsize (KiB) 15694896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.7 s]
/proc/loadavg: 7.92 8.05 7.87 9/220 1725
/proc/meminfo: memFree=13557268/32951124 swapFree=67051468/67111528
[pid=1655] ppid=1653 vsize=15694896 CPUtime=4800.33 cores=0,2,4,6
/proc/1655/stat : 1655 (java) S 1653 1655 931 0 -1 4202496 2088766 0 1 0 479687 346 0 0 25 0 22 0 529843667 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1655/statm: 3923724 338055 2297 9 0 3914443 0
[pid=1655/tid=1657] ppid=1653 vsize=15694896 CPUtime=1.61 cores=0,2,4,6
/proc/1655/task/1657/stat : 1657 (java) S 1653 1655 931 0 -1 4202560 35645 0 1 0 156 5 0 0 25 0 22 0 529843667 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1658] ppid=1653 vsize=15694896 CPUtime=2.9 cores=0,2,4,6
/proc/1655/task/1658/stat : 1658 (java) S 1653 1655 931 0 -1 4202560 85108 0 0 0 276 14 0 0 16 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1659] ppid=1653 vsize=15694896 CPUtime=2.91 cores=0,2,4,6
/proc/1655/task/1659/stat : 1659 (java) S 1653 1655 931 0 -1 4202560 114518 0 0 0 269 22 0 0 15 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1660] ppid=1653 vsize=15694896 CPUtime=2.94 cores=0,2,4,6
/proc/1655/task/1660/stat : 1660 (java) S 1653 1655 931 0 -1 4202560 108789 0 0 0 274 20 0 0 16 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1661] ppid=1653 vsize=15694896 CPUtime=2.84 cores=0,2,4,6
/proc/1655/task/1661/stat : 1661 (java) S 1653 1655 931 0 -1 4202560 82604 0 0 0 269 15 0 0 15 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1662] ppid=1653 vsize=15694896 CPUtime=2.79 cores=0,2,4,6
/proc/1655/task/1662/stat : 1662 (java) S 1653 1655 931 0 -1 4202560 99151 0 0 0 261 18 0 0 16 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1663] ppid=1653 vsize=15694896 CPUtime=2.77 cores=0,2,4,6
/proc/1655/task/1663/stat : 1663 (java) S 1653 1655 931 0 -1 4202560 84901 0 0 0 262 15 0 0 15 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1664] ppid=1653 vsize=15694896 CPUtime=2.86 cores=0,2,4,6
/proc/1655/task/1664/stat : 1664 (java) S 1653 1655 931 0 -1 4202560 97344 0 0 0 269 17 0 0 16 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1665] ppid=1653 vsize=15694896 CPUtime=2.72 cores=0,2,4,6
/proc/1655/task/1665/stat : 1665 (java) S 1653 1655 931 0 -1 4202560 105238 0 0 0 251 21 0 0 15 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1666] ppid=1653 vsize=15694896 CPUtime=1.06 cores=0,2,4,6
/proc/1655/task/1666/stat : 1666 (java) S 1653 1655 931 0 -1 4202560 28270 0 0 0 69 37 0 0 16 0 22 0 529843669 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 0 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1667] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1667/stat : 1667 (java) S 1653 1655 931 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529843669 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1668] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1668/stat : 1668 (java) S 1653 1655 931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529843669 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1669] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1669/stat : 1669 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529843671 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382780849 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1670] ppid=1653 vsize=15694896 CPUtime=1.06 cores=0,2,4,6
/proc/1655/task/1670/stat : 1670 (java) S 1653 1655 931 0 -1 4202560 9638 0 0 0 104 2 0 0 16 0 22 0 529843671 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1671] ppid=1653 vsize=15694896 CPUtime=1.12 cores=0,2,4,6
/proc/1655/task/1671/stat : 1671 (java) S 1653 1655 931 0 -1 4202560 5814 0 0 0 112 0 0 0 15 0 22 0 529843671 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1672] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1672/stat : 1672 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529843671 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1673] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1673/stat : 1673 (java) S 1653 1655 931 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 529843671 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1674] ppid=1653 vsize=15694896 CPUtime=1193.74 cores=0,2,4,6
/proc/1655/task/1674/stat : 1674 (java) R 1653 1655 931 0 -1 4202560 293350 0 0 0 119337 37 0 0 25 0 22 0 529843735 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912506183835 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1655/tid=1675] ppid=1653 vsize=15694896 CPUtime=1192.58 cores=0,2,4,6
/proc/1655/task/1675/stat : 1675 (java) R 1653 1655 931 0 -1 4202560 315063 0 0 0 119217 41 0 0 25 0 22 0 529843735 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912505723200 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1655/tid=1676] ppid=1653 vsize=15694896 CPUtime=1193.86 cores=0,2,4,6
/proc/1655/task/1676/stat : 1676 (java) R 1653 1655 931 0 -1 4202560 318637 0 0 0 119349 37 0 0 25 0 22 0 529843735 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 47922994545111 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1655/tid=1677] ppid=1653 vsize=15694896 CPUtime=1192.4 cores=0,2,4,6
/proc/1655/task/1677/stat : 1677 (java) R 1653 1655 931 0 -1 4202560 303241 0 0 0 119204 36 0 0 25 0 22 0 529843735 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912505929936 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 15694896

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

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

[startup+1204.7 s]
/proc/loadavg: 7.92 8.05 7.87 9/220 1725
/proc/meminfo: memFree=13557268/32951124 swapFree=67051468/67111528
[pid=1655] ppid=1653 vsize=15694896 CPUtime=4800.33 cores=0,2,4,6
/proc/1655/stat : 1655 (java) S 1653 1655 931 0 -1 4202496 2088766 0 1 0 479687 346 0 0 25 0 22 0 529843667 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1655/statm: 3923724 338055 2297 9 0 3914443 0
[pid=1655/tid=1657] ppid=1653 vsize=15694896 CPUtime=1.61 cores=0,2,4,6
/proc/1655/task/1657/stat : 1657 (java) S 1653 1655 931 0 -1 4202560 35645 0 1 0 156 5 0 0 25 0 22 0 529843667 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1658] ppid=1653 vsize=15694896 CPUtime=2.9 cores=0,2,4,6
/proc/1655/task/1658/stat : 1658 (java) S 1653 1655 931 0 -1 4202560 85108 0 0 0 276 14 0 0 16 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1659] ppid=1653 vsize=15694896 CPUtime=2.91 cores=0,2,4,6
/proc/1655/task/1659/stat : 1659 (java) S 1653 1655 931 0 -1 4202560 114518 0 0 0 269 22 0 0 15 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1660] ppid=1653 vsize=15694896 CPUtime=2.94 cores=0,2,4,6
/proc/1655/task/1660/stat : 1660 (java) S 1653 1655 931 0 -1 4202560 108789 0 0 0 274 20 0 0 16 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1661] ppid=1653 vsize=15694896 CPUtime=2.84 cores=0,2,4,6
/proc/1655/task/1661/stat : 1661 (java) S 1653 1655 931 0 -1 4202560 82604 0 0 0 269 15 0 0 15 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1662] ppid=1653 vsize=15694896 CPUtime=2.79 cores=0,2,4,6
/proc/1655/task/1662/stat : 1662 (java) S 1653 1655 931 0 -1 4202560 99151 0 0 0 261 18 0 0 16 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1663] ppid=1653 vsize=15694896 CPUtime=2.77 cores=0,2,4,6
/proc/1655/task/1663/stat : 1663 (java) S 1653 1655 931 0 -1 4202560 84901 0 0 0 262 15 0 0 15 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1664] ppid=1653 vsize=15694896 CPUtime=2.86 cores=0,2,4,6
/proc/1655/task/1664/stat : 1664 (java) S 1653 1655 931 0 -1 4202560 97344 0 0 0 269 17 0 0 16 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1665] ppid=1653 vsize=15694896 CPUtime=2.72 cores=0,2,4,6
/proc/1655/task/1665/stat : 1665 (java) S 1653 1655 931 0 -1 4202560 105238 0 0 0 251 21 0 0 15 0 22 0 529843668 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1666] ppid=1653 vsize=15694896 CPUtime=1.06 cores=0,2,4,6
/proc/1655/task/1666/stat : 1666 (java) S 1653 1655 931 0 -1 4202560 28270 0 0 0 69 37 0 0 16 0 22 0 529843669 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 0 0 16800975 18446604453958039360 0 0 -1 0 0 0 0
[pid=1655/tid=1667] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1667/stat : 1667 (java) S 1653 1655 931 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 529843669 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1668] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1668/stat : 1668 (java) S 1653 1655 931 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529843669 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1669] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1669/stat : 1669 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529843671 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382780849 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1670] ppid=1653 vsize=15694896 CPUtime=1.06 cores=0,2,4,6
/proc/1655/task/1670/stat : 1670 (java) S 1653 1655 931 0 -1 4202560 9638 0 0 0 104 2 0 0 16 0 22 0 529843671 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1671] ppid=1653 vsize=15694896 CPUtime=1.12 cores=0,2,4,6
/proc/1655/task/1671/stat : 1671 (java) S 1653 1655 931 0 -1 4202560 5814 0 0 0 112 0 0 0 15 0 22 0 529843671 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 2 0 0 0
[pid=1655/tid=1672] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1672/stat : 1672 (java) S 1653 1655 931 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529843671 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773145 0 4 0 16800975 18446604453958039360 0 0 -1 6 0 0 0
[pid=1655/tid=1673] ppid=1653 vsize=15694896 CPUtime=0 cores=0,2,4,6
/proc/1655/task/1673/stat : 1673 (java) S 1653 1655 931 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 529843671 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 218382773760 0 4 0 16800975 18446604453958039360 0 0 -1 4 0 0 0
[pid=1655/tid=1674] ppid=1653 vsize=15694896 CPUtime=1193.74 cores=0,2,4,6
/proc/1655/task/1674/stat : 1674 (java) R 1653 1655 931 0 -1 4202560 293350 0 0 0 119337 37 0 0 25 0 22 0 529843735 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912506183835 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1655/tid=1675] ppid=1653 vsize=15694896 CPUtime=1192.58 cores=0,2,4,6
/proc/1655/task/1675/stat : 1675 (java) R 1653 1655 931 0 -1 4202560 315063 0 0 0 119217 41 0 0 25 0 22 0 529843735 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912505723200 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=1655/tid=1676] ppid=1653 vsize=15694896 CPUtime=1193.86 cores=0,2,4,6
/proc/1655/task/1676/stat : 1676 (java) R 1653 1655 931 0 -1 4202560 318637 0 0 0 119349 37 0 0 25 0 22 0 529843735 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 47922994545111 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1655/tid=1677] ppid=1653 vsize=15694896 CPUtime=1192.4 cores=0,2,4,6
/proc/1655/task/1677/stat : 1677 (java) R 1653 1655 931 0 -1 4202560 303241 0 0 0 119204 36 0 0 25 0 22 0 529843735 16071573504 338055 33554432000 1073741824 1073778376 140736247263376 18446744073709551615 46912505929936 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 15694896

Child status: 143
Real time (s): 1204.77
CPU time (s): 4800.43
CPU user time (s): 4796.92
CPU system time (s): 3.51847
CPU usage (%): 398.452
Max. virtual memory (cumulated for all children) (KiB): 15697224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.92
system time used= 3.51846
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2088792
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= 62769
involuntary context switches= 70678

runsolver used 1.9567 second user time and 4.66529 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-30 18:53:29
IDJOB=3312961
IDBENCH=83167
IDSOLVER=1699
FILE ID=node101/3312961-1304182409
RUNJOBID= node101-1304181199-1484
PBS_JOBID= 13172432
Free space on /tmp= 72140 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/crafted/mosoi/289/289-unsat-21x14.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312961-1304182409/watcher-3312961-1304182409 -o /tmp/evaluation-result-3312961-1304182409/solver-3312961-1304182409 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312961-1304182409.cnf

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

MD5SUM BENCH= f76302f2442dfc7cabc2315e61e55fea
RANDOM SEED=1499591499

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.83
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.841
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.74
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.841
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.841
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.841
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:      25749544 kB
Buffers:       1927100 kB
Cached:        4702952 kB
SwapCached:      30424 kB
Active:        1890804 kB
Inactive:      4866608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25749544 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:           20772 kB
Writeback:           0 kB
AnonPages:      117916 kB
Mapped:          17020 kB
Slab:           380364 kB
PageTables:       4720 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   787920 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= 72140 MiB
End job on node101 at 2011-04-30 19:13:36