Trace number 3725625

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2012-06-01? (TO) 1800.09 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-58
Best CPU time to get the best result obtained on this benchmark1796.84
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

Solver Data 

0.00/0.07	c 2012-06-02T14:16:02+0200
0.00/0.07	c arch = x86_64
0.00/0.07	c os = linux
0.00/0.07	c compiler = ghc 7.4
0.00/0.07	c packages:
0.00/0.07	c   OptDir-0.0.1
0.00/0.07	c   array-0.4.0.0
0.00/0.07	c   base-4.5.0.0
0.00/0.07	c   bytestring-0.9.2.1
0.00/0.07	c   containers-0.4.2.1
0.00/0.07	c   deepseq-1.3.0.0
0.00/0.07	c   mtl-2.1.1
0.00/0.07	c   old_locale-1.0.0.4
0.00/0.07	c   parse_dimacs-1.2
0.00/0.07	c   parsec-3.1.2
0.00/0.07	c   queue-0.1.2
0.00/0.07	c   stm-2.3
0.00/0.07	c   time-1.4
0.00/0.07	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725625-1338639362.opb"]
0.00/0.07	c #vars 400
0.00/0.07	c #constraints 601
0.00/0.07	c Solving starts ...
1.68/1.73	c solving time = 1.661s
1.68/1.73	c #decision = 10198
1.68/1.73	c #conflict = 1465
1.68/1.73	c #restart = 5
1.68/1.73	o -37
1.68/1.73	c Solving starts ...
17.68/17.74	c solving time = 16.008s
17.68/17.74	c #decision = 12142
17.68/17.74	c #conflict = 2368
17.68/17.74	c #restart = 9
17.68/17.74	o -38
17.68/17.74	c Solving starts ...
67.77/67.87	c learnt constraints deletion: 9856 -> 4928
101.66/101.75	c learnt constraints deletion: 12029 -> 6024
134.55/134.61	c learnt constraints deletion: 13177 -> 6589
166.95/167.05	c learnt constraints deletion: 14223 -> 7198
201.74/201.87	c learnt constraints deletion: 14154 -> 7164
233.93/234.01	c learnt constraints deletion: 15184 -> 7680
272.23/272.37	c learnt constraints deletion: 15379 -> 7763
307.72/307.82	c learnt constraints deletion: 16656 -> 8407
347.31/347.46	c learnt constraints deletion: 16672 -> 8406
374.11/374.28	c learnt constraints deletion: 16632 -> 8402
398.41/398.57	c learnt constraints deletion: 16805 -> 8495
431.71/431.80	c learnt constraints deletion: 18068 -> 9106
460.29/460.44	c learnt constraints deletion: 18035 -> 9095
483.20/483.38	c learnt constraints deletion: 18117 -> 9138
502.29/502.46	c learnt constraints deletion: 17905 -> 9018
524.59/524.70	c learnt constraints deletion: 18416 -> 9208
551.69/551.84	c learnt constraints deletion: 19698 -> 9851
575.68/575.82	c learnt constraints deletion: 19552 -> 9825
595.37/595.50	c learnt constraints deletion: 19673 -> 9892
613.58/613.73	c learnt constraints deletion: 19749 -> 9944
630.57/630.77	c learnt constraints deletion: 19591 -> 9838
653.07/653.20	c learnt constraints deletion: 19729 -> 9908
673.26/673.42	c learnt constraints deletion: 21404 -> 10757
694.66/694.90	c learnt constraints deletion: 21089 -> 10580
717.96/718.12	c learnt constraints deletion: 21258 -> 10667
740.66/740.85	c learnt constraints deletion: 21345 -> 10723
760.55/760.72	c learnt constraints deletion: 21456 -> 10779
780.35/780.58	c learnt constraints deletion: 21166 -> 10619
806.05/806.29	c learnt constraints deletion: 21428 -> 10759
826.14/826.37	c learnt constraints deletion: 21250 -> 10671
849.14/849.33	c learnt constraints deletion: 21256 -> 10665
873.23/873.44	c learnt constraints deletion: 23115 -> 11591
896.82/897.04	c learnt constraints deletion: 23042 -> 11556
919.12/919.34	c learnt constraints deletion: 23210 -> 11657
940.41/940.65	c learnt constraints deletion: 23387 -> 11728
965.62/965.84	c learnt constraints deletion: 23294 -> 11685
983.60/983.81	c learnt constraints deletion: 23155 -> 11638
1003.90/1004.12	c learnt constraints deletion: 23287 -> 11678
1022.70/1022.94	c learnt constraints deletion: 23031 -> 11552
1043.79/1044.09	c learnt constraints deletion: 21250 -> 10627
1069.50/1069.70	c learnt constraints deletion: 23194 -> 11600
1094.89/1095.13	c learnt constraints deletion: 23094 -> 11559
1119.38/1119.60	c learnt constraints deletion: 23167 -> 11591
1145.89/1146.10	c learnt constraints deletion: 23175 -> 11607
1171.88/1172.12	c learnt constraints deletion: 25366 -> 12689
1195.37/1195.61	c learnt constraints deletion: 25451 -> 12742
1223.76/1224.01	c learnt constraints deletion: 25366 -> 12690
1249.16/1249.44	c learnt constraints deletion: 25315 -> 12696
1275.56/1275.80	c learnt constraints deletion: 25364 -> 12690
1298.25/1298.59	c learnt constraints deletion: 25448 -> 12734
1327.25/1327.55	c learnt constraints deletion: 25231 -> 12626
1349.75/1350.08	c learnt constraints deletion: 25476 -> 12750
1374.84/1375.17	c learnt constraints deletion: 25364 -> 12693
1401.73/1402.06	c learnt constraints deletion: 25442 -> 12747
1424.83/1425.15	c learnt constraints deletion: 25375 -> 12700
1448.83/1449.12	c learnt constraints deletion: 25232 -> 12635
1471.12/1471.47	c learnt constraints deletion: 25263 -> 12652
1492.12/1492.46	c learnt constraints deletion: 25293 -> 12667
1514.81/1515.15	c learnt constraints deletion: 25427 -> 12742
1537.00/1537.30	c learnt constraints deletion: 25350 -> 12706
1557.21/1557.59	c learnt constraints deletion: 25463 -> 12773
1577.50/1577.86	c learnt constraints deletion: 25687 -> 12844
1626.30/1626.61	c learnt constraints deletion: 27484 -> 13742
1673.99/1674.31	c learnt constraints deletion: 27449 -> 13731
1711.98/1712.34	c learnt constraints deletion: 27572 -> 13798
1739.89/1740.28	c learnt constraints deletion: 27670 -> 13863
1777.57/1777.91	c learnt constraints deletion: 27560 -> 13783

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-3725625-1338639362/watcher-3725625-1338639362 -o /tmp/evaluation-result-3725625-1338639362/solver-3725625-1338639362 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725625-1338639362.opb 

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

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: 1.92 1.98 1.98 3/176 501
/proc/meminfo: memFree=25110708/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 788 0 0 0 0 0 0 0 20 0 1 0 330063509 6373376 708 33554432000 4194304 8989770 140734619629824 140734619629320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 1556 708 428 1171 0 333 0

[startup+0.0884569 s]
/proc/loadavg: 1.92 1.98 1.98 3/176 501
/proc/meminfo: memFree=25110708/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=15440 CPUtime=0.08 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 3036 0 0 0 8 0 0 0 20 0 1 0 330063509 15810560 2956 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 3860 2956 459 1171 0 2637 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 15440

[startup+0.100326 s]
/proc/loadavg: 1.92 1.98 1.98 3/176 501
/proc/meminfo: memFree=25110708/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=15440 CPUtime=0.09 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 3036 0 0 0 9 0 0 0 20 0 1 0 330063509 15810560 2956 33554432000 4194304 8989770 140734619629824 140734619629320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 3860 2956 459 1171 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15440

[startup+0.300288 s]
/proc/loadavg: 1.92 1.98 1.98 3/176 501
/proc/meminfo: memFree=25110708/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=17488 CPUtime=0.29 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 3681 0 0 0 29 0 0 0 20 0 1 0 330063509 17907712 3601 33554432000 4194304 8989770 140734619629824 140734619629320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 4372 3601 459 1171 0 3149 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17488

[startup+0.700284 s]
/proc/loadavg: 1.92 1.98 1.98 3/176 501
/proc/meminfo: memFree=25110708/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=18512 CPUtime=0.69 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 3937 0 0 0 69 0 0 0 20 0 1 0 330063509 18956288 3857 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 4628 3857 459 1171 0 3405 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18512

[startup+1.50028 s]
/proc/loadavg: 1.92 1.98 1.98 3/177 502
/proc/meminfo: memFree=25097184/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=20560 CPUtime=1.48 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 4449 0 0 0 148 0 0 0 20 0 1 0 330063509 21053440 4369 33554432000 4194304 8989770 140734619629824 140734619629320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 5140 4369 459 1171 0 3917 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 20560

[startup+3.10028 s]
/proc/loadavg: 1.92 1.98 1.98 3/177 502
/proc/meminfo: memFree=25091604/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=23632 CPUtime=3.08 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 5228 0 0 0 308 0 0 0 20 0 1 0 330063509 24199168 5148 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 5908 5148 470 1171 0 4685 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 23632

[startup+6.30029 s]
/proc/loadavg: 1.93 1.98 1.98 3/177 502
/proc/meminfo: memFree=25091232/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=23632 CPUtime=6.29 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 5228 0 0 0 628 1 0 0 20 0 1 0 330063509 24199168 5148 33554432000 4194304 8989770 140734619629824 140734619629088 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 5908 5148 470 1171 0 4685 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23632

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.98 3/177 502
/proc/meminfo: memFree=25090032/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=24656 CPUtime=12.68 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 5484 0 0 0 1266 2 0 0 20 0 1 0 330063509 25247744 5404 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 6164 5404 470 1171 0 4941 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24656

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.98 3/177 502
/proc/meminfo: memFree=25086312/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=28752 CPUtime=25.48 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 6508 0 0 0 2544 4 0 0 20 0 1 0 330063509 29442048 6428 33554432000 4194304 8989770 140734619629824 140734619629088 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 7188 6428 470 1171 0 5965 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 28752

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.98 3/177 502
/proc/meminfo: memFree=25074704/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=40016 CPUtime=51.07 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 9329 0 0 0 5097 10 0 0 20 0 1 0 330063509 40976384 9251 33554432000 4194304 8989770 140734619629824 140734619629088 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 10004 9251 470 1171 0 8781 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 40016

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.98 3/177 543
/proc/meminfo: memFree=25473660/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=85072 CPUtime=102.26 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 20605 0 0 0 10204 22 0 0 20 0 1 0 330063509 87113728 20517 33554432000 4194304 8989770 140734619629824 140734619627776 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 21268 20517 472 1171 0 20045 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 85072

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 543
/proc/meminfo: memFree=25367840/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=99408 CPUtime=162.25 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 24189 0 0 0 16192 33 0 0 20 0 1 0 330063509 101793792 24101 33554432000 4194304 8989770 140734619629824 140734619629320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 24852 24101 472 1171 0 23629 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 99408

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 543
/proc/meminfo: memFree=25334552/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=83024 CPUtime=222.24 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 25213 0 0 0 22180 44 0 0 20 0 1 0 330063509 85016576 20005 33554432000 4194304 8989770 140734619629824 140734619627840 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 20756 20005 472 1171 0 19533 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 83024

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/178 546
/proc/meminfo: memFree=25377792/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=85072 CPUtime=282.23 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 27780 0 0 0 28167 56 0 0 20 0 1 0 330063509 87113728 20517 33554432000 4194304 8989770 140734619629824 140734619629088 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 21268 20517 472 1171 0 20045 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 85072

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 546
/proc/meminfo: memFree=25356972/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=105552 CPUtime=342.22 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 32900 0 0 0 34155 67 0 0 20 0 1 0 330063509 108085248 25637 33554432000 4194304 8989770 140734619629824 140734619627776 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 26388 25637 472 1171 0 25165 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 105552

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/176 546
/proc/meminfo: memFree=25329336/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=137296 CPUtime=402.21 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 40836 0 0 0 40141 80 0 0 20 0 1 0 330063509 140591104 33573 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 34324 33573 472 1171 0 33101 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 137296

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 547
/proc/meminfo: memFree=25342048/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=123984 CPUtime=462.2 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 40843 0 0 0 46130 90 0 0 20 0 1 0 330063509 126959616 30245 33554432000 4194304 8989770 140734619629824 140734619629320 4209198 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 30996 30245 472 1171 0 29773 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 123984

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 547
/proc/meminfo: memFree=25354716/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=111696 CPUtime=522.18 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 43915 0 0 0 52115 103 0 0 20 0 1 0 330063509 114376704 27173 33554432000 4194304 8989770 140734619629824 140734619627776 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 27924 27173 472 1171 0 26701 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 111696

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.98 3/177 547
/proc/meminfo: memFree=25335000/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=130128 CPUtime=582.18 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 48523 0 0 0 58102 116 0 0 20 0 1 0 330063509 133251072 31781 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 32532 31781 472 1171 0 31309 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 130128

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.07 2.00 1.99 3/177 548
/proc/meminfo: memFree=25275892/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=156752 CPUtime=822.14 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 64654 0 0 0 82038 176 0 0 20 0 1 0 330063509 160514048 38437 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 39188 38437 472 1171 0 37965 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 156752

[startup+882.3 s]
/proc/loadavg: 2.02 2.00 1.99 3/178 551
/proc/meminfo: memFree=25251352/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=173136 CPUtime=882.13 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 73618 0 0 0 88023 190 0 0 20 0 1 0 330063509 177291264 42533 33554432000 4194304 8989770 140734619629824 140734619629088 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 43284 42533 472 1171 0 42061 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 173136

[startup+942.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 551
/proc/meminfo: memFree=25247240/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=171088 CPUtime=942.12 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 74137 0 0 0 94006 206 0 0 20 0 1 0 330063509 175194112 42021 33554432000 4194304 8989770 140734619629824 140734619629320 4208818 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 42772 42021 472 1171 0 41549 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 171088

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 552
/proc/meminfo: memFree=25238864/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=172112 CPUtime=1002.1 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 75929 0 0 0 99991 219 0 0 20 0 1 0 330063509 176242688 42277 33554432000 4194304 8989770 140734619629824 140734619629088 4209220 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 43028 42277 472 1171 0 41805 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 172112

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 553
/proc/meminfo: memFree=25226640/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=173136 CPUtime=1062.1 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 80025 0 0 0 105974 236 0 0 20 0 1 0 330063509 177291264 42533 33554432000 4194304 8989770 140734619629824 140734619629088 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 43284 42533 472 1171 0 42061 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 173136

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 553
/proc/meminfo: memFree=25171436/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=216144 CPUtime=1122.08 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 90777 0 0 0 111957 251 0 0 20 0 1 0 330063509 221331456 53285 33554432000 4194304 8989770 140734619629824 140734619629320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 54036 53285 472 1171 0 52813 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 216144

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 553
/proc/meminfo: memFree=25155076/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=218192 CPUtime=1182.08 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 94113 0 0 0 117940 268 0 0 20 0 1 0 330063509 223428608 53797 33554432000 4194304 8989770 140734619629824 140734619629320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 54548 53797 472 1171 0 53325 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 218192

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 553
/proc/meminfo: memFree=25114764/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=241744 CPUtime=1242.06 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 100517 0 0 0 123922 284 0 0 20 0 1 0 330063509 247545856 59685 33554432000 4194304 8989770 140734619629824 140734619629320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 60436 59685 472 1171 0 59213 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 241744

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 553
/proc/meminfo: memFree=25114936/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=233552 CPUtime=1302.05 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 113829 0 0 0 129903 302 0 0 20 0 1 0 330063509 239157248 57637 33554432000 4194304 8989770 140734619629824 140734619629320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 58388 57637 472 1171 0 57165 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 233552

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 554
/proc/meminfo: memFree=25113188/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=226384 CPUtime=1362.04 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 115621 0 0 0 135886 318 0 0 20 0 1 0 330063509 231817216 55845 33554432000 4194304 8989770 140734619629824 140734619629320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 56596 55845 472 1171 0 55373 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 226384

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 554
/proc/meminfo: memFree=25098536/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=230480 CPUtime=1422.04 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 124069 0 0 0 141869 335 0 0 20 0 1 0 330063509 236011520 56869 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 57620 56869 472 1171 0 56397 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 230480

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 557
/proc/meminfo: memFree=25059904/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=264272 CPUtime=1482.02 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 132517 0 0 0 147851 351 0 0 20 0 1 0 330063509 270614528 65317 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 66068 65317 472 1171 0 64845 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 264272

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 557
/proc/meminfo: memFree=25032424/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=283728 CPUtime=1542.01 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 140722 0 0 0 153832 369 0 0 20 0 1 0 330063509 290537472 70181 33554432000 4194304 8989770 140734619629824 140734619629088 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 70932 70181 472 1171 0 69709 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 283728

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 557
/proc/meminfo: memFree=25064808/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=246864 CPUtime=1602 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 145842 0 0 0 159816 384 0 0 20 0 1 0 330063509 252788736 60965 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 61716 60965 472 1171 0 60493 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 246864

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 558
/proc/meminfo: memFree=25043108/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=258128 CPUtime=1661.98 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 148658 0 0 0 165800 398 0 0 20 0 1 0 330063509 264323072 63781 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 64532 63781 472 1171 0 63309 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 258128

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 558
/proc/meminfo: memFree=25017084/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=283728 CPUtime=1721.98 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 159666 0 0 0 171783 415 0 0 20 0 1 0 330063509 290537472 70181 33554432000 4194304 8989770 140734619629824 140734619629320 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 70932 70181 472 1171 0 69709 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 283728

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 558
/proc/meminfo: memFree=25022264/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=271440 CPUtime=1781.97 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 159666 0 0 0 177769 428 0 0 20 0 1 0 330063509 277954560 67109 33554432000 4194304 8989770 140734619629824 140734619629088 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 67860 67109 472 1171 0 66637 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 271440



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 558
/proc/meminfo: memFree=25017448/32873648 swapFree=6852/6852
[pid=501] ppid=499 vsize=271440 CPUtime=1800.07 cores=0,2,4,6
/proc/501/stat : 501 (toysat) R 499 501 32340 0 -1 4202496 159666 0 0 0 179575 432 0 0 20 0 1 0 330063509 277954560 67109 33554432000 4194304 8989770 140734619629824 140734619629320 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/501/statm: 67860 67109 472 1171 0 66637 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 271440

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1795.76
CPU system time (s): 4.33034
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 304208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.76
system time used= 4.33034
maximum resident set size= 301204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 159666
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= 71
involuntary context switches= 2150

runsolver used 3.66044 second user time and 9.11461 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-02 14:16:02
IDJOB=3725625
IDBENCH=48240
IDSOLVER=2308
FILE ID=node112/3725625-1338639362
RUNJOBID= node112-1338631508-32356
PBS_JOBID= 14636468
Free space on /tmp= 71220 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725625-1338639362/watcher-3725625-1338639362 -o /tmp/evaluation-result-3725625-1338639362/solver-3725625-1338639362 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725625-1338639362.opb

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

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
RANDOM SEED=63388183

node112.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		: 2666.763
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	: 5333.52
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		: 2666.763
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.91
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		: 2666.763
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		: 2666.763
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		: 2666.763
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.92
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		: 2666.763
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.92
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		: 2666.763
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.91
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		: 2666.763
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        25111600 kB
Buffers:          531336 kB
Cached:          5835664 kB
SwapCached:            0 kB
Active:          2193060 kB
Inactive:        4710920 kB
Active(anon):     525688 kB
Inactive(anon):    10936 kB
Active(file):    1667372 kB
Inactive(file):  4699984 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7396 kB
Writeback:             0 kB
AnonPages:        541056 kB
Mapped:            16232 kB
Shmem:               200 kB
Slab:             721812 kB
SReclaimable:     165828 kB
SUnreclaim:       555984 kB
KernelStack:        1464 kB
PageTables:         5096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     647916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    518144 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= 71224 MiB
End job on node112 at 2012-06-02 14:46:05