Trace number 3312224

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) 4569.34 1300.34

General information on the benchmark

Nameapplication/jarvisalo/smtqfbv-aigs/
smtlib-qfbv-aigs-nlzbe256-tseitin.cnf
MD5SUM659dfff429810fdcd170c968aac23069
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark9.45456
Satisfiable
(Un)Satisfiability was proved
Number of variables361856
Number of clauses1084031
Sum of the clauses size2529403
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2722686
Number of clauses of size 3361343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.11/0.11	29:05 INFO : Reading from input HOME/instance-3312224-1304108944.cnf
4.25/3.95	Executor set job limit to 1000000
4.25/3.95	Executor set job limit to 1000000
4.25/3.95	Executor set job limit to 1000000
4.25/3.95	Executor set job limit to 1000000
4.25/3.95	Starting Executor!
4.25/3.95	Starting Executor!
4.25/3.95	Starting Executor!
4.25/3.95	Starting Executor!
124.97/121.86	31:07 INFO : 358201 variables remaining out of 361856
124.97/121.86	31:07 INFO : 30417703 literals remaining out of 3613434
559.54/294.66	log4j:WARN No appenders could be found for logger (ibis.constellation.impl.SingleThreadedConstellation.CID: 0:1).
559.54/294.66	log4j:WARN Please initialize the log4j system properly.
559.54/294.66	log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.

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

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: 6.31 7.71 7.92 4/194 16768
/proc/meminfo: memFree=23039124/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/16768/stat : 16768 (java) S 16766 16768 16386 0 -1 4202496 1475 0 0 0 0 0 0 0 21 0 2 0 522494930 31260672 937 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 7632 946 728 9 0 383 0
[pid=16768/tid=16769] ppid=16766 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16769/stat : 16769 (java) R 16766 16768 16386 0 -1 4202560 133 0 0 0 0 0 0 0 22 0 2 0 522494931 31260672 953 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244446945024 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.0281599 s]
/proc/loadavg: 6.31 7.71 7.92 4/194 16768
/proc/meminfo: memFree=23039124/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=15604248 CPUtime=0.01 cores=0,2,4,6
/proc/16768/stat : 16768 (java) S 16766 16768 16386 0 -1 4202496 3564 0 1 0 1 0 0 0 21 0 13 0 522494930 15978749952 3003 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 3901062 3005 1667 9 0 3891810 0
[pid=16768/tid=16769] ppid=16766 vsize=15604248 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16769/stat : 16769 (java) R 16766 16768 16386 0 -1 4202560 2176 0 1 0 1 0 0 0 25 0 13 0 522494931 15978749952 3006 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 47393648207384 0 4 0 16784584 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15604248

[startup+0.106197 s]
/proc/loadavg: 6.31 7.71 7.92 4/194 16768
/proc/meminfo: memFree=23039124/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=15676656 CPUtime=0.11 cores=0,2,4,6
/proc/16768/stat : 16768 (java) S 16766 16768 16386 0 -1 4202496 5706 0 1 0 10 1 0 0 21 0 18 0 522494930 16052895744 5122 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 3919164 5122 2120 9 0 3909883 0
[pid=16768/tid=16769] ppid=16766 vsize=15676656 CPUtime=0.09 cores=0,2,4,6
/proc/16768/task/16769/stat : 16769 (java) R 16766 16768 16386 0 -1 4202560 3556 0 1 0 9 0 0 0 18 0 18 0 522494931 16052895744 5123 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676656

[startup+0.30118 s]
/proc/loadavg: 6.31 7.71 7.92 4/194 16768
/proc/meminfo: memFree=23039124/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=15679984 CPUtime=0.51 cores=0,2,4,6
/proc/16768/stat : 16768 (java) S 16766 16768 16386 0 -1 4202496 14443 0 1 0 49 2 0 0 21 0 18 0 522494930 16056303616 12868 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 3919996 12875 2207 9 0 3910715 0
[pid=16768/tid=16769] ppid=16766 vsize=15679984 CPUtime=0.28 cores=0,2,4,6
/proc/16768/task/16769/stat : 16769 (java) R 16766 16768 16386 0 -1 4202560 9293 0 1 0 27 1 0 0 18 0 18 0 522494931 16056303616 12878 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912505635505 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15679984

[startup+0.701085 s]
/proc/loadavg: 6.31 7.71 7.92 4/194 16768
/proc/meminfo: memFree=23039124/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=15679984 CPUtime=0.92 cores=0,2,4,6
/proc/16768/stat : 16768 (java) S 16766 16768 16386 0 -1 4202496 42476 0 1 0 86 6 0 0 21 0 18 0 522494930 16056303616 40898 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 3919996 40898 2223 9 0 3910715 0
[pid=16768/tid=16769] ppid=16766 vsize=15679984 CPUtime=0.68 cores=0,2,4,6
/proc/16768/task/16769/stat : 16769 (java) R 16766 16768 16386 0 -1 4202560 35492 0 1 0 63 5 0 0 18 0 18 0 522494931 16056303616 40898 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912505587936 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15679984

[startup+1.50092 s]
/proc/loadavg: 6.31 7.71 7.92 10/212 16786
/proc/meminfo: memFree=22737848/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=15679984 CPUtime=1.77 cores=0,2,4,6
/proc/16768/stat : 16768 (java) S 16766 16768 16386 0 -1 4202496 45869 0 1 0 170 7 0 0 21 0 18 0 522494930 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 3919996 44273 2223 9 0 3910715 0
[pid=16768/tid=16769] ppid=16766 vsize=15679984 CPUtime=1.46 cores=0,2,4,6
/proc/16768/task/16769/stat : 16769 (java) R 16766 16768 16386 0 -1 4202560 35498 0 1 0 141 5 0 0 19 0 18 0 522494931 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458771915 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16768/tid=16771] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 16386 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 18 0 522494931 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16772] ppid=16766 vsize=15679984 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 16386 0 -1 4202560 1393 0 0 0 1 0 0 0 15 0 18 0 522494931 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16773] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 16386 0 -1 4202560 1344 0 0 0 0 0 0 0 16 0 18 0 522494931 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16774] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 16386 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 18 0 522494931 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16775] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522494931 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16776] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 16386 0 -1 4202560 636 0 0 0 0 0 0 0 15 0 18 0 522494931 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16777] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16777/stat : 16777 (java) S 16766 16768 16386 0 -1 4202560 1638 0 0 0 0 0 0 0 16 0 18 0 522494931 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16778] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16778/stat : 16778 (java) S 16766 16768 16386 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 18 0 522494931 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16779] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16779/stat : 16779 (java) S 16766 16768 16386 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 18 0 522494932 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 0 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16780] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16780/stat : 16780 (java) S 16766 16768 16386 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522494932 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16781] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16781/stat : 16781 (java) S 16766 16768 16386 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522494932 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16782] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16782/stat : 16782 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522494935 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458768817 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16783] ppid=16766 vsize=15679984 CPUtime=0.12 cores=0,2,4,6
/proc/16768/task/16783/stat : 16783 (java) S 16766 16768 16386 0 -1 4202560 2433 0 0 0 12 0 0 0 15 0 18 0 522494935 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16784] ppid=16766 vsize=15679984 CPUtime=0.09 cores=0,2,4,6
/proc/16768/task/16784/stat : 16784 (java) S 16766 16768 16386 0 -1 4202560 1333 0 0 0 9 0 0 0 17 0 18 0 522494935 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16785] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16785/stat : 16785 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522494935 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16786] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16786/stat : 16786 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522494935 16056303616 44273 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.77
Current children cumulated vsize (KiB) 15679984

[startup+3.10067 s]
/proc/loadavg: 6.31 7.71 7.92 3/212 16786
/proc/meminfo: memFree=22465060/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=15679984 CPUtime=3.43 cores=0,2,4,6
/proc/16768/stat : 16768 (java) S 16766 16768 16386 0 -1 4202496 140238 0 1 0 324 19 0 0 21 0 18 0 522494930 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 3919996 138638 2241 9 0 3910715 0
[pid=16768/tid=16769] ppid=16766 vsize=15679984 CPUtime=3.05 cores=0,2,4,6
/proc/16768/task/16769/stat : 16769 (java) R 16766 16768 16386 0 -1 4202560 126550 0 1 0 288 17 0 0 23 0 18 0 522494931 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912505544737 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16768/tid=16771] ppid=16766 vsize=15679984 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 16386 0 -1 4202560 421 0 0 0 1 0 0 0 15 0 18 0 522494931 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16772] ppid=16766 vsize=15679984 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 16386 0 -1 4202560 1393 0 0 0 1 0 0 0 15 0 18 0 522494931 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16773] ppid=16766 vsize=15679984 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 16386 0 -1 4202560 1381 0 0 0 1 0 0 0 15 0 18 0 522494931 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16774] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 16386 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 18 0 522494931 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16775] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522494931 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16776] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 16386 0 -1 4202560 3228 0 0 0 0 0 0 0 15 0 18 0 522494931 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16777] ppid=16766 vsize=15679984 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16777/stat : 16777 (java) S 16766 16768 16386 0 -1 4202560 1639 0 0 0 1 0 0 0 15 0 18 0 522494931 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16778] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16778/stat : 16778 (java) S 16766 16768 16386 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 18 0 522494931 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16779] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16779/stat : 16779 (java) S 16766 16768 16386 0 -1 4202560 348 0 0 0 0 0 0 0 15 0 18 0 522494932 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 0 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16780] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16780/stat : 16780 (java) S 16766 16768 16386 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 18 0 522494932 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16781] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16781/stat : 16781 (java) S 16766 16768 16386 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 18 0 522494932 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16782] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16782/stat : 16782 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522494935 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458768817 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16783] ppid=16766 vsize=15679984 CPUtime=0.15 cores=0,2,4,6
/proc/16768/task/16783/stat : 16783 (java) S 16766 16768 16386 0 -1 4202560 2456 0 0 0 15 0 0 0 15 0 18 0 522494935 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16784] ppid=16766 vsize=15679984 CPUtime=0.11 cores=0,2,4,6
/proc/16768/task/16784/stat : 16784 (java) S 16766 16768 16386 0 -1 4202560 1364 0 0 0 11 0 0 0 16 0 18 0 522494935 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16785] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16785/stat : 16785 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 522494935 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16786] ppid=16766 vsize=15679984 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16786/stat : 16786 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 522494935 16056303616 138638 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 15679984

[startup+6.30104 s]
/proc/loadavg: 5.96 7.62 7.89 3/220 16794
/proc/meminfo: memFree=21761552/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=15709904 CPUtime=7.69 cores=0,2,4,6
/proc/16768/stat : 16768 (java) S 16766 16768 16386 0 -1 4202496 196491 0 1 0 743 26 0 0 21 0 22 0 522494930 16086941696 187593 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 3927476 187598 2265 9 0 3918195 0
[pid=16768/tid=16769] ppid=16766 vsize=15709904 CPUtime=6.24 cores=0,2,4,6
/proc/16768/task/16769/stat : 16769 (java) R 16766 16768 16386 0 -1 4202560 164114 0 1 0 602 22 0 0 25 0 22 0 522494931 16086941696 187601 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912505771066 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16768/tid=16771] ppid=16766 vsize=15709904 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 16386 0 -1 4202560 5542 0 0 0 1 0 0 0 16 0 22 0 522494931 16086941696 187605 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16772] ppid=16766 vsize=15709904 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 16386 0 -1 4202560 1393 0 0 0 1 0 0 0 16 0 22 0 522494931 16086941696 187609 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16773] ppid=16766 vsize=15709904 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 16386 0 -1 4202560 1381 0 0 0 1 0 0 0 16 0 22 0 522494931 16086941696 187612 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16774] ppid=16766 vsize=15709904 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 16386 0 -1 4202560 21 0 0 0 1 0 0 0 16 0 22 0 522494931 16086941696 187614 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16775] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 522494931 16086941696 187617 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16776] ppid=16766 vsize=15709904 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 16386 0 -1 4202560 3228 0 0 0 1 0 0 0 16 0 22 0 522494931 16086941696 187619 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16777] ppid=16766 vsize=15709904 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16777/stat : 16777 (java) S 16766 16768 16386 0 -1 4202560 1639 0 0 0 1 0 0 0 16 0 22 0 522494931 16086941696 187621 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16778] ppid=16766 vsize=15709904 CPUtime=0.01 cores=0,2,4,6
/proc/16768/task/16778/stat : 16778 (java) S 16766 16768 16386 0 -1 4202560 51 0 0 0 1 0 0 0 16 0 22 0 522494931 16086941696 187623 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16779] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16779/stat : 16779 (java) S 16766 16768 16386 0 -1 4202560 349 0 0 0 0 0 0 0 15 0 22 0 522494932 16086941696 187625 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 0 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16780] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16780/stat : 16780 (java) S 16766 16768 16386 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 522494932 16086941696 187628 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16781] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16781/stat : 16781 (java) S 16766 16768 16386 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 522494932 16086941696 187630 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16782] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16782/stat : 16782 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522494935 16086941696 187633 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458768817 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16783] ppid=16766 vsize=15709904 CPUtime=0.23 cores=0,2,4,6
/proc/16768/task/16783/stat : 16783 (java) S 16766 16768 16386 0 -1 4202560 2530 0 0 0 23 0 0 0 15 0 22 0 522494935 16086941696 187637 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16784] ppid=16766 vsize=15709904 CPUtime=1.07 cores=0,2,4,6
/proc/16768/task/16784/stat : 16784 (java) S 16766 16768 16386 0 -1 4202560 14822 0 0 0 105 2 0 0 15 0 22 0 522494935 16086941696 187642 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16785] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16785/stat : 16785 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522494935 16086941696 187646 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16786] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16786/stat : 16786 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522494935 16086941696 187651 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0

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

/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 16386 0 -1 4202560 236514 0 0 0 349 40 0 0 16 0 22 0 522494931 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16773] ppid=16766 vsize=15709904 CPUtime=4.05 cores=0,2,4,6
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 16386 0 -1 4202560 177431 0 0 0 378 27 0 0 16 0 22 0 522494931 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16774] ppid=16766 vsize=15709904 CPUtime=4.73 cores=0,2,4,6
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 16386 0 -1 4202560 166504 0 0 0 447 26 0 0 15 0 22 0 522494931 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16775] ppid=16766 vsize=15709904 CPUtime=4.22 cores=0,2,4,6
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 16386 0 -1 4202560 239541 0 0 0 385 37 0 0 16 0 22 0 522494931 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16776] ppid=16766 vsize=15709904 CPUtime=4.4 cores=0,2,4,6
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 16386 0 -1 4202560 191615 0 0 0 411 29 0 0 16 0 22 0 522494931 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16777] ppid=16766 vsize=15709904 CPUtime=3.69 cores=0,2,4,6
/proc/16768/task/16777/stat : 16777 (java) S 16766 16768 16386 0 -1 4202560 137273 0 0 0 347 22 0 0 16 0 22 0 522494931 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16778] ppid=16766 vsize=15709904 CPUtime=4.18 cores=0,2,4,6
/proc/16768/task/16778/stat : 16778 (java) S 16766 16768 16386 0 -1 4202560 187290 0 0 0 387 31 0 0 15 0 22 0 522494931 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16779] ppid=16766 vsize=15709904 CPUtime=4.8 cores=0,2,4,6
/proc/16768/task/16779/stat : 16779 (java) S 16766 16768 16386 0 -1 4202560 64611 0 0 0 273 207 0 0 15 0 22 0 522494932 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 0 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16780] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16780/stat : 16780 (java) S 16766 16768 16386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522494932 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16781] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16781/stat : 16781 (java) S 16766 16768 16386 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522494932 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16782] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16782/stat : 16782 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522494935 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458768817 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16783] ppid=16766 vsize=15709904 CPUtime=1.24 cores=0,2,4,6
/proc/16768/task/16783/stat : 16783 (java) S 16766 16768 16386 0 -1 4202560 8058 0 0 0 124 0 0 0 15 0 22 0 522494935 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16784] ppid=16766 vsize=15709904 CPUtime=2.36 cores=0,2,4,6
/proc/16768/task/16784/stat : 16784 (java) S 16766 16768 16386 0 -1 4202560 14967 0 0 0 234 2 0 0 15 0 22 0 522494935 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16785] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16785/stat : 16785 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522494935 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16786] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16786/stat : 16786 (java) S 16766 16768 16386 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 22 0 522494935 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16791] ppid=16766 vsize=15709904 CPUtime=979.08 cores=0,2,4,6
/proc/16768/task/16791/stat : 16791 (java) R 16766 16768 16386 0 -1 4202560 11229 0 0 0 97857 51 0 0 25 0 22 0 522495325 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912506140461 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16768/tid=16792] ppid=16766 vsize=15709904 CPUtime=946.67 cores=0,2,4,6
/proc/16768/task/16792/stat : 16792 (java) R 16766 16768 16386 0 -1 4202560 10932 0 0 0 94616 51 0 0 25 0 22 0 522495325 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912506140785 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16768/tid=16793] ppid=16766 vsize=15709904 CPUtime=1030.87 cores=0,2,4,6
/proc/16768/task/16793/stat : 16793 (java) R 16766 16768 16386 0 -1 4202560 16565 0 0 0 103038 49 0 0 25 0 22 0 522495325 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912506167609 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16768/tid=16794] ppid=16766 vsize=15709904 CPUtime=979.83 cores=0,2,4,6
/proc/16768/task/16794/stat : 16794 (java) R 16766 16768 16386 0 -1 4202560 15256 0 0 0 97940 43 0 0 22 0 22 0 522495325 16086941696 1851511 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912506420136 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4099.02
Current children cumulated vsize (KiB) 15709904

[startup+1242.3 s]
/proc/loadavg: 8.05 8.04 7.79 9/220 16827
/proc/meminfo: memFree=2911744/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=15709904 CPUtime=4338.53 cores=0,2,4,6
/proc/16768/stat : 16768 (java) S 16766 16768 16386 0 -1 4202496 1875247 0 1 0 433161 692 0 0 21 0 22 0 522494930 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 3927476 1851592 2301 9 0 3918195 0
[pid=16768/tid=16769] ppid=16766 vsize=15709904 CPUtime=120.8 cores=0,2,4,6
/proc/16768/task/16769/stat : 16769 (java) S 16766 16768 16386 0 -1 4202560 203689 0 1 0 12054 26 0 0 25 0 22 0 522494931 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16771] ppid=16766 vsize=15709904 CPUtime=4.19 cores=0,2,4,6
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 16386 0 -1 4202560 192197 0 0 0 389 30 0 0 16 0 22 0 522494931 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16772] ppid=16766 vsize=15709904 CPUtime=3.97 cores=0,2,4,6
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 16386 0 -1 4202560 236516 0 0 0 357 40 0 0 16 0 22 0 522494931 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16773] ppid=16766 vsize=15709904 CPUtime=4.15 cores=0,2,4,6
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 16386 0 -1 4202560 177458 0 0 0 388 27 0 0 15 0 22 0 522494931 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16774] ppid=16766 vsize=15709904 CPUtime=4.85 cores=0,2,4,6
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 16386 0 -1 4202560 166516 0 0 0 459 26 0 0 16 0 22 0 522494931 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16775] ppid=16766 vsize=15709904 CPUtime=4.29 cores=0,2,4,6
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 16386 0 -1 4202560 239557 0 0 0 392 37 0 0 16 0 22 0 522494931 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16776] ppid=16766 vsize=15709904 CPUtime=4.53 cores=0,2,4,6
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 16386 0 -1 4202560 191617 0 0 0 424 29 0 0 16 0 22 0 522494931 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16777] ppid=16766 vsize=15709904 CPUtime=3.8 cores=0,2,4,6
/proc/16768/task/16777/stat : 16777 (java) S 16766 16768 16386 0 -1 4202560 137274 0 0 0 358 22 0 0 16 0 22 0 522494931 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16778] ppid=16766 vsize=15709904 CPUtime=4.29 cores=0,2,4,6
/proc/16768/task/16778/stat : 16778 (java) S 16766 16768 16386 0 -1 4202560 187319 0 0 0 398 31 0 0 16 0 22 0 522494931 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16779] ppid=16766 vsize=15709904 CPUtime=4.81 cores=0,2,4,6
/proc/16768/task/16779/stat : 16779 (java) S 16766 16768 16386 0 -1 4202560 64612 0 0 0 274 207 0 0 15 0 22 0 522494932 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 0 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16780] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16780/stat : 16780 (java) S 16766 16768 16386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522494932 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16781] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16781/stat : 16781 (java) S 16766 16768 16386 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522494932 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16782] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16782/stat : 16782 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522494935 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458768817 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16783] ppid=16766 vsize=15709904 CPUtime=1.24 cores=0,2,4,6
/proc/16768/task/16783/stat : 16783 (java) S 16766 16768 16386 0 -1 4202560 8058 0 0 0 124 0 0 0 15 0 22 0 522494935 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16784] ppid=16766 vsize=15709904 CPUtime=2.36 cores=0,2,4,6
/proc/16768/task/16784/stat : 16784 (java) S 16766 16768 16386 0 -1 4202560 14967 0 0 0 234 2 0 0 15 0 22 0 522494935 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16785] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16785/stat : 16785 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522494935 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16786] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16786/stat : 16786 (java) S 16766 16768 16386 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 22 0 522494935 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16791] ppid=16766 vsize=15709904 CPUtime=1038.82 cores=0,2,4,6
/proc/16768/task/16791/stat : 16791 (java) R 16766 16768 16386 0 -1 4202560 11232 0 0 0 103827 55 0 0 25 0 22 0 522495325 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912506380962 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=16768/tid=16792] ppid=16766 vsize=15709904 CPUtime=1006.13 cores=0,2,4,6
/proc/16768/task/16792/stat : 16792 (java) R 16766 16768 16386 0 -1 4202560 10936 0 0 0 100559 54 0 0 25 0 22 0 522495325 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912505897447 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16768/tid=16793] ppid=16766 vsize=15709904 CPUtime=1090.62 cores=0,2,4,6
/proc/16768/task/16793/stat : 16793 (java) R 16766 16768 16386 0 -1 4202560 16569 0 0 0 109010 52 0 0 25 0 22 0 522495325 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912506055550 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16768/tid=16794] ppid=16766 vsize=15709904 CPUtime=1039.53 cores=0,2,4,6
/proc/16768/task/16794/stat : 16794 (java) R 16766 16768 16386 0 -1 4202560 15268 0 0 0 103907 46 0 0 23 0 22 0 522495325 16086941696 1851592 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 47393649323033 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4338.53
Current children cumulated vsize (KiB) 15709904



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 8.17 8.06 7.82 9/220 16879
/proc/meminfo: memFree=11174568/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=15709904 CPUtime=4568.88 cores=0,2,4,6
/proc/16768/stat : 16768 (java) S 16766 16768 16386 0 -1 4202496 1875328 0 1 0 456182 706 0 0 21 0 22 0 522494930 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 3927476 1851648 2301 9 0 3918195 0
[pid=16768/tid=16769] ppid=16766 vsize=15709904 CPUtime=120.8 cores=0,2,4,6
/proc/16768/task/16769/stat : 16769 (java) S 16766 16768 16386 0 -1 4202560 203689 0 1 0 12054 26 0 0 25 0 22 0 522494931 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16771] ppid=16766 vsize=15709904 CPUtime=4.31 cores=0,2,4,6
/proc/16768/task/16771/stat : 16771 (java) S 16766 16768 16386 0 -1 4202560 192198 0 0 0 401 30 0 0 16 0 22 0 522494931 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16772] ppid=16766 vsize=15709904 CPUtime=4.06 cores=0,2,4,6
/proc/16768/task/16772/stat : 16772 (java) S 16766 16768 16386 0 -1 4202560 236531 0 0 0 366 40 0 0 15 0 22 0 522494931 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16773] ppid=16766 vsize=15709904 CPUtime=4.28 cores=0,2,4,6
/proc/16768/task/16773/stat : 16773 (java) S 16766 16768 16386 0 -1 4202560 177479 0 0 0 401 27 0 0 15 0 22 0 522494931 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16774] ppid=16766 vsize=15709904 CPUtime=4.94 cores=0,2,4,6
/proc/16768/task/16774/stat : 16774 (java) S 16766 16768 16386 0 -1 4202560 166516 0 0 0 468 26 0 0 16 0 22 0 522494931 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16775] ppid=16766 vsize=15709904 CPUtime=4.36 cores=0,2,4,6
/proc/16768/task/16775/stat : 16775 (java) S 16766 16768 16386 0 -1 4202560 239558 0 0 0 399 37 0 0 15 0 22 0 522494931 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 0 0 0 0
[pid=16768/tid=16776] ppid=16766 vsize=15709904 CPUtime=4.63 cores=0,2,4,6
/proc/16768/task/16776/stat : 16776 (java) S 16766 16768 16386 0 -1 4202560 191628 0 0 0 434 29 0 0 15 0 22 0 522494931 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16777] ppid=16766 vsize=15709904 CPUtime=3.9 cores=0,2,4,6
/proc/16768/task/16777/stat : 16777 (java) S 16766 16768 16386 0 -1 4202560 137281 0 0 0 368 22 0 0 16 0 22 0 522494931 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16778] ppid=16766 vsize=15709904 CPUtime=4.41 cores=0,2,4,6
/proc/16768/task/16778/stat : 16778 (java) S 16766 16768 16386 0 -1 4202560 187321 0 0 0 410 31 0 0 16 0 22 0 522494931 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16779] ppid=16766 vsize=15709904 CPUtime=4.81 cores=0,2,4,6
/proc/16768/task/16779/stat : 16779 (java) S 16766 16768 16386 0 -1 4202560 64614 0 0 0 274 207 0 0 15 0 22 0 522494932 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 0 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16780] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16780/stat : 16780 (java) S 16766 16768 16386 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 522494932 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16781] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16781/stat : 16781 (java) S 16766 16768 16386 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 522494932 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16782] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16782/stat : 16782 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522494935 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458768817 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16783] ppid=16766 vsize=15709904 CPUtime=1.24 cores=0,2,4,6
/proc/16768/task/16783/stat : 16783 (java) S 16766 16768 16386 0 -1 4202560 8058 0 0 0 124 0 0 0 15 0 22 0 522494935 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 4 0 0 0
[pid=16768/tid=16784] ppid=16766 vsize=15709904 CPUtime=2.36 cores=0,2,4,6
/proc/16768/task/16784/stat : 16784 (java) S 16766 16768 16386 0 -1 4202560 14967 0 0 0 234 2 0 0 15 0 22 0 522494935 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16785] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16785/stat : 16785 (java) S 16766 16768 16386 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522494935 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761113 0 4 0 16800975 18446604453985322816 0 0 -1 6 0 0 0
[pid=16768/tid=16786] ppid=16766 vsize=15709904 CPUtime=0 cores=0,2,4,6
/proc/16768/task/16786/stat : 16786 (java) S 16766 16768 16386 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 22 0 522494935 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 244458761728 0 4 0 16800975 18446604453985322816 0 0 -1 2 0 0 0
[pid=16768/tid=16791] ppid=16766 vsize=15709904 CPUtime=1096.25 cores=0,2,4,6
/proc/16768/task/16791/stat : 16791 (java) R 16766 16768 16386 0 -1 4202560 11236 0 0 0 109566 59 0 0 25 0 22 0 522495325 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 47393648961790 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16768/tid=16792] ppid=16766 vsize=15709904 CPUtime=1063.36 cores=0,2,4,6
/proc/16768/task/16792/stat : 16792 (java) R 16766 16768 16386 0 -1 4202560 10938 0 0 0 106279 57 0 0 25 0 22 0 522495325 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912506055146 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16768/tid=16793] ppid=16766 vsize=15709904 CPUtime=1148.03 cores=0,2,4,6
/proc/16768/task/16793/stat : 16793 (java) R 16766 16768 16386 0 -1 4202560 16574 0 0 0 114747 56 0 0 25 0 22 0 522495325 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912506136026 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16768/tid=16794] ppid=16766 vsize=15709904 CPUtime=1096.99 cores=0,2,4,6
/proc/16768/task/16794/stat : 16794 (java) R 16766 16768 16386 0 -1 4202560 15276 0 0 0 109651 48 0 0 25 0 22 0 522495325 16086941696 1851648 33554432000 1073741824 1073778376 140736817710832 18446744073709551615 46912506445607 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4568.88
Current children cumulated vsize (KiB) 15709904

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

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

[startup+1300.2 s]
/proc/loadavg: 8.17 8.06 7.82 9/220 16879
/proc/meminfo: memFree=11174568/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=0 CPUtime=4569.19 cores=0,2,4,6
/proc/16768/stat : 16768 (java) Z 16766 16768 16386 0 -1 4203548 1875355 0 1 0 456197 722 0 0 17 0 2 0 522494930 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4569.19
Current children cumulated vsize (KiB) 0

[startup+1300.3 s]
/proc/loadavg: 8.17 8.06 7.82 6/201 16882
/proc/meminfo: memFree=17576096/32951124 swapFree=67111524/67111528
[pid=16768] ppid=16766 vsize=0 CPUtime=4569.29 cores=0,2,4,6
/proc/16768/stat : 16768 (java) Z 16766 16768 16386 0 -1 4203548 1875355 0 1 0 456197 732 0 0 17 0 2 0 522494930 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/16768/statm: 0 0 0 0 0 0 0
[pid=16768/tid=16882] ppid=16766 vsize=0 CPUtime=0.25 cores=0,2,4,6
/proc/16768/task/16882/stat : 16882 (java) R 16766 16768 16386 0 -1 4203588 7 0 0 0 0 25 0 0 21 0 2 0 522624931 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4569.29
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1300.34
CPU time (s): 4569.34
CPU user time (s): 4561.98
CPU system time (s): 7.36288
CPU usage (%): 351.396
Max. virtual memory (cumulated for all children) (KiB): 15717508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4561.98
system time used= 7.36288
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1875355
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= 271223
involuntary context switches= 78067

runsolver used 2.29265 second user time and 4.84726 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-29 22:29:05
IDJOB=3312224
IDBENCH=82456
IDSOLVER=1698
FILE ID=node105/3312224-1304108944
RUNJOBID= node105-1304108944-16731
PBS_JOBID= 13170654
Free space on /tmp= 71904 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT11/application/jarvisalo/smtqfbv-aigs/smtlib-qfbv-aigs-nlzbe256-tseitin.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312224-1304108944/watcher-3312224-1304108944 -o /tmp/evaluation-result-3312224-1304108944/solver-3312224-1304108944 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312224-1304108944.cnf -hbr 2

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

MD5SUM BENCH= 659dfff429810fdcd170c968aac23069
RANDOM SEED=378284260

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
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.825
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.825
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	: 5410.70
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.825
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.74
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.825
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.825
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:      23039404 kB
Buffers:       2158284 kB
Cached:        7125568 kB
SwapCached:          4 kB
Active:         611612 kB
Inactive:      8753260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23039404 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           36256 kB
Writeback:           0 kB
AnonPages:       80128 kB
Mapped:          22648 kB
Slab:           484076 kB
PageTables:       4716 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   778112 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= 71908 MiB
End job on node105 at 2011-04-29 22:50:47