Trace number 3311295

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
STRUCTure 0.1 (hbr=2)? (TO) 4800.56 1204.96

General information on the benchmark

Namerandom/large/
unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf
MD5SUM745003317611baf9e79e91bc0ab8e275
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark14.2018
Satisfiable
(Un)Satisfiability was proved
Number of variables15000
Number of clauses63000
Sum of the clauses size189000
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 363000
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	09:10 INFO : Reading from input HOME/instance-3311295-1304118549.cnf
0.71/0.54	Executor set job limit to 1000000
0.71/0.54	Executor set job limit to 1000000
0.71/0.54	Executor set job limit to 1000000
0.71/0.54	Executor set job limit to 1000000
0.71/0.54	Starting Executor!
0.71/0.54	Starting Executor!
0.71/0.54	Starting Executor!
0.71/0.54	Starting Executor!
3.12/1.58	09:11 INFO : 14942 variables remaining out of 15000
3.12/1.58	09:11 INFO : 250552 literals remaining out of 252000

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

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

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


[startup+0 s]
/proc/loadavg: 3.71 4.09 5.19 2/174 18970
/proc/meminfo: memFree=30894112/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/18970/stat : 18970 (java) R 18968 18970 18155 0 -1 4202496 886 0 0 0 0 0 0 0 23 0 1 0 523453648 23580672 373 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251809277717 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/18970/statm: 5757 384 299 9 0 124 0

[startup+0.0213979 s]
/proc/loadavg: 3.71 4.09 5.19 2/174 18970
/proc/meminfo: memFree=30894112/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=15657184 CPUtime=0 cores=1,3,5,7
/proc/18970/stat : 18970 (java) S 18968 18970 18155 0 -1 4202496 3003 0 1 0 0 0 0 0 23 0 10 0 523453648 16032956416 2444 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/18970/statm: 3914296 2447 1510 9 0 3905044 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15657184

[startup+0.100386 s]
/proc/loadavg: 3.71 4.09 5.19 2/174 18970
/proc/meminfo: memFree=30894112/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=15741048 CPUtime=0.1 cores=1,3,5,7
/proc/18970/stat : 18970 (java) S 18968 18970 18155 0 -1 4202496 5479 0 1 0 9 1 0 0 23 0 18 0 523453648 16118833152 4917 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18970/statm: 3935262 4918 2115 9 0 3925981 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15741048

[startup+0.300356 s]
/proc/loadavg: 3.71 4.09 5.19 2/174 18970
/proc/meminfo: memFree=30894112/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=15744132 CPUtime=0.51 cores=1,3,5,7
/proc/18970/stat : 18970 (java) S 18968 18970 18155 0 -1 4202496 14772 0 1 0 48 3 0 0 23 0 18 0 523453648 16121991168 13249 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18970/statm: 3936033 13256 2206 9 0 3926752 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15744132

[startup+0.700287 s]
/proc/loadavg: 3.71 4.09 5.19 2/174 18970
/proc/meminfo: memFree=30894112/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=15748320 CPUtime=1.09 cores=1,3,5,7
/proc/18970/stat : 18970 (java) S 18968 18970 18155 0 -1 4202496 41953 0 1 0 104 5 0 0 23 0 22 0 523453648 16126279680 39827 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18970/statm: 3937080 39827 2254 9 0 3927799 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 15748320

[startup+1.50116 s]
/proc/loadavg: 3.71 4.09 5.19 4/216 19015
/proc/meminfo: memFree=30561208/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=15757712 CPUtime=3.12 cores=1,3,5,7
/proc/18970/stat : 18970 (java) S 18968 18970 18155 0 -1 4202496 59184 0 1 0 304 8 0 0 23 0 22 0 523453648 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18970/statm: 3939428 48852 2266 9 0 3930147 0
[pid=18970/tid=18972] ppid=18968 vsize=15757712 CPUtime=1.47 cores=1,3,5,7
/proc/18970/task/18972/stat : 18972 (java) R 18968 18970 18155 0 -1 4202560 35666 0 1 0 143 4 0 0 25 0 22 0 523453648 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912505975011 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18970/tid=18973] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18973/stat : 18973 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523453649 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=18974] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18974/stat : 18974 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523453649 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18975] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18975/stat : 18975 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523453649 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18976] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18976/stat : 18976 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523453649 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18977] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18977/stat : 18977 (java) S 18968 18970 18155 0 -1 4202560 374 0 0 0 0 0 0 0 21 0 22 0 523453649 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18978] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18978/stat : 18978 (java) S 18968 18970 18155 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 22 0 523453649 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18979] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18979/stat : 18979 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 523453649 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=18980] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18980/stat : 18980 (java) S 18968 18970 18155 0 -1 4202560 42 0 0 0 0 0 0 0 21 0 22 0 523453649 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18981] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18981/stat : 18981 (java) S 18968 18970 18155 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 523453650 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 0 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18982] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18982/stat : 18982 (java) S 18968 18970 18155 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 523453651 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18983] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18983/stat : 18983 (java) S 18968 18970 18155 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 22 0 523453651 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18984] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18984/stat : 18984 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453653 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826063793 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18985] ppid=18968 vsize=15757712 CPUtime=0.99 cores=1,3,5,7
/proc/18970/task/18985/stat : 18985 (java) R 18968 18970 18155 0 -1 4202560 18588 0 0 0 97 2 0 0 25 0 22 0 523453653 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 47610140869737 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18970/tid=18986] ppid=18968 vsize=15757712 CPUtime=0.62 cores=1,3,5,7
/proc/18970/task/18986/stat : 18986 (java) S 18968 18970 18155 0 -1 4202560 3065 0 0 0 62 0 0 0 20 0 22 0 523453653 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18987] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18987/stat : 18987 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453653 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18988] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18988/stat : 18988 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523453653 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=19012] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/19012/stat : 19012 (java) S 18968 18970 18155 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 523453702 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=19013] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/19013/stat : 19013 (java) S 18968 18970 18155 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 523453702 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=19014] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/19014/stat : 19014 (java) S 18968 18970 18155 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 22 0 523453702 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=19015] ppid=18968 vsize=15757712 CPUtime=0 cores=1,3,5,7
/proc/18970/task/19015/stat : 19015 (java) S 18968 18970 18155 0 -1 4202560 10 0 0 0 0 0 0 0 16 0 22 0 523453702 16135897088 48852 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 15757712

[startup+3.10989 s]
/proc/loadavg: 3.71 4.09 5.19 6/220 19019
/proc/meminfo: memFree=30484724/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=15754744 CPUtime=8.66 cores=1,3,5,7
/proc/18970/stat : 18970 (java) S 18968 18970 18155 0 -1 4202496 133647 0 1 0 847 19 0 0 23 0 22 0 523453648 16132857856 120821 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18970/statm: 3938686 120858 2274 9 0 3929405 0
[pid=18970/tid=18972] ppid=18968 vsize=15754744 CPUtime=1.56 cores=1,3,5,7
/proc/18970/task/18972/stat : 18972 (java) S 18968 18970 18155 0 -1 4202560 35685 0 1 0 152 4 0 0 25 0 22 0 523453648 16132857856 120878 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18973] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18973/stat : 18973 (java) R 18968 18970 18155 0 -1 4202560 3315 0 0 0 0 0 0 0 15 0 22 0 523453649 16132857856 120901 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 47610139252467 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18970/tid=18974] ppid=18968 vsize=15754744 CPUtime=0.04 cores=1,3,5,7
/proc/18970/task/18974/stat : 18974 (java) R 18968 18970 18155 0 -1 4202560 10000 0 0 0 3 1 0 0 15 0 22 0 523453649 16132857856 120923 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 47610139252467 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18970/tid=18975] ppid=18968 vsize=15754744 CPUtime=0.04 cores=1,3,5,7
/proc/18970/task/18975/stat : 18975 (java) S 18968 18970 18155 0 -1 4202560 7944 0 0 0 3 1 0 0 16 0 22 0 523453649 16132857856 120947 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18976] ppid=18968 vsize=15754744 CPUtime=0.03 cores=1,3,5,7
/proc/18970/task/18976/stat : 18976 (java) R 18968 18970 18155 0 -1 4202560 8875 0 0 0 2 1 0 0 15 0 22 0 523453649 16132857856 120970 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 47610139252393 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18970/tid=18977] ppid=18968 vsize=15754744 CPUtime=0.01 cores=1,3,5,7
/proc/18970/task/18977/stat : 18977 (java) S 18968 18970 18155 0 -1 4202560 3115 0 0 0 1 0 0 0 15 0 22 0 523453649 16132857856 120989 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18978] ppid=18968 vsize=15754744 CPUtime=0.02 cores=1,3,5,7
/proc/18970/task/18978/stat : 18978 (java) R 18968 18970 18155 0 -1 4202560 7224 0 0 0 2 0 0 0 15 0 22 0 523453649 16132857856 121014 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18970/tid=18979] ppid=18968 vsize=15754744 CPUtime=0.05 cores=1,3,5,7
/proc/18970/task/18979/stat : 18979 (java) S 18968 18970 18155 0 -1 4202560 8811 0 0 0 4 1 0 0 16 0 22 0 523453649 16132857856 121038 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=18980] ppid=18968 vsize=15754744 CPUtime=0.01 cores=1,3,5,7
/proc/18970/task/18980/stat : 18980 (java) R 18968 18970 18155 0 -1 4202560 2699 0 0 0 1 0 0 0 15 0 22 0 523453649 16132857856 121059 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 47610139252409 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18970/tid=18981] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18981/stat : 18981 (java) S 18968 18970 18155 0 -1 4202560 254 0 0 0 0 0 0 0 15 0 22 0 523453650 16132857856 121084 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 0 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18982] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18982/stat : 18982 (java) S 18968 18970 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523453651 16132857856 121108 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18983] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18983/stat : 18983 (java) S 18968 18970 18155 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 523453651 16132857856 121130 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18984] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18984/stat : 18984 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453653 16132857856 121154 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826063793 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18985] ppid=18968 vsize=15754744 CPUtime=1.33 cores=1,3,5,7
/proc/18970/task/18985/stat : 18985 (java) S 18968 18970 18155 0 -1 4202560 19822 0 0 0 131 2 0 0 17 0 22 0 523453653 16132857856 121178 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18986] ppid=18968 vsize=15754744 CPUtime=0.84 cores=1,3,5,7
/proc/18970/task/18986/stat : 18986 (java) S 18968 18970 18155 0 -1 4202560 3100 0 0 0 84 0 0 0 15 0 22 0 523453653 16132857856 121199 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18987] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18987/stat : 18987 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453653 16132857856 121218 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18988] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18988/stat : 18988 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 523453653 16132857856 121235 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=19012] ppid=18968 vsize=15754744 CPUtime=1.23 cores=1,3,5,7
/proc/18970/task/19012/stat : 19012 (java) S 18968 18970 18155 0 -1 4202560 4491 0 0 0 123 0 0 0 16 0 22 0 523453702 16132857856 121258 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=19013] ppid=18968 vsize=15754744 CPUtime=1.13 cores=1,3,5,7
/proc/18970/task/19013/stat : 19013 (java) S 18968 18970 18155 0 -1 4202560 5037 0 0 0 113 0 0 0 16 0 22 0 523453702 16132857856 121282 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=19014] ppid=18968 vsize=15754744 CPUtime=1.02 cores=1,3,5,7
/proc/18970/task/19014/stat : 19014 (java) S 18968 18970 18155 0 -1 4202560 5711 0 0 0 102 0 0 0 16 0 22 0 523453702 16132857856 121304 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=19015] ppid=18968 vsize=15754744 CPUtime=1.18 cores=1,3,5,7
/proc/18970/task/19015/stat : 19015 (java) S 18968 18970 18155 0 -1 4202560 6278 0 0 0 118 0 0 0 16 0 22 0 523453702 16132857856 121326 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 8.66
Current children cumulated vsize (KiB) 15754744

[startup+6.30136 s]
/proc/loadavg: 3.97 4.14 5.20 14/220 19019
/proc/meminfo: memFree=29073740/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=15754744 CPUtime=21.41 cores=1,3,5,7
/proc/18970/stat : 18970 (java) S 18968 18970 18155 0 -1 4202496 380233 0 1 0 2083 58 0 0 23 0 22 0 523453648 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18970/statm: 3938686 365143 2274 9 0 3929405 0
[pid=18970/tid=18972] ppid=18968 vsize=15754744 CPUtime=1.56 cores=1,3,5,7
/proc/18970/task/18972/stat : 18972 (java) S 18968 18970 18155 0 -1 4202560 35685 0 1 0 152 4 0 0 25 0 22 0 523453648 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18973] ppid=18968 vsize=15754744 CPUtime=0.09 cores=1,3,5,7
/proc/18970/task/18973/stat : 18973 (java) S 18968 18970 18155 0 -1 4202560 22931 0 0 0 6 3 0 0 16 0 22 0 523453649 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18974] ppid=18968 vsize=15754744 CPUtime=0.1 cores=1,3,5,7
/proc/18970/task/18974/stat : 18974 (java) S 18968 18970 18155 0 -1 4202560 25329 0 0 0 5 5 0 0 16 0 22 0 523453649 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18975] ppid=18968 vsize=15754744 CPUtime=0.07 cores=1,3,5,7
/proc/18970/task/18975/stat : 18975 (java) S 18968 18970 18155 0 -1 4202560 17713 0 0 0 5 2 0 0 15 0 22 0 523453649 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18976] ppid=18968 vsize=15754744 CPUtime=0.07 cores=1,3,5,7
/proc/18970/task/18976/stat : 18976 (java) S 18968 18970 18155 0 -1 4202560 18316 0 0 0 4 3 0 0 15 0 22 0 523453649 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=18977] ppid=18968 vsize=15754744 CPUtime=0.09 cores=1,3,5,7
/proc/18970/task/18977/stat : 18977 (java) S 18968 18970 18155 0 -1 4202560 20978 0 0 0 6 3 0 0 16 0 22 0 523453649 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18978] ppid=18968 vsize=15754744 CPUtime=0.11 cores=1,3,5,7
/proc/18970/task/18978/stat : 18978 (java) S 18968 18970 18155 0 -1 4202560 24162 0 0 0 7 4 0 0 16 0 22 0 523453649 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18979] ppid=18968 vsize=15754744 CPUtime=0.09 cores=1,3,5,7
/proc/18970/task/18979/stat : 18979 (java) S 18968 18970 18155 0 -1 4202560 19016 0 0 0 6 3 0 0 16 0 22 0 523453649 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=18980] ppid=18968 vsize=15754744 CPUtime=0.09 cores=1,3,5,7
/proc/18970/task/18980/stat : 18980 (java) S 18968 18970 18155 0 -1 4202560 19301 0 0 0 7 2 0 0 15 0 22 0 523453649 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18981] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18981/stat : 18981 (java) S 18968 18970 18155 0 -1 4202560 880 0 0 0 0 0 0 0 15 0 22 0 523453650 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 0 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18982] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18982/stat : 18982 (java) S 18968 18970 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523453651 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18983] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18983/stat : 18983 (java) S 18968 18970 18155 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 523453651 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18984] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18984/stat : 18984 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453653 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826063793 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18985] ppid=18968 vsize=15754744 CPUtime=1.38 cores=1,3,5,7
/proc/18970/task/18985/stat : 18985 (java) S 18968 18970 18155 0 -1 4202560 19828 0 0 0 136 2 0 0 15 0 22 0 523453653 16132857856 365143 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0

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

/proc/18970/task/18975/stat : 18975 (java) S 18968 18970 18155 0 -1 4202560 281599 0 0 0 335 48 0 0 15 0 22 0 523453649 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=18976] ppid=18968 vsize=15754744 CPUtime=3.21 cores=1,3,5,7
/proc/18970/task/18976/stat : 18976 (java) S 18968 18970 18155 0 -1 4202560 248166 0 0 0 276 45 0 0 16 0 22 0 523453649 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18977] ppid=18968 vsize=15754744 CPUtime=3.5 cores=1,3,5,7
/proc/18970/task/18977/stat : 18977 (java) S 18968 18970 18155 0 -1 4202560 267376 0 0 0 302 48 0 0 16 0 22 0 523453649 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18978] ppid=18968 vsize=15754744 CPUtime=4.13 cores=1,3,5,7
/proc/18970/task/18978/stat : 18978 (java) S 18968 18970 18155 0 -1 4202560 305985 0 0 0 362 51 0 0 16 0 22 0 523453649 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18979] ppid=18968 vsize=15754744 CPUtime=4.37 cores=1,3,5,7
/proc/18970/task/18979/stat : 18979 (java) S 18968 18970 18155 0 -1 4202560 264605 0 0 0 392 45 0 0 16 0 22 0 523453649 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18980] ppid=18968 vsize=15754744 CPUtime=3.47 cores=1,3,5,7
/proc/18970/task/18980/stat : 18980 (java) S 18968 18970 18155 0 -1 4202560 218756 0 0 0 310 37 0 0 16 0 22 0 523453649 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18981] ppid=18968 vsize=15754744 CPUtime=2.49 cores=1,3,5,7
/proc/18970/task/18981/stat : 18981 (java) S 18968 18970 18155 0 -1 4202560 289288 0 0 0 210 39 0 0 15 0 22 0 523453650 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 0 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18982] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18982/stat : 18982 (java) S 18968 18970 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523453651 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18983] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18983/stat : 18983 (java) S 18968 18970 18155 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 523453651 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18984] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18984/stat : 18984 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453653 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826063793 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18985] ppid=18968 vsize=15754744 CPUtime=1.66 cores=1,3,5,7
/proc/18970/task/18985/stat : 18985 (java) S 18968 18970 18155 0 -1 4202560 19863 0 0 0 164 2 0 0 15 0 22 0 523453653 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18986] ppid=18968 vsize=15754744 CPUtime=1.05 cores=1,3,5,7
/proc/18970/task/18986/stat : 18986 (java) S 18968 18970 18155 0 -1 4202560 3133 0 0 0 105 0 0 0 15 0 22 0 523453653 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18987] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18987/stat : 18987 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453653 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18988] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18988/stat : 18988 (java) S 18968 18970 18155 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 523453653 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=19012] ppid=18968 vsize=15754744 CPUtime=1109.97 cores=1,3,5,7
/proc/18970/task/19012/stat : 19012 (java) R 18968 18970 18155 0 -1 4202560 133217 0 0 0 110981 16 0 0 25 0 22 0 523453702 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912505583088 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18970/tid=19013] ppid=18968 vsize=15754744 CPUtime=1107 cores=1,3,5,7
/proc/18970/task/19013/stat : 19013 (java) R 18968 18970 18155 0 -1 4202560 137780 0 0 0 110683 17 0 0 25 0 22 0 523453702 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912505815117 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18970/tid=19014] ppid=18968 vsize=15754744 CPUtime=1108.62 cores=1,3,5,7
/proc/18970/task/19014/stat : 19014 (java) R 18968 18970 18155 0 -1 4202560 139643 0 0 0 110845 17 0 0 25 0 22 0 523453702 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912505583088 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18970/tid=19015] ppid=18968 vsize=15754744 CPUtime=1109.4 cores=1,3,5,7
/proc/18970/task/19015/stat : 19015 (java) R 18968 18970 18155 0 -1 4202560 131699 0 0 0 110923 17 0 0 25 0 22 0 523453702 16132857856 2195511 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912505815302 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4471.42
Current children cumulated vsize (KiB) 15754744

[startup+1182.3 s]
/proc/loadavg: 5.05 5.14 5.41 6/220 19051
/proc/meminfo: memFree=6322016/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=15754744 CPUtime=4711.07 cores=1,3,5,7
/proc/18970/stat : 18970 (java) S 18968 18970 18155 0 -1 4202496 3010092 0 1 0 470620 487 0 0 23 0 22 0 523453648 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18970/statm: 3938686 2271683 2292 9 0 3929405 0
[pid=18970/tid=18972] ppid=18968 vsize=15754744 CPUtime=1.56 cores=1,3,5,7
/proc/18970/task/18972/stat : 18972 (java) S 18968 18970 18155 0 -1 4202560 35685 0 1 0 152 4 0 0 25 0 22 0 523453648 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18973] ppid=18968 vsize=15754744 CPUtime=4.21 cores=1,3,5,7
/proc/18970/task/18973/stat : 18973 (java) S 18968 18970 18155 0 -1 4202560 253668 0 0 0 378 43 0 0 15 0 22 0 523453649 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18974] ppid=18968 vsize=15754744 CPUtime=3.73 cores=1,3,5,7
/proc/18970/task/18974/stat : 18974 (java) S 18968 18970 18155 0 -1 4202560 241110 0 0 0 330 43 0 0 16 0 22 0 523453649 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=18975] ppid=18968 vsize=15754744 CPUtime=3.9 cores=1,3,5,7
/proc/18970/task/18975/stat : 18975 (java) S 18968 18970 18155 0 -1 4202560 282009 0 0 0 342 48 0 0 15 0 22 0 523453649 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18976] ppid=18968 vsize=15754744 CPUtime=3.46 cores=1,3,5,7
/proc/18970/task/18976/stat : 18976 (java) S 18968 18970 18155 0 -1 4202560 252767 0 0 0 300 46 0 0 16 0 22 0 523453649 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18977] ppid=18968 vsize=15754744 CPUtime=3.87 cores=1,3,5,7
/proc/18970/task/18977/stat : 18977 (java) S 18968 18970 18155 0 -1 4202560 281375 0 0 0 337 50 0 0 16 0 22 0 523453649 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18978] ppid=18968 vsize=15754744 CPUtime=4.32 cores=1,3,5,7
/proc/18970/task/18978/stat : 18978 (java) S 18968 18970 18155 0 -1 4202560 310375 0 0 0 381 51 0 0 15 0 22 0 523453649 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18979] ppid=18968 vsize=15754744 CPUtime=4.73 cores=1,3,5,7
/proc/18970/task/18979/stat : 18979 (java) S 18968 18970 18155 0 -1 4202560 277968 0 0 0 426 47 0 0 15 0 22 0 523453649 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18980] ppid=18968 vsize=15754744 CPUtime=3.81 cores=1,3,5,7
/proc/18970/task/18980/stat : 18980 (java) S 18968 18970 18155 0 -1 4202560 218779 0 0 0 344 37 0 0 16 0 22 0 523453649 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18981] ppid=18968 vsize=15754744 CPUtime=2.49 cores=1,3,5,7
/proc/18970/task/18981/stat : 18981 (java) S 18968 18970 18155 0 -1 4202560 289557 0 0 0 210 39 0 0 15 0 22 0 523453650 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 0 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18982] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18982/stat : 18982 (java) S 18968 18970 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523453651 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18983] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18983/stat : 18983 (java) S 18968 18970 18155 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 523453651 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18984] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18984/stat : 18984 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453653 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826063793 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18985] ppid=18968 vsize=15754744 CPUtime=1.66 cores=1,3,5,7
/proc/18970/task/18985/stat : 18985 (java) S 18968 18970 18155 0 -1 4202560 19863 0 0 0 164 2 0 0 15 0 22 0 523453653 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18986] ppid=18968 vsize=15754744 CPUtime=1.05 cores=1,3,5,7
/proc/18970/task/18986/stat : 18986 (java) S 18968 18970 18155 0 -1 4202560 3133 0 0 0 105 0 0 0 15 0 22 0 523453653 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18987] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18987/stat : 18987 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453653 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18988] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18988/stat : 18988 (java) S 18968 18970 18155 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 523453653 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=19012] ppid=18968 vsize=15754744 CPUtime=1169.33 cores=1,3,5,7
/proc/18970/task/19012/stat : 19012 (java) R 18968 18970 18155 0 -1 4202560 133219 0 0 0 116917 16 0 0 25 0 22 0 523453702 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912505814518 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18970/tid=19013] ppid=18968 vsize=15754744 CPUtime=1166.04 cores=1,3,5,7
/proc/18970/task/19013/stat : 19013 (java) R 18968 18970 18155 0 -1 4202560 137782 0 0 0 116587 17 0 0 25 0 22 0 523453702 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912505814504 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18970/tid=19014] ppid=18968 vsize=15754744 CPUtime=1167.99 cores=1,3,5,7
/proc/18970/task/19014/stat : 19014 (java) R 18968 18970 18155 0 -1 4202560 139645 0 0 0 116782 17 0 0 25 0 22 0 523453702 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912505947306 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18970/tid=19015] ppid=18968 vsize=15754744 CPUtime=1168.77 cores=1,3,5,7
/proc/18970/task/19015/stat : 19015 (java) R 18968 18970 18155 0 -1 4202560 131700 0 0 0 116860 17 0 0 25 0 22 0 523453702 16132857856 2271683 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912505746572 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4711.07
Current children cumulated vsize (KiB) 15754744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.61 s]
/proc/loadavg: 5.03 5.13 5.40 6/220 19051
/proc/meminfo: memFree=6054388/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=15754744 CPUtime=4800.19 cores=1,3,5,7
/proc/18970/stat : 18970 (java) S 18968 18970 18155 0 -1 4202496 3076976 0 1 0 479521 498 0 0 23 0 22 0 523453648 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18970/statm: 3938686 2338386 2292 9 0 3929405 0
[pid=18970/tid=18972] ppid=18968 vsize=15754744 CPUtime=1.56 cores=1,3,5,7
/proc/18970/task/18972/stat : 18972 (java) S 18968 18970 18155 0 -1 4202560 35685 0 1 0 152 4 0 0 25 0 22 0 523453648 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18973] ppid=18968 vsize=15754744 CPUtime=4.48 cores=1,3,5,7
/proc/18970/task/18973/stat : 18973 (java) S 18968 18970 18155 0 -1 4202560 272225 0 0 0 402 46 0 0 16 0 22 0 523453649 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18974] ppid=18968 vsize=15754744 CPUtime=3.8 cores=1,3,5,7
/proc/18970/task/18974/stat : 18974 (java) S 18968 18970 18155 0 -1 4202560 241110 0 0 0 337 43 0 0 15 0 22 0 523453649 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=18975] ppid=18968 vsize=15754744 CPUtime=4.06 cores=1,3,5,7
/proc/18970/task/18975/stat : 18975 (java) S 18968 18970 18155 0 -1 4202560 296110 0 0 0 355 51 0 0 16 0 22 0 523453649 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=18976] ppid=18968 vsize=15754744 CPUtime=3.59 cores=1,3,5,7
/proc/18970/task/18976/stat : 18976 (java) S 18968 18970 18155 0 -1 4202560 264966 0 0 0 310 49 0 0 16 0 22 0 523453649 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18977] ppid=18968 vsize=15754744 CPUtime=4.08 cores=1,3,5,7
/proc/18970/task/18977/stat : 18977 (java) S 18968 18970 18155 0 -1 4202560 294742 0 0 0 356 52 0 0 16 0 22 0 523453649 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18978] ppid=18968 vsize=15754744 CPUtime=4.32 cores=1,3,5,7
/proc/18970/task/18978/stat : 18978 (java) S 18968 18970 18155 0 -1 4202560 310486 0 0 0 381 51 0 0 15 0 22 0 523453649 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18979] ppid=18968 vsize=15754744 CPUtime=4.85 cores=1,3,5,7
/proc/18970/task/18979/stat : 18979 (java) S 18968 18970 18155 0 -1 4202560 284630 0 0 0 437 48 0 0 16 0 22 0 523453649 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 1 0 0 0
[pid=18970/tid=18980] ppid=18968 vsize=15754744 CPUtime=3.92 cores=1,3,5,7
/proc/18970/task/18980/stat : 18980 (java) S 18968 18970 18155 0 -1 4202560 220589 0 0 0 355 37 0 0 16 0 22 0 523453649 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 5 0 0 0
[pid=18970/tid=18981] ppid=18968 vsize=15754744 CPUtime=2.49 cores=1,3,5,7
/proc/18970/task/18981/stat : 18981 (java) S 18968 18970 18155 0 -1 4202560 289629 0 0 0 210 39 0 0 15 0 22 0 523453650 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 0 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18982] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18982/stat : 18982 (java) S 18968 18970 18155 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 523453651 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18983] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18983/stat : 18983 (java) S 18968 18970 18155 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 523453651 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 7 0 0 0
[pid=18970/tid=18984] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18984/stat : 18984 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453653 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826063793 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18985] ppid=18968 vsize=15754744 CPUtime=1.66 cores=1,3,5,7
/proc/18970/task/18985/stat : 18985 (java) S 18968 18970 18155 0 -1 4202560 19863 0 0 0 164 2 0 0 15 0 22 0 523453653 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18986] ppid=18968 vsize=15754744 CPUtime=1.05 cores=1,3,5,7
/proc/18970/task/18986/stat : 18986 (java) S 18968 18970 18155 0 -1 4202560 3133 0 0 0 105 0 0 0 15 0 22 0 523453653 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18987] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18987/stat : 18987 (java) S 18968 18970 18155 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 523453653 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056089 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=18988] ppid=18968 vsize=15754744 CPUtime=0 cores=1,3,5,7
/proc/18970/task/18988/stat : 18988 (java) S 18968 18970 18155 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 523453653 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 251826056704 0 4 0 16800975 18446604457010996544 0 0 -1 3 0 0 0
[pid=18970/tid=19012] ppid=18968 vsize=15754744 CPUtime=1191.37 cores=1,3,5,7
/proc/18970/task/19012/stat : 19012 (java) R 18968 18970 18155 0 -1 4202560 133219 0 0 0 119121 16 0 0 25 0 22 0 523453702 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912505583052 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18970/tid=19013] ppid=18968 vsize=15754744 CPUtime=1187.95 cores=1,3,5,7
/proc/18970/task/19013/stat : 19013 (java) R 18968 18970 18155 0 -1 4202560 137783 0 0 0 118778 17 0 0 25 0 22 0 523453702 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912506295965 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18970/tid=19014] ppid=18968 vsize=15754744 CPUtime=1190.03 cores=1,3,5,7
/proc/18970/task/19014/stat : 19014 (java) R 18968 18970 18155 0 -1 4202560 139645 0 0 0 118986 17 0 0 25 0 22 0 523453702 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 46912505936233 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18970/tid=19015] ppid=18968 vsize=15754744 CPUtime=1190.81 cores=1,3,5,7
/proc/18970/task/19015/stat : 19015 (java) R 18968 18970 18155 0 -1 4202560 131702 0 0 0 119064 17 0 0 25 0 22 0 523453702 16132857856 2338386 33554432000 1073741824 1073778376 140736498511792 18446744073709551615 18446744073699065863 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 15754744

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

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

[startup+1204.71 s]
/proc/loadavg: 5.03 5.13 5.40 6/220 19051
/proc/meminfo: memFree=6054388/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=0 CPUtime=4800.31 cores=1,3,5,7
/proc/18970/stat : 18970 (java) Z 18968 18970 18155 0 -1 4203548 3077004 0 1 0 479524 507 0 0 17 0 2 0 523453648 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18970/statm: 0 0 0 0 0 0 0
[pid=18970/tid=19012] ppid=18968 vsize=0 CPUtime=1191.47 cores=1,3,5,7
/proc/18970/task/19012/stat : 19012 (java) R 18968 18970 18155 0 -1 4203588 133219 0 0 0 119122 25 0 0 25 0 2 0 523453702 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 0

[startup+1204.9 s]
/proc/loadavg: 5.03 5.13 5.40 6/220 19051
/proc/meminfo: memFree=6054388/32950928 swapFree=67111448/67111528
[pid=18970] ppid=18968 vsize=0 CPUtime=4800.5 cores=1,3,5,7
/proc/18970/stat : 18970 (java) Z 18968 18970 18155 0 -1 4203548 3077004 0 1 0 479524 526 0 0 17 0 2 0 523453648 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/18970/statm: 0 0 0 0 0 0 0
[pid=18970/tid=19012] ppid=18968 vsize=0 CPUtime=1191.66 cores=1,3,5,7
/proc/18970/task/19012/stat : 19012 (java) R 18968 18970 18155 0 -1 4203588 133219 0 0 0 119122 44 0 0 25 0 2 0 523453702 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.5
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1204.96
CPU time (s): 4800.56
CPU user time (s): 4795.24
CPU system time (s): 5.32219
CPU usage (%): 398.402
Max. virtual memory (cumulated for all children) (KiB): 15757720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.24
system time used= 5.32219
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3077004
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= 30024
involuntary context switches= 58195

runsolver used 1.93871 second user time and 4.68829 second system time

The end

Launcher Data 

Begin job on node126 at 2011-04-30 01:09:10
IDJOB=3311295
IDBENCH=82680
IDSOLVER=1698
FILE ID=node126/3311295-1304118549
RUNJOBID= node126-1304118549-18957
PBS_JOBID= 13170683
Free space on /tmp= 71596 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3311295-1304118549/watcher-3311295-1304118549 -o /tmp/evaluation-result-3311295-1304118549/solver-3311295-1304118549 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3311295-1304118549.cnf -hbr 2

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

MD5SUM BENCH= 745003317611baf9e79e91bc0ab8e275
RANDOM SEED=888193600

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30894392 kB
Buffers:        263740 kB
Cached:        1414436 kB
SwapCached:         76 kB
Active:         136012 kB
Inactive:      1610504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30894392 kB
SwapTotal:    67111528 kB
SwapFree:     67111448 kB
Dirty:            4388 kB
Writeback:           0 kB
AnonPages:       67952 kB
Mapped:          14496 kB
Slab:           247032 kB
PageTables:       4308 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189384 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= 71592 MiB
End job on node126 at 2011-04-30 01:29:16