Trace number 3725690

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.07 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_25_5.opb
MD5SUMcdccc05ac387e7ee9cb8ab81f53ca6f8
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-31
Best CPU time to get the best result obtained on this benchmark1797.22
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -31
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint25
Maximum length of a constraint49
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 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6226
Sum of products size (including duplicates)12452
Number of different products3113
Sum of products size6226

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.07/0.08	c 2012-06-02T14:07:11+0200
0.07/0.08	c arch = x86_64
0.07/0.08	c os = linux
0.07/0.08	c compiler = ghc 7.4
0.07/0.08	c packages:
0.07/0.08	c   OptDir-0.0.1
0.07/0.08	c   array-0.4.0.0
0.07/0.08	c   base-4.5.0.0
0.07/0.08	c   bytestring-0.9.2.1
0.07/0.08	c   containers-0.4.2.1
0.07/0.08	c   deepseq-1.3.0.0
0.07/0.08	c   mtl-2.1.1
0.07/0.08	c   old_locale-1.0.0.4
0.07/0.08	c   parse_dimacs-1.2
0.07/0.08	c   parsec-3.1.2
0.07/0.08	c   queue-0.1.2
0.07/0.08	c   stm-2.3
0.07/0.08	c   time-1.4
0.07/0.08	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725690-1338638831.opb"]
0.07/0.08	c #vars 200
0.07/0.08	c #constraints 200
0.07/0.08	c Solving starts ...
0.07/0.08	c solving time = 0.002s
0.07/0.08	c #decision = 23
0.07/0.08	c #conflict = 0
0.07/0.08	c #restart = 0
0.07/0.08	o -23
0.07/0.08	c Solving starts ...
0.07/0.09	c solving time = 0.003s
0.07/0.09	c #decision = 46
0.07/0.09	c #conflict = 4
0.07/0.09	c #restart = 0
0.07/0.09	o -24
0.07/0.09	c Solving starts ...
1.89/1.98	c solving time = 1.890s
1.89/1.98	c #decision = 4268
1.89/1.98	c #conflict = 3139
1.89/1.98	c #restart = 6
1.89/1.98	o -25
1.89/1.98	c Solving starts ...
11.19/11.23	c learnt constraints deletion: 13238 -> 6619
20.28/20.34	c learnt constraints deletion: 15322 -> 7661
31.28/31.36	c learnt constraints deletion: 16528 -> 8264
40.18/40.26	c learnt constraints deletion: 16540 -> 8270
52.67/52.73	c learnt constraints deletion: 17859 -> 8930
62.97/63.02	c learnt constraints deletion: 17860 -> 8930
75.66/75.75	c learnt constraints deletion: 19315 -> 9658
89.55/89.61	c learnt constraints deletion: 19312 -> 9656
103.74/103.85	c learnt constraints deletion: 19313 -> 9657
116.94/117.03	c learnt constraints deletion: 20925 -> 10463
130.85/130.94	c learnt constraints deletion: 20927 -> 10464
144.14/144.27	c learnt constraints deletion: 20917 -> 10459
159.54/159.60	c learnt constraints deletion: 20918 -> 10459
177.23/177.39	c learnt constraints deletion: 22677 -> 11339
194.63/194.71	c learnt constraints deletion: 22681 -> 11341
214.22/214.38	c learnt constraints deletion: 22688 -> 11344
231.02/231.10	c learnt constraints deletion: 22676 -> 11338
249.32/249.42	c learnt constraints deletion: 22686 -> 11343
266.81/266.97	c learnt constraints deletion: 22676 -> 11338
284.31/284.48	c learnt constraints deletion: 24610 -> 12305
304.50/304.64	c learnt constraints deletion: 24625 -> 12313
326.99/327.10	c learnt constraints deletion: 24626 -> 12315
342.79/342.98	c learnt constraints deletion: 24622 -> 12311
361.59/361.76	c learnt constraints deletion: 24620 -> 12310
384.49/384.65	c learnt constraints deletion: 24616 -> 12308
405.28/405.47	c learnt constraints deletion: 24622 -> 12311
429.28/429.41	c learnt constraints deletion: 26755 -> 13378
449.27/449.45	c learnt constraints deletion: 26753 -> 13377
476.46/476.64	c learnt constraints deletion: 26764 -> 13384
495.36/495.58	c learnt constraints deletion: 26763 -> 13384
515.16/515.39	c learnt constraints deletion: 26753 -> 13377
540.06/540.28	c learnt constraints deletion: 26753 -> 13379
558.25/558.44	c learnt constraints deletion: 26764 -> 13382
584.95/585.16	c learnt constraints deletion: 26763 -> 13384
605.34/605.58	c learnt constraints deletion: 26749 -> 13377
623.34/623.56	c learnt constraints deletion: 26763 -> 13384
647.03/647.25	c learnt constraints deletion: 26758 -> 13384
670.42/670.62	c learnt constraints deletion: 29106 -> 14553
699.61/699.81	c learnt constraints deletion: 29100 -> 14551
718.80/719.09	c learnt constraints deletion: 29108 -> 14555
742.89/743.18	c learnt constraints deletion: 29109 -> 14557
771.48/771.78	c learnt constraints deletion: 29110 -> 14555
798.57/798.81	c learnt constraints deletion: 29104 -> 14554
816.17/816.43	c learnt constraints deletion: 29113 -> 14557
839.16/839.42	c learnt constraints deletion: 29104 -> 14553
859.76/860.02	c learnt constraints deletion: 29112 -> 14558
891.76/892.08	c learnt constraints deletion: 29105 -> 14555
920.75/921.04	c learnt constraints deletion: 29103 -> 14554
949.84/950.19	c learnt constraints deletion: 29111 -> 14556
968.44/968.70	c learnt constraints deletion: 29102 -> 14552
994.23/994.57	c learnt constraints deletion: 29101 -> 14553
1023.52/1023.86	c learnt constraints deletion: 29105 -> 14555
1057.51/1057.85	c learnt constraints deletion: 31689 -> 15845
1087.71/1088.02	c learnt constraints deletion: 31692 -> 15848
1108.51/1108.88	c learnt constraints deletion: 31693 -> 15847
1143.10/1143.40	c learnt constraints deletion: 31692 -> 15847
1167.29/1167.61	c learnt constraints deletion: 31692 -> 15847
1197.29/1197.69	c learnt constraints deletion: 31686 -> 15845
1224.19/1224.51	c learnt constraints deletion: 31681 -> 15841
1262.38/1262.76	c learnt constraints deletion: 31694 -> 15849
1284.77/1285.12	c learnt constraints deletion: 31680 -> 15842
1313.86/1314.29	c learnt constraints deletion: 31690 -> 15846
1339.55/1339.99	c learnt constraints deletion: 31692 -> 15848
1371.45/1371.88	c learnt constraints deletion: 31692 -> 15848
1396.35/1396.70	c learnt constraints deletion: 31683 -> 15842
1427.64/1428.02	c learnt constraints deletion: 31686 -> 15843
1461.33/1461.70	c learnt constraints deletion: 31690 -> 15845
1503.71/1504.15	c learnt constraints deletion: 31695 -> 15850
1525.41/1525.81	c learnt constraints deletion: 31690 -> 15845
1558.80/1559.29	c learnt constraints deletion: 31676 -> 15840
1584.60/1585.05	c learnt constraints deletion: 31689 -> 15847
1620.20/1620.61	c learnt constraints deletion: 31681 -> 15841
1656.68/1657.18	c learnt constraints deletion: 31693 -> 15849
1686.48/1686.97	c learnt constraints deletion: 34514 -> 17257
1719.07/1719.56	c learnt constraints deletion: 34529 -> 17265
1771.35/1771.85	c learnt constraints deletion: 34532 -> 17268
1794.65/1795.19	c learnt constraints deletion: 34530 -> 17266

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-3725690-1338638831/watcher-3725690-1338638831 -o /tmp/evaluation-result-3725690-1338638831/solver-3725690-1338638831 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725690-1338638831.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.93 1.99 1.96 3/174 19322
/proc/meminfo: memFree=29217252/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 814 0 0 0 0 0 0 0 20 0 1 0 330011575 6373376 735 33554432000 4194304 8989770 140737022469040 140737022468536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 1556 735 429 1171 0 333 0

[startup+0.0732279 s]
/proc/loadavg: 1.93 1.99 1.96 3/174 19322
/proc/meminfo: memFree=29217252/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=15440 CPUtime=0.07 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 2987 0 0 0 7 0 0 0 20 0 1 0 330011575 15810560 2908 33554432000 4194304 8989770 140737022469040 140737022468536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 3860 2908 442 1171 0 2637 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 15440

[startup+0.100321 s]
/proc/loadavg: 1.93 1.99 1.96 3/174 19322
/proc/meminfo: memFree=29217252/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=15440 CPUtime=0.09 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 3018 0 0 0 9 0 0 0 20 0 1 0 330011575 15810560 2939 33554432000 4194304 8989770 140737022469040 140737022468536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 3860 2939 471 1171 0 2637 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15440

[startup+0.300227 s]
/proc/loadavg: 1.93 1.99 1.96 3/174 19322
/proc/meminfo: memFree=29217252/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=19536 CPUtime=0.29 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 4204 0 0 0 29 0 0 0 20 0 1 0 330011575 20004864 4125 33554432000 4194304 8989770 140737022469040 140737022468536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 4884 4125 471 1171 0 3661 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19536

[startup+0.700225 s]
/proc/loadavg: 1.93 1.99 1.96 3/174 19322
/proc/meminfo: memFree=29217252/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=22608 CPUtime=0.69 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 4972 0 0 0 69 0 0 0 20 0 1 0 330011575 23150592 4893 33554432000 4194304 8989770 140737022469040 140737022468536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 5652 4893 471 1171 0 4429 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22608

[startup+1.50023 s]
/proc/loadavg: 1.93 1.99 1.96 3/175 19323
/proc/meminfo: memFree=29196148/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=29776 CPUtime=1.49 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 6764 0 0 0 148 1 0 0 20 0 1 0 330011575 30490624 6685 33554432000 4194304 8989770 140737022469040 140737022468536 6586361 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 7444 6685 471 1171 0 6221 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 29776

[startup+3.10022 s]
/proc/loadavg: 1.93 1.99 1.96 3/175 19323
/proc/meminfo: memFree=29187204/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=41040 CPUtime=3.09 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 9364 0 0 0 307 2 0 0 20 0 1 0 330011575 42024960 9285 33554432000 4194304 8989770 140737022469040 140737022468536 7617738 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 10260 9285 471 1171 0 9037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 41040

[startup+6.30023 s]
/proc/loadavg: 1.94 1.99 1.96 3/175 19323
/proc/meminfo: memFree=29166620/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=59472 CPUtime=6.29 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 14188 0 0 0 625 4 0 0 20 0 1 0 330011575 60899328 14109 33554432000 4194304 8989770 140737022469040 140737022468536 4452476 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 14868 14109 471 1171 0 13645 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59472

[startup+12.7002 s]
/proc/loadavg: 1.94 1.99 1.96 3/175 19323
/proc/meminfo: memFree=29132824/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=87120 CPUtime=12.69 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 21106 0 0 0 1262 7 0 0 20 0 1 0 330011575 89210880 21027 33554432000 4194304 8989770 140737022469040 140737022468536 7670140 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 21780 21027 473 1171 0 20557 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87120

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.96 3/175 19324
/proc/meminfo: memFree=29117704/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=100432 CPUtime=25.49 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 25463 0 0 0 2539 10 0 0 20 0 1 0 330011575 102842368 24360 33554432000 4194304 8989770 140737022469040 140737022468304 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 25108 24360 473 1171 0 23885 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 100432

[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.96 3/175 19324
/proc/meminfo: memFree=29116808/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=96336 CPUtime=51.08 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 26237 0 0 0 5093 15 0 0 20 0 1 0 330011575 98648064 23336 33554432000 4194304 8989770 140737022469040 140737022468536 4451620 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 24084 23336 473 1171 0 22861 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 96336

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.96 3/175 19324
/proc/meminfo: memFree=29071900/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=128080 CPUtime=102.24 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 37793 0 0 0 10198 26 0 0 20 0 1 0 330011575 131153920 31272 33554432000 4194304 8989770 140737022469040 140737022468536 7857787 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 32020 31272 473 1171 0 30797 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 128080

[startup+162.3 s]
/proc/loadavg: 2.04 2.00 1.97 3/175 19324
/proc/meminfo: memFree=29044996/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=132176 CPUtime=162.23 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 46497 0 0 0 16185 38 0 0 20 0 1 0 330011575 135348224 32296 33554432000 4194304 8989770 140737022469040 140737022468304 7675353 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 33044 32296 473 1171 0 31821 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 132176

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/176 19327
/proc/meminfo: memFree=29047604/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=128080 CPUtime=222.22 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 63143 0 0 0 22171 51 0 0 20 0 1 0 330011575 131153920 31272 33554432000 4194304 8989770 140737022469040 140737022451008 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 32020 31272 473 1171 0 30797 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 128080

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 19327
/proc/meminfo: memFree=29047536/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=128080 CPUtime=282.21 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 70324 0 0 0 28160 61 0 0 20 0 1 0 330011575 131153920 31272 33554432000 4194304 8989770 140737022469040 140737022468536 4469601 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 32020 31272 473 1171 0 30797 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 128080

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 19328
/proc/meminfo: memFree=29040588/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=134224 CPUtime=342.19 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 89790 0 0 0 34147 72 0 0 20 0 1 0 330011575 137445376 32808 33554432000 4194304 8989770 140737022469040 140737022468304 4451620 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 33556 32808 473 1171 0 32333 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 134224

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/175 19328
/proc/meminfo: memFree=29022868/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=164944 CPUtime=402.19 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 100286 0 0 0 40137 82 0 0 20 0 1 0 330011575 168902656 40488 33554432000 4194304 8989770 140737022469040 140737022468536 4469712 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 41236 40488 473 1171 0 40013 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 164944

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/174 19328
/proc/meminfo: memFree=29019124/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=170064 CPUtime=462.18 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 106174 0 0 0 46125 93 0 0 20 0 1 0 330011575 174145536 41768 33554432000 4194304 8989770 140737022469040 140737022468536 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 42516 41768 473 1171 0 41293 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 170064

[startup+522.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/175 19329
/proc/meminfo: memFree=29040064/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=153680 CPUtime=522.16 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 119495 0 0 0 52113 103 0 0 20 0 1 0 330011575 157368320 37672 33554432000 4194304 8989770 140737022469040 140737022468536 4451620 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 38420 37672 473 1171 0 37197 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 153680

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 19329
/proc/meminfo: memFree=28983744/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=199760 CPUtime=582.15 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 145095 0 0 0 58100 115 0 0 20 0 1 0 330011575 204554240 49192 33554432000 4194304 8989770 140737022469040 140737022468536 6855741 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 49940 49192 473 1171 0 48717 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 199760

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 19333
/proc/meminfo: memFree=29020504/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=148560 CPUtime=882.05 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 235788 0 0 0 88029 176 0 0 20 0 1 0 330011575 152125440 36392 33554432000 4194304 8989770 140737022469040 140737022468536 6858231 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 37140 36392 473 1171 0 35917 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 148560

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 19334
/proc/meminfo: memFree=28975332/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=193616 CPUtime=942.05 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 248081 0 0 0 94018 187 0 0 20 0 1 0 330011575 198262784 47656 33554432000 4194304 8989770 140737022469040 140737022468304 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 48404 47656 473 1171 0 47181 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 193616

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 19334
/proc/meminfo: memFree=28958472/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=205904 CPUtime=1002.03 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 262426 0 0 0 100004 199 0 0 20 0 1 0 330011575 210845696 50728 33554432000 4194304 8989770 140737022469040 140737022468536 6591971 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 51476 50728 473 1171 0 50253 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 205904

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 19334
/proc/meminfo: memFree=28995092/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=168016 CPUtime=1062.02 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 266279 0 0 0 105992 210 0 0 20 0 1 0 330011575 172048384 41256 33554432000 4194304 8989770 140737022469040 140737022468536 6586560 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 42004 41256 473 1171 0 40781 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 168016

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 19334
/proc/meminfo: memFree=28964436/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=198736 CPUtime=1122.01 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 286247 0 0 0 111978 223 0 0 20 0 1 0 330011575 203505664 48936 33554432000 4194304 8989770 140737022469040 140737022468536 4451817 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 49684 48936 473 1171 0 48461 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 198736

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 19334
/proc/meminfo: memFree=28966068/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=198736 CPUtime=1182 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 308519 0 0 0 117963 237 0 0 20 0 1 0 330011575 203505664 48936 33554432000 4194304 8989770 140737022469040 140737022468536 4213743 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 49684 48936 473 1171 0 48461 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 198736

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 19335
/proc/meminfo: memFree=28953416/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=207952 CPUtime=1241.98 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 320814 0 0 0 123950 248 0 0 20 0 1 0 330011575 212942848 51240 33554432000 4194304 8989770 140737022469040 140737022468536 4438168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 51988 51240 473 1171 0 50765 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 207952

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 19335
/proc/meminfo: memFree=29003000/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=144464 CPUtime=1301.97 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 328767 0 0 0 129938 259 0 0 20 0 1 0 330011575 147931136 35368 33554432000 4194304 8989770 140737022469040 140737022468536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 36116 35368 473 1171 0 34893 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 144464

[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/175 19335
/proc/meminfo: memFree=28993608/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=164944 CPUtime=1361.96 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 350532 0 0 0 135923 273 0 0 20 0 1 0 330011575 168902656 40488 33554432000 4194304 8989770 140737022469040 140737022467008 4438168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 41236 40488 473 1171 0 40013 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 164944

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 1.98 3/176 19338
/proc/meminfo: memFree=28970292/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=181328 CPUtime=1421.95 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 360260 0 0 0 141910 285 0 0 20 0 1 0 330011575 185679872 44584 33554432000 4194304 8989770 140737022469040 140737022468536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 45332 44584 473 1171 0 44109 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 181328

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 19338
/proc/meminfo: memFree=28939528/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=214096 CPUtime=1481.92 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 369994 0 0 0 147897 295 0 0 20 0 1 0 330011575 219234304 52776 33554432000 4194304 8989770 140737022469040 140737022468536 6586400 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 53524 52776 473 1171 0 52301 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 214096

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/174 19338
/proc/meminfo: memFree=28936400/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=206928 CPUtime=1541.9 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 386910 0 0 0 153885 305 0 0 20 0 1 0 330011575 211894272 50984 33554432000 4194304 8989770 140737022469040 140737022468536 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 51732 50984 473 1171 0 50509 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 206928

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 19339
/proc/meminfo: memFree=28954856/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=160848 CPUtime=1601.9 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 397665 0 0 0 159875 315 0 0 20 0 1 0 330011575 164708352 39464 33554432000 4194304 8989770 140737022469040 140737022468536 4545037 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 40212 39464 473 1171 0 38989 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 160848

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/175 19339
/proc/meminfo: memFree=28977804/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=144464 CPUtime=1661.88 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 414049 0 0 0 165863 325 0 0 20 0 1 0 330011575 147931136 35368 33554432000 4194304 8989770 140737022469040 140737022468536 4438168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 36116 35368 473 1171 0 34893 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 144464

[startup+1722.3 s]
/proc/loadavg: 1.97 1.99 1.98 3/175 19416
/proc/meminfo: memFree=28987140/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=184400 CPUtime=1721.87 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 430183 0 0 0 171849 338 0 0 20 0 1 0 330011575 188825600 45352 33554432000 4194304 8989770 140737022469040 140737022468536 4380288 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 46100 45352 473 1171 0 44877 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 184400

[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.98 3/175 19416
/proc/meminfo: memFree=29003480/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=156752 CPUtime=1781.85 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 446590 0 0 0 177836 349 0 0 20 0 1 0 330011575 160514048 38440 33554432000 4194304 8989770 140737022469040 140737022468536 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 39188 38440 473 1171 0 37965 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 156752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.07 2.01 1.99 3/175 19416
/proc/meminfo: memFree=28966620/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=191568 CPUtime=1800.05 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 455297 0 0 0 179651 354 0 0 20 0 1 0 330011575 196165632 47144 33554432000 4194304 8989770 140737022469040 140737022468536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 47892 47144 473 1171 0 46669 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 191568

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

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

[startup+1800.5 s]
/proc/loadavg: 2.07 2.01 1.99 3/175 19416
/proc/meminfo: memFree=28966620/32873844 swapFree=6088/6088
[pid=19322] ppid=19320 vsize=191568 CPUtime=1800.05 cores=0,2,4,6
/proc/19322/stat : 19322 (toysat) R 19320 19322 18556 0 -1 4202496 455297 0 0 0 179651 354 0 0 20 0 1 0 330011575 196165632 47144 33554432000 4194304 8989770 140737022469040 140737022468536 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/19322/statm: 47892 47144 473 1171 0 46669 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 191568

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1796.51
CPU system time (s): 3.55546
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 249936

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.51
system time used= 3.55546
maximum resident set size= 246944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 455297
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= 274
involuntary context switches= 1828

runsolver used 3.67044 second user time and 7.98379 second system time

The end

Launcher Data 

Begin job on node110 at 2012-06-02 14:07:11
IDJOB=3725690
IDBENCH=48205
IDSOLVER=2308
FILE ID=node110/3725690-1338638831
RUNJOBID= node110-1338631507-18572
PBS_JOBID= 14636470
Free space on /tmp= 71128 MiB

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

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

MD5SUM BENCH= cdccc05ac387e7ee9cb8ab81f53ca6f8
RANDOM SEED=1281731813

node110.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.893
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.78
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.893
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.893
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.893
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.893
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.893
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.90
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.893
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.893
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:       32873844 kB
MemFree:        29217516 kB
Buffers:          387392 kB
Cached:          2372480 kB
SwapCached:          604 kB
Active:          1290380 kB
Inactive:        1522228 kB
Active(anon):      42820 kB
Inactive(anon):    12328 kB
Active(file):    1247560 kB
Inactive(file):  1509900 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67107364 kB
Dirty:              7388 kB
Writeback:             0 kB
AnonPages:         58316 kB
Mapped:            13440 kB
Shmem:                40 kB
Slab:             705436 kB
SReclaimable:     147520 kB
SUnreclaim:       557916 kB
KernelStack:        1416 kB
PageTables:         3944 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     154192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71120 MiB
End job on node110 at 2012-06-02 14:37:14