Trace number 3312330

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.26 1206.53

General information on the benchmark

Namerandom/large/
unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf
MD5SUM917ee0efab4f0e89027865c1129d272b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables250
Number of clauses21250
Sum of the clauses size148750
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 521250

Solver Data 

0.10/0.11	00:12 INFO : Reading from input HOME/instance-3312330-1304110811.cnf
0.61/0.44	Executor set job limit to 1000000
0.61/0.44	Executor set job limit to 1000000
0.61/0.44	Executor set job limit to 1000000
0.61/0.44	Executor set job limit to 1000000
0.61/0.44	Starting Executor!
0.61/0.45	Starting Executor!
0.61/0.45	Starting Executor!
0.61/0.45	Starting Executor!
1.83/0.91	00:12 INFO : 250 variables remaining out of 250
1.83/0.91	00:12 INFO : 170000 literals remaining out of 170000

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

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

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


[startup+0 s]
/proc/loadavg: 4.00 4.22 4.64 2/189 9502
/proc/meminfo: memFree=31311336/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=27172 CPUtime=0 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 1423 0 0 0 0 0 0 0 24 0 2 0 503496758 27824128 894 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 6793 894 684 9 0 381 0
[pid=9502/tid=9503] ppid=9500 vsize=28384 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) R 9500 9502 8948 0 -1 4202560 71 0 0 0 0 0 0 0 25 0 2 0 503496759 29065216 898 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270333460103 0 0 4096 0 0 0 0 -1 5 0 0 0

[startup+0.0603891 s]
/proc/loadavg: 4.00 4.22 4.64 2/189 9502
/proc/meminfo: memFree=31311336/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15609780 CPUtime=0.04 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 4272 0 1 0 4 0 0 0 24 0 18 0 503496758 15984414720 3712 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3902445 3714 1778 9 0 3893164 0
[pid=9502/tid=9503] ppid=9500 vsize=15609780 CPUtime=0.04 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) R 9500 9502 8948 0 -1 4202560 2856 0 1 0 4 0 0 0 22 0 18 0 503496759 15984414720 3714 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270338044613 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609780

[startup+0.100333 s]
/proc/loadavg: 4.00 4.22 4.64 2/189 9502
/proc/meminfo: memFree=31311336/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15741884 CPUtime=0.1 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 5651 0 1 0 9 1 0 0 24 0 18 0 503496758 16119689216 5054 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3935471 5054 2118 9 0 3926190 0
[pid=9502/tid=9503] ppid=9500 vsize=15741884 CPUtime=0.08 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) R 9500 9502 8948 0 -1 4202560 3484 0 1 0 8 0 0 0 18 0 18 0 503496759 16119689216 5055 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 47599311066648 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741884

[startup+0.300297 s]
/proc/loadavg: 4.00 4.22 4.64 2/189 9502
/proc/meminfo: memFree=31311336/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15745168 CPUtime=0.51 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 16055 0 1 0 48 3 0 0 24 0 18 0 503496758 16123052032 14469 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3936292 14476 2207 9 0 3927011 0
[pid=9502/tid=9503] ppid=9500 vsize=15745168 CPUtime=0.28 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) R 9500 9502 8948 0 -1 4202560 10939 0 1 0 26 2 0 0 18 0 18 0 503496759 16123052032 14480 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505633141 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15745168

[startup+0.704244 s]
/proc/loadavg: 4.00 4.22 4.64 2/189 9502
/proc/meminfo: memFree=31311336/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15767136 CPUtime=1.24 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 45978 0 1 0 118 6 0 0 24 0 22 0 503496758 16145547264 42452 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3941784 42452 2252 9 0 3932503 0
[pid=9502/tid=9503] ppid=9500 vsize=15767136 CPUtime=0.67 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) R 9500 9502 8948 0 -1 4202560 34116 0 1 0 63 4 0 0 20 0 22 0 503496759 16145547264 42452 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 47599308022675 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 15767136

[startup+1.50101 s]
/proc/loadavg: 4.00 4.22 4.64 8/220 9533
/proc/meminfo: memFree=30972880/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=3.94 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 60326 0 1 0 386 8 0 0 24 0 22 0 503496758 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 50857 2274 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) S 9500 9502 8948 0 -1 4202560 25 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) S 9500 9502 8948 0 -1 4202560 339 0 0 0 0 0 0 0 15 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) S 9500 9502 8948 0 -1 4202560 937 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) S 9500 9502 8948 0 -1 4202560 1100 0 0 0 0 0 0 0 17 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 1162 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 1101 0 0 0 0 0 0 0 18 0 22 0 503496759 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9513] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9513/stat : 9513 (java) S 9500 9502 8948 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 503496760 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 0 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9519] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9519/stat : 9519 (java) S 9500 9502 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9520] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9520/stat : 9520 (java) S 9500 9502 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9521] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9521/stat : 9521 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503496763 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350207409 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9522] ppid=9500 vsize=15770340 CPUtime=0.67 cores=1,3,5,7
/proc/9502/task/9522/stat : 9522 (java) S 9500 9502 8948 0 -1 4202560 7598 0 0 0 67 0 0 0 16 0 22 0 503496763 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9523] ppid=9500 vsize=15770340 CPUtime=0.8 cores=1,3,5,7
/proc/9502/task/9523/stat : 9523 (java) R 9500 9502 8948 0 -1 4202560 11298 0 0 0 79 1 0 0 16 0 22 0 503496763 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 47599308710016 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9524] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9524/stat : 9524 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503496763 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9525] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9525/stat : 9525 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503496763 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9530] ppid=9500 vsize=15770340 CPUtime=0.36 cores=1,3,5,7
/proc/9502/task/9530/stat : 9530 (java) R 9500 9502 8948 0 -1 4202560 29 0 0 0 36 0 0 0 16 0 22 0 503496803 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505874631 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=0.25 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) R 9500 9502 8948 0 -1 4202560 444 0 0 0 25 0 0 0 16 0 22 0 503496803 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505796629 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=0.38 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) R 9500 9502 8948 0 -1 4202560 418 0 0 0 38 0 0 0 16 0 22 0 503496803 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=0.5 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) R 9500 9502 8948 0 -1 4202560 296 0 0 0 50 0 0 0 16 0 22 0 503496803 16148828160 50857 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505796650 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 15770340

[startup+3.10076 s]
/proc/loadavg: 4.00 4.22 4.64 10/220 9533
/proc/meminfo: memFree=30795984/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=10.31 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 120833 0 1 0 1015 16 0 0 24 0 22 0 503496758 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 111268 2274 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) R 9500 9502 8948 0 -1 4202560 1908 0 0 0 0 0 0 0 15 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200774 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=0.01 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) R 9500 9502 8948 0 -1 4202560 5309 0 0 0 1 0 0 0 15 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200774 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=0.01 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) R 9500 9502 8948 0 -1 4202560 5156 0 0 0 0 1 0 0 15 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270338337079 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=0.02 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) R 9500 9502 8948 0 -1 4202560 8362 0 0 0 2 0 0 0 15 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270338337079 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) R 9500 9502 8948 0 -1 4202560 1551 0 0 0 0 0 0 0 15 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=0.01 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 5923 0 0 0 1 0 0 0 16 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=0.02 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 7192 0 0 0 2 0 0 0 16 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=0.02 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 6724 0 0 0 1 1 0 0 16 0 22 0 503496759 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9513] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9513/stat : 9513 (java) S 9500 9502 8948 0 -1 4202560 234 0 0 0 0 0 0 0 15 0 22 0 503496760 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 0 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9519] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9519/stat : 9519 (java) S 9500 9502 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9520] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9520/stat : 9520 (java) S 9500 9502 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9521] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9521/stat : 9521 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503496763 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350207409 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9522] ppid=9500 vsize=15770340 CPUtime=0.72 cores=1,3,5,7
/proc/9502/task/9522/stat : 9522 (java) S 9500 9502 8948 0 -1 4202560 7603 0 0 0 72 0 0 0 15 0 22 0 503496763 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9523] ppid=9500 vsize=15770340 CPUtime=0.83 cores=1,3,5,7
/proc/9502/task/9523/stat : 9523 (java) S 9500 9502 8948 0 -1 4202560 11302 0 0 0 82 1 0 0 15 0 22 0 503496763 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9524] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9524/stat : 9524 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503496763 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9525] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9525/stat : 9525 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 503496763 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9530] ppid=9500 vsize=15770340 CPUtime=1.92 cores=1,3,5,7
/proc/9502/task/9530/stat : 9530 (java) S 9500 9502 8948 0 -1 4202560 5635 0 0 0 192 0 0 0 17 0 22 0 503496803 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=1.77 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) S 9500 9502 8948 0 -1 4202560 6632 0 0 0 177 0 0 0 17 0 22 0 503496803 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=1.93 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) S 9500 9502 8948 0 -1 4202560 6152 0 0 0 193 0 0 0 17 0 22 0 503496803 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=2.01 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) S 9500 9502 8948 0 -1 4202560 5583 0 0 0 200 1 0 0 18 0 22 0 503496803 16148828160 111268 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 10.31
Current children cumulated vsize (KiB) 15770340

[startup+6.30106 s]
/proc/loadavg: 4.40 4.29 4.67 10/220 9533
/proc/meminfo: memFree=29442932/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=23.08 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 292746 0 1 0 2271 37 0 0 24 0 22 0 503496758 16148828160 282281 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 282284 2284 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 282285 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) S 9500 9502 8948 0 -1 4202560 1908 0 0 0 0 0 0 0 15 0 22 0 503496759 16148828160 282288 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=0.01 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) S 9500 9502 8948 0 -1 4202560 5309 0 0 0 1 0 0 0 15 0 22 0 503496759 16148828160 282290 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=0.03 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) S 9500 9502 8948 0 -1 4202560 9987 0 0 0 1 2 0 0 15 0 22 0 503496759 16148828160 282291 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=0.05 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) S 9500 9502 8948 0 -1 4202560 17226 0 0 0 3 2 0 0 16 0 22 0 503496759 16148828160 282294 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=0.02 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) S 9500 9502 8948 0 -1 4202560 10644 0 0 0 1 1 0 0 16 0 22 0 503496759 16148828160 282296 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=0.01 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 5923 0 0 0 1 0 0 0 15 0 22 0 503496759 16148828160 282299 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=0.03 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 11136 0 0 0 2 1 0 0 16 0 22 0 503496759 16148828160 282301 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=0.05 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 15306 0 0 0 3 2 0 0 16 0 22 0 503496759 16148828160 282304 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0

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

[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=1108.21 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) R 9500 9502 8948 0 -1 4202560 236284 0 0 0 110785 36 0 0 25 0 22 0 503496803 16148828160 105514 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505804768 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=1108.53 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) R 9500 9502 8948 0 -1 4202560 243138 0 0 0 110816 37 0 0 25 0 22 0 503496803 16148828160 105514 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505927949 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=1107.76 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) R 9500 9502 8948 0 -1 4202560 237684 0 0 0 110739 37 0 0 25 0 22 0 503496803 16148828160 105514 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505769728 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4465.09
Current children cumulated vsize (KiB) 15770340

[startup+1182.3 s]
/proc/loadavg: 8.11 8.00 7.08 9/220 9574
/proc/meminfo: memFree=30523916/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=4703.84 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 1798919 0 1 0 470004 380 0 0 24 0 22 0 503496758 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 109518 2299 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=3.62 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) S 9500 9502 8948 0 -1 4202560 82483 0 0 0 342 20 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=3.59 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) S 9500 9502 8948 0 -1 4202560 88173 0 0 0 340 19 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=3.59 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) S 9500 9502 8948 0 -1 4202560 90947 0 0 0 337 22 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=3.65 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) S 9500 9502 8948 0 -1 4202560 103937 0 0 0 343 22 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=3.61 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) S 9500 9502 8948 0 -1 4202560 88657 0 0 0 339 22 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=3.5 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 85968 0 0 0 332 18 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=3.67 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 99045 0 0 0 345 22 0 0 15 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=3.67 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 94225 0 0 0 345 22 0 0 16 0 22 0 503496759 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9513] ppid=9500 vsize=15770340 CPUtime=1.75 cores=1,3,5,7
/proc/9502/task/9513/stat : 9513 (java) S 9500 9502 8948 0 -1 4202560 4869 0 0 0 124 51 0 0 15 0 22 0 503496760 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 0 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9519] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9519/stat : 9519 (java) S 9500 9502 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9520] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9520/stat : 9520 (java) S 9500 9502 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9521] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9521/stat : 9521 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503496763 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350207409 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9522] ppid=9500 vsize=15770340 CPUtime=1.04 cores=1,3,5,7
/proc/9502/task/9522/stat : 9522 (java) S 9500 9502 8948 0 -1 4202560 8490 0 0 0 104 0 0 0 15 0 22 0 503496763 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9523] ppid=9500 vsize=15770340 CPUtime=1.1 cores=1,3,5,7
/proc/9502/task/9523/stat : 9523 (java) S 9500 9502 8948 0 -1 4202560 11364 0 0 0 109 1 0 0 15 0 22 0 503496763 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9524] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9524/stat : 9524 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503496763 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9525] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9525/stat : 9525 (java) S 9500 9502 8948 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 503496763 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9530] ppid=9500 vsize=15770340 CPUtime=1167.76 cores=1,3,5,7
/proc/9502/task/9530/stat : 9530 (java) R 9500 9502 8948 0 -1 4202560 252620 0 0 0 116741 35 0 0 25 0 22 0 503496803 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505804885 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=1167.54 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) R 9500 9502 8948 0 -1 4202560 248118 0 0 0 116716 38 0 0 25 0 22 0 503496803 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505907817 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=1167.81 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) R 9500 9502 8948 0 -1 4202560 254926 0 0 0 116743 38 0 0 25 0 22 0 503496803 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505796474 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=1166.91 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) R 9500 9502 8948 0 -1 4202560 249472 0 0 0 116653 38 0 0 25 0 22 0 503496803 16148828160 109518 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 47599311824063 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4703.84
Current children cumulated vsize (KiB) 15770340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.5 s]
/proc/loadavg: 8.21 8.03 7.12 9/220 9574
/proc/meminfo: memFree=30487920/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=4800.2 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 1835932 0 1 0 479632 388 0 0 24 0 22 0 503496758 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 105377 2299 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=3.69 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) S 9500 9502 8948 0 -1 4202560 85173 0 0 0 348 21 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=3.66 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) S 9500 9502 8948 0 -1 4202560 91832 0 0 0 346 20 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=3.66 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) S 9500 9502 8948 0 -1 4202560 93432 0 0 0 344 22 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=3.74 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) S 9500 9502 8948 0 -1 4202560 106872 0 0 0 351 23 0 0 16 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=3.69 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) S 9500 9502 8948 0 -1 4202560 91363 0 0 0 347 22 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=3.58 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 88941 0 0 0 339 19 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=3.76 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 103006 0 0 0 353 23 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=3.75 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 96720 0 0 0 353 22 0 0 16 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9513] ppid=9500 vsize=15770340 CPUtime=1.77 cores=1,3,5,7
/proc/9502/task/9513/stat : 9513 (java) S 9500 9502 8948 0 -1 4202560 4977 0 0 0 125 52 0 0 15 0 22 0 503496760 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 0 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9519] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9519/stat : 9519 (java) S 9500 9502 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9520] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9520/stat : 9520 (java) S 9500 9502 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9521] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9521/stat : 9521 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350207409 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9522] ppid=9500 vsize=15770340 CPUtime=1.04 cores=1,3,5,7
/proc/9502/task/9522/stat : 9522 (java) S 9500 9502 8948 0 -1 4202560 8490 0 0 0 104 0 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9523] ppid=9500 vsize=15770340 CPUtime=1.1 cores=1,3,5,7
/proc/9502/task/9523/stat : 9523 (java) S 9500 9502 8948 0 -1 4202560 11364 0 0 0 109 1 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9524] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9524/stat : 9524 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9525] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9525/stat : 9525 (java) S 9500 9502 8948 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9530] ppid=9500 vsize=15770340 CPUtime=1191.71 cores=1,3,5,7
/proc/9502/task/9530/stat : 9530 (java) R 9500 9502 8948 0 -1 4202560 256057 0 0 0 119136 35 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505927992 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=1191.44 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) R 9500 9502 8948 0 -1 4202560 251420 0 0 0 119106 38 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912506106540 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=1191.76 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) R 9500 9502 8948 0 -1 4202560 258004 0 0 0 119138 38 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505749574 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=1190.78 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) R 9500 9502 8948 0 -1 4202560 252654 0 0 0 119039 39 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505945847 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 15770340

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

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

[startup+1206.5 s]
/proc/loadavg: 8.21 8.03 7.12 9/220 9574
/proc/meminfo: memFree=30487920/32951124 swapFree=67111356/67111528
[pid=9502] ppid=9500 vsize=15770340 CPUtime=4800.2 cores=1,3,5,7
/proc/9502/stat : 9502 (java) S 9500 9502 8948 0 -1 4202496 1835932 0 1 0 479632 388 0 0 24 0 22 0 503496758 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/9502/statm: 3942585 105377 2299 9 0 3933304 0
[pid=9502/tid=9503] ppid=9500 vsize=15770340 CPUtime=0.89 cores=1,3,5,7
/proc/9502/task/9503/stat : 9503 (java) S 9500 9502 8948 0 -1 4202560 34181 0 1 0 85 4 0 0 20 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9505] ppid=9500 vsize=15770340 CPUtime=3.69 cores=1,3,5,7
/proc/9502/task/9505/stat : 9505 (java) S 9500 9502 8948 0 -1 4202560 85173 0 0 0 348 21 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9506] ppid=9500 vsize=15770340 CPUtime=3.66 cores=1,3,5,7
/proc/9502/task/9506/stat : 9506 (java) S 9500 9502 8948 0 -1 4202560 91832 0 0 0 346 20 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9507] ppid=9500 vsize=15770340 CPUtime=3.66 cores=1,3,5,7
/proc/9502/task/9507/stat : 9507 (java) S 9500 9502 8948 0 -1 4202560 93432 0 0 0 344 22 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9508] ppid=9500 vsize=15770340 CPUtime=3.74 cores=1,3,5,7
/proc/9502/task/9508/stat : 9508 (java) S 9500 9502 8948 0 -1 4202560 106872 0 0 0 351 23 0 0 16 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9509] ppid=9500 vsize=15770340 CPUtime=3.69 cores=1,3,5,7
/proc/9502/task/9509/stat : 9509 (java) S 9500 9502 8948 0 -1 4202560 91363 0 0 0 347 22 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9510] ppid=9500 vsize=15770340 CPUtime=3.58 cores=1,3,5,7
/proc/9502/task/9510/stat : 9510 (java) S 9500 9502 8948 0 -1 4202560 88941 0 0 0 339 19 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9511] ppid=9500 vsize=15770340 CPUtime=3.76 cores=1,3,5,7
/proc/9502/task/9511/stat : 9511 (java) S 9500 9502 8948 0 -1 4202560 103006 0 0 0 353 23 0 0 15 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9512] ppid=9500 vsize=15770340 CPUtime=3.75 cores=1,3,5,7
/proc/9502/task/9512/stat : 9512 (java) S 9500 9502 8948 0 -1 4202560 96720 0 0 0 353 22 0 0 16 0 22 0 503496759 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9513] ppid=9500 vsize=15770340 CPUtime=1.77 cores=1,3,5,7
/proc/9502/task/9513/stat : 9513 (java) S 9500 9502 8948 0 -1 4202560 4977 0 0 0 125 52 0 0 15 0 22 0 503496760 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 0 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9519] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9519/stat : 9519 (java) S 9500 9502 8948 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9520] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9520/stat : 9520 (java) S 9500 9502 8948 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 503496761 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 1 0 0 0
[pid=9502/tid=9521] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9521/stat : 9521 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350207409 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9522] ppid=9500 vsize=15770340 CPUtime=1.04 cores=1,3,5,7
/proc/9502/task/9522/stat : 9522 (java) S 9500 9502 8948 0 -1 4202560 8490 0 0 0 104 0 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9523] ppid=9500 vsize=15770340 CPUtime=1.1 cores=1,3,5,7
/proc/9502/task/9523/stat : 9523 (java) S 9500 9502 8948 0 -1 4202560 11364 0 0 0 109 1 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 5 0 0 0
[pid=9502/tid=9524] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9524/stat : 9524 (java) S 9500 9502 8948 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350199705 0 4 0 16800975 18446604471136798528 0 0 -1 7 0 0 0
[pid=9502/tid=9525] ppid=9500 vsize=15770340 CPUtime=0 cores=1,3,5,7
/proc/9502/task/9525/stat : 9525 (java) S 9500 9502 8948 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 503496763 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 270350200320 0 4 0 16800975 18446604471136798528 0 0 -1 3 0 0 0
[pid=9502/tid=9530] ppid=9500 vsize=15770340 CPUtime=1191.71 cores=1,3,5,7
/proc/9502/task/9530/stat : 9530 (java) R 9500 9502 8948 0 -1 4202560 256057 0 0 0 119136 35 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505927992 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9502/tid=9531] ppid=9500 vsize=15770340 CPUtime=1191.44 cores=1,3,5,7
/proc/9502/task/9531/stat : 9531 (java) R 9500 9502 8948 0 -1 4202560 251420 0 0 0 119106 38 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912506106540 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9502/tid=9532] ppid=9500 vsize=15770340 CPUtime=1191.76 cores=1,3,5,7
/proc/9502/task/9532/stat : 9532 (java) R 9500 9502 8948 0 -1 4202560 258004 0 0 0 119138 38 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505749574 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9502/tid=9533] ppid=9500 vsize=15770340 CPUtime=1190.78 cores=1,3,5,7
/proc/9502/task/9533/stat : 9533 (java) R 9500 9502 8948 0 -1 4202560 252654 0 0 0 119039 39 0 0 25 0 22 0 503496803 16148828160 105377 33554432000 1073741824 1073778376 140736151635856 18446744073709551615 46912505945847 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 15770340

Child status: 143
Real time (s): 1206.53
CPU time (s): 4800.26
CPU user time (s): 4796.36
CPU system time (s): 3.89941
CPU usage (%): 397.855
Max. virtual memory (cumulated for all children) (KiB): 15772916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.36
system time used= 3.89941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1835958
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= 203970
involuntary context switches= 114829

runsolver used 1.9497 second user time and 4.68529 second system time

The end

Launcher Data 

Begin job on node143 at 2011-04-29 23:00:11
IDJOB=3312330
IDBENCH=82515
IDSOLVER=1699
FILE ID=node143/3312330-1304110811
RUNJOBID= node143-1304110811-9471
PBS_JOBID= 13170658
Free space on /tmp= 72924 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312330-1304110811/watcher-3312330-1304110811 -o /tmp/evaluation-result-3312330-1304110811/solver-3312330-1304110811 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312330-1304110811.cnf

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

MD5SUM BENCH= 917ee0efab4f0e89027865c1129d272b
RANDOM SEED=1657434294

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.846
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.846
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.74
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.846
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:      31311508 kB
Buffers:        234444 kB
Cached:        1059684 kB
SwapCached:        168 kB
Active:         296056 kB
Inactive:      1067816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31311508 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            3976 kB
Writeback:           0 kB
AnonPages:       68960 kB
Mapped:          20124 kB
Slab:           212504 kB
PageTables:       4384 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   768728 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= 72920 MiB
End job on node143 at 2011-04-29 23:20:20