Trace number 3746936

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
npSolver inc-topDown (fixed)? (TO) 1800.06 1801.72

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat50_6_9_4_ic.opb
MD5SUM5ec7149b781e46400e7eef5bed8d1ab6
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark24098223
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables125200
Total number of constraints250157
Number of constraints which are clauses120150
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints130000
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 7400
Biggest coefficient in the objective function 128787625
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 49475695570
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 128787625
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 49475695570
Number of bits of the biggest sum of numbers36
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.86	c old isEQ: 0, new EQ is 1
0.00/0.96	c old isEQ: 8, new EQ is 1
0.00/1.00	c old isEQ: 1, new EQ is 1
16.39/16.43	c run inc solver
16.39/16.43	c [INC SYSTEM] run initial solver
16.39/16.43	c [INC SYSTEM] preprocess with white file
65.50/66.64	c [INC SYSTEM] finished preprocessing in 50 s
65.50/66.64	c [INC SYSTEM] execute solver

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3746936-1339110589/watcher-3746936-1339110589 -o /tmp/evaluation-result-3746936-1339110589/solver-3746936-1339110589 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746936-1339110589.opb 885209637 HOME HOME 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.00 2.00 2.08 3/178 24948
/proc/meminfo: memFree=26967448/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0

[startup+0.025067 s]
/proc/loadavg: 2.00 2.00 2.08 3/178 24948
/proc/meminfo: memFree=26967448/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100224 s]
/proc/loadavg: 2.00 2.00 2.08 3/178 24948
/proc/meminfo: memFree=26967448/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300235 s]
/proc/loadavg: 2.00 2.00 2.08 3/178 24948
/proc/meminfo: memFree=26967448/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 2.08 3/178 24948
/proc/meminfo: memFree=26967448/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.08 3/180 24950
/proc/meminfo: memFree=26850080/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=171296 CPUtime=1.49 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) R 24948 24948 23459 0 -1 4202496 25132 0 0 0 144 5 0 0 20 0 1 0 377183404 175407104 42320 33554432000 4194304 6004724 140735350607328 140735350603352 5055489 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 42824 42320 162 442 0 42378 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 180444

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.08 3/180 24950
/proc/meminfo: memFree=26756684/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=400672 CPUtime=3.09 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) R 24948 24948 23459 0 -1 4202496 26736 0 0 0 298 11 0 0 20 0 1 0 377183404 410288128 69873 33554432000 4194304 6004724 140735350607328 140735350601928 4534749 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 100168 69873 162 442 0 99722 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 409820

[startup+6.30028 s]
/proc/loadavg: 2.08 2.02 2.09 3/180 24950
/proc/meminfo: memFree=26522536/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=662816 CPUtime=6.29 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) R 24948 24948 23459 0 -1 4202496 27490 0 0 0 610 19 0 0 20 0 1 0 377183404 678723584 128753 33554432000 4194304 6004724 140735350607328 140735350602136 4534728 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 165704 128753 162 442 0 165258 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 671964

[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.09 3/180 24950
/proc/meminfo: memFree=26015516/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=12.69 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) R 24948 24948 23459 0 -1 4202496 28495 0 0 0 1236 33 0 0 20 0 1 0 377183404 1215594496 250609 33554432000 4194304 6004724 140735350607328 140735350601928 4536014 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 250609 162 442 0 296330 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1196252

[startup+25.5004 s]
/proc/loadavg: 2.21 2.05 2.10 3/183 24955
/proc/meminfo: memFree=23803364/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=16.44 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29742 0 0 0 1455 189 0 0 20 0 1 0 377183404 1215594496 290041 33554432000 4194304 6004724 140735350607328 140735350601792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290041 170 442 0 296330 0
[pid=24954] ppid=24949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (cp2_pre.sh) S 24949 24948 23459 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377185049 9367552 277 33554432000 4194304 5064252 140736835925792 140736835924496 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24954/statm: 2287 277 234 213 0 72 0
[pid=24955] ppid=24954 vsize=991704 CPUtime=9.04 cores=1,3,5,7
/proc/24955/stat : 24955 (coprocessor) R 24954 24948 23459 0 -1 4202496 19588 0 0 0 865 39 0 0 20 0 1 0 377185049 1015504896 235590 33554432000 4194304 6586260 140736926708864 140736926705624 5732400 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/24955/statm: 247926 235590 137 584 0 247338 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2197104

[startup+51.1003 s]
/proc/loadavg: 2.35 2.09 2.11 3/183 24955
/proc/meminfo: memFree=22647964/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=16.44 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29742 0 0 0 1455 189 0 0 20 0 1 0 377183404 1215594496 290041 33554432000 4194304 6004724 140735350607328 140735350601792 5186782 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290041 170 442 0 296330 0
[pid=24954] ppid=24949 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24954/stat : 24954 (cp2_pre.sh) S 24949 24948 23459 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 377185049 9367552 277 33554432000 4194304 5064252 140736835925792 140736835924496 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24954/statm: 2287 277 234 213 0 72 0
[pid=24955] ppid=24954 vsize=1913620 CPUtime=34.42 cores=1,3,5,7
/proc/24955/stat : 24955 (coprocessor) R 24954 24948 23459 0 -1 4202496 23192 0 0 0 3262 180 0 0 20 0 1 0 377185049 1959546880 403736 33554432000 4194304 6586260 140736926708864 140736926704616 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 20 0 0
/proc/24955/statm: 478405 403736 158 584 0 477817 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 3119020

[startup+102.3 s]
/proc/loadavg: 2.23 2.10 2.11 3/181 24957
/proc/meminfo: memFree=22594664/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2749040 CPUtime=35.64 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 270536 0 0 0 3479 85 0 0 20 0 1 0 377190069 2815016960 571877 33554432000 4194304 5654031 140735131398432 140735131396200 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 687260 571877 131 357 0 686900 0
Current children cumulated CPU time (s) 101.17
Current children cumulated vsize (KiB) 3945292

[startup+162.3 s]
/proc/loadavg: 2.12 2.10 2.10 3/181 24957
/proc/meminfo: memFree=22576020/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2768888 CPUtime=95.63 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 271583 0 0 0 9478 85 0 0 20 0 1 0 377190069 2835341312 574457 33554432000 4194304 5654031 140735131398432 140735131386248 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 692222 574457 140 357 0 691862 0
Current children cumulated CPU time (s) 161.16
Current children cumulated vsize (KiB) 3965140

[startup+222.3 s]
/proc/loadavg: 2.04 2.08 2.09 3/181 24957
/proc/meminfo: memFree=22543500/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2792408 CPUtime=155.62 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 272247 0 0 0 15476 86 0 0 20 0 1 0 377190069 2859425792 580231 33554432000 4194304 5654031 140735131398432 140735131386248 4232628 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 698102 580231 140 357 0 697742 0
Current children cumulated CPU time (s) 221.15
Current children cumulated vsize (KiB) 3988660

[startup+282.3 s]
/proc/loadavg: 2.01 2.06 2.08 3/179 24997
/proc/meminfo: memFree=20717628/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7

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

/proc/meminfo: memFree=15430580/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2792408 CPUtime=1295.27 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 272578 0 0 0 129441 86 0 0 20 0 1 0 377190069 2859425792 588142 33554432000 4194304 5654031 140735131398432 140735131386248 4214616 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 698102 588142 141 357 0 697742 0
Current children cumulated CPU time (s) 1360.8
Current children cumulated vsize (KiB) 3988660

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25012
/proc/meminfo: memFree=15428136/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2792408 CPUtime=1355.25 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 272592 0 0 0 135439 86 0 0 20 0 1 0 377190069 2859425792 588294 33554432000 4194304 5654031 140735131398432 140735131386248 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 698102 588294 141 357 0 697742 0
Current children cumulated CPU time (s) 1420.78
Current children cumulated vsize (KiB) 3988660

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25012
/proc/meminfo: memFree=15428128/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2792408 CPUtime=1415.23 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 272600 0 0 0 141437 86 0 0 20 0 1 0 377190069 2859425792 588294 33554432000 4194304 5654031 140735131398432 140735131386248 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 698102 588294 141 357 0 697742 0
Current children cumulated CPU time (s) 1480.76
Current children cumulated vsize (KiB) 3988660

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25013
/proc/meminfo: memFree=15426564/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2792408 CPUtime=1475.22 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 272632 0 0 0 147436 86 0 0 20 0 1 0 377190069 2859425792 588321 33554432000 4194304 5654031 140735131398432 140735131386248 4232800 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 698102 588321 141 357 0 697742 0
Current children cumulated CPU time (s) 1540.75
Current children cumulated vsize (KiB) 3988660

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25013
/proc/meminfo: memFree=15423380/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2792408 CPUtime=1535.18 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 272664 0 0 0 153432 86 0 0 20 0 1 0 377190069 2859425792 588321 33554432000 4194304 5654031 140735131398432 140735131386248 4214486 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 698102 588321 141 357 0 697742 0
Current children cumulated CPU time (s) 1600.71
Current children cumulated vsize (KiB) 3988660

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 25013
/proc/meminfo: memFree=15423264/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2792408 CPUtime=1595.15 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 272688 0 0 0 159429 86 0 0 20 0 1 0 377190069 2859425792 588322 33554432000 4194304 5654031 140735131398432 140735131386248 4219872 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 698102 588322 141 357 0 697742 0
Current children cumulated CPU time (s) 1660.68
Current children cumulated vsize (KiB) 3988660

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 25013
/proc/meminfo: memFree=15422504/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2792408 CPUtime=1655.14 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 272691 0 0 0 165428 86 0 0 20 0 1 0 377190069 2859425792 588325 33554432000 4194304 5654031 140735131398432 140735131386248 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 698102 588325 141 357 0 697742 0
Current children cumulated CPU time (s) 1720.67
Current children cumulated vsize (KiB) 3988660

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25013
/proc/meminfo: memFree=15422508/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2792408 CPUtime=1715.14 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 272694 0 0 0 171428 86 0 0 20 0 1 0 377190069 2859425792 588328 33554432000 4194304 5654031 140735131398432 140735131386248 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 698102 588328 141 357 0 697742 0
Current children cumulated CPU time (s) 1780.67
Current children cumulated vsize (KiB) 3988660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25013
/proc/meminfo: memFree=15420712/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2792408 CPUtime=1734.53 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 272702 0 0 0 173367 86 0 0 20 0 1 0 377190069 2859425792 588332 33554432000 4194304 5654031 140735131398432 140735131386248 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 698102 588332 141 357 0 697742 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3988660

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

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

[startup+1801.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25013
/proc/meminfo: memFree=15420712/32873648 swapFree=7388/7388
[pid=24948] ppid=24946 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24948/stat : 24948 (npSolver-pbo-It) S 24946 24948 23459 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377183404 9367552 275 33554432000 4194304 5064252 140736306987488 140736306986400 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24948/statm: 2287 275 233 213 0 72 0
[pid=24949] ppid=24948 vsize=1187104 CPUtime=65.53 cores=1,3,5,7
/proc/24949/stat : 24949 (npSolver-pbo) S 24948 24948 23459 0 -1 4202496 29759 24095 0 0 1455 189 4630 279 20 0 1 0 377183404 1215594496 290044 33554432000 4194304 6004724 140735350607328 140735350593608 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/24949/statm: 296776 290044 173 442 0 296330 0
[pid=24957] ppid=24949 vsize=2792408 CPUtime=1734.53 cores=1,3,5,7
/proc/24957/stat : 24957 (glucosInc) R 24949 24948 23459 0 -1 4202496 272702 0 0 0 173367 86 0 0 20 0 1 0 377190069 2859425792 588332 33554432000 4194304 5654031 140735131398432 140735131386248 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24957/statm: 698102 588332 141 357 0 697742 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 3988660

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24948 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.72
CPU time (s): 1800.06
CPU user time (s): 1794.52
CPU system time (s): 5.54
CPU usage (%): 99.9081
Max. virtual memory (cumulated for all children) (KiB): 3988660

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

runsolver used 3.78043 second user time and 11.2843 second system time

The end

Launcher Data

Begin job on node148 at 2012-06-08 01:09:49
IDJOB=3746936
IDBENCH=92789
IDSOLVER=2332
FILE ID=node148/3746936-1339110589
RUNJOBID= node148-1339098177-23476
PBS_JOBID= 14643705
Free space on /tmp= 71064 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat50_6_9_4_ic.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3746936-1339110589/watcher-3746936-1339110589 -o /tmp/evaluation-result-3746936-1339110589/solver-3746936-1339110589 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3746936-1339110589.opb 885209637 HOME HOME

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

MD5SUM BENCH= 5ec7149b781e46400e7eef5bed8d1ab6
RANDOM SEED=885209637

node148.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26967580 kB
Buffers:          642656 kB
Cached:          3704344 kB
SwapCached:          560 kB
Active:          2512716 kB
Inactive:        2465816 kB
Active(anon):     621136 kB
Inactive(anon):    10620 kB
Active(file):    1891580 kB
Inactive(file):  2455196 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67107596 kB
Dirty:             20464 kB
Writeback:             0 kB
AnonPages:        703620 kB
Mapped:            12208 kB
Shmem:                36 kB
Slab:             788100 kB
SReclaimable:     232216 kB
SUnreclaim:       555884 kB
KernelStack:        1480 kB
PageTables:         5332 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     860636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    172032 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 69028 MiB
End job on node148 at 2012-06-08 01:39:53