Trace number 3312836

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.47 1206.44

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf
MD5SUM598e5ac0f35fb3d353f44669087059bc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.035993
Satisfiable
(Un)Satisfiability was proved
Number of variables800
Number of clauses3408
Sum of the clauses size10224
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33408
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.10/0.12	25:38 INFO : Reading from input HOME/instance-3312836-1304177138.cnf
0.26/0.27	Executor set job limit to 1000000
0.26/0.27	Executor set job limit to 1000000
0.26/0.27	Executor set job limit to 1000000
0.26/0.27	Executor set job limit to 1000000
0.26/0.27	Starting Executor!
0.26/0.27	Starting Executor!
0.26/0.27	Starting Executor!
0.26/0.27	Starting Executor!
0.77/0.42	25:38 INFO : 793 variables remaining out of 800
0.77/0.42	25:38 INFO : 13420 literals remaining out of 13632

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

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

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


[startup+0 s]
/proc/loadavg: 8.00 8.02 8.00 2/173 907
/proc/meminfo: memFree=30826152/32951124 swapFree=67111444/67111528
[pid=907] ppid=905 vsize=9016 CPUtime=0 cores=0,2,4,6
/proc/907/stat : 907 (java) R 905 907 873 0 -1 4194304 382 0 0 0 0 0 0 0 23 0 1 0 529311758 9232384 60 33554432000 1073741824 1073778376 140737204399328 18446744073709551615 228117744320 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/907/statm: 2255 73 57 9 0 34 0

[startup+0.076109 s]
/proc/loadavg: 8.00 8.02 8.00 2/173 907
/proc/meminfo: memFree=30826152/32951124 swapFree=67111444/67111528
[pid=907] ppid=905 vsize=15609780 CPUtime=0.06 cores=0,2,4,6
/proc/907/stat : 907 (java) S 905 907 873 0 -1 4202496 4425 0 1 0 6 0 0 0 23 0 18 0 529311758 15984414720 3864 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/907/statm: 3902445 3864 1779 9 0 3893164 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 15609780

[startup+0.101079 s]
/proc/loadavg: 8.00 8.02 8.00 2/173 907
/proc/meminfo: memFree=30826152/32951124 swapFree=67111444/67111528
[pid=907] ppid=905 vsize=15676884 CPUtime=0.1 cores=0,2,4,6
/proc/907/stat : 907 (java) S 905 907 873 0 -1 4202496 5520 0 1 0 9 1 0 0 23 0 18 0 529311758 16053129216 4959 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/907/statm: 3919221 4959 2116 9 0 3909940 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676884

[startup+0.305026 s]
/proc/loadavg: 8.00 8.02 8.00 2/173 907
/proc/meminfo: memFree=30826152/32951124 swapFree=67111444/67111528
[pid=907] ppid=905 vsize=15685532 CPUtime=0.52 cores=0,2,4,6
/proc/907/stat : 907 (java) S 905 907 873 0 -1 4202496 12102 0 1 0 49 3 0 0 23 0 22 0 529311758 16061984768 10212 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/907/statm: 3921383 10212 2216 9 0 3912102 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15685532

[startup+1.14562 s]
/proc/loadavg: 8.00 8.02 8.00 2/173 907
/proc/meminfo: memFree=30826152/32951124 swapFree=67111444/67111528
[pid=907] ppid=905 vsize=15706816 CPUtime=3.55 cores=0,2,4,6
/proc/907/stat : 907 (java) S 905 907 873 0 -1 4202496 54204 0 1 0 347 8 0 0 23 0 22 0 529311758 16083779584 46542 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/907/statm: 3926704 46542 2259 9 0 3917423 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 15706816

[startup+1.50075 s]
/proc/loadavg: 7.84 7.98 7.99 14/220 958
/proc/meminfo: memFree=30440844/32951124 swapFree=67111444/67111528
[pid=907] ppid=905 vsize=15706816 CPUtime=4.98 cores=0,2,4,6
/proc/907/stat : 907 (java) S 905 907 873 0 -1 4202496 58646 0 1 0 490 8 0 0 23 0 22 0 529311758 16083779584 49625 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/907/statm: 3926704 49625 2271 9 0 3917423 0
[pid=907/tid=909] ppid=905 vsize=15706816 CPUtime=0.39 cores=0,2,4,6
/proc/907/task/909/stat : 909 (java) S 905 907 873 0 -1 4202560 7336 0 1 0 37 2 0 0 18 0 22 0 529311758 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=915] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/915/stat : 915 (java) S 905 907 873 0 -1 4202560 870 0 0 0 0 0 0 0 18 0 22 0 529311759 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=916] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/916/stat : 916 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 529311759 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=917] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/917/stat : 917 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 529311759 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=918] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/918/stat : 918 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 529311759 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=919] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/919/stat : 919 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 529311759 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=920] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/920/stat : 920 (java) S 905 907 873 0 -1 4202560 696 0 0 0 0 0 0 0 18 0 22 0 529311759 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=921] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/921/stat : 921 (java) R 905 907 873 0 -1 4202560 949 0 0 0 0 0 0 0 18 0 22 0 529311759 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=907/tid=922] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/922/stat : 922 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 529311759 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=933] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/933/stat : 933 (java) S 905 907 873 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 529311760 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134530560 0 0 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=934] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/934/stat : 934 (java) R 905 907 873 0 -1 4202560 16 0 0 0 0 0 0 0 18 0 22 0 529311760 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 47920781043517 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=907/tid=935] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/935/stat : 935 (java) S 905 907 873 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 22 0 529311760 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=939] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/939/stat : 939 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 529311763 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134537649 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=940] ppid=905 vsize=15706816 CPUtime=0.76 cores=0,2,4,6
/proc/907/task/940/stat : 940 (java) R 905 907 873 0 -1 4202560 7369 0 0 0 75 1 0 0 17 0 22 0 529311763 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 47920778886249 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=907/tid=941] ppid=905 vsize=15706816 CPUtime=0.66 cores=0,2,4,6
/proc/907/task/941/stat : 941 (java) R 905 907 873 0 -1 4202560 12342 0 0 0 65 1 0 0 17 0 22 0 529311763 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 47920780393184 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=907/tid=942] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/942/stat : 942 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529311763 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=944] ppid=905 vsize=15706816 CPUtime=0 cores=0,2,4,6
/proc/907/task/944/stat : 944 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529311763 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134530560 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=950] ppid=905 vsize=15706816 CPUtime=0.83 cores=0,2,4,6
/proc/907/task/950/stat : 950 (java) R 905 907 873 0 -1 4202560 7741 0 0 0 83 0 0 0 17 0 22 0 529311785 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505179312 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=907/tid=951] ppid=905 vsize=15706816 CPUtime=1.06 cores=0,2,4,6
/proc/907/task/951/stat : 951 (java) R 905 907 873 0 -1 4202560 8949 0 0 0 106 0 0 0 17 0 22 0 529311785 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505121138 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=907/tid=952] ppid=905 vsize=15706816 CPUtime=0.64 cores=0,2,4,6
/proc/907/task/952/stat : 952 (java) R 905 907 873 0 -1 4202560 5097 0 0 0 64 0 0 0 16 0 22 0 529311785 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505228240 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=907/tid=953] ppid=905 vsize=15706816 CPUtime=0.56 cores=0,2,4,6
/proc/907/task/953/stat : 953 (java) R 905 907 873 0 -1 4202560 5923 0 0 0 56 0 0 0 17 0 22 0 529311785 16083779584 49650 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505754833 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.98
Current children cumulated vsize (KiB) 15706816

[startup+3.10147 s]
/proc/loadavg: 7.84 7.98 7.99 9/220 958
/proc/meminfo: memFree=30147336/32951124 swapFree=67111444/67111528
[pid=907] ppid=905 vsize=15704048 CPUtime=11.34 cores=0,2,4,6
/proc/907/stat : 907 (java) S 905 907 873 0 -1 4202496 150521 0 1 0 1114 20 0 0 23 0 22 0 529311758 16080945152 136414 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/907/statm: 3926012 136419 2283 9 0 3916731 0
[pid=907/tid=909] ppid=905 vsize=15704048 CPUtime=0.39 cores=0,2,4,6
/proc/907/task/909/stat : 909 (java) S 905 907 873 0 -1 4202560 7336 0 1 0 37 2 0 0 18 0 22 0 529311758 16080945152 136420 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=915] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/915/stat : 915 (java) S 905 907 873 0 -1 4202560 1607 0 0 0 0 0 0 0 16 0 22 0 529311759 16080945152 136422 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 0 0 0 0
[pid=907/tid=916] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/916/stat : 916 (java) S 905 907 873 0 -1 4202560 1734 0 0 0 0 0 0 0 16 0 22 0 529311759 16080945152 136425 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 0 0 0 0
[pid=907/tid=917] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/917/stat : 917 (java) S 905 907 873 0 -1 4202560 1514 0 0 0 0 0 0 0 15 0 22 0 529311759 16080945152 136426 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 0 0 0 0
[pid=907/tid=918] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/918/stat : 918 (java) S 905 907 873 0 -1 4202560 2673 0 0 0 0 0 0 0 15 0 22 0 529311759 16080945152 136428 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=919] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/919/stat : 919 (java) S 905 907 873 0 -1 4202560 1666 0 0 0 0 0 0 0 15 0 22 0 529311759 16080945152 136430 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=920] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/920/stat : 920 (java) S 905 907 873 0 -1 4202560 1521 0 0 0 0 0 0 0 15 0 22 0 529311759 16080945152 136432 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=921] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/921/stat : 921 (java) S 905 907 873 0 -1 4202560 3773 0 0 0 0 0 0 0 16 0 22 0 529311759 16080945152 136434 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=922] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/922/stat : 922 (java) S 905 907 873 0 -1 4202560 3261 0 0 0 0 0 0 0 16 0 22 0 529311759 16080945152 136436 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=933] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/933/stat : 933 (java) S 905 907 873 0 -1 4202560 196 0 0 0 0 0 0 0 15 0 22 0 529311760 16080945152 136437 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134530560 0 0 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=934] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/934/stat : 934 (java) S 905 907 873 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529311760 16080945152 136439 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=935] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/935/stat : 935 (java) S 905 907 873 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529311760 16080945152 136440 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=939] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/939/stat : 939 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 529311763 16080945152 136440 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134537649 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=940] ppid=905 vsize=15704048 CPUtime=0.96 cores=0,2,4,6
/proc/907/task/940/stat : 940 (java) S 905 907 873 0 -1 4202560 8274 0 0 0 95 1 0 0 16 0 22 0 529311763 16080945152 136441 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=941] ppid=905 vsize=15704048 CPUtime=1.19 cores=0,2,4,6
/proc/907/task/941/stat : 941 (java) S 905 907 873 0 -1 4202560 15866 0 0 0 118 1 0 0 15 0 22 0 529311763 16080945152 136442 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=942] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/942/stat : 942 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529311763 16080945152 136444 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=944] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/944/stat : 944 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 529311763 16080945152 136458 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134530560 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=950] ppid=905 vsize=15704048 CPUtime=2.31 cores=0,2,4,6
/proc/907/task/950/stat : 950 (java) R 905 907 873 0 -1 4202560 24972 0 0 0 229 2 0 0 19 0 22 0 529311785 16080945152 136467 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505994398 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=907/tid=951] ppid=905 vsize=15704048 CPUtime=2.59 cores=0,2,4,6
/proc/907/task/951/stat : 951 (java) R 905 907 873 0 -1 4202560 27556 0 0 0 255 4 0 0 19 0 22 0 529311785 16080945152 136478 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505842691 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=907/tid=952] ppid=905 vsize=15704048 CPUtime=2.05 cores=0,2,4,6
/proc/907/task/952/stat : 952 (java) R 905 907 873 0 -1 4202560 23776 0 0 0 203 2 0 0 17 0 22 0 529311785 16080945152 136489 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505854336 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=907/tid=953] ppid=905 vsize=15704048 CPUtime=1.71 cores=0,2,4,6
/proc/907/task/953/stat : 953 (java) R 905 907 873 0 -1 4202560 23488 0 0 0 169 2 0 0 17 0 22 0 529311785 16080945152 136499 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505744330 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.34
Current children cumulated vsize (KiB) 15704048

[startup+6.30089 s]
/proc/loadavg: 7.85 7.98 7.99 9/220 958
/proc/meminfo: memFree=29383992/32951124 swapFree=67111444/67111528
[pid=907] ppid=905 vsize=15704048 CPUtime=24.08 cores=0,2,4,6
/proc/907/stat : 907 (java) S 905 907 873 0 -1 4202496 295980 0 1 0 2371 37 0 0 23 0 22 0 529311758 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/907/statm: 3926012 279372 2283 9 0 3916731 0
[pid=907/tid=909] ppid=905 vsize=15704048 CPUtime=0.39 cores=0,2,4,6
/proc/907/task/909/stat : 909 (java) S 905 907 873 0 -1 4202560 7336 0 1 0 37 2 0 0 18 0 22 0 529311758 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=915] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/915/stat : 915 (java) S 905 907 873 0 -1 4202560 3755 0 0 0 0 0 0 0 15 0 22 0 529311759 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=916] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/916/stat : 916 (java) S 905 907 873 0 -1 4202560 3684 0 0 0 0 0 0 0 15 0 22 0 529311759 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=917] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/917/stat : 917 (java) S 905 907 873 0 -1 4202560 2860 0 0 0 0 0 0 0 15 0 22 0 529311759 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=918] ppid=905 vsize=15704048 CPUtime=0.01 cores=0,2,4,6
/proc/907/task/918/stat : 918 (java) S 905 907 873 0 -1 4202560 5363 0 0 0 1 0 0 0 16 0 22 0 529311759 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=919] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/919/stat : 919 (java) S 905 907 873 0 -1 4202560 2507 0 0 0 0 0 0 0 16 0 22 0 529311759 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 0 0 0 0
[pid=907/tid=920] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/920/stat : 920 (java) S 905 907 873 0 -1 4202560 2387 0 0 0 0 0 0 0 15 0 22 0 529311759 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=921] ppid=905 vsize=15704048 CPUtime=0.01 cores=0,2,4,6
/proc/907/task/921/stat : 921 (java) S 905 907 873 0 -1 4202560 4897 0 0 0 1 0 0 0 16 0 22 0 529311759 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=922] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/922/stat : 922 (java) S 905 907 873 0 -1 4202560 4032 0 0 0 0 0 0 0 16 0 22 0 529311759 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=933] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/933/stat : 933 (java) S 905 907 873 0 -1 4202560 449 0 0 0 0 0 0 0 15 0 22 0 529311760 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134530560 0 0 0 16800975 18446604453938065472 0 0 -1 0 0 0 0
[pid=907/tid=934] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/934/stat : 934 (java) S 905 907 873 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529311760 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=935] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/935/stat : 935 (java) S 905 907 873 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529311760 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=939] ppid=905 vsize=15704048 CPUtime=0 cores=0,2,4,6
/proc/907/task/939/stat : 939 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 529311763 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134537649 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=940] ppid=905 vsize=15704048 CPUtime=1.03 cores=0,2,4,6
/proc/907/task/940/stat : 940 (java) S 905 907 873 0 -1 4202560 9023 0 0 0 102 1 0 0 15 0 22 0 529311763 16080945152 279372 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0

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

[pid=907/tid=951] ppid=905 vsize=15697040 CPUtime=1107.69 cores=0,2,4,6
/proc/907/task/951/stat : 951 (java) R 905 907 873 0 -1 4202560 462166 0 0 0 110708 61 0 0 25 0 22 0 529311785 16073768960 121030 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505664832 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=907/tid=952] ppid=905 vsize=15697040 CPUtime=1108.24 cores=0,2,4,6
/proc/907/task/952/stat : 952 (java) R 905 907 873 0 -1 4202560 456746 0 0 0 110763 61 0 0 25 0 22 0 529311785 16073768960 121030 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912506034573 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=907/tid=953] ppid=905 vsize=15697040 CPUtime=1107.63 cores=0,2,4,6
/proc/907/task/953/stat : 953 (java) R 905 907 873 0 -1 4202560 455535 0 0 0 110703 60 0 0 25 0 22 0 529311785 16073768960 121030 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912506028384 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4465.7
Current children cumulated vsize (KiB) 15697040

[startup+1182.3 s]
/proc/loadavg: 8.02 8.07 8.04 9/220 990
/proc/meminfo: memFree=30033768/32951124 swapFree=67111444/67111528
[pid=907] ppid=905 vsize=15697040 CPUtime=4704.46 cores=0,2,4,6
/proc/907/stat : 907 (java) S 905 907 873 0 -1 4202496 3413658 0 1 0 469838 608 0 0 23 0 22 0 529311758 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/907/statm: 3924260 115002 2297 9 0 3914979 0
[pid=907/tid=909] ppid=905 vsize=15697040 CPUtime=0.39 cores=0,2,4,6
/proc/907/task/909/stat : 909 (java) S 905 907 873 0 -1 4202560 7336 0 1 0 37 2 0 0 18 0 22 0 529311758 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=915] ppid=905 vsize=15697040 CPUtime=3.79 cores=0,2,4,6
/proc/907/task/915/stat : 915 (java) S 905 907 873 0 -1 4202560 184499 0 0 0 348 31 0 0 15 0 22 0 529311759 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 0 0 0 0
[pid=907/tid=916] ppid=905 vsize=15697040 CPUtime=3.71 cores=0,2,4,6
/proc/907/task/916/stat : 916 (java) S 905 907 873 0 -1 4202560 171524 0 0 0 341 30 0 0 15 0 22 0 529311759 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=917] ppid=905 vsize=15697040 CPUtime=3.75 cores=0,2,4,6
/proc/907/task/917/stat : 917 (java) S 905 907 873 0 -1 4202560 176055 0 0 0 344 31 0 0 16 0 22 0 529311759 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 0 0 0 0
[pid=907/tid=918] ppid=905 vsize=15697040 CPUtime=3.87 cores=0,2,4,6
/proc/907/task/918/stat : 918 (java) S 905 907 873 0 -1 4202560 183418 0 0 0 353 34 0 0 15 0 22 0 529311759 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=919] ppid=905 vsize=15697040 CPUtime=3.64 cores=0,2,4,6
/proc/907/task/919/stat : 919 (java) S 905 907 873 0 -1 4202560 172117 0 0 0 334 30 0 0 15 0 22 0 529311759 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=920] ppid=905 vsize=15697040 CPUtime=3.75 cores=0,2,4,6
/proc/907/task/920/stat : 920 (java) S 905 907 873 0 -1 4202560 176568 0 0 0 343 32 0 0 16 0 22 0 529311759 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=921] ppid=905 vsize=15697040 CPUtime=3.83 cores=0,2,4,6
/proc/907/task/921/stat : 921 (java) S 905 907 873 0 -1 4202560 194582 0 0 0 347 36 0 0 15 0 22 0 529311759 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=922] ppid=905 vsize=15697040 CPUtime=3.8 cores=0,2,4,6
/proc/907/task/922/stat : 922 (java) S 905 907 873 0 -1 4202560 188943 0 0 0 347 33 0 0 15 0 22 0 529311759 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=933] ppid=905 vsize=15697040 CPUtime=2.04 cores=0,2,4,6
/proc/907/task/933/stat : 933 (java) S 905 907 873 0 -1 4202560 9024 0 0 0 120 84 0 0 15 0 22 0 529311760 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134530560 0 0 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=934] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/934/stat : 934 (java) S 905 907 873 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529311760 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=935] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/935/stat : 935 (java) S 905 907 873 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529311760 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=939] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/939/stat : 939 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 529311763 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134537649 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=940] ppid=905 vsize=15697040 CPUtime=1.08 cores=0,2,4,6
/proc/907/task/940/stat : 940 (java) S 905 907 873 0 -1 4202560 9032 0 0 0 107 1 0 0 15 0 22 0 529311763 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=941] ppid=905 vsize=15697040 CPUtime=1.39 cores=0,2,4,6
/proc/907/task/941/stat : 941 (java) S 905 907 873 0 -1 4202560 15911 0 0 0 138 1 0 0 15 0 22 0 529311763 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=942] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/942/stat : 942 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529311763 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=944] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/944/stat : 944 (java) S 905 907 873 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 529311763 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134530560 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=950] ppid=905 vsize=15697040 CPUtime=1167.79 cores=0,2,4,6
/proc/907/task/950/stat : 950 (java) R 905 907 873 0 -1 4202560 484137 0 0 0 116714 65 0 0 25 0 22 0 529311785 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505841179 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=907/tid=951] ppid=905 vsize=15697040 CPUtime=1167.05 cores=0,2,4,6
/proc/907/task/951/stat : 951 (java) R 905 907 873 0 -1 4202560 484351 0 0 0 116642 63 0 0 25 0 22 0 529311785 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 18446744073699065939 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=907/tid=952] ppid=905 vsize=15697040 CPUtime=1167.55 cores=0,2,4,6
/proc/907/task/952/stat : 952 (java) R 905 907 873 0 -1 4202560 477156 0 0 0 116692 63 0 0 25 0 22 0 529311785 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505870811 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=907/tid=953] ppid=905 vsize=15697040 CPUtime=1166.85 cores=0,2,4,6
/proc/907/task/953/stat : 953 (java) R 905 907 873 0 -1 4202560 477552 0 0 0 116622 63 0 0 25 0 22 0 529311785 16073768960 115002 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505755453 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4704.46
Current children cumulated vsize (KiB) 15697040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1206.4 s]
/proc/loadavg: 8.01 8.06 8.03 9/220 991
/proc/meminfo: memFree=29907496/32951124 swapFree=67111444/67111528
[pid=907] ppid=905 vsize=15697040 CPUtime=4800.39 cores=0,2,4,6
/proc/907/stat : 907 (java) S 905 907 873 0 -1 4202496 3504175 0 1 0 479416 623 0 0 23 0 22 0 529311758 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/907/statm: 3924260 143899 2297 9 0 3914979 0
[pid=907/tid=909] ppid=905 vsize=15697040 CPUtime=0.39 cores=0,2,4,6
/proc/907/task/909/stat : 909 (java) S 905 907 873 0 -1 4202560 7336 0 1 0 37 2 0 0 18 0 22 0 529311758 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=915] ppid=905 vsize=15697040 CPUtime=3.89 cores=0,2,4,6
/proc/907/task/915/stat : 915 (java) S 905 907 873 0 -1 4202560 188994 0 0 0 357 32 0 0 15 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=916] ppid=905 vsize=15697040 CPUtime=3.79 cores=0,2,4,6
/proc/907/task/916/stat : 916 (java) S 905 907 873 0 -1 4202560 175894 0 0 0 348 31 0 0 16 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=917] ppid=905 vsize=15697040 CPUtime=3.83 cores=0,2,4,6
/proc/907/task/917/stat : 917 (java) S 905 907 873 0 -1 4202560 179818 0 0 0 351 32 0 0 15 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=918] ppid=905 vsize=15697040 CPUtime=3.95 cores=0,2,4,6
/proc/907/task/918/stat : 918 (java) S 905 907 873 0 -1 4202560 188203 0 0 0 361 34 0 0 15 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=919] ppid=905 vsize=15697040 CPUtime=3.73 cores=0,2,4,6
/proc/907/task/919/stat : 919 (java) S 905 907 873 0 -1 4202560 177320 0 0 0 342 31 0 0 16 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=920] ppid=905 vsize=15697040 CPUtime=3.83 cores=0,2,4,6
/proc/907/task/920/stat : 920 (java) S 905 907 873 0 -1 4202560 180889 0 0 0 350 33 0 0 15 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=921] ppid=905 vsize=15697040 CPUtime=3.91 cores=0,2,4,6
/proc/907/task/921/stat : 921 (java) S 905 907 873 0 -1 4202560 199133 0 0 0 354 37 0 0 16 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=922] ppid=905 vsize=15697040 CPUtime=3.88 cores=0,2,4,6
/proc/907/task/922/stat : 922 (java) S 905 907 873 0 -1 4202560 192502 0 0 0 354 34 0 0 16 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 0 0 0 0
[pid=907/tid=933] ppid=905 vsize=15697040 CPUtime=2.08 cores=0,2,4,6
/proc/907/task/933/stat : 933 (java) S 905 907 873 0 -1 4202560 9254 0 0 0 122 86 0 0 15 0 22 0 529311760 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134530560 0 0 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=934] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/934/stat : 934 (java) S 905 907 873 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529311760 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=935] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/935/stat : 935 (java) S 905 907 873 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529311760 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=939] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/939/stat : 939 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 529311763 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134537649 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=940] ppid=905 vsize=15697040 CPUtime=1.08 cores=0,2,4,6
/proc/907/task/940/stat : 940 (java) S 905 907 873 0 -1 4202560 9032 0 0 0 107 1 0 0 15 0 22 0 529311763 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=941] ppid=905 vsize=15697040 CPUtime=1.39 cores=0,2,4,6
/proc/907/task/941/stat : 941 (java) S 905 907 873 0 -1 4202560 15911 0 0 0 138 1 0 0 15 0 22 0 529311763 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=942] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/942/stat : 942 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529311763 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=944] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/944/stat : 944 (java) S 905 907 873 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 529311763 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134530560 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=950] ppid=905 vsize=15697040 CPUtime=1191.63 cores=0,2,4,6
/proc/907/task/950/stat : 950 (java) R 905 907 873 0 -1 4202560 497740 0 0 0 119096 67 0 0 25 0 22 0 529311785 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505841352 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=907/tid=951] ppid=905 vsize=15697040 CPUtime=1190.83 cores=0,2,4,6
/proc/907/task/951/stat : 951 (java) R 905 907 873 0 -1 4202560 498381 0 0 0 119018 65 0 0 25 0 22 0 529311785 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505713818 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=907/tid=952] ppid=905 vsize=15697040 CPUtime=1191.4 cores=0,2,4,6
/proc/907/task/952/stat : 952 (java) R 905 907 873 0 -1 4202560 491470 0 0 0 119075 65 0 0 25 0 22 0 529311785 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 47920783365244 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=907/tid=953] ppid=905 vsize=15697040 CPUtime=1190.64 cores=0,2,4,6
/proc/907/task/953/stat : 953 (java) R 905 907 873 0 -1 4202560 490843 0 0 0 118999 65 0 0 25 0 22 0 529311785 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505859770 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 15697040

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

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

[startup+1206.4 s]
/proc/loadavg: 8.01 8.06 8.03 9/220 991
/proc/meminfo: memFree=29907496/32951124 swapFree=67111444/67111528
[pid=907] ppid=905 vsize=15697040 CPUtime=4800.39 cores=0,2,4,6
/proc/907/stat : 907 (java) S 905 907 873 0 -1 4202496 3504175 0 1 0 479416 623 0 0 23 0 22 0 529311758 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/907/statm: 3924260 143899 2297 9 0 3914979 0
[pid=907/tid=909] ppid=905 vsize=15697040 CPUtime=0.39 cores=0,2,4,6
/proc/907/task/909/stat : 909 (java) S 905 907 873 0 -1 4202560 7336 0 1 0 37 2 0 0 18 0 22 0 529311758 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=915] ppid=905 vsize=15697040 CPUtime=3.89 cores=0,2,4,6
/proc/907/task/915/stat : 915 (java) S 905 907 873 0 -1 4202560 188994 0 0 0 357 32 0 0 15 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=916] ppid=905 vsize=15697040 CPUtime=3.79 cores=0,2,4,6
/proc/907/task/916/stat : 916 (java) S 905 907 873 0 -1 4202560 175894 0 0 0 348 31 0 0 16 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=917] ppid=905 vsize=15697040 CPUtime=3.83 cores=0,2,4,6
/proc/907/task/917/stat : 917 (java) S 905 907 873 0 -1 4202560 179818 0 0 0 351 32 0 0 15 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=918] ppid=905 vsize=15697040 CPUtime=3.95 cores=0,2,4,6
/proc/907/task/918/stat : 918 (java) S 905 907 873 0 -1 4202560 188203 0 0 0 361 34 0 0 15 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=919] ppid=905 vsize=15697040 CPUtime=3.73 cores=0,2,4,6
/proc/907/task/919/stat : 919 (java) S 905 907 873 0 -1 4202560 177320 0 0 0 342 31 0 0 16 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=920] ppid=905 vsize=15697040 CPUtime=3.83 cores=0,2,4,6
/proc/907/task/920/stat : 920 (java) S 905 907 873 0 -1 4202560 180889 0 0 0 350 33 0 0 15 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=921] ppid=905 vsize=15697040 CPUtime=3.91 cores=0,2,4,6
/proc/907/task/921/stat : 921 (java) S 905 907 873 0 -1 4202560 199133 0 0 0 354 37 0 0 16 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=922] ppid=905 vsize=15697040 CPUtime=3.88 cores=0,2,4,6
/proc/907/task/922/stat : 922 (java) S 905 907 873 0 -1 4202560 192502 0 0 0 354 34 0 0 16 0 22 0 529311759 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 0 0 0 0
[pid=907/tid=933] ppid=905 vsize=15697040 CPUtime=2.08 cores=0,2,4,6
/proc/907/task/933/stat : 933 (java) S 905 907 873 0 -1 4202560 9254 0 0 0 122 86 0 0 15 0 22 0 529311760 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134530560 0 0 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=934] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/934/stat : 934 (java) S 905 907 873 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 529311760 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=935] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/935/stat : 935 (java) S 905 907 873 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 529311760 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=939] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/939/stat : 939 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 22 0 529311763 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134537649 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=940] ppid=905 vsize=15697040 CPUtime=1.08 cores=0,2,4,6
/proc/907/task/940/stat : 940 (java) S 905 907 873 0 -1 4202560 9032 0 0 0 107 1 0 0 15 0 22 0 529311763 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=941] ppid=905 vsize=15697040 CPUtime=1.39 cores=0,2,4,6
/proc/907/task/941/stat : 941 (java) S 905 907 873 0 -1 4202560 15911 0 0 0 138 1 0 0 15 0 22 0 529311763 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 6 0 0 0
[pid=907/tid=942] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/942/stat : 942 (java) S 905 907 873 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 529311763 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134529945 0 4 0 16800975 18446604453938065472 0 0 -1 4 0 0 0
[pid=907/tid=944] ppid=905 vsize=15697040 CPUtime=0 cores=0,2,4,6
/proc/907/task/944/stat : 944 (java) S 905 907 873 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 529311763 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 228134530560 0 4 0 16800975 18446604453938065472 0 0 -1 2 0 0 0
[pid=907/tid=950] ppid=905 vsize=15697040 CPUtime=1191.63 cores=0,2,4,6
/proc/907/task/950/stat : 950 (java) R 905 907 873 0 -1 4202560 497740 0 0 0 119096 67 0 0 25 0 22 0 529311785 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505841352 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=907/tid=951] ppid=905 vsize=15697040 CPUtime=1190.83 cores=0,2,4,6
/proc/907/task/951/stat : 951 (java) R 905 907 873 0 -1 4202560 498381 0 0 0 119018 65 0 0 25 0 22 0 529311785 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505713818 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=907/tid=952] ppid=905 vsize=15697040 CPUtime=1191.4 cores=0,2,4,6
/proc/907/task/952/stat : 952 (java) R 905 907 873 0 -1 4202560 491470 0 0 0 119075 65 0 0 25 0 22 0 529311785 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 47920783365244 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=907/tid=953] ppid=905 vsize=15697040 CPUtime=1190.64 cores=0,2,4,6
/proc/907/task/953/stat : 953 (java) R 905 907 873 0 -1 4202560 490843 0 0 0 118999 65 0 0 25 0 22 0 529311785 16073768960 143899 33554432000 1073741824 1073778376 140735709283008 18446744073709551615 46912505859770 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.39
Current children cumulated vsize (KiB) 15697040

Child status: 143
Real time (s): 1206.44
CPU time (s): 4800.47
CPU user time (s): 4794.2
CPU system time (s): 6.26405
CPU usage (%): 397.902
Max. virtual memory (cumulated for all children) (KiB): 15706844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4794.2
system time used= 6.26405
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3504200
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= 183863
involuntary context switches= 109703

runsolver used 2.07368 second user time and 4.56731 second system time

The end

Launcher Data 

Begin job on node138 at 2011-04-30 17:25:38
IDJOB=3312836
IDBENCH=83021
IDSOLVER=1699
FILE ID=node138/3312836-1304177138
RUNJOBID= node138-1304177138-892
PBS_JOBID= 13172436
Free space on /tmp= 72408 MiB

SOLVER NAME= STRUCTure 0.1
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312836-1304177138/watcher-3312836-1304177138 -o /tmp/evaluation-result-3312836-1304177138/solver-3312836-1304177138 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312836-1304177138.cnf

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

MD5SUM BENCH= 598e5ac0f35fb3d353f44669087059bc
RANDOM SEED=1114068529

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30826440 kB
Buffers:        671220 kB
Cached:         992496 kB
SwapCached:         84 kB
Active:         128552 kB
Inactive:      1599332 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30826440 kB
SwapTotal:    67111528 kB
SwapFree:     67111444 kB
Dirty:            1612 kB
Writeback:           0 kB
AnonPages:       64116 kB
Mapped:          14404 kB
Slab:           331316 kB
PageTables:       4680 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   192944 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72404 MiB
End job on node138 at 2011-04-30 17:45:46