Trace number 3472494

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
claspmt 2.0-R4095-patched (fixed)? (TO) 158322 5103.05

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00X23.cnf
MD5SUM9cec6483d4ca03e8555377ba059b61ae
Bench CategoryAPPLICATION (applications 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 variables15364
Number of clauses2133873
Sum of the clauses size18060684
Maximum clause length91
Minimum clause length1
Number of clauses of size 116
Number of clauses of size 240913
Number of clauses of size 337518
Number of clauses of size 422333
Number of clauses of size 5147683
Number of clauses of size over 51885410

Solver Data 

0.00/0.01	c clasp version 2.0.0-RC2
0.00/0.01	c Reading from ...773065/instance-3472494-1307773065.cnf
126.86/126.91	c Solving...
158318.34/5100.03	
158318.34/5100.03	*** INTERRUPTED! ***
158318.34/5100.03	*** Shutting down threads...

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.1 (svn: 988)

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-3472494-1307773065/watcher-3472494-1307773065 -o /tmp/evaluation-result-3472494-1307773065/solver-3472494-1307773065 -C 160000 -W 5100 -M 256000 HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472494-1307773065.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 262144000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 262195200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 26.30 24.52 26.68 1/413 8536
/proc/meminfo: memFree=261994084/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=24964 CPUtime=0.02 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 1618 0 0 0 2 0 0 0 22 0 1 0 42693765 25563136 1427 270582939648 4194304 4964800 140735674521552 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 6241 1427 383 189 0 1115 0

[startup+0.121546 s]
/proc/loadavg: 26.30 24.52 26.68 1/413 8536
/proc/meminfo: memFree=261994084/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=28444 CPUtime=0.11 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 2571 0 0 0 10 1 0 0 22 0 1 0 42693765 29126656 2290 270582939648 4194304 4964800 140735674521552 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 7111 2290 383 189 0 1985 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 28444

[startup+0.200557 s]
/proc/loadavg: 26.30 24.52 26.68 1/413 8536
/proc/meminfo: memFree=261994084/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=31772 CPUtime=0.19 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 3474 0 0 0 18 1 0 0 22 0 1 0 42693765 32534528 3112 270582939648 4194304 4964800 140735674521552 18446744073709551615 258650955760 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 7943 3113 383 189 0 2817 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31772

[startup+0.300554 s]
/proc/loadavg: 26.30 24.52 26.68 1/413 8536
/proc/meminfo: memFree=261994084/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=36104 CPUtime=0.28 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 4712 0 0 0 27 1 0 0 23 0 1 0 42693765 36970496 4229 270582939648 4194304 4964800 140735674521552 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 9026 4230 386 189 0 3900 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 36104

[startup+0.700565 s]
/proc/loadavg: 26.30 24.52 26.68 1/413 8536
/proc/meminfo: memFree=261994084/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=63688 CPUtime=0.69 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 13587 0 0 0 64 5 0 0 25 0 1 0 42693765 65216512 10726 270582939648 4194304 4964800 140735674521552 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 15922 10727 386 189 0 10796 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 63688

[startup+1.50062 s]
/proc/loadavg: 26.30 24.52 26.68 2/414 8537
/proc/meminfo: memFree=261921684/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=141616 CPUtime=1.49 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 38493 0 0 0 133 16 0 0 25 0 1 0 42693765 145014784 29137 270582939648 4194304 4964800 140735674521552 18446744073709551615 258650616632 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 35404 29138 386 189 0 30278 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141616

[startup+3.10067 s]
/proc/loadavg: 26.30 24.52 26.68 2/414 8537
/proc/meminfo: memFree=261778804/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=276536 CPUtime=3.09 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 72870 0 0 0 285 24 0 0 25 0 1 0 42693765 283172864 63365 270582939648 4194304 4964800 140735674521552 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 69134 63365 400 189 0 64008 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 276536

[startup+6.30079 s]
/proc/loadavg: 24.27 24.13 26.54 2/414 8537
/proc/meminfo: memFree=261744624/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=276536 CPUtime=6.29 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 72870 0 0 0 605 24 0 0 25 0 1 0 42693765 283172864 63365 270582939648 4194304 4964800 140735674521552 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 69134 63365 400 189 0 64008 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 276536

[startup+12.7011 s]
/proc/loadavg: 22.41 23.75 26.41 2/414 8537
/proc/meminfo: memFree=261746736/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=276536 CPUtime=12.69 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 72870 0 0 0 1245 24 0 0 25 0 1 0 42693765 283172864 63365 270582939648 4194304 4964800 140735674521552 18446744073709551615 4607575 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 69134 63365 400 189 0 64008 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 276536

[startup+25.5005 s]
/proc/loadavg: 17.67 22.63 26.00 2/414 8537
/proc/meminfo: memFree=261750840/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=276536 CPUtime=25.49 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 72870 0 0 0 2525 24 0 0 25 0 1 0 42693765 283172864 63365 270582939648 4194304 4964800 140735674521552 18446744073709551615 4607472 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 69134 63365 400 189 0 64008 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 276536

[startup+51.1014 s]
/proc/loadavg: 12.14 20.93 25.35 2/414 8539
/proc/meminfo: memFree=261755320/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=276536 CPUtime=51.08 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 72870 0 0 0 5084 24 0 0 25 0 1 0 42693765 283172864 63365 270582939648 4194304 4964800 140735674521552 18446744073709551615 4607587 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 69134 63365 400 189 0 64008 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 276536

[startup+102.301 s]
/proc/loadavg: 5.83 17.85 24.07 2/414 8539
/proc/meminfo: memFree=261757392/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=276536 CPUtime=102.31 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 72870 0 0 0 10207 24 0 0 25 0 1 0 42693765 283172864 63365 270582939648 4194304 4964800 140735674521552 18446744073709551615 4607590 0 0 4096 18946 0 0 0 17 24 0 0 0
/proc/8536/statm: 69134 63365 400 189 0 64008 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 276536

[startup+162.302 s]
/proc/loadavg: 8.45 16.20 23.10 33/445 8572
/proc/meminfo: memFree=257215216/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=5937440 CPUtime=493.5 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 1216372 0 0 0 43488 5862 0 0 25 0 32 0 42693765 6079938560 1201028 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 24 0 0 0
/proc/8536/statm: 1484360 1201028 460 189 0 1478709 0
[pid=8536/tid=8542] ppid=8534 vsize=5937440 CPUtime=9.14 cores=0-31
/proc/8536/task/8542/stat : 8542 (claspmt) R 8534 8536 8437 0 -1 4202560 33313 0 0 0 725 189 0 0 25 0 32 0 42706457 6079938560 1201028 270582939648 4194304 4964800 140735674521552 18446744073709551615 4629451 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8536/tid=8543] ppid=8534 vsize=5937440 CPUtime=9.16 cores=0-31
/proc/8536/task/8543/stat : 8543 (claspmt) R 8534 8536 8437 0 -1 4202560 36540 0 0 0 721 195 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=8536/tid=8544] ppid=8534 vsize=5937440 CPUtime=8.83 cores=0-31
/proc/8536/task/8544/stat : 8544 (claspmt) R 8534 8536 8437 0 -1 4202560 31928 0 0 0 717 166 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4668934 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=8536/tid=8545] ppid=8534 vsize=5937440 CPUtime=9 cores=0-31
/proc/8536/task/8545/stat : 8545 (claspmt) R 8534 8536 8437 0 -1 4202560 31630 0 0 0 728 172 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8536/tid=8546] ppid=8534 vsize=5937440 CPUtime=28.68 cores=0-31
/proc/8536/task/8546/stat : 8546 (claspmt) R 8534 8536 8437 0 -1 4202560 50164 0 0 0 2667 201 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=8536/tid=8547] ppid=8534 vsize=5937440 CPUtime=8.63 cores=0-31
/proc/8536/task/8547/stat : 8547 (claspmt) R 8534 8536 8437 0 -1 4202560 32979 0 0 0 696 167 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8536/tid=8548] ppid=8534 vsize=5937440 CPUtime=9.09 cores=0-31
/proc/8536/task/8548/stat : 8548 (claspmt) R 8534 8536 8437 0 -1 4202560 35406 0 0 0 725 184 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 258650653522 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8536/tid=8549] ppid=8534 vsize=5937440 CPUtime=9.12 cores=0-31
/proc/8536/task/8549/stat : 8549 (claspmt) R 8534 8536 8437 0 -1 4202560 33544 0 0 0 720 192 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670499 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8536/tid=8550] ppid=8534 vsize=5937440 CPUtime=8.96 cores=0-31
/proc/8536/task/8550/stat : 8550 (claspmt) R 8534 8536 8437 0 -1 4202560 35270 0 0 0 715 181 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8536/tid=8551] ppid=8534 vsize=5937440 CPUtime=9.27 cores=0-31
/proc/8536/task/8551/stat : 8551 (claspmt) R 8534 8536 8437 0 -1 4202560 41086 0 0 0 721 206 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4644886 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8536/tid=8552] ppid=8534 vsize=5937440 CPUtime=9.29 cores=0-31
/proc/8536/task/8552/stat : 8552 (claspmt) R 8534 8536 8437 0 -1 4202560 35175 0 0 0 723 206 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=8536/tid=8553] ppid=8534 vsize=5937440 CPUtime=9.19 cores=0-31
/proc/8536/task/8553/stat : 8553 (claspmt) R 8534 8536 8437 0 -1 4202560 33727 0 0 0 725 194 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=8536/tid=8554] ppid=8534 vsize=5937440 CPUtime=28.41 cores=0-31
/proc/8536/task/8554/stat : 8554 (claspmt) R 8534 8536 8437 0 -1 4202560 52112 0 0 0 2636 205 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 23 0 0 0
[pid=8536/tid=8555] ppid=8534 vsize=5937440 CPUtime=9.36 cores=0-31
/proc/8536/task/8555/stat : 8555 (claspmt) R 8534 8536 8437 0 -1 4202560 32652 0 0 0 722 214 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8536/tid=8556] ppid=8534 vsize=5937440 CPUtime=9 cores=0-31
/proc/8536/task/8556/stat : 8556 (claspmt) R 8534 8536 8437 0 -1 4202560 39342 0 0 0 719 181 0 0 25 0 32 0 42706457 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670332 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=8536/tid=8557] ppid=8534 vsize=5937440 CPUtime=9.09 cores=0-31
/proc/8536/task/8557/stat : 8557 (claspmt) R 8534 8536 8437 0 -1 4202560 33446 0 0 0 721 188 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669547 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8536/tid=8558] ppid=8534 vsize=5937440 CPUtime=9.15 cores=0-31
/proc/8536/task/8558/stat : 8558 (claspmt) R 8534 8536 8437 0 -1 4202560 34563 0 0 0 719 196 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8536/tid=8559] ppid=8534 vsize=5937440 CPUtime=9.08 cores=0-31
/proc/8536/task/8559/stat : 8559 (claspmt) R 8534 8536 8437 0 -1 4202560 32618 0 0 0 725 183 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=8536/tid=8560] ppid=8534 vsize=5937440 CPUtime=9.16 cores=0-31
/proc/8536/task/8560/stat : 8560 (claspmt) R 8534 8536 8437 0 -1 4202560 35640 0 0 0 718 198 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4629455 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=8536/tid=8561] ppid=8534 vsize=5937440 CPUtime=8.76 cores=0-31
/proc/8536/task/8561/stat : 8561 (claspmt) R 8534 8536 8437 0 -1 4202560 32455 0 0 0 718 158 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4660835 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=8536/tid=8562] ppid=8534 vsize=5937440 CPUtime=28.53 cores=0-31
/proc/8536/task/8562/stat : 8562 (claspmt) R 8534 8536 8437 0 -1 4202560 43697 0 0 0 2655 198 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=8536/tid=8563] ppid=8534 vsize=5937440 CPUtime=9.17 cores=0-31
/proc/8536/task/8563/stat : 8563 (claspmt) R 8534 8536 8437 0 -1 4202560 33353 0 0 0 725 192 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8536/tid=8564] ppid=8534 vsize=5937440 CPUtime=9.29 cores=0-31
/proc/8536/task/8564/stat : 8564 (claspmt) R 8534 8536 8437 0 -1 4202560 40845 0 0 0 723 206 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670299 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8536/tid=8565] ppid=8534 vsize=5937440 CPUtime=9.15 cores=0-31
/proc/8536/task/8565/stat : 8565 (claspmt) R 8534 8536 8437 0 -1 4202560 35084 0 0 0 724 191 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8536/tid=8566] ppid=8534 vsize=5937440 CPUtime=9.25 cores=0-31
/proc/8536/task/8566/stat : 8566 (claspmt) R 8534 8536 8437 0 -1 4202560 36352 0 0 0 723 202 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8536/tid=8567] ppid=8534 vsize=5937440 CPUtime=9.13 cores=0-31
/proc/8536/task/8567/stat : 8567 (claspmt) R 8534 8536 8437 0 -1 4202560 34150 0 0 0 719 194 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=8536/tid=8568] ppid=8534 vsize=5937440 CPUtime=9.18 cores=0-31
/proc/8536/task/8568/stat : 8568 (claspmt) R 8534 8536 8437 0 -1 4202560 33342 0 0 0 718 200 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8536/tid=8569] ppid=8534 vsize=5937440 CPUtime=8.44 cores=0-31
/proc/8536/task/8569/stat : 8569 (claspmt) R 8534 8536 8437 0 -1 4202560 27754 0 0 0 717 127 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 3 0 0 0
[pid=8536/tid=8570] ppid=8534 vsize=5937440 CPUtime=29.11 cores=0-31
/proc/8536/task/8570/stat : 8570 (claspmt) R 8534 8536 8437 0 -1 4202560 42829 0 0 0 2750 161 0 0 25 0 32 0 42706458 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=8536/tid=8571] ppid=8534 vsize=5937440 CPUtime=9.05 cores=0-31
/proc/8536/task/8571/stat : 8571 (claspmt) R 8534 8536 8437 0 -1 4202560 33614 0 0 0 727 178 0 0 25 0 32 0 42706459 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8536/tid=8572] ppid=8534 vsize=5937440 CPUtime=9.11 cores=0-31
/proc/8536/task/8572/stat : 8572 (claspmt) R 8534 8536 8437 0 -1 4202560 33641 0 0 0 721 190 0 0 25 0 32 0 42706459 6079938560 1201029 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 493.5
Current children cumulated vsize (KiB) 5937440

[startup+222.322 s]
/proc/loadavg: 23.48 19.10 23.66 33/445 8574

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

/proc/8536/task/8553/stat : 8553 (claspmt) R 8534 8536 8437 0 -1 4202560 93727 0 0 0 492155 371 0 0 25 0 32 0 42706457 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=8536/tid=8554] ppid=8534 vsize=19024664 CPUtime=4937.81 cores=0-31
/proc/8536/task/8554/stat : 8554 (claspmt) R 8534 8536 8437 0 -1 4202560 83605 0 0 0 493493 288 0 0 25 0 32 0 42706457 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669011 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8536/tid=8555] ppid=8534 vsize=19024664 CPUtime=4928.32 cores=0-31
/proc/8536/task/8555/stat : 8555 (claspmt) R 8534 8536 8437 0 -1 4202560 81589 0 0 0 492500 332 0 0 25 0 32 0 42706457 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8536/tid=8556] ppid=8534 vsize=19024664 CPUtime=4919.34 cores=0-31
/proc/8536/task/8556/stat : 8556 (claspmt) R 8534 8536 8437 0 -1 4202560 430459 0 0 0 490479 1455 0 0 25 0 32 0 42706457 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8536/tid=8557] ppid=8534 vsize=19024664 CPUtime=4926.55 cores=0-31
/proc/8536/task/8557/stat : 8557 (claspmt) R 8534 8536 8437 0 -1 4202560 103851 0 0 0 492128 527 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8536/tid=8558] ppid=8534 vsize=19024664 CPUtime=4927.83 cores=0-31
/proc/8536/task/8558/stat : 8558 (claspmt) R 8534 8536 8437 0 -1 4202560 72197 0 0 0 492444 339 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8536/tid=8559] ppid=8534 vsize=19024664 CPUtime=4927.84 cores=0-31
/proc/8536/task/8559/stat : 8559 (claspmt) R 8534 8536 8437 0 -1 4202560 114375 0 0 0 492375 409 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4321079 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=8536/tid=8560] ppid=8534 vsize=19024664 CPUtime=4928.12 cores=0-31
/proc/8536/task/8560/stat : 8560 (claspmt) R 8534 8536 8437 0 -1 4202560 76867 0 0 0 492516 296 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=8536/tid=8561] ppid=8534 vsize=19024664 CPUtime=4915.08 cores=0-31
/proc/8536/task/8561/stat : 8561 (claspmt) R 8534 8536 8437 0 -1 4202560 79926 0 0 0 491201 307 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8536/tid=8562] ppid=8534 vsize=19024664 CPUtime=4947.55 cores=0-31
/proc/8536/task/8562/stat : 8562 (claspmt) R 8534 8536 8437 0 -1 4202560 81666 0 0 0 494449 306 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4320913 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=8536/tid=8563] ppid=8534 vsize=19024664 CPUtime=4928.06 cores=0-31
/proc/8536/task/8563/stat : 8563 (claspmt) R 8534 8536 8437 0 -1 4202560 78674 0 0 0 492507 299 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4361365 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8536/tid=8564] ppid=8534 vsize=19024664 CPUtime=4927.71 cores=0-31
/proc/8536/task/8564/stat : 8564 (claspmt) R 8534 8536 8437 0 -1 4202560 463940 0 0 0 491249 1522 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670330 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8536/tid=8565] ppid=8534 vsize=19024664 CPUtime=4927.85 cores=0-31
/proc/8536/task/8565/stat : 8565 (claspmt) R 8534 8536 8437 0 -1 4202560 96212 0 0 0 492350 435 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8536/tid=8566] ppid=8534 vsize=19024664 CPUtime=4928.01 cores=0-31
/proc/8536/task/8566/stat : 8566 (claspmt) R 8534 8536 8437 0 -1 4202560 72604 0 0 0 492472 329 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669509 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8536/tid=8567] ppid=8534 vsize=19024664 CPUtime=4928.12 cores=0-31
/proc/8536/task/8567/stat : 8567 (claspmt) R 8534 8536 8437 0 -1 4202560 114200 0 0 0 492393 419 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=8536/tid=8568] ppid=8534 vsize=19024664 CPUtime=4928.14 cores=0-31
/proc/8536/task/8568/stat : 8568 (claspmt) R 8534 8536 8437 0 -1 4202560 75919 0 0 0 492507 307 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8536/tid=8569] ppid=8534 vsize=19024664 CPUtime=4915.46 cores=0-31
/proc/8536/task/8569/stat : 8569 (claspmt) R 8534 8536 8437 0 -1 4202560 82855 0 0 0 491249 297 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4684633 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8536/tid=8570] ppid=8534 vsize=19024664 CPUtime=4948.07 cores=0-31
/proc/8536/task/8570/stat : 8570 (claspmt) R 8534 8536 8437 0 -1 4202560 86567 0 0 0 494521 286 0 0 25 0 32 0 42706458 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=8536/tid=8571] ppid=8534 vsize=19024664 CPUtime=4925.03 cores=0-31
/proc/8536/task/8571/stat : 8571 (claspmt) R 8534 8536 8437 0 -1 4202560 79230 0 0 0 492207 296 0 0 25 0 32 0 42706459 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8536/tid=8572] ppid=8534 vsize=19024664 CPUtime=4902.98 cores=0-31
/proc/8536/task/8572/stat : 8572 (claspmt) R 8534 8536 8437 0 -1 4202560 498512 0 0 0 488741 1557 0 0 25 0 32 0 42706459 19481255936 4426921 270582939648 4194304 4964800 140735674521552 18446744073709551615 4320951 0 0 4096 18946 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 157752
Current children cumulated vsize (KiB) 19024664



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+5100 s]
/proc/loadavg: 32.35 32.12 31.99 33/445 8716
/proc/meminfo: memFree=244264536/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=19024664 CPUtime=158318 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 4447000 0 0 0 15815938 15897 0 0 25 0 32 0 42693765 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/8536/statm: 4756166 4427964 462 189 0 4750515 0
[pid=8536/tid=8542] ppid=8534 vsize=19024664 CPUtime=4945.61 cores=0-31
/proc/8536/task/8542/stat : 8542 (claspmt) R 8534 8536 8437 0 -1 4202560 68827 0 0 0 494242 319 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 13 0 0 0
[pid=8536/tid=8543] ppid=8534 vsize=19024664 CPUtime=4945.82 cores=0-31
/proc/8536/task/8543/stat : 8543 (claspmt) R 8534 8536 8437 0 -1 4202560 115323 0 0 0 494171 411 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 30 0 0 0
[pid=8536/tid=8544] ppid=8534 vsize=19024664 CPUtime=4945.47 cores=0-31
/proc/8536/task/8544/stat : 8544 (claspmt) R 8534 8536 8437 0 -1 4202560 74343 0 0 0 494268 279 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 9 0 0 0
[pid=8536/tid=8545] ppid=8534 vsize=19024664 CPUtime=4943.18 cores=0-31
/proc/8536/task/8545/stat : 8545 (claspmt) R 8534 8536 8437 0 -1 4202560 92433 0 0 0 493969 349 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 24 0 0 0
[pid=8536/tid=8546] ppid=8534 vsize=19024664 CPUtime=4963.72 cores=0-31
/proc/8536/task/8546/stat : 8546 (claspmt) R 8534 8536 8437 0 -1 4202560 86942 0 0 0 496074 298 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669389 0 0 4096 18946 0 0 0 -1 17 0 0 0
[pid=8536/tid=8547] ppid=8534 vsize=19024664 CPUtime=4925.75 cores=0-31
/proc/8536/task/8547/stat : 8547 (claspmt) R 8534 8536 8437 0 -1 4202560 70900 0 0 0 492309 266 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 11 0 0 0
[pid=8536/tid=8548] ppid=8534 vsize=19024664 CPUtime=4945.19 cores=0-31
/proc/8536/task/8548/stat : 8548 (claspmt) R 8534 8536 8437 0 -1 4202560 502158 0 0 0 492898 1621 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669471 0 0 4096 18946 0 0 0 -1 25 0 0 0
[pid=8536/tid=8549] ppid=8534 vsize=19024664 CPUtime=4945.43 cores=0-31
/proc/8536/task/8549/stat : 8549 (claspmt) R 8534 8536 8437 0 -1 4202560 103954 0 0 0 494067 476 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669532 0 0 4096 18946 0 0 0 -1 8 0 0 0
[pid=8536/tid=8550] ppid=8534 vsize=19024664 CPUtime=4945.46 cores=0-31
/proc/8536/task/8550/stat : 8550 (claspmt) R 8534 8536 8437 0 -1 4202560 69647 0 0 0 494234 312 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 26 0 0 0
[pid=8536/tid=8551] ppid=8534 vsize=19024664 CPUtime=4921.54 cores=0-31
/proc/8536/task/8551/stat : 8551 (claspmt) R 8534 8536 8437 0 -1 4202560 154317 0 0 0 491590 564 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669131 0 0 4096 18946 0 0 0 -1 19 0 0 0
[pid=8536/tid=8552] ppid=8534 vsize=19024664 CPUtime=4945.98 cores=0-31
/proc/8536/task/8552/stat : 8552 (claspmt) R 8534 8536 8437 0 -1 4202560 75570 0 0 0 494296 302 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 22 0 0 0
[pid=8536/tid=8553] ppid=8534 vsize=19024664 CPUtime=4942.96 cores=0-31
/proc/8536/task/8553/stat : 8553 (claspmt) R 8534 8536 8437 0 -1 4202560 93735 0 0 0 493925 371 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 20 0 0 0
[pid=8536/tid=8554] ppid=8534 vsize=19024664 CPUtime=4955.53 cores=0-31
/proc/8536/task/8554/stat : 8554 (claspmt) R 8534 8536 8437 0 -1 4202560 83629 0 0 0 495265 288 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 7 0 0 0
[pid=8536/tid=8555] ppid=8534 vsize=19024664 CPUtime=4946.04 cores=0-31
/proc/8536/task/8555/stat : 8555 (claspmt) R 8534 8536 8437 0 -1 4202560 81736 0 0 0 494272 332 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669479 0 0 4096 18946 0 0 0 -1 0 0 0 0
[pid=8536/tid=8556] ppid=8534 vsize=19024664 CPUtime=4937.06 cores=0-31
/proc/8536/task/8556/stat : 8556 (claspmt) R 8534 8536 8437 0 -1 4202560 430464 0 0 0 492251 1455 0 0 25 0 32 0 42706457 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 16 0 0 0
[pid=8536/tid=8557] ppid=8534 vsize=19024664 CPUtime=4944.26 cores=0-31
/proc/8536/task/8557/stat : 8557 (claspmt) R 8534 8536 8437 0 -1 4202560 103852 0 0 0 493899 527 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 4 0 0 0
[pid=8536/tid=8558] ppid=8534 vsize=19024664 CPUtime=4945.55 cores=0-31
/proc/8536/task/8558/stat : 8558 (claspmt) R 8534 8536 8437 0 -1 4202560 72202 0 0 0 494216 339 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 1 0 0 0
[pid=8536/tid=8559] ppid=8534 vsize=19024664 CPUtime=4945.55 cores=0-31
/proc/8536/task/8559/stat : 8559 (claspmt) R 8534 8536 8437 0 -1 4202560 114378 0 0 0 494146 409 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 12 0 0 0
[pid=8536/tid=8560] ppid=8534 vsize=19024664 CPUtime=4945.83 cores=0-31
/proc/8536/task/8560/stat : 8560 (claspmt) R 8534 8536 8437 0 -1 4202560 76917 0 0 0 494287 296 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 29 0 0 0
[pid=8536/tid=8561] ppid=8534 vsize=19024664 CPUtime=4932.28 cores=0-31
/proc/8536/task/8561/stat : 8561 (claspmt) R 8534 8536 8437 0 -1 4202560 79949 0 0 0 492920 308 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 31 0 0 0
[pid=8536/tid=8562] ppid=8534 vsize=19024664 CPUtime=4965.27 cores=0-31
/proc/8536/task/8562/stat : 8562 (claspmt) R 8534 8536 8437 0 -1 4202560 81682 0 0 0 496221 306 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 15 0 0 0
[pid=8536/tid=8563] ppid=8534 vsize=19024664 CPUtime=4945.77 cores=0-31
/proc/8536/task/8563/stat : 8563 (claspmt) R 8534 8536 8437 0 -1 4202560 78866 0 0 0 494278 299 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 6 0 0 0
[pid=8536/tid=8564] ppid=8534 vsize=19024664 CPUtime=4945.42 cores=0-31
/proc/8536/task/8564/stat : 8564 (claspmt) R 8534 8536 8437 0 -1 4202560 463948 0 0 0 493020 1522 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 10 0 0 0
[pid=8536/tid=8565] ppid=8534 vsize=19024664 CPUtime=4945.57 cores=0-31
/proc/8536/task/8565/stat : 8565 (claspmt) R 8534 8536 8437 0 -1 4202560 96212 0 0 0 494122 435 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4669350 0 0 4096 18946 0 0 0 -1 28 0 0 0
[pid=8536/tid=8566] ppid=8534 vsize=19024664 CPUtime=4945.73 cores=0-31
/proc/8536/task/8566/stat : 8566 (claspmt) R 8534 8536 8437 0 -1 4202560 72609 0 0 0 494244 329 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4627868 0 0 4096 18946 0 0 0 -1 14 0 0 0
[pid=8536/tid=8567] ppid=8534 vsize=19024664 CPUtime=4945.84 cores=0-31
/proc/8536/task/8567/stat : 8567 (claspmt) R 8534 8536 8437 0 -1 4202560 114211 0 0 0 494165 419 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670273 0 0 4096 18946 0 0 0 -1 21 0 0 0
[pid=8536/tid=8568] ppid=8534 vsize=19024664 CPUtime=4945.86 cores=0-31
/proc/8536/task/8568/stat : 8568 (claspmt) R 8534 8536 8437 0 -1 4202560 75926 0 0 0 494279 307 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 5 0 0 0
[pid=8536/tid=8569] ppid=8534 vsize=19024664 CPUtime=4933.14 cores=0-31
/proc/8536/task/8569/stat : 8569 (claspmt) R 8534 8536 8437 0 -1 4202560 82855 0 0 0 493017 297 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 18 0 0 0
[pid=8536/tid=8570] ppid=8534 vsize=19024664 CPUtime=4965.79 cores=0-31
/proc/8536/task/8570/stat : 8570 (claspmt) R 8534 8536 8437 0 -1 4202560 86645 0 0 0 496293 286 0 0 25 0 32 0 42706458 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670308 0 0 4096 18946 0 0 0 -1 27 0 0 0
[pid=8536/tid=8571] ppid=8534 vsize=19024664 CPUtime=4942.75 cores=0-31
/proc/8536/task/8571/stat : 8571 (claspmt) R 8534 8536 8437 0 -1 4202560 79244 0 0 0 493979 296 0 0 25 0 32 0 42706459 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4670346 0 0 4096 18946 0 0 0 -1 2 0 0 0
[pid=8536/tid=8572] ppid=8534 vsize=19024664 CPUtime=4920.7 cores=0-31
/proc/8536/task/8572/stat : 8572 (claspmt) R 8534 8536 8437 0 -1 4202560 498513 0 0 0 490513 1557 0 0 25 0 32 0 42706459 19481255936 4427964 270582939648 4194304 4964800 140735674521552 18446744073709551615 4627204 0 0 4096 18946 0 0 0 -1 23 0 0 0
Current children cumulated CPU time (s) 158318
Current children cumulated vsize (KiB) 19024664

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -8536

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

[startup+5100.7 s]
/proc/loadavg: 32.35 32.12 31.99 2/415 8717
/proc/meminfo: memFree=244270604/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=18932540 CPUtime=158320 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4202496 4447012 0 0 0 15816076 15897 0 0 25 0 1 0 42693765 19386920960 4426217 270582939648 4194304 4964800 140735674521552 18446744073709551615 4628834 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/8536/statm: 4733135 4426217 473 189 0 4727484 0
Current children cumulated CPU time (s) 158320
Current children cumulated vsize (KiB) 18932540

[startup+5102.3 s]
/proc/loadavg: 32.35 32.12 31.99 2/415 8717
/proc/meminfo: memFree=244270976/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=0 CPUtime=158321 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4203524 4447012 0 0 0 15816208 15924 0 0 25 0 1 0 42693765 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/8536/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 158321
Current children cumulated vsize (KiB) 0

[startup+5102.7 s]
/proc/loadavg: 32.35 32.12 31.99 2/415 8717
/proc/meminfo: memFree=244270976/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=0 CPUtime=158322 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4203524 4447012 0 0 0 15816208 15964 0 0 25 0 1 0 42693765 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/8536/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 158322
Current children cumulated vsize (KiB) 0

[startup+5102.9 s]
/proc/loadavg: 29.84 31.60 31.82 2/414 8717
/proc/meminfo: memFree=258982964/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=0 CPUtime=158322 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4203524 4447012 0 0 0 15816208 15986 0 0 25 0 1 0 42693765 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/8536/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 158322
Current children cumulated vsize (KiB) 0

[startup+5103.02 s]
/proc/loadavg: 29.84 31.60 31.82 2/414 8717
/proc/meminfo: memFree=258982964/264257624 swapFree=67111528/67111528
[pid=8536] ppid=8534 vsize=0 CPUtime=158322 cores=0-31
/proc/8536/stat : 8536 (claspmt) R 8534 8536 8437 0 -1 4203524 4447012 0 0 0 15816208 15996 0 0 25 0 1 0 42693765 0 0 270582939648 0 0 0 0 0 0 0 4096 18946 18446744073709551615 0 0 17 3 0 0 0
/proc/8536/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 158322
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 5103.05
CPU time (s): 158322
CPU user time (s): 158162
CPU system time (s): 159.991
CPU usage (%): 3102.5
Max. virtual memory (cumulated for all children) (KiB): 19024664

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 158162
system time used= 159.991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4447012
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1195135
involuntary context switches= 368417

runsolver used 27.8628 second user time and 116.052 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-11 08:17:49
IDJOB=3472494
IDBENCH=83463
IDSOLVER=1961
FILE ID=node200/3472494-1307773065
RUNJOBID= node200-1307773062-8451
PBS_JOBID= 13550764
Free space on /tmp= 61644 MiB

SOLVER NAME= claspmt 2.0-R4095-patched (fixed)
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00X23.cnf
COMMAND LINE= HOME/claspmt -tNBCORE -p HOME/sat11-port.txt --distribute=all,2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3472494-1307773065/watcher-3472494-1307773065 -o /tmp/evaluation-result-3472494-1307773065/solver-3472494-1307773065 -C 160000 -W 5100 -M 256000  HOME/claspmt -t32 -p HOME/sat11-port.txt --distribute=all,2 HOME/instance-3472494-1307773065.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 256000 MiB
NBCORE= 32

MD5SUM BENCH= 9cec6483d4ca03e8555377ba059b61ae
RANDOM SEED=208170045

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.045
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      261994504 kB
Buffers:        285956 kB
Cached:        1640976 kB
SwapCached:          0 kB
Active:         410456 kB
Inactive:      1580248 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      261994504 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          101760 kB
Writeback:           0 kB
AnonPages:       63456 kB
Mapped:          14536 kB
Slab:           188960 kB
PageTables:       4396 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   154996 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61640 MiB
End job on node200 at 2011-06-11 09:42:52