Trace number 3311150

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.4 1203.67

General information on the benchmark

Namerandom/large/
unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf
MD5SUM1ae73e64babd5796adef68295bcaa14f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark89.3534
Satisfiable
(Un)Satisfiability was proved
Number of variables1500
Number of clauses30000
Sum of the clauses size150000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 530000
Number of clauses of size over 50

Solver Data 

0.10/0.11	17:39 INFO : Reading from input HOME/instance-3311150-1304111858.cnf
0.61/0.46	Executor set job limit to 1000000
0.61/0.46	Executor set job limit to 1000000
0.61/0.46	Executor set job limit to 1000000
0.61/0.46	Executor set job limit to 1000000
0.61/0.46	Starting Executor!
0.61/0.46	Starting Executor!
0.61/0.46	Starting Executor!
0.61/0.46	Starting Executor!
2.01/1.09	17:40 INFO : 1500 variables remaining out of 1500
2.01/1.09	17:40 INFO : 180000 literals remaining out of 180000

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

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

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


[startup+0 s]
/proc/loadavg: 4.49 6.87 7.61 2/187 3827
/proc/meminfo: memFree=30898996/32951124 swapFree=67105204/67111528
[pid=3827] ppid=3824 vsize=26140 CPUtime=0 cores=1,3,5,7
/proc/3827/stat : 3827 (java) S 3824 3827 3436 0 -1 4202496 1394 0 0 0 0 0 0 0 23 0 2 0 503601750 26767360 874 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828039141 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/3827/statm: 6522 870 665 9 0 381 0
[pid=3827/tid=3830] ppid=3824 vsize=26088 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3830/stat : 3830 (java) S 3824 3827 3436 0 -1 4202560 56 0 0 0 0 0 0 0 24 0 2 0 503601750 26714112 884 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220811312775 0 2147483391 4096 0 18446744071699207358 0 0 -1 5 0 0 0

[startup+0.085146 s]
/proc/loadavg: 4.49 6.87 7.61 2/187 3827
/proc/meminfo: memFree=30898996/32951124 swapFree=67105204/67111528
[pid=3827] ppid=3824 vsize=15676424 CPUtime=0.08 cores=1,3,5,7
/proc/3827/stat : 3827 (java) S 3824 3827 3436 0 -1 4202496 5367 0 1 0 8 0 0 0 23 0 18 0 503601750 16052658176 4807 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3827/statm: 3919106 4808 2115 9 0 3909825 0
[pid=3827/tid=3830] ppid=3824 vsize=15676424 CPUtime=0.07 cores=1,3,5,7
/proc/3827/task/3830/stat : 3830 (java) R 3824 3827 3436 0 -1 4202560 3251 0 1 0 7 0 0 0 18 0 18 0 503601750 16052658176 4808 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828063179 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15676424

[startup+0.101188 s]
/proc/loadavg: 4.49 6.87 7.61 2/187 3827
/proc/meminfo: memFree=30898996/32951124 swapFree=67105204/67111528
[pid=3827] ppid=3824 vsize=15676424 CPUtime=0.1 cores=1,3,5,7
/proc/3827/stat : 3827 (java) S 3824 3827 3436 0 -1 4202496 5587 0 1 0 10 0 0 0 23 0 18 0 503601750 16052658176 5027 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3827/statm: 3919106 5028 2117 9 0 3909825 0
[pid=3827/tid=3830] ppid=3824 vsize=15676424 CPUtime=0.08 cores=1,3,5,7
/proc/3827/task/3830/stat : 3830 (java) R 3824 3827 3436 0 -1 4202560 3471 0 1 0 8 0 0 0 18 0 18 0 503601750 16052658176 5028 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 47685389741957 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676424

[startup+0.301148 s]
/proc/loadavg: 4.49 6.87 7.61 2/187 3827
/proc/meminfo: memFree=30898996/32951124 swapFree=67105204/67111528
[pid=3827] ppid=3824 vsize=15680336 CPUtime=0.51 cores=1,3,5,7
/proc/3827/stat : 3827 (java) S 3824 3827 3436 0 -1 4202496 15950 0 1 0 49 2 0 0 23 0 18 0 503601750 16056664064 14488 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3827/statm: 3920084 14495 2206 9 0 3910803 0
[pid=3827/tid=3830] ppid=3824 vsize=15680336 CPUtime=0.28 cores=1,3,5,7
/proc/3827/task/3830/stat : 3830 (java) R 3824 3827 3436 0 -1 4202560 11003 0 1 0 27 1 0 0 18 0 18 0 503601750 16056664064 14498 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505585487 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15680336

[startup+0.701065 s]
/proc/loadavg: 4.49 6.87 7.61 2/187 3827
/proc/meminfo: memFree=30898996/32951124 swapFree=67105204/67111528
[pid=3827] ppid=3824 vsize=15685320 CPUtime=1.15 cores=1,3,5,7
/proc/3827/stat : 3827 (java) S 3824 3827 3436 0 -1 4202496 45861 0 1 0 111 4 0 0 23 0 22 0 503601750 16061767680 42663 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3827/statm: 3921330 42663 2248 9 0 3912049 0
[pid=3827/tid=3830] ppid=3824 vsize=15685320 CPUtime=0.67 cores=1,3,5,7
/proc/3827/task/3830/stat : 3830 (java) R 3824 3827 3436 0 -1 4202560 35623 0 1 0 64 3 0 0 20 0 22 0 503601750 16061767680 42663 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 47685389730711 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 15685320

[startup+1.51776 s]
/proc/loadavg: 4.49 6.87 7.61 5/220 3860
/proc/meminfo: memFree=30568296/32951124 swapFree=67105204/67111528
[pid=3827] ppid=3824 vsize=15701236 CPUtime=3.58 cores=1,3,5,7
/proc/3827/stat : 3827 (java) S 3824 3827 3436 0 -1 4202496 59869 0 1 0 352 6 0 0 23 0 22 0 503601750 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3827/statm: 3925309 48803 2274 9 0 3916028 0
[pid=3827/tid=3830] ppid=3824 vsize=15701236 CPUtime=1.07 cores=1,3,5,7
/proc/3827/task/3830/stat : 3830 (java) S 3824 3827 3436 0 -1 4202560 35679 0 1 0 104 3 0 0 21 0 22 0 503601750 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3832] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3832/stat : 3832 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503601751 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3833] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3833/stat : 3833 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503601751 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3834] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3834/stat : 3834 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503601751 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3835] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3835/stat : 3835 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503601751 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3836] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3836/stat : 3836 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503601751 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3837] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3837/stat : 3837 (java) S 3824 3827 3436 0 -1 4202560 30 0 0 0 0 0 0 0 21 0 22 0 503601751 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3838] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3838/stat : 3838 (java) S 3824 3827 3436 0 -1 4202560 325 0 0 0 0 0 0 0 21 0 22 0 503601751 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3839] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3839/stat : 3839 (java) S 3824 3827 3436 0 -1 4202560 47 0 0 0 0 0 0 0 21 0 22 0 503601751 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3840] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3840/stat : 3840 (java) S 3824 3827 3436 0 -1 4202560 10 0 0 0 0 0 0 0 17 0 22 0 503601752 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 0 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3841] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3841/stat : 3841 (java) S 3824 3827 3436 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 503601752 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3842] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3842/stat : 3842 (java) S 3824 3827 3436 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 503601752 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3848] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3848/stat : 3848 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503601754 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828060081 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3849] ppid=3824 vsize=15701236 CPUtime=0.77 cores=1,3,5,7
/proc/3827/task/3849/stat : 3849 (java) R 3824 3827 3436 0 -1 4202560 5234 0 0 0 77 0 0 0 17 0 22 0 503601754 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3827/tid=3850] ppid=3824 vsize=15701236 CPUtime=1.11 cores=1,3,5,7
/proc/3827/task/3850/stat : 3850 (java) R 3824 3827 3436 0 -1 4202560 17093 0 0 0 110 1 0 0 16 0 22 0 503601754 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 47685389000752 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3827/tid=3851] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3851/stat : 3851 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503601754 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3852] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3852/stat : 3852 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503601754 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 4 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3857] ppid=3824 vsize=15701236 CPUtime=0.15 cores=1,3,5,7
/proc/3827/task/3857/stat : 3857 (java) S 3824 3827 3436 0 -1 4202560 27 0 0 0 15 0 0 0 15 0 22 0 503601797 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3858] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3858/stat : 3858 (java) R 3824 3827 3436 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 503601797 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505846933 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3827/tid=3859] ppid=3824 vsize=15701236 CPUtime=0.26 cores=1,3,5,7
/proc/3827/task/3859/stat : 3859 (java) S 3824 3827 3436 0 -1 4202560 9 0 0 0 26 0 0 0 15 0 22 0 503601797 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3860] ppid=3824 vsize=15701236 CPUtime=0.16 cores=1,3,5,7
/proc/3827/task/3860/stat : 3860 (java) R 3824 3827 3436 0 -1 4202560 19 0 0 0 16 0 0 0 15 0 22 0 503601797 16078065664 48803 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 47685393532918 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 15701236

[startup+3.10159 s]
/proc/loadavg: 4.49 6.87 7.61 11/220 3860
/proc/meminfo: memFree=30407840/32951124 swapFree=67105204/67111528
[pid=3827] ppid=3824 vsize=15701236 CPUtime=9.8 cores=1,3,5,7
/proc/3827/stat : 3827 (java) S 3824 3827 3436 0 -1 4202496 128243 0 1 0 963 17 0 0 23 0 22 0 503601750 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3827/statm: 3925309 116897 2274 9 0 3916028 0
[pid=3827/tid=3830] ppid=3824 vsize=15701236 CPUtime=1.07 cores=1,3,5,7
/proc/3827/task/3830/stat : 3830 (java) S 3824 3827 3436 0 -1 4202560 35679 0 1 0 104 3 0 0 21 0 22 0 503601750 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3832] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3832/stat : 3832 (java) S 3824 3827 3436 0 -1 4202560 2790 0 0 0 0 0 0 0 16 0 22 0 503601751 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3833] ppid=3824 vsize=15701236 CPUtime=0.01 cores=1,3,5,7
/proc/3827/task/3833/stat : 3833 (java) S 3824 3827 3436 0 -1 4202560 3954 0 0 0 1 0 0 0 15 0 22 0 503601751 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3834] ppid=3824 vsize=15701236 CPUtime=0.02 cores=1,3,5,7
/proc/3827/task/3834/stat : 3834 (java) S 3824 3827 3436 0 -1 4202560 10035 0 0 0 1 1 0 0 16 0 22 0 503601751 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3835] ppid=3824 vsize=15701236 CPUtime=0.01 cores=1,3,5,7
/proc/3827/task/3835/stat : 3835 (java) S 3824 3827 3436 0 -1 4202560 6887 0 0 0 1 0 0 0 16 0 22 0 503601751 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3836] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3836/stat : 3836 (java) S 3824 3827 3436 0 -1 4202560 3909 0 0 0 0 0 0 0 15 0 22 0 503601751 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3837] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3837/stat : 3837 (java) S 3824 3827 3436 0 -1 4202560 2125 0 0 0 0 0 0 0 15 0 22 0 503601751 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3838] ppid=3824 vsize=15701236 CPUtime=0.02 cores=1,3,5,7
/proc/3827/task/3838/stat : 3838 (java) S 3824 3827 3436 0 -1 4202560 9003 0 0 0 1 1 0 0 16 0 22 0 503601751 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3839] ppid=3824 vsize=15701236 CPUtime=0.02 cores=1,3,5,7
/proc/3827/task/3839/stat : 3839 (java) S 3824 3827 3436 0 -1 4202560 6611 0 0 0 1 1 0 0 15 0 22 0 503601751 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3840] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3840/stat : 3840 (java) S 3824 3827 3436 0 -1 4202560 248 0 0 0 0 0 0 0 15 0 22 0 503601752 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 0 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3841] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3841/stat : 3841 (java) S 3824 3827 3436 0 -1 4202560 19 0 0 0 0 0 0 0 16 0 22 0 503601752 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3842] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3842/stat : 3842 (java) R 3824 3827 3436 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 503601752 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3827/tid=3848] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3848/stat : 3848 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503601754 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828060081 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3849] ppid=3824 vsize=15701236 CPUtime=0.81 cores=1,3,5,7
/proc/3827/task/3849/stat : 3849 (java) S 3824 3827 3436 0 -1 4202560 5236 0 0 0 81 0 0 0 15 0 22 0 503601754 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3850] ppid=3824 vsize=15701236 CPUtime=1.13 cores=1,3,5,7
/proc/3827/task/3850/stat : 3850 (java) S 3824 3827 3436 0 -1 4202560 17103 0 0 0 112 1 0 0 15 0 22 0 503601754 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3851] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3851/stat : 3851 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503601754 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3852] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3852/stat : 3852 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503601754 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3857] ppid=3824 vsize=15701236 CPUtime=1.63 cores=1,3,5,7
/proc/3827/task/3857/stat : 3857 (java) R 3824 3827 3436 0 -1 4202560 6212 0 0 0 163 0 0 0 17 0 22 0 503601797 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505960485 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3827/tid=3858] ppid=3824 vsize=15701236 CPUtime=1.49 cores=1,3,5,7
/proc/3827/task/3858/stat : 3858 (java) R 3824 3827 3436 0 -1 4202560 5529 0 0 0 149 0 0 0 17 0 22 0 503601797 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505870585 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3827/tid=3859] ppid=3824 vsize=15701236 CPUtime=1.71 cores=1,3,5,7
/proc/3827/task/3859/stat : 3859 (java) R 3824 3827 3436 0 -1 4202560 5444 0 0 0 171 0 0 0 17 0 22 0 503601797 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505523461 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3827/tid=3860] ppid=3824 vsize=15701236 CPUtime=1.69 cores=1,3,5,7
/proc/3827/task/3860/stat : 3860 (java) R 3824 3827 3436 0 -1 4202560 6091 0 0 0 168 1 0 0 17 0 22 0 503601797 16078065664 116897 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505959384 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (KiB) 15701236

[startup+6.301 s]
/proc/loadavg: 4.93 6.92 7.62 9/220 3860
/proc/meminfo: memFree=29175816/32951124 swapFree=67105204/67111528
[pid=3827] ppid=3824 vsize=15701236 CPUtime=22.58 cores=1,3,5,7
/proc/3827/stat : 3827 (java) S 3824 3827 3436 0 -1 4202496 291769 0 1 0 2217 41 0 0 23 0 22 0 503601750 16078065664 279253 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3827/statm: 3925309 279255 2274 9 0 3916028 0
[pid=3827/tid=3830] ppid=3824 vsize=15701236 CPUtime=1.07 cores=1,3,5,7
/proc/3827/task/3830/stat : 3830 (java) S 3824 3827 3436 0 -1 4202560 35679 0 1 0 104 3 0 0 21 0 22 0 503601750 16078065664 279256 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3832] ppid=3824 vsize=15701236 CPUtime=0.06 cores=1,3,5,7
/proc/3827/task/3832/stat : 3832 (java) S 3824 3827 3436 0 -1 4202560 15881 0 0 0 3 3 0 0 16 0 22 0 503601751 16078065664 279258 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3833] ppid=3824 vsize=15701236 CPUtime=0.03 cores=1,3,5,7
/proc/3827/task/3833/stat : 3833 (java) S 3824 3827 3436 0 -1 4202560 10698 0 0 0 2 1 0 0 16 0 22 0 503601751 16078065664 279259 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3834] ppid=3824 vsize=15701236 CPUtime=0.05 cores=1,3,5,7
/proc/3827/task/3834/stat : 3834 (java) S 3824 3827 3436 0 -1 4202560 16085 0 0 0 2 3 0 0 15 0 22 0 503601751 16078065664 279260 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3835] ppid=3824 vsize=15701236 CPUtime=0.03 cores=1,3,5,7
/proc/3827/task/3835/stat : 3835 (java) S 3824 3827 3436 0 -1 4202560 13870 0 0 0 2 1 0 0 16 0 22 0 503601751 16078065664 279262 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3836] ppid=3824 vsize=15701236 CPUtime=0.04 cores=1,3,5,7
/proc/3827/task/3836/stat : 3836 (java) S 3824 3827 3436 0 -1 4202560 11536 0 0 0 2 2 0 0 16 0 22 0 503601751 16078065664 279263 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3837] ppid=3824 vsize=15701236 CPUtime=0.02 cores=1,3,5,7
/proc/3827/task/3837/stat : 3837 (java) S 3824 3827 3436 0 -1 4202560 8154 0 0 0 1 1 0 0 15 0 22 0 503601751 16078065664 279264 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3838] ppid=3824 vsize=15701236 CPUtime=0.02 cores=1,3,5,7
/proc/3827/task/3838/stat : 3838 (java) S 3824 3827 3436 0 -1 4202560 9003 0 0 0 1 1 0 0 15 0 22 0 503601751 16078065664 279266 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3839] ppid=3824 vsize=15701236 CPUtime=0.04 cores=1,3,5,7
/proc/3827/task/3839/stat : 3839 (java) S 3824 3827 3436 0 -1 4202560 12014 0 0 0 2 2 0 0 16 0 22 0 503601751 16078065664 279267 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 3 0 0 0

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

[pid=3827/tid=3858] ppid=3824 vsize=15701236 CPUtime=1053.49 cores=1,3,5,7
/proc/3827/task/3858/stat : 3858 (java) R 3824 3827 3436 0 -1 4202560 255551 0 0 0 105318 31 0 0 25 0 22 0 503601797 16078065664 359142 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505826026 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3827/tid=3859] ppid=3824 vsize=15701236 CPUtime=1053.59 cores=1,3,5,7
/proc/3827/task/3859/stat : 3859 (java) R 3824 3827 3436 0 -1 4202560 254809 0 0 0 105327 32 0 0 25 0 22 0 503601797 16078065664 359142 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505601158 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3827/tid=3860] ppid=3824 vsize=15701236 CPUtime=1055.03 cores=1,3,5,7
/proc/3827/task/3860/stat : 3860 (java) R 3824 3827 3436 0 -1 4202560 249286 0 0 0 105476 27 0 0 25 0 22 0 503601797 16078065664 359142 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505582973 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4236.46
Current children cumulated vsize (KiB) 15701236

[startup+1122.3 s]
/proc/loadavg: 8.13 8.05 7.92 9/220 3893
/proc/meminfo: memFree=28493524/32951124 swapFree=67105204/67111528
[pid=3827] ppid=3824 vsize=15701236 CPUtime=4475.94 cores=1,3,5,7
/proc/3827/stat : 3827 (java) S 3824 3827 3436 0 -1 4202496 2232875 0 1 0 447247 347 0 0 23 0 22 0 503601750 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3827/statm: 3925309 412572 2298 9 0 3916028 0
[pid=3827/tid=3830] ppid=3824 vsize=15701236 CPUtime=1.07 cores=1,3,5,7
/proc/3827/task/3830/stat : 3830 (java) S 3824 3827 3436 0 -1 4202560 35679 0 1 0 104 3 0 0 21 0 22 0 503601750 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3832] ppid=3824 vsize=15701236 CPUtime=2.19 cores=1,3,5,7
/proc/3827/task/3832/stat : 3832 (java) S 3824 3827 3436 0 -1 4202560 110582 0 0 0 200 19 0 0 16 0 22 0 503601751 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3833] ppid=3824 vsize=15701236 CPUtime=2.19 cores=1,3,5,7
/proc/3827/task/3833/stat : 3833 (java) S 3824 3827 3436 0 -1 4202560 140498 0 0 0 196 23 0 0 16 0 22 0 503601751 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3834] ppid=3824 vsize=15701236 CPUtime=2.25 cores=1,3,5,7
/proc/3827/task/3834/stat : 3834 (java) S 3824 3827 3436 0 -1 4202560 157008 0 0 0 199 26 0 0 16 0 22 0 503601751 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3835] ppid=3824 vsize=15701236 CPUtime=2.35 cores=1,3,5,7
/proc/3827/task/3835/stat : 3835 (java) S 3824 3827 3436 0 -1 4202560 166767 0 0 0 209 26 0 0 15 0 22 0 503601751 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3836] ppid=3824 vsize=15701236 CPUtime=2.18 cores=1,3,5,7
/proc/3827/task/3836/stat : 3836 (java) S 3824 3827 3436 0 -1 4202560 156643 0 0 0 192 26 0 0 16 0 22 0 503601751 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3837] ppid=3824 vsize=15701236 CPUtime=2.14 cores=1,3,5,7
/proc/3827/task/3837/stat : 3837 (java) S 3824 3827 3436 0 -1 4202560 100030 0 0 0 199 15 0 0 15 0 22 0 503601751 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3838] ppid=3824 vsize=15701236 CPUtime=2.1 cores=1,3,5,7
/proc/3827/task/3838/stat : 3838 (java) S 3824 3827 3436 0 -1 4202560 121422 0 0 0 192 18 0 0 15 0 22 0 503601751 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3839] ppid=3824 vsize=15701236 CPUtime=2.34 cores=1,3,5,7
/proc/3827/task/3839/stat : 3839 (java) S 3824 3827 3436 0 -1 4202560 144159 0 0 0 209 25 0 0 16 0 22 0 503601751 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3840] ppid=3824 vsize=15701236 CPUtime=0.84 cores=1,3,5,7
/proc/3827/task/3840/stat : 3840 (java) S 3824 3827 3436 0 -1 4202560 13199 0 0 0 54 30 0 0 15 0 22 0 503601752 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 0 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3841] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3841/stat : 3841 (java) S 3824 3827 3436 0 -1 4202560 19 0 0 0 0 0 0 0 16 0 22 0 503601752 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3842] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3842/stat : 3842 (java) S 3824 3827 3436 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 503601752 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3848] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3848/stat : 3848 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503601754 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828060081 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3849] ppid=3824 vsize=15701236 CPUtime=1.09 cores=1,3,5,7
/proc/3827/task/3849/stat : 3849 (java) S 3824 3827 3436 0 -1 4202560 5292 0 0 0 109 0 0 0 16 0 22 0 503601754 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3850] ppid=3824 vsize=15701236 CPUtime=1.43 cores=1,3,5,7
/proc/3827/task/3850/stat : 3850 (java) S 3824 3827 3436 0 -1 4202560 17146 0 0 0 142 1 0 0 15 0 22 0 503601754 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3851] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3851/stat : 3851 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503601754 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3852] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3852/stat : 3852 (java) S 3824 3827 3436 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 503601754 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 4 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3857] ppid=3824 vsize=15701236 CPUtime=1113.01 cores=1,3,5,7
/proc/3827/task/3857/stat : 3857 (java) R 3824 3827 3436 0 -1 4202560 269086 0 0 0 111270 31 0 0 25 0 22 0 503601797 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505743344 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=3827/tid=3858] ppid=3824 vsize=15701236 CPUtime=1112.78 cores=1,3,5,7
/proc/3827/task/3858/stat : 3858 (java) R 3824 3827 3436 0 -1 4202560 268973 0 0 0 111244 34 0 0 25 0 22 0 503601797 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 47685393532081 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3827/tid=3859] ppid=3824 vsize=15701236 CPUtime=1113.2 cores=1,3,5,7
/proc/3827/task/3859/stat : 3859 (java) R 3824 3827 3436 0 -1 4202560 264662 0 0 0 111287 33 0 0 25 0 22 0 503601797 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505743476 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3827/tid=3860] ppid=3824 vsize=15701236 CPUtime=1114.64 cores=1,3,5,7
/proc/3827/task/3860/stat : 3860 (java) R 3824 3827 3436 0 -1 4202560 260277 0 0 0 111436 28 0 0 25 0 22 0 503601797 16078065664 412572 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505743358 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4475.94
Current children cumulated vsize (KiB) 15701236

[startup+1182.3 s]
/proc/loadavg: 8.25 8.09 7.94 10/220 3895
/proc/meminfo: memFree=28721352/32951124 swapFree=67105204/67111528
[pid=3827] ppid=3824 vsize=15701236 CPUtime=4715.38 cores=1,3,5,7
/proc/3827/stat : 3827 (java) S 3824 3827 3436 0 -1 4202496 2303568 0 1 0 471178 360 0 0 23 0 22 0 503601750 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3827/statm: 3925309 365907 2298 9 0 3916028 0
[pid=3827/tid=3830] ppid=3824 vsize=15701236 CPUtime=1.07 cores=1,3,5,7
/proc/3827/task/3830/stat : 3830 (java) S 3824 3827 3436 0 -1 4202560 35679 0 1 0 104 3 0 0 21 0 22 0 503601750 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3832] ppid=3824 vsize=15701236 CPUtime=2.33 cores=1,3,5,7
/proc/3827/task/3832/stat : 3832 (java) S 3824 3827 3436 0 -1 4202560 115075 0 0 0 213 20 0 0 16 0 22 0 503601751 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3833] ppid=3824 vsize=15701236 CPUtime=2.31 cores=1,3,5,7
/proc/3827/task/3833/stat : 3833 (java) S 3824 3827 3436 0 -1 4202560 141922 0 0 0 208 23 0 0 16 0 22 0 503601751 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3834] ppid=3824 vsize=15701236 CPUtime=2.43 cores=1,3,5,7
/proc/3827/task/3834/stat : 3834 (java) S 3824 3827 3436 0 -1 4202560 161494 0 0 0 216 27 0 0 16 0 22 0 503601751 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3835] ppid=3824 vsize=15701236 CPUtime=2.51 cores=1,3,5,7
/proc/3827/task/3835/stat : 3835 (java) S 3824 3827 3436 0 -1 4202560 168180 0 0 0 225 26 0 0 16 0 22 0 503601751 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3836] ppid=3824 vsize=15701236 CPUtime=2.36 cores=1,3,5,7
/proc/3827/task/3836/stat : 3836 (java) S 3824 3827 3436 0 -1 4202560 164118 0 0 0 209 27 0 0 15 0 22 0 503601751 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3837] ppid=3824 vsize=15701236 CPUtime=2.33 cores=1,3,5,7
/proc/3827/task/3837/stat : 3837 (java) S 3824 3827 3436 0 -1 4202560 107943 0 0 0 217 16 0 0 16 0 22 0 503601751 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3838] ppid=3824 vsize=15701236 CPUtime=2.26 cores=1,3,5,7
/proc/3827/task/3838/stat : 3838 (java) S 3824 3827 3436 0 -1 4202560 129861 0 0 0 207 19 0 0 16 0 22 0 503601751 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3839] ppid=3824 vsize=15701236 CPUtime=2.47 cores=1,3,5,7
/proc/3827/task/3839/stat : 3839 (java) S 3824 3827 3436 0 -1 4202560 147459 0 0 0 221 26 0 0 16 0 22 0 503601751 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3840] ppid=3824 vsize=15701236 CPUtime=0.87 cores=1,3,5,7
/proc/3827/task/3840/stat : 3840 (java) S 3824 3827 3436 0 -1 4202560 13410 0 0 0 54 33 0 0 15 0 22 0 503601752 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 0 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3841] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3841/stat : 3841 (java) S 3824 3827 3436 0 -1 4202560 19 0 0 0 0 0 0 0 16 0 22 0 503601752 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3842] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3842/stat : 3842 (java) S 3824 3827 3436 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 503601752 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3848] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3848/stat : 3848 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503601754 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828060081 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3849] ppid=3824 vsize=15701236 CPUtime=1.09 cores=1,3,5,7
/proc/3827/task/3849/stat : 3849 (java) S 3824 3827 3436 0 -1 4202560 5292 0 0 0 109 0 0 0 16 0 22 0 503601754 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3850] ppid=3824 vsize=15701236 CPUtime=1.43 cores=1,3,5,7
/proc/3827/task/3850/stat : 3850 (java) S 3824 3827 3436 0 -1 4202560 17146 0 0 0 142 1 0 0 15 0 22 0 503601754 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3851] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3851/stat : 3851 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503601754 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3852] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3852/stat : 3852 (java) S 3824 3827 3436 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 503601754 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3857] ppid=3824 vsize=15701236 CPUtime=1172.6 cores=1,3,5,7
/proc/3827/task/3857/stat : 3857 (java) R 3824 3827 3436 0 -1 4202560 276699 0 0 0 117228 32 0 0 25 0 22 0 503601797 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505846840 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3827/tid=3858] ppid=3824 vsize=15701236 CPUtime=1172.09 cores=1,3,5,7
/proc/3827/task/3858/stat : 3858 (java) R 3824 3827 3436 0 -1 4202560 277928 0 0 0 117174 35 0 0 25 0 22 0 503601797 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505743672 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3827/tid=3859] ppid=3824 vsize=15701236 CPUtime=1172.81 cores=1,3,5,7
/proc/3827/task/3859/stat : 3859 (java) R 3824 3827 3436 0 -1 4202560 273272 0 0 0 117247 34 0 0 25 0 22 0 503601797 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505582960 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3827/tid=3860] ppid=3824 vsize=15701236 CPUtime=1174.25 cores=1,3,5,7
/proc/3827/task/3860/stat : 3860 (java) R 3824 3827 3436 0 -1 4202560 266634 0 0 0 117396 29 0 0 25 0 22 0 503601797 16078065664 365907 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 47685393532467 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4715.38
Current children cumulated vsize (KiB) 15701236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.18 8.08 7.94 9/220 3895
/proc/meminfo: memFree=28707172/32951124 swapFree=67105204/67111528
[pid=3827] ppid=3824 vsize=15701236 CPUtime=4800.3 cores=1,3,5,7
/proc/3827/stat : 3827 (java) S 3824 3827 3436 0 -1 4202496 2338641 0 1 0 479665 365 0 0 23 0 22 0 503601750 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828039141 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/3827/statm: 3925309 347658 2298 9 0 3916028 0
[pid=3827/tid=3830] ppid=3824 vsize=15701236 CPUtime=1.07 cores=1,3,5,7
/proc/3827/task/3830/stat : 3830 (java) S 3824 3827 3436 0 -1 4202560 35679 0 1 0 104 3 0 0 21 0 22 0 503601750 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3832] ppid=3824 vsize=15701236 CPUtime=2.39 cores=1,3,5,7
/proc/3827/task/3832/stat : 3832 (java) S 3824 3827 3436 0 -1 4202560 116764 0 0 0 219 20 0 0 15 0 22 0 503601751 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3833] ppid=3824 vsize=15701236 CPUtime=2.39 cores=1,3,5,7
/proc/3827/task/3833/stat : 3833 (java) S 3824 3827 3436 0 -1 4202560 144864 0 0 0 215 24 0 0 15 0 22 0 503601751 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3834] ppid=3824 vsize=15701236 CPUtime=2.47 cores=1,3,5,7
/proc/3827/task/3834/stat : 3834 (java) S 3824 3827 3436 0 -1 4202560 162935 0 0 0 220 27 0 0 15 0 22 0 503601751 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3835] ppid=3824 vsize=15701236 CPUtime=2.56 cores=1,3,5,7
/proc/3827/task/3835/stat : 3835 (java) S 3824 3827 3436 0 -1 4202560 172260 0 0 0 230 26 0 0 16 0 22 0 503601751 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3836] ppid=3824 vsize=15701236 CPUtime=2.44 cores=1,3,5,7
/proc/3827/task/3836/stat : 3836 (java) S 3824 3827 3436 0 -1 4202560 167531 0 0 0 217 27 0 0 15 0 22 0 503601751 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3837] ppid=3824 vsize=15701236 CPUtime=2.4 cores=1,3,5,7
/proc/3827/task/3837/stat : 3837 (java) S 3824 3827 3436 0 -1 4202560 111273 0 0 0 223 17 0 0 15 0 22 0 503601751 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3838] ppid=3824 vsize=15701236 CPUtime=2.33 cores=1,3,5,7
/proc/3827/task/3838/stat : 3838 (java) S 3824 3827 3436 0 -1 4202560 133859 0 0 0 213 20 0 0 15 0 22 0 503601751 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3839] ppid=3824 vsize=15701236 CPUtime=2.51 cores=1,3,5,7
/proc/3827/task/3839/stat : 3839 (java) S 3824 3827 3436 0 -1 4202560 149789 0 0 0 225 26 0 0 16 0 22 0 503601751 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3840] ppid=3824 vsize=15701236 CPUtime=0.9 cores=1,3,5,7
/proc/3827/task/3840/stat : 3840 (java) S 3824 3827 3436 0 -1 4202560 13511 0 0 0 57 33 0 0 15 0 22 0 503601752 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 0 0 16800975 18446604470857376000 0 0 -1 3 0 0 0
[pid=3827/tid=3841] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3841/stat : 3841 (java) S 3824 3827 3436 0 -1 4202560 19 0 0 0 0 0 0 0 16 0 22 0 503601752 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3842] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3842/stat : 3842 (java) S 3824 3827 3436 0 -1 4202560 9 0 0 0 0 0 0 0 17 0 22 0 503601752 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3848] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3848/stat : 3848 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 503601754 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828060081 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3849] ppid=3824 vsize=15701236 CPUtime=1.09 cores=1,3,5,7
/proc/3827/task/3849/stat : 3849 (java) S 3824 3827 3436 0 -1 4202560 5292 0 0 0 109 0 0 0 16 0 22 0 503601754 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3850] ppid=3824 vsize=15701236 CPUtime=1.43 cores=1,3,5,7
/proc/3827/task/3850/stat : 3850 (java) S 3824 3827 3436 0 -1 4202560 17146 0 0 0 142 1 0 0 15 0 22 0 503601754 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 7 0 0 0
[pid=3827/tid=3851] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3851/stat : 3851 (java) S 3824 3827 3436 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503601754 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052377 0 4 0 16800975 18446604470857376000 0 0 -1 5 0 0 0
[pid=3827/tid=3852] ppid=3824 vsize=15701236 CPUtime=0 cores=1,3,5,7
/proc/3827/task/3852/stat : 3852 (java) S 3824 3827 3436 0 -1 4202560 70 0 0 0 0 0 0 0 15 0 22 0 503601754 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 220828052992 0 4 0 16800975 18446604470857376000 0 0 -1 1 0 0 0
[pid=3827/tid=3857] ppid=3824 vsize=15701236 CPUtime=1193.61 cores=1,3,5,7
/proc/3827/task/3857/stat : 3857 (java) R 3824 3827 3436 0 -1 4202560 278324 0 0 0 119329 32 0 0 25 0 22 0 503601797 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505711657 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=3827/tid=3858] ppid=3824 vsize=15701236 CPUtime=1193.22 cores=1,3,5,7
/proc/3827/task/3858/stat : 3858 (java) R 3824 3827 3436 0 -1 4202560 280366 0 0 0 119287 35 0 0 25 0 22 0 503601797 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505696405 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=3827/tid=3859] ppid=3824 vsize=15701236 CPUtime=1193.95 cores=1,3,5,7
/proc/3827/task/3859/stat : 3859 (java) R 3824 3827 3436 0 -1 4202560 276862 0 0 0 119361 34 0 0 25 0 22 0 503601797 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=3827/tid=3860] ppid=3824 vsize=15701236 CPUtime=1195.39 cores=1,3,5,7
/proc/3827/task/3860/stat : 3860 (java) R 3824 3827 3436 0 -1 4202560 270730 0 0 0 119509 30 0 0 25 0 22 0 503601797 16078065664 347658 33554432000 1073741824 1073778376 140736706724000 18446744073709551615 46912505869782 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 15701236

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

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

Child status: 143
Real time (s): 1203.67
CPU time (s): 4800.4
CPU user time (s): 4796.69
CPU system time (s): 3.71044
CPU usage (%): 398.815
Max. virtual memory (cumulated for all children) (KiB): 15704096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.69
system time used= 3.71043
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2338666
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= 45934
involuntary context switches= 70671

runsolver used 2.08368 second user time and 4.51631 second system time

The end

Launcher Data 

Begin job on node147 at 2011-04-29 23:17:38
IDJOB=3311150
IDBENCH=82535
IDSOLVER=1698
FILE ID=node147/3311150-1304111858
RUNJOBID= node147-1304111858-3798
PBS_JOBID= 13170669
Free space on /tmp= 72656 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/large/unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311150-1304111858/watcher-3311150-1304111858 -o /tmp/evaluation-result-3311150-1304111858/solver-3311150-1304111858 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311150-1304111858.cnf -hbr 2

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

MD5SUM BENCH= 1ae73e64babd5796adef68295bcaa14f
RANDOM SEED=1057401189

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30899532 kB
Buffers:        287092 kB
Cached:        1374164 kB
SwapCached:       3064 kB
Active:         150112 kB
Inactive:      1577252 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30899532 kB
SwapTotal:    67111528 kB
SwapFree:     67105204 kB
Dirty:            4676 kB
Writeback:           0 kB
AnonPages:       64192 kB
Mapped:          20052 kB
Slab:           260572 kB
PageTables:       4832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   758260 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= 72656 MiB
End job on node147 at 2011-04-29 23:37:44