Trace number 3312415

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.19 1205.75

General information on the benchmark

Namerandom/large/
unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf
MD5SUM930b758d4a8e6fc97742d1279599e316
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.8087
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses15000
Sum of the clauses size75000
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 515000
Number of clauses of size over 50

Solver Data 

0.11/0.11	53:37 INFO : Reading from input HOME/instance-3312415-1304114017.cnf
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Executor set job limit to 1000000
0.52/0.36	Starting Executor!
0.52/0.36	Starting Executor!
0.52/0.36	Starting Executor!
0.52/0.36	Starting Executor!
1.73/0.86	53:38 INFO : 750 variables remaining out of 750
1.73/0.86	53:38 INFO : 90000 literals remaining out of 90000

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-3312415-1304114017/watcher-3312415-1304114017 -o /tmp/evaluation-result-3312415-1304114017/solver-3312415-1304114017 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312415-1304114017.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: 7.92 7.98 7.99 5/202 9252
/proc/meminfo: memFree=24845804/32951124 swapFree=67111352/67111528
[pid=9252] ppid=9250 vsize=28436 CPUtime=0 cores=1,3,5,7
/proc/9252/stat : 9252 (java) S 9250 9252 9058 0 -1 4202496 1435 0 0 0 0 0 0 0 25 0 2 0 522999544 29118464 904 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389104101 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/9252/statm: 7645 908 694 9 0 383 0
[pid=9252/tid=9253] ppid=9250 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9253/stat : 9253 (java) R 9250 9252 9058 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 522999544 31260672 946 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46975487679449 0 0 4096 0 0 0 0 -1 1 0 0 0

[startup+0.106856 s]
/proc/loadavg: 7.92 7.98 7.99 5/202 9252
/proc/meminfo: memFree=24845804/32951124 swapFree=67111352/67111528
[pid=9252] ppid=9250 vsize=15741976 CPUtime=0.11 cores=1,3,5,7
/proc/9252/stat : 9252 (java) S 9250 9252 9058 0 -1 4202496 5749 0 1 0 10 1 0 0 25 0 18 0 522999544 16119783424 5148 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9252/statm: 3935494 5148 2120 9 0 3926213 0
[pid=9252/tid=9253] ppid=9250 vsize=15741976 CPUtime=0.09 cores=1,3,5,7
/proc/9252/task/9253/stat : 9253 (java) R 9250 9252 9058 0 -1 4202560 3584 0 1 0 8 1 0 0 18 0 18 0 522999544 16119783424 5148 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46975491509075 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15741976

[startup+0.200839 s]
/proc/loadavg: 7.92 7.98 7.99 5/202 9252
/proc/meminfo: memFree=24845804/32951124 swapFree=67111352/67111528
[pid=9252] ppid=9250 vsize=15742516 CPUtime=0.28 cores=1,3,5,7
/proc/9252/stat : 9252 (java) S 9250 9252 9058 0 -1 4202496 7107 0 1 0 26 2 0 0 25 0 18 0 522999544 16120336384 6445 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9252/statm: 3935629 6446 2184 9 0 3926348 0
[pid=9252/tid=9253] ppid=9250 vsize=15742516 CPUtime=0.18 cores=1,3,5,7
/proc/9252/task/9253/stat : 9253 (java) R 9250 9252 9058 0 -1 4202560 4566 0 1 0 17 1 0 0 18 0 18 0 522999544 16120336384 6446 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 15742516

[startup+0.300833 s]
/proc/loadavg: 7.92 7.98 7.99 5/202 9252
/proc/meminfo: memFree=24845804/32951124 swapFree=67111352/67111528
[pid=9252] ppid=9250 vsize=15747212 CPUtime=0.52 cores=1,3,5,7
/proc/9252/stat : 9252 (java) S 9250 9252 9058 0 -1 4202496 16224 0 1 0 49 3 0 0 25 0 18 0 522999544 16125145088 14407 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9252/statm: 3936803 14413 2207 9 0 3927522 0
[pid=9252/tid=9253] ppid=9250 vsize=15747212 CPUtime=0.28 cores=1,3,5,7
/proc/9252/task/9253/stat : 9253 (java) R 9250 9252 9058 0 -1 4202560 11085 0 1 0 26 2 0 0 18 0 18 0 522999544 16125145088 14417 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505638041 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15747212

[startup+0.70071 s]
/proc/loadavg: 7.92 7.98 7.99 5/202 9252
/proc/meminfo: memFree=24845804/32951124 swapFree=67111352/67111528
[pid=9252] ppid=9250 vsize=15772192 CPUtime=1.43 cores=1,3,5,7
/proc/9252/stat : 9252 (java) S 9250 9252 9058 0 -1 4202496 37157 0 1 0 138 5 0 0 25 0 22 0 522999544 16150724608 32980 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9252/statm: 3943048 32980 2242 9 0 3933767 0
[pid=9252/tid=9253] ppid=9250 vsize=15772192 CPUtime=0.68 cores=1,3,5,7
/proc/9252/task/9253/stat : 9253 (java) R 9250 9252 9058 0 -1 4202560 21640 0 1 0 65 3 0 0 20 0 22 0 522999544 16150724608 32980 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505166880 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 15772192

[startup+1.50156 s]
/proc/loadavg: 7.92 7.98 7.99 10/224 9274
/proc/meminfo: memFree=24687896/32951124 swapFree=67111352/67111528
[pid=9252] ppid=9250 vsize=15775156 CPUtime=4.31 cores=1,3,5,7
/proc/9252/stat : 9252 (java) S 9250 9252 9058 0 -1 4202496 63924 0 1 0 422 9 0 0 25 0 22 0 522999544 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9252/statm: 3943789 55164 2275 9 0 3934508 0
[pid=9252/tid=9253] ppid=9250 vsize=15775156 CPUtime=0.84 cores=1,3,5,7
/proc/9252/task/9253/stat : 9253 (java) S 9250 9252 9058 0 -1 4202560 21918 0 1 0 81 3 0 0 20 0 22 0 522999544 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9255] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9255/stat : 9255 (java) S 9250 9252 9058 0 -1 4202560 479 0 0 0 0 0 0 0 15 0 22 0 522999545 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9256] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9256/stat : 9256 (java) S 9250 9252 9058 0 -1 4202560 953 0 0 0 0 0 0 0 15 0 22 0 522999545 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9257] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9257/stat : 9257 (java) S 9250 9252 9058 0 -1 4202560 1156 0 0 0 0 0 0 0 16 0 22 0 522999545 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9258] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9258/stat : 9258 (java) S 9250 9252 9058 0 -1 4202560 395 0 0 0 0 0 0 0 15 0 22 0 522999545 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9259] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9259/stat : 9259 (java) S 9250 9252 9058 0 -1 4202560 162 0 0 0 0 0 0 0 15 0 22 0 522999545 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9260] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9260/stat : 9260 (java) S 9250 9252 9058 0 -1 4202560 1301 0 0 0 0 0 0 0 16 0 22 0 522999545 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9261] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9261/stat : 9261 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522999545 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9262] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9262/stat : 9262 (java) S 9250 9252 9058 0 -1 4202560 1764 0 0 0 0 0 0 0 16 0 22 0 522999545 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9263] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9263/stat : 9263 (java) S 9250 9252 9058 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 522999546 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117952 0 0 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9264] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9264/stat : 9264 (java) S 9250 9252 9058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522999546 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9265] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9265/stat : 9265 (java) S 9250 9252 9058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 522999546 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9266] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9266/stat : 9266 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522999548 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389125041 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9267] ppid=9250 vsize=15775156 CPUtime=0.95 cores=1,3,5,7
/proc/9252/task/9267/stat : 9267 (java) R 9250 9252 9058 0 -1 4202560 14073 0 0 0 94 1 0 0 18 0 22 0 522999548 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46975486216921 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9252/tid=9268] ppid=9250 vsize=15775156 CPUtime=0.9 cores=1,3,5,7
/proc/9252/task/9268/stat : 9268 (java) S 9250 9252 9058 0 -1 4202560 6645 0 0 0 89 1 0 0 16 0 22 0 522999548 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9269] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9269/stat : 9269 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522999548 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9270] ppid=9250 vsize=15775156 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9270/stat : 9270 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522999548 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117952 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9271] ppid=9250 vsize=15775156 CPUtime=0.38 cores=1,3,5,7
/proc/9252/task/9271/stat : 9271 (java) R 9250 9252 9058 0 -1 4202560 1282 0 0 0 38 0 0 0 16 0 22 0 522999580 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505944776 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9252/tid=9272] ppid=9250 vsize=15775156 CPUtime=0.37 cores=1,3,5,7
/proc/9252/task/9272/stat : 9272 (java) R 9250 9252 9058 0 -1 4202560 2690 0 0 0 37 0 0 0 16 0 22 0 522999580 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505801751 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9252/tid=9273] ppid=9250 vsize=15775156 CPUtime=0.41 cores=1,3,5,7
/proc/9252/task/9273/stat : 9273 (java) R 9250 9252 9058 0 -1 4202560 5923 0 0 0 41 0 0 0 16 0 22 0 522999580 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46975490831295 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9252/tid=9274] ppid=9250 vsize=15775156 CPUtime=0.37 cores=1,3,5,7
/proc/9252/task/9274/stat : 9274 (java) R 9250 9252 9058 0 -1 4202560 3721 0 0 0 37 0 0 0 15 0 22 0 522999580 16153759744 55164 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505940146 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 15775156

[startup+3.10126 s]
/proc/loadavg: 8.09 8.01 8.00 10/224 9274
/proc/meminfo: memFree=24503568/32951124 swapFree=67111352/67111528
[pid=9252] ppid=9250 vsize=15772380 CPUtime=10.69 cores=1,3,5,7
/proc/9252/stat : 9252 (java) S 9250 9252 9058 0 -1 4202496 122925 0 1 0 1049 20 0 0 25 0 22 0 522999544 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9252/statm: 3943095 113339 2275 9 0 3933814 0
[pid=9252/tid=9253] ppid=9250 vsize=15772380 CPUtime=0.84 cores=1,3,5,7
/proc/9252/task/9253/stat : 9253 (java) S 9250 9252 9058 0 -1 4202560 21918 0 1 0 81 3 0 0 20 0 22 0 522999544 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9255] ppid=9250 vsize=15772380 CPUtime=0.01 cores=1,3,5,7
/proc/9252/task/9255/stat : 9255 (java) S 9250 9252 9058 0 -1 4202560 4850 0 0 0 0 1 0 0 15 0 22 0 522999545 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9256] ppid=9250 vsize=15772380 CPUtime=0.02 cores=1,3,5,7
/proc/9252/task/9256/stat : 9256 (java) S 9250 9252 9058 0 -1 4202560 4744 0 0 0 1 1 0 0 15 0 22 0 522999545 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9257] ppid=9250 vsize=15772380 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9257/stat : 9257 (java) S 9250 9252 9058 0 -1 4202560 3836 0 0 0 0 0 0 0 16 0 22 0 522999545 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9258] ppid=9250 vsize=15772380 CPUtime=0.01 cores=1,3,5,7
/proc/9252/task/9258/stat : 9258 (java) S 9250 9252 9058 0 -1 4202560 3537 0 0 0 1 0 0 0 15 0 22 0 522999545 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9259] ppid=9250 vsize=15772380 CPUtime=0.01 cores=1,3,5,7
/proc/9252/task/9259/stat : 9259 (java) S 9250 9252 9058 0 -1 4202560 6679 0 0 0 1 0 0 0 15 0 22 0 522999545 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9260] ppid=9250 vsize=15772380 CPUtime=0.01 cores=1,3,5,7
/proc/9252/task/9260/stat : 9260 (java) S 9250 9252 9058 0 -1 4202560 5401 0 0 0 1 0 0 0 16 0 22 0 522999545 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9261] ppid=9250 vsize=15772380 CPUtime=0.01 cores=1,3,5,7
/proc/9252/task/9261/stat : 9261 (java) S 9250 9252 9058 0 -1 4202560 5208 0 0 0 0 1 0 0 16 0 22 0 522999545 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9262] ppid=9250 vsize=15772380 CPUtime=0.02 cores=1,3,5,7
/proc/9252/task/9262/stat : 9262 (java) S 9250 9252 9058 0 -1 4202560 7693 0 0 0 1 1 0 0 16 0 22 0 522999545 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9263] ppid=9250 vsize=15772380 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9263/stat : 9263 (java) S 9250 9252 9058 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 22 0 522999546 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117952 0 0 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9264] ppid=9250 vsize=15772380 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9264/stat : 9264 (java) S 9250 9252 9058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522999546 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9265] ppid=9250 vsize=15772380 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9265/stat : 9265 (java) S 9250 9252 9058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 522999546 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9266] ppid=9250 vsize=15772380 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9266/stat : 9266 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522999548 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389125041 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9267] ppid=9250 vsize=15772380 CPUtime=0.98 cores=1,3,5,7
/proc/9252/task/9267/stat : 9267 (java) R 9250 9252 9058 0 -1 4202560 14112 0 0 0 97 1 0 0 18 0 22 0 522999548 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46975486415206 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9252/tid=9268] ppid=9250 vsize=15772380 CPUtime=0.92 cores=1,3,5,7
/proc/9252/task/9268/stat : 9268 (java) S 9250 9252 9058 0 -1 4202560 6645 0 0 0 91 1 0 0 15 0 22 0 522999548 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9269] ppid=9250 vsize=15772380 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9269/stat : 9269 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522999548 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9270] ppid=9250 vsize=15772380 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9270/stat : 9270 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522999548 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117952 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9271] ppid=9250 vsize=15772380 CPUtime=1.92 cores=1,3,5,7
/proc/9252/task/9271/stat : 9271 (java) R 9250 9252 9058 0 -1 4202560 7240 0 0 0 191 1 0 0 17 0 22 0 522999580 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505764477 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9252/tid=9272] ppid=9250 vsize=15772380 CPUtime=1.92 cores=1,3,5,7
/proc/9252/task/9272/stat : 9272 (java) R 9250 9252 9058 0 -1 4202560 8164 0 0 0 192 0 0 0 17 0 22 0 522999580 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505867055 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9252/tid=9273] ppid=9250 vsize=15772380 CPUtime=1.93 cores=1,3,5,7
/proc/9252/task/9273/stat : 9273 (java) R 9250 9252 9058 0 -1 4202560 11985 0 0 0 192 1 0 0 17 0 22 0 522999580 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46975490831206 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9252/tid=9274] ppid=9250 vsize=15772380 CPUtime=1.93 cores=1,3,5,7
/proc/9252/task/9274/stat : 9274 (java) R 9250 9252 9058 0 -1 4202560 9289 0 0 0 192 1 0 0 17 0 22 0 522999580 16150917120 113339 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505866832 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 10.69
Current children cumulated vsize (KiB) 15772380

[startup+6.30167 s]
/proc/loadavg: 8.09 8.01 8.00 9/224 9274
/proc/meminfo: memFree=23544088/32951124 swapFree=67111352/67111528
[pid=9252] ppid=9250 vsize=15766472 CPUtime=23.45 cores=1,3,5,7
/proc/9252/stat : 9252 (java) S 9250 9252 9058 0 -1 4202496 340403 0 1 0 2295 50 0 0 25 0 22 0 522999544 16144867328 328698 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9252/statm: 3941618 328698 2278 9 0 3932337 0
[pid=9252/tid=9253] ppid=9250 vsize=15766472 CPUtime=0.84 cores=1,3,5,7
/proc/9252/task/9253/stat : 9253 (java) S 9250 9252 9058 0 -1 4202560 21918 0 1 0 81 3 0 0 20 0 22 0 522999544 16144867328 328698 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9255] ppid=9250 vsize=15766472 CPUtime=0.03 cores=1,3,5,7
/proc/9252/task/9255/stat : 9255 (java) S 9250 9252 9058 0 -1 4202560 10924 0 0 0 2 1 0 0 16 0 22 0 522999545 16144867328 328698 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9256] ppid=9250 vsize=15766472 CPUtime=0.05 cores=1,3,5,7
/proc/9252/task/9256/stat : 9256 (java) S 9250 9252 9058 0 -1 4202560 16629 0 0 0 2 3 0 0 15 0 22 0 522999545 16144867328 328698 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9257] ppid=9250 vsize=15766472 CPUtime=0.03 cores=1,3,5,7
/proc/9252/task/9257/stat : 9257 (java) S 9250 9252 9058 0 -1 4202560 9563 0 0 0 1 2 0 0 15 0 22 0 522999545 16144867328 328698 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9258] ppid=9250 vsize=15766472 CPUtime=0.03 cores=1,3,5,7
/proc/9252/task/9258/stat : 9258 (java) S 9250 9252 9058 0 -1 4202560 9875 0 0 0 2 1 0 0 15 0 22 0 522999545 16144867328 328698 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9259] ppid=9250 vsize=15766472 CPUtime=0.08 cores=1,3,5,7
/proc/9252/task/9259/stat : 9259 (java) S 9250 9252 9058 0 -1 4202560 24166 0 0 0 5 3 0 0 16 0 22 0 522999545 16144867328 328698 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9260] ppid=9250 vsize=15766472 CPUtime=0.05 cores=1,3,5,7
/proc/9252/task/9260/stat : 9260 (java) S 9250 9252 9058 0 -1 4202560 17655 0 0 0 3 2 0 0 16 0 22 0 522999545 16144867328 328698 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9261] ppid=9250 vsize=15766472 CPUtime=0.05 cores=1,3,5,7
/proc/9252/task/9261/stat : 9261 (java) S 9250 9252 9058 0 -1 4202560 16736 0 0 0 3 2 0 0 16 0 22 0 522999545 16144867328 328698 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9262] ppid=9250 vsize=15766472 CPUtime=0.02 cores=1,3,5,7
/proc/9252/task/9262/stat : 9262 (java) S 9250 9252 9058 0 -1 4202560 7693 0 0 0 1 1 0 0 15 0 22 0 522999545 16144867328 328698 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0

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

[pid=9252/tid=9272] ppid=9250 vsize=15766472 CPUtime=1048.94 cores=1,3,5,7
/proc/9252/task/9272/stat : 9272 (java) R 9250 9252 9058 0 -1 4202560 363695 0 0 0 104840 54 0 0 25 0 22 0 522999580 16144867328 155686 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505981250 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9252/tid=9273] ppid=9250 vsize=15766472 CPUtime=1049.13 cores=1,3,5,7
/proc/9252/task/9273/stat : 9273 (java) R 9250 9252 9058 0 -1 4202560 388275 0 0 0 104860 53 0 0 25 0 22 0 522999580 16144867328 155686 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505743520 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9252/tid=9274] ppid=9250 vsize=15766472 CPUtime=1049.25 cores=1,3,5,7
/proc/9252/task/9274/stat : 9274 (java) R 9250 9252 9058 0 -1 4202560 375705 0 0 0 104880 45 0 0 25 0 22 0 522999580 16144867328 155686 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505867707 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4229.02
Current children cumulated vsize (KiB) 15766472

[startup+1122.3 s]
/proc/loadavg: 8.43 8.23 8.12 9/224 9316
/proc/meminfo: memFree=16861340/32951124 swapFree=67111352/67111528
[pid=9252] ppid=9250 vsize=15766472 CPUtime=4467.97 cores=1,3,5,7
/proc/9252/stat : 9252 (java) S 9250 9252 9058 0 -1 4202496 3082496 0 1 0 446233 564 0 0 25 0 22 0 522999544 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9252/statm: 3941618 159496 2299 9 0 3932337 0
[pid=9252/tid=9253] ppid=9250 vsize=15766472 CPUtime=0.84 cores=1,3,5,7
/proc/9252/task/9253/stat : 9253 (java) S 9250 9252 9058 0 -1 4202560 21918 0 1 0 81 3 0 0 20 0 22 0 522999544 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9255] ppid=9250 vsize=15766472 CPUtime=3.63 cores=1,3,5,7
/proc/9252/task/9255/stat : 9255 (java) S 9250 9252 9058 0 -1 4202560 179641 0 0 0 331 32 0 0 16 0 22 0 522999545 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9256] ppid=9250 vsize=15766472 CPUtime=3.73 cores=1,3,5,7
/proc/9252/task/9256/stat : 9256 (java) S 9250 9252 9058 0 -1 4202560 183332 0 0 0 339 34 0 0 15 0 22 0 522999545 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9257] ppid=9250 vsize=15766472 CPUtime=3.63 cores=1,3,5,7
/proc/9252/task/9257/stat : 9257 (java) S 9250 9252 9058 0 -1 4202560 170860 0 0 0 332 31 0 0 16 0 22 0 522999545 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9258] ppid=9250 vsize=15766472 CPUtime=3.59 cores=1,3,5,7
/proc/9252/task/9258/stat : 9258 (java) S 9250 9252 9058 0 -1 4202560 174073 0 0 0 328 31 0 0 16 0 22 0 522999545 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9259] ppid=9250 vsize=15766472 CPUtime=3.86 cores=1,3,5,7
/proc/9252/task/9259/stat : 9259 (java) S 9250 9252 9058 0 -1 4202560 196142 0 0 0 350 36 0 0 15 0 22 0 522999545 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9260] ppid=9250 vsize=15766472 CPUtime=3.56 cores=1,3,5,7
/proc/9252/task/9260/stat : 9260 (java) S 9250 9252 9058 0 -1 4202560 172517 0 0 0 326 30 0 0 15 0 22 0 522999545 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9261] ppid=9250 vsize=15766472 CPUtime=3.72 cores=1,3,5,7
/proc/9252/task/9261/stat : 9261 (java) S 9250 9252 9058 0 -1 4202560 198342 0 0 0 338 34 0 0 15 0 22 0 522999545 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9262] ppid=9250 vsize=15766472 CPUtime=3.65 cores=1,3,5,7
/proc/9252/task/9262/stat : 9262 (java) S 9250 9252 9058 0 -1 4202560 173666 0 0 0 333 32 0 0 15 0 22 0 522999545 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9263] ppid=9250 vsize=15766472 CPUtime=1.71 cores=1,3,5,7
/proc/9252/task/9263/stat : 9263 (java) S 9250 9252 9058 0 -1 4202560 8665 0 0 0 96 75 0 0 15 0 22 0 522999546 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117952 0 0 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9264] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9264/stat : 9264 (java) S 9250 9252 9058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522999546 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9265] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9265/stat : 9265 (java) S 9250 9252 9058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 522999546 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9266] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9266/stat : 9266 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522999548 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389125041 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9267] ppid=9250 vsize=15766472 CPUtime=1.36 cores=1,3,5,7
/proc/9252/task/9267/stat : 9267 (java) S 9250 9252 9058 0 -1 4202560 14178 0 0 0 135 1 0 0 16 0 22 0 522999548 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9268] ppid=9250 vsize=15766472 CPUtime=1.14 cores=1,3,5,7
/proc/9252/task/9268/stat : 9268 (java) S 9250 9252 9058 0 -1 4202560 6681 0 0 0 113 1 0 0 15 0 22 0 522999548 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9269] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9269/stat : 9269 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522999548 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9270] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9270/stat : 9270 (java) S 9250 9252 9058 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 522999548 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117952 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9271] ppid=9250 vsize=15766472 CPUtime=1108.25 cores=1,3,5,7
/proc/9252/task/9271/stat : 9271 (java) R 9250 9252 9058 0 -1 4202560 395133 0 0 0 110771 54 0 0 25 0 22 0 522999580 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505714909 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9252/tid=9272] ppid=9250 vsize=15766472 CPUtime=1108.31 cores=1,3,5,7
/proc/9252/task/9272/stat : 9272 (java) R 9250 9252 9058 0 -1 4202560 383759 0 0 0 110774 57 0 0 25 0 22 0 522999580 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505875827 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9252/tid=9273] ppid=9250 vsize=15766472 CPUtime=1108.21 cores=1,3,5,7
/proc/9252/task/9273/stat : 9273 (java) R 9250 9252 9058 0 -1 4202560 408311 0 0 0 110765 56 0 0 25 0 22 0 522999580 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505743357 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9252/tid=9274] ppid=9250 vsize=15766472 CPUtime=1108.6 cores=1,3,5,7
/proc/9252/task/9274/stat : 9274 (java) R 9250 9252 9058 0 -1 4202560 393828 0 0 0 110813 47 0 0 25 0 22 0 522999580 16144867328 159496 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4467.97
Current children cumulated vsize (KiB) 15766472

[startup+1182.3 s]
/proc/loadavg: 7.94 8.13 8.09 9/224 9369
/proc/meminfo: memFree=28401020/32951124 swapFree=67111352/67111528
[pid=9252] ppid=9250 vsize=15766472 CPUtime=4706.87 cores=1,3,5,7
/proc/9252/stat : 9252 (java) S 9250 9252 9058 0 -1 4202496 3229914 0 1 0 470099 588 0 0 25 0 22 0 522999544 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9252/statm: 3941618 144659 2299 9 0 3932337 0
[pid=9252/tid=9253] ppid=9250 vsize=15766472 CPUtime=0.84 cores=1,3,5,7
/proc/9252/task/9253/stat : 9253 (java) S 9250 9252 9058 0 -1 4202560 21918 0 1 0 81 3 0 0 20 0 22 0 522999544 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9255] ppid=9250 vsize=15766472 CPUtime=3.84 cores=1,3,5,7
/proc/9252/task/9255/stat : 9255 (java) R 9250 9252 9058 0 -1 4202560 189871 0 0 0 351 33 0 0 15 0 22 0 522999545 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255377254711 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9252/tid=9256] ppid=9250 vsize=15766472 CPUtime=3.95 cores=1,3,5,7
/proc/9252/task/9256/stat : 9256 (java) R 9250 9252 9058 0 -1 4202560 192656 0 0 0 359 36 0 0 15 0 22 0 522999545 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255377254711 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9252/tid=9257] ppid=9250 vsize=15766472 CPUtime=3.84 cores=1,3,5,7
/proc/9252/task/9257/stat : 9257 (java) R 9250 9252 9058 0 -1 4202560 182294 0 0 0 351 33 0 0 15 0 22 0 522999545 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255377254711 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9252/tid=9258] ppid=9250 vsize=15766472 CPUtime=3.77 cores=1,3,5,7
/proc/9252/task/9258/stat : 9258 (java) R 9250 9252 9058 0 -1 4202560 183152 0 0 0 345 32 0 0 15 0 22 0 522999545 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255377254711 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=9252/tid=9259] ppid=9250 vsize=15766472 CPUtime=4.09 cores=1,3,5,7
/proc/9252/task/9259/stat : 9259 (java) S 9250 9252 9058 0 -1 4202560 207402 0 0 0 371 38 0 0 16 0 22 0 522999545 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9260] ppid=9250 vsize=15766472 CPUtime=3.79 cores=1,3,5,7
/proc/9252/task/9260/stat : 9260 (java) S 9250 9252 9058 0 -1 4202560 180124 0 0 0 348 31 0 0 15 0 22 0 522999545 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9261] ppid=9250 vsize=15766472 CPUtime=3.93 cores=1,3,5,7
/proc/9252/task/9261/stat : 9261 (java) S 9250 9252 9058 0 -1 4202560 208281 0 0 0 358 35 0 0 16 0 22 0 522999545 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9262] ppid=9250 vsize=15766472 CPUtime=3.85 cores=1,3,5,7
/proc/9252/task/9262/stat : 9262 (java) S 9250 9252 9058 0 -1 4202560 181274 0 0 0 352 33 0 0 16 0 22 0 522999545 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9263] ppid=9250 vsize=15766472 CPUtime=1.81 cores=1,3,5,7
/proc/9252/task/9263/stat : 9263 (java) S 9250 9252 9058 0 -1 4202560 9072 0 0 0 101 80 0 0 15 0 22 0 522999546 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 0 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9264] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9264/stat : 9264 (java) S 9250 9252 9058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522999546 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9265] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9265/stat : 9265 (java) S 9250 9252 9058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 522999546 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9266] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9266/stat : 9266 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522999548 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389125041 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9267] ppid=9250 vsize=15766472 CPUtime=1.36 cores=1,3,5,7
/proc/9252/task/9267/stat : 9267 (java) S 9250 9252 9058 0 -1 4202560 14178 0 0 0 135 1 0 0 16 0 22 0 522999548 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9268] ppid=9250 vsize=15766472 CPUtime=1.14 cores=1,3,5,7
/proc/9252/task/9268/stat : 9268 (java) S 9250 9252 9058 0 -1 4202560 6681 0 0 0 113 1 0 0 15 0 22 0 522999548 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9269] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9269/stat : 9269 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522999548 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9270] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9270/stat : 9270 (java) S 9250 9252 9058 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 522999548 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117952 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9271] ppid=9250 vsize=15766472 CPUtime=1167.42 cores=1,3,5,7
/proc/9252/task/9271/stat : 9271 (java) S 9250 9252 9058 0 -1 4202560 411909 0 0 0 116685 57 0 0 25 0 22 0 522999580 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9272] ppid=9250 vsize=15766472 CPUtime=1167.67 cores=1,3,5,7
/proc/9252/task/9272/stat : 9272 (java) S 9250 9252 9058 0 -1 4202560 402102 0 0 0 116708 59 0 0 25 0 22 0 522999580 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9273] ppid=9250 vsize=15766472 CPUtime=1167.46 cores=1,3,5,7
/proc/9252/task/9273/stat : 9273 (java) S 9250 9252 9058 0 -1 4202560 426847 0 0 0 116688 58 0 0 25 0 22 0 522999580 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9274] ppid=9250 vsize=15766472 CPUtime=1167.96 cores=1,3,5,7
/proc/9252/task/9274/stat : 9274 (java) S 9250 9252 9058 0 -1 4202560 410699 0 0 0 116747 49 0 0 25 0 22 0 522999580 16144867328 144659 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4706.87
Current children cumulated vsize (KiB) 15766472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1205.71 s]
/proc/loadavg: 8.02 8.14 8.09 9/224 9369
/proc/meminfo: memFree=25716160/32951124 swapFree=67111352/67111528
[pid=9252] ppid=9250 vsize=15766472 CPUtime=4800.14 cores=1,3,5,7
/proc/9252/stat : 9252 (java) S 9250 9252 9058 0 -1 4202496 3290699 0 1 0 479413 601 0 0 25 0 22 0 522999544 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/9252/statm: 3941618 145948 2299 9 0 3932337 0
[pid=9252/tid=9253] ppid=9250 vsize=15766472 CPUtime=0.84 cores=1,3,5,7
/proc/9252/task/9253/stat : 9253 (java) S 9250 9252 9058 0 -1 4202560 21918 0 1 0 81 3 0 0 20 0 22 0 522999544 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9255] ppid=9250 vsize=15766472 CPUtime=3.93 cores=1,3,5,7
/proc/9252/task/9255/stat : 9255 (java) S 9250 9252 9058 0 -1 4202560 194924 0 0 0 359 34 0 0 15 0 22 0 522999545 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9256] ppid=9250 vsize=15766472 CPUtime=4.02 cores=1,3,5,7
/proc/9252/task/9256/stat : 9256 (java) S 9250 9252 9058 0 -1 4202560 196862 0 0 0 366 36 0 0 16 0 22 0 522999545 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9257] ppid=9250 vsize=15766472 CPUtime=3.93 cores=1,3,5,7
/proc/9252/task/9257/stat : 9257 (java) S 9250 9252 9058 0 -1 4202560 187505 0 0 0 359 34 0 0 15 0 22 0 522999545 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9258] ppid=9250 vsize=15766472 CPUtime=3.84 cores=1,3,5,7
/proc/9252/task/9258/stat : 9258 (java) S 9250 9252 9058 0 -1 4202560 186561 0 0 0 351 33 0 0 15 0 22 0 522999545 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9259] ppid=9250 vsize=15766472 CPUtime=4.17 cores=1,3,5,7
/proc/9252/task/9259/stat : 9259 (java) S 9250 9252 9058 0 -1 4202560 212551 0 0 0 377 40 0 0 15 0 22 0 522999545 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9260] ppid=9250 vsize=15766472 CPUtime=3.9 cores=1,3,5,7
/proc/9252/task/9260/stat : 9260 (java) S 9250 9252 9058 0 -1 4202560 187364 0 0 0 357 33 0 0 15 0 22 0 522999545 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9261] ppid=9250 vsize=15766472 CPUtime=4 cores=1,3,5,7
/proc/9252/task/9261/stat : 9261 (java) S 9250 9252 9058 0 -1 4202560 212677 0 0 0 364 36 0 0 15 0 22 0 522999545 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9262] ppid=9250 vsize=15766472 CPUtime=3.93 cores=1,3,5,7
/proc/9252/task/9262/stat : 9262 (java) S 9250 9252 9058 0 -1 4202560 187281 0 0 0 359 34 0 0 15 0 22 0 522999545 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 3 0 0 0
[pid=9252/tid=9263] ppid=9250 vsize=15766472 CPUtime=1.84 cores=1,3,5,7
/proc/9252/task/9263/stat : 9263 (java) S 9250 9252 9058 0 -1 4202560 9246 0 0 0 102 82 0 0 15 0 22 0 522999546 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117952 0 0 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9264] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9264/stat : 9264 (java) S 9250 9252 9058 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522999546 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9265] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9265/stat : 9265 (java) S 9250 9252 9058 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 22 0 522999546 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9266] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9266/stat : 9266 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522999548 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389125041 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9267] ppid=9250 vsize=15766472 CPUtime=1.36 cores=1,3,5,7
/proc/9252/task/9267/stat : 9267 (java) S 9250 9252 9058 0 -1 4202560 14178 0 0 0 135 1 0 0 16 0 22 0 522999548 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 7 0 0 0
[pid=9252/tid=9268] ppid=9250 vsize=15766472 CPUtime=1.14 cores=1,3,5,7
/proc/9252/task/9268/stat : 9268 (java) S 9250 9252 9058 0 -1 4202560 6681 0 0 0 113 1 0 0 15 0 22 0 522999548 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 5 0 0 0
[pid=9252/tid=9269] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9269/stat : 9269 (java) S 9250 9252 9058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522999548 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117337 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9270] ppid=9250 vsize=15766472 CPUtime=0 cores=1,3,5,7
/proc/9252/task/9270/stat : 9270 (java) S 9250 9252 9058 0 -1 4202560 68 0 0 0 0 0 0 0 15 0 22 0 522999548 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 255389117952 0 4 0 16800975 18446604462643825536 0 0 -1 1 0 0 0
[pid=9252/tid=9271] ppid=9250 vsize=15766472 CPUtime=1190.48 cores=1,3,5,7
/proc/9252/task/9271/stat : 9271 (java) R 9250 9252 9058 0 -1 4202560 416992 0 0 0 118990 58 0 0 25 0 22 0 522999580 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505743762 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=9252/tid=9272] ppid=9250 vsize=15766472 CPUtime=1190.84 cores=1,3,5,7
/proc/9252/task/9272/stat : 9272 (java) R 9250 9252 9058 0 -1 4202560 406648 0 0 0 119024 60 0 0 25 0 22 0 522999580 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=9252/tid=9273] ppid=9250 vsize=15766472 CPUtime=1190.63 cores=1,3,5,7
/proc/9252/task/9273/stat : 9273 (java) R 9250 9252 9058 0 -1 4202560 432216 0 0 0 119004 59 0 0 25 0 22 0 522999580 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505875958 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=9252/tid=9274] ppid=9250 vsize=15766472 CPUtime=1191.13 cores=1,3,5,7
/proc/9252/task/9274/stat : 9274 (java) R 9250 9252 9058 0 -1 4202560 415641 0 0 0 119064 49 0 0 25 0 22 0 522999580 16144867328 145948 33554432000 1073741824 1073778376 140733254491040 18446744073709551615 46912505904376 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.14
Current children cumulated vsize (KiB) 15766472

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): 1205.75
CPU time (s): 4800.19
CPU user time (s): 4794.15
CPU system time (s): 6.03808
CPU usage (%): 398.109
Max. virtual memory (cumulated for all children) (KiB): 15775156

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.16
system time used= 6.03808
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3290725
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= 132170
involuntary context switches= 108283

runsolver used 1.78573 second user time and 4.89226 second system time

The end

Launcher Data 

Begin job on node135 at 2011-04-29 23:53:37
IDJOB=3312415
IDBENCH=82600
IDSOLVER=1699
FILE ID=node135/3312415-1304114017
RUNJOBID= node135-1304112776-9077
PBS_JOBID= 13170696
Free space on /tmp= 71116 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/large/unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312415-1304114017/watcher-3312415-1304114017 -o /tmp/evaluation-result-3312415-1304114017/solver-3312415-1304114017 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312415-1304114017.cnf

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

MD5SUM BENCH= 930b758d4a8e6fc97742d1279599e316
RANDOM SEED=1753689625

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24846076 kB
Buffers:        919120 kB
Cached:        1742240 kB
SwapCached:        172 kB
Active:        4978044 kB
Inactive:      2601000 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24846076 kB
SwapTotal:    67111528 kB
SwapFree:     67111352 kB
Dirty:            5432 kB
Writeback:           0 kB
AnonPages:     4917308 kB
Mapped:          23468 kB
Slab:           453768 kB
PageTables:      13880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  6579832 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71116 MiB
End job on node135 at 2011-04-30 00:13:45