Trace number 3312267

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.54 1204.44

General information on the benchmark

NameAPPLICATIONS/bitverif/
smulo/smulo064.cnf
MD5SUM472e9d10d7fd1a82d06da0809d0002df
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables47129
Number of clauses141002
Sum of the clauses size329002
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 294000
Number of clauses of size 347000
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	15:16 INFO : Reading from input HOME/instance-3312267-1304075716.cnf
0.92/0.72	Executor set job limit to 1000000
0.92/0.72	Executor set job limit to 1000000
0.92/0.72	Executor set job limit to 1000000
0.92/0.72	Executor set job limit to 1000000
0.92/0.73	Starting Executor!
0.92/0.73	Starting Executor!
0.92/0.73	Starting Executor!
0.92/0.73	Starting Executor!
5.06/2.74	15:19 INFO : 47119 variables remaining out of 47129
5.06/2.74	15:19 INFO : 781792 literals remaining out of 470004

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-3312267-1304075716/watcher-3312267-1304075716 -o /tmp/evaluation-result-3312267-1304075716/solver-3312267-1304075716 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312267-1304075716.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: 7.53 7.96 7.90 6/198 26956
/proc/meminfo: memFree=16876600/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=24056 CPUtime=0 cores=0,2,4,6
/proc/26956/stat : 26956 (java) S 26954 26956 26704 0 -1 4202496 1392 0 0 0 0 0 0 0 25 0 2 0 499987483 24633344 870 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522100197 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 6535 872 668 9 0 381 0
[pid=26956/tid=26957] ppid=26954 vsize=26088 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26957/stat : 26957 (java) R 26954 26956 26704 0 -1 4202560 49 0 0 0 0 0 0 0 25 0 2 0 499987484 26714112 878 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 47402667642544 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.0965721 s]
/proc/loadavg: 7.53 7.96 7.90 6/198 26956
/proc/meminfo: memFree=16876600/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=15676576 CPUtime=0.1 cores=0,2,4,6
/proc/26956/stat : 26956 (java) S 26954 26956 26704 0 -1 4202496 5551 0 1 0 9 1 0 0 25 0 18 0 499987483 16052813824 4935 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 3919144 4935 2116 9 0 3909863 0
[pid=26956/tid=26957] ppid=26954 vsize=15676576 CPUtime=0.07 cores=0,2,4,6
/proc/26956/task/26957/stat : 26957 (java) R 26954 26956 26704 0 -1 4202560 3414 0 1 0 7 0 0 0 18 0 18 0 499987484 16052813824 4935 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233510297232 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676576

[startup+0.100562 s]
/proc/loadavg: 7.53 7.96 7.90 6/198 26956
/proc/meminfo: memFree=16876600/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=15676576 CPUtime=0.11 cores=0,2,4,6
/proc/26956/stat : 26956 (java) S 26954 26956 26704 0 -1 4202496 5612 0 1 0 10 1 0 0 25 0 18 0 499987483 16052813824 4996 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 3919144 4997 2117 9 0 3909863 0
[pid=26956/tid=26957] ppid=26954 vsize=15676576 CPUtime=0.08 cores=0,2,4,6
/proc/26956/task/26957/stat : 26957 (java) R 26954 26956 26704 0 -1 4202560 3476 0 1 0 8 0 0 0 18 0 18 0 499987484 16052813824 4997 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 47402669127162 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676576

[startup+0.300538 s]
/proc/loadavg: 7.53 7.96 7.90 6/198 26956
/proc/meminfo: memFree=16876600/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=15684240 CPUtime=0.51 cores=0,2,4,6
/proc/26956/stat : 26956 (java) S 26954 26956 26704 0 -1 4202496 15328 0 1 0 49 2 0 0 25 0 18 0 499987483 16060661760 13748 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 3921060 13755 2207 9 0 3911779 0
[pid=26956/tid=26957] ppid=26954 vsize=15684240 CPUtime=0.28 cores=0,2,4,6
/proc/26956/task/26957/stat : 26957 (java) R 26954 26956 26704 0 -1 4202560 10380 0 1 0 27 1 0 0 18 0 18 0 499987484 16060661760 13758 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912505632778 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 15684240

[startup+0.700456 s]
/proc/loadavg: 7.53 7.96 7.90 6/198 26956
/proc/meminfo: memFree=16876600/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=15684240 CPUtime=0.92 cores=0,2,4,6
/proc/26956/stat : 26956 (java) S 26954 26956 26704 0 -1 4202496 41715 0 1 0 87 5 0 0 25 0 18 0 499987483 16060661760 40131 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 3921060 40131 2223 9 0 3911779 0
[pid=26956/tid=26957] ppid=26954 vsize=15684240 CPUtime=0.68 cores=0,2,4,6
/proc/26956/task/26957/stat : 26957 (java) R 26954 26956 26704 0 -1 4202560 35546 0 1 0 63 5 0 0 18 0 18 0 499987484 16060661760 40131 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912505513194 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15684240

[startup+1.5013 s]
/proc/loadavg: 7.53 7.96 7.90 7/220 26978
/proc/meminfo: memFree=16688188/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=15720344 CPUtime=2.54 cores=0,2,4,6
/proc/26956/stat : 26956 (java) S 26954 26956 26704 0 -1 4202496 61113 0 1 0 246 8 0 0 25 0 22 0 499987483 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 3930086 53762 2261 9 0 3920805 0
[pid=26956/tid=26957] ppid=26954 vsize=15720344 CPUtime=1.46 cores=0,2,4,6
/proc/26956/task/26957/stat : 26957 (java) R 26954 26956 26704 0 -1 4202560 35674 0 1 0 141 5 0 0 21 0 22 0 499987484 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 47402666083223 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=26956/tid=26959] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26959/stat : 26959 (java) S 26954 26956 26704 0 -1 4202560 733 0 0 0 0 0 0 0 15 0 22 0 499987484 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26960] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26960/stat : 26960 (java) S 26954 26956 26704 0 -1 4202560 1328 0 0 0 0 0 0 0 17 0 22 0 499987484 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26961] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26961/stat : 26961 (java) S 26954 26956 26704 0 -1 4202560 1381 0 0 0 0 0 0 0 16 0 22 0 499987484 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26962] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26962/stat : 26962 (java) S 26954 26956 26704 0 -1 4202560 63 0 0 0 0 0 0 0 17 0 22 0 499987484 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26963] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26963/stat : 26963 (java) S 26954 26956 26704 0 -1 4202560 1219 0 0 0 0 0 0 0 17 0 22 0 499987484 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26964] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26964/stat : 26964 (java) S 26954 26956 26704 0 -1 4202560 371 0 0 0 0 0 0 0 17 0 22 0 499987484 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26965] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26965/stat : 26965 (java) S 26954 26956 26704 0 -1 4202560 1092 0 0 0 0 0 0 0 17 0 22 0 499987484 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26966] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26966/stat : 26966 (java) S 26954 26956 26704 0 -1 4202560 478 0 0 0 0 0 0 0 17 0 22 0 499987484 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26967] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26967/stat : 26967 (java) S 26954 26956 26704 0 -1 4202560 73 0 0 0 0 0 0 0 17 0 22 0 499987485 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 0 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26968] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26968/stat : 26968 (java) S 26954 26956 26704 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 499987486 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26969] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26969/stat : 26969 (java) S 26954 26956 26704 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 499987486 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26970] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26970/stat : 26970 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499987488 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522121137 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26971] ppid=26954 vsize=15720344 CPUtime=0.8 cores=0,2,4,6
/proc/26956/task/26971/stat : 26971 (java) R 26954 26956 26704 0 -1 4202560 15441 0 0 0 79 1 0 0 22 0 22 0 499987488 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 47402666889496 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26956/tid=26972] ppid=26954 vsize=15720344 CPUtime=0.2 cores=0,2,4,6
/proc/26956/task/26972/stat : 26972 (java) S 26954 26956 26704 0 -1 4202560 1833 0 0 0 20 0 0 0 15 0 22 0 499987488 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26973] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26973/stat : 26973 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499987488 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26974] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26974/stat : 26974 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 499987488 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26975] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26975/stat : 26975 (java) S 26954 26956 26704 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 499987556 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26976] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26976/stat : 26976 (java) S 26954 26956 26704 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 499987556 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26977] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26977/stat : 26977 (java) S 26954 26956 26704 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 499987557 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26978] ppid=26954 vsize=15720344 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26978/stat : 26978 (java) S 26954 26956 26704 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 22 0 499987557 16097632256 53762 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.54
Current children cumulated vsize (KiB) 15720344

[startup+3.10102 s]
/proc/loadavg: 7.53 7.96 7.90 7/220 26978
/proc/meminfo: memFree=16663512/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=15721640 CPUtime=5.91 cores=0,2,4,6
/proc/26956/stat : 26956 (java) S 26954 26956 26704 0 -1 4202496 81524 0 1 0 581 10 0 0 25 0 22 0 499987483 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 3930410 69695 2275 9 0 3921129 0
[pid=26956/tid=26957] ppid=26954 vsize=15721640 CPUtime=2.71 cores=0,2,4,6
/proc/26956/task/26957/stat : 26957 (java) S 26954 26956 26704 0 -1 4202560 35728 0 1 0 266 5 0 0 25 0 22 0 499987484 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26959] ppid=26954 vsize=15721640 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26959/stat : 26959 (java) S 26954 26956 26704 0 -1 4202560 733 0 0 0 0 0 0 0 15 0 22 0 499987484 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26960] ppid=26954 vsize=15721640 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26960/stat : 26960 (java) S 26954 26956 26704 0 -1 4202560 1328 0 0 0 0 0 0 0 15 0 22 0 499987484 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26961] ppid=26954 vsize=15721640 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26961/stat : 26961 (java) S 26954 26956 26704 0 -1 4202560 1381 0 0 0 0 0 0 0 15 0 22 0 499987484 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26962] ppid=26954 vsize=15721640 CPUtime=0.02 cores=0,2,4,6
/proc/26956/task/26962/stat : 26962 (java) S 26954 26956 26704 0 -1 4202560 3258 0 0 0 2 0 0 0 16 0 22 0 499987484 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26963] ppid=26954 vsize=15721640 CPUtime=0.03 cores=0,2,4,6
/proc/26956/task/26963/stat : 26963 (java) S 26954 26956 26704 0 -1 4202560 4412 0 0 0 3 0 0 0 16 0 22 0 499987484 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26964] ppid=26954 vsize=15721640 CPUtime=0.02 cores=0,2,4,6
/proc/26956/task/26964/stat : 26964 (java) S 26954 26956 26704 0 -1 4202560 4494 0 0 0 2 0 0 0 16 0 22 0 499987484 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26965] ppid=26954 vsize=15721640 CPUtime=0.03 cores=0,2,4,6
/proc/26956/task/26965/stat : 26965 (java) S 26954 26956 26704 0 -1 4202560 5530 0 0 0 3 0 0 0 16 0 22 0 499987484 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26966] ppid=26954 vsize=15721640 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26966/stat : 26966 (java) S 26954 26956 26704 0 -1 4202560 478 0 0 0 0 0 0 0 15 0 22 0 499987484 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26967] ppid=26954 vsize=15721640 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26967/stat : 26967 (java) S 26954 26956 26704 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 22 0 499987485 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 0 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26968] ppid=26954 vsize=15721640 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26968/stat : 26968 (java) S 26954 26956 26704 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 499987486 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26969] ppid=26954 vsize=15721640 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26969/stat : 26969 (java) S 26954 26956 26704 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 499987486 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26970] ppid=26954 vsize=15721640 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26970/stat : 26970 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499987488 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522121137 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26971] ppid=26954 vsize=15721640 CPUtime=1.81 cores=0,2,4,6
/proc/26956/task/26971/stat : 26971 (java) S 26954 26956 26704 0 -1 4202560 17779 0 0 0 180 1 0 0 16 0 22 0 499987488 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26972] ppid=26954 vsize=15721640 CPUtime=0.71 cores=0,2,4,6
/proc/26956/task/26972/stat : 26972 (java) S 26954 26956 26704 0 -1 4202560 4889 0 0 0 71 0 0 0 15 0 22 0 499987488 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26973] ppid=26954 vsize=15721640 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26973/stat : 26973 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499987488 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26974] ppid=26954 vsize=15721640 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26974/stat : 26974 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 499987488 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26975] ppid=26954 vsize=15721640 CPUtime=0.06 cores=0,2,4,6
/proc/26956/task/26975/stat : 26975 (java) S 26954 26956 26704 0 -1 4202560 29 0 0 0 6 0 0 0 15 0 22 0 499987556 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26976] ppid=26954 vsize=15721640 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26976/stat : 26976 (java) S 26954 26956 26704 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 22 0 499987556 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26977] ppid=26954 vsize=15721640 CPUtime=0.2 cores=0,2,4,6
/proc/26956/task/26977/stat : 26977 (java) R 26954 26956 26704 0 -1 4202560 7 0 0 0 20 0 0 0 16 0 22 0 499987557 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912505973410 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26956/tid=26978] ppid=26954 vsize=15721640 CPUtime=0.2 cores=0,2,4,6
/proc/26956/task/26978/stat : 26978 (java) R 26954 26956 26704 0 -1 4202560 9 0 0 0 20 0 0 0 16 0 22 0 499987557 16098959360 69695 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912505973620 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 15721640

[startup+6.30141 s]
/proc/loadavg: 7.41 7.93 7.89 10/220 26978
/proc/meminfo: memFree=16274104/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=15715588 CPUtime=17.52 cores=0,2,4,6
/proc/26956/stat : 26956 (java) S 26954 26956 26704 0 -1 4202496 248765 0 1 0 1720 32 0 0 25 0 22 0 499987483 16092762112 232423 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 3928897 232423 2275 9 0 3919616 0
[pid=26956/tid=26957] ppid=26954 vsize=15715588 CPUtime=2.71 cores=0,2,4,6
/proc/26956/task/26957/stat : 26957 (java) S 26954 26956 26704 0 -1 4202560 35728 0 1 0 266 5 0 0 25 0 22 0 499987484 16092762112 232423 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26959] ppid=26954 vsize=15715588 CPUtime=0.14 cores=0,2,4,6
/proc/26956/task/26959/stat : 26959 (java) S 26954 26956 26704 0 -1 4202560 16358 0 0 0 14 0 0 0 16 0 22 0 499987484 16092762112 232423 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26960] ppid=26954 vsize=15715588 CPUtime=0.07 cores=0,2,4,6
/proc/26956/task/26960/stat : 26960 (java) S 26954 26956 26704 0 -1 4202560 11281 0 0 0 6 1 0 0 15 0 22 0 499987484 16092762112 232423 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26961] ppid=26954 vsize=15715588 CPUtime=0.1 cores=0,2,4,6
/proc/26956/task/26961/stat : 26961 (java) S 26954 26956 26704 0 -1 4202560 16895 0 0 0 9 1 0 0 16 0 22 0 499987484 16092762112 232423 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26962] ppid=26954 vsize=15715588 CPUtime=0.09 cores=0,2,4,6
/proc/26956/task/26962/stat : 26962 (java) S 26954 26956 26704 0 -1 4202560 9286 0 0 0 8 1 0 0 15 0 22 0 499987484 16092762112 232423 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26963] ppid=26954 vsize=15715588 CPUtime=0.15 cores=0,2,4,6
/proc/26956/task/26963/stat : 26963 (java) S 26954 26956 26704 0 -1 4202560 17901 0 0 0 13 2 0 0 16 0 22 0 499987484 16092762112 232423 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26964] ppid=26954 vsize=15715588 CPUtime=0.15 cores=0,2,4,6
/proc/26956/task/26964/stat : 26964 (java) S 26954 26956 26704 0 -1 4202560 19106 0 0 0 13 2 0 0 16 0 22 0 499987484 16092762112 232423 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26965] ppid=26954 vsize=15715588 CPUtime=0.09 cores=0,2,4,6
/proc/26956/task/26965/stat : 26965 (java) S 26954 26956 26704 0 -1 4202560 10885 0 0 0 8 1 0 0 15 0 22 0 499987484 16092762112 232423 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26966] ppid=26954 vsize=15715588 CPUtime=0.08 cores=0,2,4,6
/proc/26956/task/26966/stat : 26966 (java) S 26954 26956 26704 0 -1 4202560 9991 0 0 0 7 1 0 0 16 0 22 0 499987484 16092762112 232423 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0

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

/proc/meminfo: memFree=12857904/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=15715588 CPUtime=4473.15 cores=0,2,4,6
/proc/26956/stat : 26956 (java) S 26954 26956 26704 0 -1 4202496 1556319 0 1 0 447098 217 0 0 25 0 22 0 499987483 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 3928897 1430229 2298 9 0 3919616 0
[pid=26956/tid=26957] ppid=26954 vsize=15715588 CPUtime=2.71 cores=0,2,4,6
/proc/26956/task/26957/stat : 26957 (java) S 26954 26956 26704 0 -1 4202560 35728 0 1 0 266 5 0 0 25 0 22 0 499987484 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26959] ppid=26954 vsize=15715588 CPUtime=2.14 cores=0,2,4,6
/proc/26956/task/26959/stat : 26959 (java) S 26954 26956 26704 0 -1 4202560 85366 0 0 0 201 13 0 0 15 0 22 0 499987484 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26960] ppid=26954 vsize=15715588 CPUtime=2.07 cores=0,2,4,6
/proc/26956/task/26960/stat : 26960 (java) S 26954 26956 26704 0 -1 4202560 89802 0 0 0 194 13 0 0 15 0 22 0 499987484 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26961] ppid=26954 vsize=15715588 CPUtime=1.81 cores=0,2,4,6
/proc/26956/task/26961/stat : 26961 (java) S 26954 26956 26704 0 -1 4202560 61071 0 0 0 172 9 0 0 16 0 22 0 499987484 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26962] ppid=26954 vsize=15715588 CPUtime=2.12 cores=0,2,4,6
/proc/26956/task/26962/stat : 26962 (java) S 26954 26956 26704 0 -1 4202560 94119 0 0 0 197 15 0 0 15 0 22 0 499987484 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26963] ppid=26954 vsize=15715588 CPUtime=2.07 cores=0,2,4,6
/proc/26956/task/26963/stat : 26963 (java) S 26954 26956 26704 0 -1 4202560 89070 0 0 0 193 14 0 0 16 0 22 0 499987484 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26964] ppid=26954 vsize=15715588 CPUtime=1.67 cores=0,2,4,6
/proc/26956/task/26964/stat : 26964 (java) S 26954 26956 26704 0 -1 4202560 75823 0 0 0 156 11 0 0 16 0 22 0 499987484 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26965] ppid=26954 vsize=15715588 CPUtime=1.98 cores=0,2,4,6
/proc/26956/task/26965/stat : 26965 (java) S 26954 26956 26704 0 -1 4202560 96561 0 0 0 182 16 0 0 15 0 22 0 499987484 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26966] ppid=26954 vsize=15715588 CPUtime=1.85 cores=0,2,4,6
/proc/26956/task/26966/stat : 26966 (java) S 26954 26956 26704 0 -1 4202560 68223 0 0 0 173 12 0 0 16 0 22 0 499987484 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26967] ppid=26954 vsize=15715588 CPUtime=0.31 cores=0,2,4,6
/proc/26956/task/26967/stat : 26967 (java) S 26954 26956 26704 0 -1 4202560 3563 0 0 0 29 2 0 0 15 0 22 0 499987485 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 0 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26968] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26968/stat : 26968 (java) S 26954 26956 26704 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 499987486 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26969] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26969/stat : 26969 (java) S 26954 26956 26704 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 499987486 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26970] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26970/stat : 26970 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499987488 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522121137 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26971] ppid=26954 vsize=15715588 CPUtime=2.3 cores=0,2,4,6
/proc/26956/task/26971/stat : 26971 (java) S 26954 26956 26704 0 -1 4202560 17870 0 0 0 229 1 0 0 15 0 22 0 499987488 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26972] ppid=26954 vsize=15715588 CPUtime=1.05 cores=0,2,4,6
/proc/26956/task/26972/stat : 26972 (java) S 26954 26956 26704 0 -1 4202560 8135 0 0 0 104 1 0 0 16 0 22 0 499987488 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26973] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26973/stat : 26973 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499987488 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26974] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26974/stat : 26974 (java) S 26954 26956 26704 0 -1 4202560 65 0 0 0 0 0 0 0 15 0 22 0 499987488 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26975] ppid=26954 vsize=15715588 CPUtime=1112.74 cores=0,2,4,6
/proc/26956/task/26975/stat : 26975 (java) R 26954 26956 26704 0 -1 4202560 184173 0 0 0 111253 21 0 0 25 0 22 0 499987556 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912506040785 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26956/tid=26976] ppid=26954 vsize=15715588 CPUtime=1111.79 cores=0,2,4,6
/proc/26956/task/26976/stat : 26976 (java) R 26954 26956 26704 0 -1 4202560 263121 0 0 0 111150 29 0 0 25 0 22 0 499987556 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912506317299 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26956/tid=26977] ppid=26954 vsize=15715588 CPUtime=1111.96 cores=0,2,4,6
/proc/26956/task/26977/stat : 26977 (java) R 26954 26956 26704 0 -1 4202560 191244 0 0 0 111172 24 0 0 25 0 22 0 499987557 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912506044962 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26956/tid=26978] ppid=26954 vsize=15715588 CPUtime=1114.42 cores=0,2,4,6
/proc/26956/task/26978/stat : 26978 (java) R 26954 26956 26704 0 -1 4202560 190999 0 0 0 111418 24 0 0 25 0 22 0 499987557 16092762112 1430229 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912506040768 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4473.15
Current children cumulated vsize (KiB) 15715588

[startup+1182.3 s]
/proc/loadavg: 8.14 8.12 8.02 9/220 27012
/proc/meminfo: memFree=12814352/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=15715588 CPUtime=4712.79 cores=0,2,4,6
/proc/26956/stat : 26956 (java) S 26954 26956 26704 0 -1 4202496 1556621 0 1 0 471061 218 0 0 25 0 22 0 499987483 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 3928897 1430301 2298 9 0 3919616 0
[pid=26956/tid=26957] ppid=26954 vsize=15715588 CPUtime=2.71 cores=0,2,4,6
/proc/26956/task/26957/stat : 26957 (java) S 26954 26956 26704 0 -1 4202560 35728 0 1 0 266 5 0 0 25 0 22 0 499987484 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26959] ppid=26954 vsize=15715588 CPUtime=2.26 cores=0,2,4,6
/proc/26956/task/26959/stat : 26959 (java) S 26954 26956 26704 0 -1 4202560 85535 0 0 0 213 13 0 0 15 0 22 0 499987484 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26960] ppid=26954 vsize=15715588 CPUtime=2.18 cores=0,2,4,6
/proc/26956/task/26960/stat : 26960 (java) S 26954 26956 26704 0 -1 4202560 89843 0 0 0 205 13 0 0 16 0 22 0 499987484 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26961] ppid=26954 vsize=15715588 CPUtime=1.93 cores=0,2,4,6
/proc/26956/task/26961/stat : 26961 (java) S 26954 26956 26704 0 -1 4202560 61074 0 0 0 184 9 0 0 16 0 22 0 499987484 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26962] ppid=26954 vsize=15715588 CPUtime=2.2 cores=0,2,4,6
/proc/26956/task/26962/stat : 26962 (java) S 26954 26956 26704 0 -1 4202560 94119 0 0 0 205 15 0 0 15 0 22 0 499987484 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26963] ppid=26954 vsize=15715588 CPUtime=2.17 cores=0,2,4,6
/proc/26956/task/26963/stat : 26963 (java) S 26954 26956 26704 0 -1 4202560 89120 0 0 0 203 14 0 0 15 0 22 0 499987484 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26964] ppid=26954 vsize=15715588 CPUtime=1.74 cores=0,2,4,6
/proc/26956/task/26964/stat : 26964 (java) S 26954 26956 26704 0 -1 4202560 75823 0 0 0 163 11 0 0 16 0 22 0 499987484 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26965] ppid=26954 vsize=15715588 CPUtime=2.07 cores=0,2,4,6
/proc/26956/task/26965/stat : 26965 (java) S 26954 26956 26704 0 -1 4202560 96578 0 0 0 191 16 0 0 16 0 22 0 499987484 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26966] ppid=26954 vsize=15715588 CPUtime=1.91 cores=0,2,4,6
/proc/26956/task/26966/stat : 26966 (java) S 26954 26956 26704 0 -1 4202560 68223 0 0 0 179 12 0 0 15 0 22 0 499987484 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26967] ppid=26954 vsize=15715588 CPUtime=0.31 cores=0,2,4,6
/proc/26956/task/26967/stat : 26967 (java) S 26954 26956 26704 0 -1 4202560 3573 0 0 0 29 2 0 0 15 0 22 0 499987485 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 0 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26968] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26968/stat : 26968 (java) S 26954 26956 26704 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 499987486 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26969] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26969/stat : 26969 (java) S 26954 26956 26704 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 499987486 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26970] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26970/stat : 26970 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499987488 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522121137 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26971] ppid=26954 vsize=15715588 CPUtime=2.3 cores=0,2,4,6
/proc/26956/task/26971/stat : 26971 (java) S 26954 26956 26704 0 -1 4202560 17870 0 0 0 229 1 0 0 15 0 22 0 499987488 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26972] ppid=26954 vsize=15715588 CPUtime=1.05 cores=0,2,4,6
/proc/26956/task/26972/stat : 26972 (java) S 26954 26956 26704 0 -1 4202560 8135 0 0 0 104 1 0 0 16 0 22 0 499987488 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26973] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26973/stat : 26973 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499987488 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26974] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26974/stat : 26974 (java) S 26954 26956 26704 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 499987488 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26975] ppid=26954 vsize=15715588 CPUtime=1172.54 cores=0,2,4,6
/proc/26956/task/26975/stat : 26975 (java) R 26954 26956 26704 0 -1 4202560 184175 0 0 0 117233 21 0 0 25 0 22 0 499987556 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912505973660 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26956/tid=26976] ppid=26954 vsize=15715588 CPUtime=1171.59 cores=0,2,4,6
/proc/26956/task/26976/stat : 26976 (java) R 26954 26956 26704 0 -1 4202560 263123 0 0 0 117130 29 0 0 25 0 22 0 499987556 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912506503892 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26956/tid=26977] ppid=26954 vsize=15715588 CPUtime=1171.43 cores=0,2,4,6
/proc/26956/task/26977/stat : 26977 (java) R 26954 26956 26704 0 -1 4202560 191248 0 0 0 117119 24 0 0 25 0 22 0 499987557 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912505995333 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26956/tid=26978] ppid=26954 vsize=15715588 CPUtime=1174.23 cores=0,2,4,6
/proc/26956/task/26978/stat : 26978 (java) R 26954 26956 26704 0 -1 4202560 190999 0 0 0 117399 24 0 0 25 0 22 0 499987557 16092762112 1430301 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912506052940 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4712.79
Current children cumulated vsize (KiB) 15715588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.2 s]
/proc/loadavg: 7.87 8.06 8.00 10/220 27064
/proc/meminfo: memFree=12396136/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=15715588 CPUtime=4800.27 cores=0,2,4,6
/proc/26956/stat : 26956 (java) S 26954 26956 26704 0 -1 4202496 1557514 0 1 0 479809 218 0 0 25 0 22 0 499987483 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 3928897 1431183 2298 9 0 3919616 0
[pid=26956/tid=26957] ppid=26954 vsize=15715588 CPUtime=2.71 cores=0,2,4,6
/proc/26956/task/26957/stat : 26957 (java) S 26954 26956 26704 0 -1 4202560 35728 0 1 0 266 5 0 0 25 0 22 0 499987484 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26959] ppid=26954 vsize=15715588 CPUtime=2.31 cores=0,2,4,6
/proc/26956/task/26959/stat : 26959 (java) S 26954 26956 26704 0 -1 4202560 85764 0 0 0 218 13 0 0 16 0 22 0 499987484 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 0 0 0 0
[pid=26956/tid=26960] ppid=26954 vsize=15715588 CPUtime=2.21 cores=0,2,4,6
/proc/26956/task/26960/stat : 26960 (java) S 26954 26956 26704 0 -1 4202560 89843 0 0 0 208 13 0 0 15 0 22 0 499987484 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26961] ppid=26954 vsize=15715588 CPUtime=1.98 cores=0,2,4,6
/proc/26956/task/26961/stat : 26961 (java) S 26954 26956 26704 0 -1 4202560 61074 0 0 0 189 9 0 0 15 0 22 0 499987484 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26962] ppid=26954 vsize=15715588 CPUtime=2.25 cores=0,2,4,6
/proc/26956/task/26962/stat : 26962 (java) S 26954 26956 26704 0 -1 4202560 94549 0 0 0 210 15 0 0 16 0 22 0 499987484 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26963] ppid=26954 vsize=15715588 CPUtime=2.22 cores=0,2,4,6
/proc/26956/task/26963/stat : 26963 (java) S 26954 26956 26704 0 -1 4202560 89120 0 0 0 208 14 0 0 16 0 22 0 499987484 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26964] ppid=26954 vsize=15715588 CPUtime=1.74 cores=0,2,4,6
/proc/26956/task/26964/stat : 26964 (java) S 26954 26956 26704 0 -1 4202560 75823 0 0 0 163 11 0 0 15 0 22 0 499987484 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26965] ppid=26954 vsize=15715588 CPUtime=2.13 cores=0,2,4,6
/proc/26956/task/26965/stat : 26965 (java) S 26954 26956 26704 0 -1 4202560 96803 0 0 0 197 16 0 0 16 0 22 0 499987484 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26966] ppid=26954 vsize=15715588 CPUtime=1.91 cores=0,2,4,6
/proc/26956/task/26966/stat : 26966 (java) S 26954 26956 26704 0 -1 4202560 68223 0 0 0 179 12 0 0 15 0 22 0 499987484 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26967] ppid=26954 vsize=15715588 CPUtime=0.31 cores=0,2,4,6
/proc/26956/task/26967/stat : 26967 (java) S 26954 26956 26704 0 -1 4202560 3577 0 0 0 29 2 0 0 15 0 22 0 499987485 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 0 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26968] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26968/stat : 26968 (java) S 26954 26956 26704 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 22 0 499987486 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 6 0 0 0
[pid=26956/tid=26969] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26969/stat : 26969 (java) S 26954 26956 26704 0 -1 4202560 8 0 0 0 0 0 0 0 17 0 22 0 499987486 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26970] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26970/stat : 26970 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499987488 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522121137 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26971] ppid=26954 vsize=15715588 CPUtime=2.3 cores=0,2,4,6
/proc/26956/task/26971/stat : 26971 (java) S 26954 26956 26704 0 -1 4202560 17870 0 0 0 229 1 0 0 15 0 22 0 499987488 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26972] ppid=26954 vsize=15715588 CPUtime=1.05 cores=0,2,4,6
/proc/26956/task/26972/stat : 26972 (java) S 26954 26956 26704 0 -1 4202560 8135 0 0 0 104 1 0 0 16 0 22 0 499987488 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 4 0 0 0
[pid=26956/tid=26973] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26973/stat : 26973 (java) S 26954 26956 26704 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 499987488 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522113433 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26974] ppid=26954 vsize=15715588 CPUtime=0 cores=0,2,4,6
/proc/26956/task/26974/stat : 26974 (java) S 26954 26956 26704 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 499987488 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 233522114048 0 4 0 16800975 18446604453925745856 0 0 -1 2 0 0 0
[pid=26956/tid=26975] ppid=26954 vsize=15715588 CPUtime=1194.38 cores=0,2,4,6
/proc/26956/task/26975/stat : 26975 (java) R 26954 26956 26704 0 -1 4202560 184176 0 0 0 119416 22 0 0 25 0 22 0 499987556 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912506435205 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=26956/tid=26976] ppid=26954 vsize=15715588 CPUtime=1193.44 cores=0,2,4,6
/proc/26956/task/26976/stat : 26976 (java) R 26954 26956 26704 0 -1 4202560 263125 0 0 0 119314 30 0 0 25 0 22 0 499987556 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912505995442 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=26956/tid=26977] ppid=26954 vsize=15715588 CPUtime=1193.13 cores=0,2,4,6
/proc/26956/task/26977/stat : 26977 (java) R 26954 26956 26704 0 -1 4202560 191248 0 0 0 119289 24 0 0 25 0 22 0 499987557 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912506600722 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=26956/tid=26978] ppid=26954 vsize=15715588 CPUtime=1196.06 cores=0,2,4,6
/proc/26956/task/26978/stat : 26978 (java) R 26954 26956 26704 0 -1 4202560 190999 0 0 0 119582 24 0 0 25 0 22 0 499987557 16092762112 1431183 33554432000 1073741824 1073778376 140736538802640 18446744073709551615 46912505995070 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 15715588

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

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

[startup+1204.4 s]
/proc/loadavg: 7.87 8.06 8.00 6/201 27067
/proc/meminfo: memFree=17084852/32951124 swapFree=67111528/67111528
[pid=26956] ppid=26954 vsize=0 CPUtime=4800.5 cores=0,2,4,6
/proc/26956/stat : 26956 (java) Z 26954 26956 26704 0 -1 4203548 1557541 0 1 0 479812 238 0 0 17 0 2 0 499987483 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/26956/statm: 0 0 0 0 0 0 0
[pid=26956/tid=26975] ppid=26954 vsize=0 CPUtime=1194.58 cores=0,2,4,6
/proc/26956/task/26975/stat : 26975 (java) R 26954 26956 26704 0 -1 4203588 184176 0 0 0 119417 41 0 0 25 0 2 0 499987556 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.5
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1204.44
CPU time (s): 4800.54
CPU user time (s): 4798.12
CPU system time (s): 2.41663
CPU usage (%): 398.57
Max. virtual memory (cumulated for all children) (KiB): 15721640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.12
system time used= 2.41663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1557541
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= 30722
involuntary context switches= 52868

runsolver used 2.03869 second user time and 4.5713 second system time

The end

Launcher Data 

Begin job on node145 at 2011-04-29 13:15:16
IDJOB=3312267
IDBENCH=70791
IDSOLVER=1698
FILE ID=node145/3312267-1304075716
RUNJOBID= node145-1304074486-26722
PBS_JOBID= 13170497
Free space on /tmp= 72204 MiB

SOLVER NAME= STRUCTure 0.1 (hbr=2)
BENCH NAME= SAT09/APPLICATIONS/bitverif/smulo/smulo064.cnf
COMMAND LINE= run 15000 NBCORE TMPDIR DIR BENCHNAME -hbr 2
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3312267-1304075716/watcher-3312267-1304075716 -o /tmp/evaluation-result-3312267-1304075716/solver-3312267-1304075716 -C 4800 -W 1300 -M 15500  run 15000 4 HOME HOME HOME/instance-3312267-1304075716.cnf -hbr 2

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

MD5SUM BENCH= 472e9d10d7fd1a82d06da0809d0002df
RANDOM SEED=455338784

node145.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.786
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.57
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.786
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.76
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.786
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.786
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.83
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.786
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.82
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.786
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.786
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.84
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.786
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.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16876748 kB
Buffers:       2051264 kB
Cached:       11208848 kB
SwapCached:          0 kB
Active:        4689948 kB
Inactive:     10808212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16876748 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6216 kB
Writeback:           0 kB
AnonPages:     2237528 kB
Mapped:          23636 kB
Slab:           507820 kB
PageTables:       8832 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  4008660 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= 72196 MiB
End job on node145 at 2011-04-29 13:35:23