Trace number 3725399

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.06 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/featureSubscription/
normalized-50-250-false-45-90-4-8000opt.opb
MD5SUM27275f75c57d1f68b1f0c26684ed17bf
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-162
Best CPU time to get the best result obtained on this benchmark42.0556
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2025
Total number of constraints62275
Number of constraints which are clauses62275
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 135
Biggest coefficient in the objective function 4
Number of bits for the biggest coefficient in the objective function 3
Sum of the numbers in the objective function 341
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 4
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 341
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

1.38/1.40	c 2012-06-02T14:35:44+0200
1.38/1.40	c arch = x86_64
1.38/1.40	c os = linux
1.38/1.40	c compiler = ghc 7.4
1.38/1.40	c packages:
1.38/1.40	c   OptDir-0.0.1
1.38/1.40	c   array-0.4.0.0
1.38/1.40	c   base-4.5.0.0
1.38/1.40	c   bytestring-0.9.2.1
1.38/1.40	c   containers-0.4.2.1
1.38/1.40	c   deepseq-1.3.0.0
1.38/1.40	c   mtl-2.1.1
1.38/1.40	c   old_locale-1.0.0.4
1.38/1.40	c   parse_dimacs-1.2
1.38/1.40	c   parsec-3.1.2
1.38/1.40	c   queue-0.1.2
1.38/1.40	c   stm-2.3
1.38/1.40	c   time-1.4
1.38/1.40	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725399-1338640544.opb"]
1.38/1.40	c #vars 2025
1.38/1.40	c #constraints 62275
1.38/1.40	c Solving starts ...
1.38/1.44	c solving time = 0.040s
1.38/1.44	c #decision = 492
1.38/1.44	c #conflict = 31
1.38/1.44	c #restart = 0
1.38/1.44	o -123
1.38/1.44	c Solving starts ...
4.99/5.04	c solving time = 3.598s
4.99/5.04	c #decision = 9975
4.99/5.04	c #conflict = 6698
4.99/5.04	c #restart = 8
4.99/5.04	o -126
4.99/5.04	c Solving starts ...
5.49/5.57	c solving time = 0.522s
5.49/5.57	c #decision = 11508
5.49/5.57	c #conflict = 7492
5.49/5.57	c #restart = 11
5.49/5.57	o -127
5.49/5.57	c Solving starts ...
6.18/6.20	c solving time = 0.635s
6.18/6.20	c #decision = 13244
6.18/6.20	c #conflict = 8422
6.18/6.20	c #restart = 15
6.18/6.20	o -128
6.18/6.21	c Solving starts ...
6.78/6.81	c solving time = 0.602s
6.78/6.81	c #decision = 14749
6.78/6.81	c #conflict = 9217
6.78/6.81	c #restart = 18
6.78/6.81	o -129
6.78/6.81	c Solving starts ...
7.79/7.87	c solving time = 1.058s
7.79/7.87	c #decision = 17131
7.79/7.87	c #conflict = 10654
7.79/7.87	c #restart = 23
7.79/7.87	o -130
7.79/7.87	c Solving starts ...
7.89/7.90	c solving time = 0.026s
7.89/7.90	c #decision = 17509
7.89/7.90	c #conflict = 10655
7.89/7.90	c #restart = 23
7.89/7.90	o -132
7.89/7.90	c Solving starts ...
7.98/8.09	c solving time = 0.195s
7.98/8.09	c #decision = 18071
7.98/8.09	c #conflict = 10793
7.98/8.09	c #restart = 24
7.98/8.09	o -133
7.98/8.09	c Solving starts ...
8.08/8.14	c solving time = 0.042s
8.08/8.14	c #decision = 18475
8.08/8.14	c #conflict = 10821
8.08/8.14	c #restart = 24
8.08/8.14	o -134
8.08/8.14	c Solving starts ...
9.59/9.64	c solving time = 1.500s
9.59/9.64	c #decision = 21325
9.59/9.64	c #conflict = 12630
9.59/9.64	c #restart = 29
9.59/9.64	o -135
9.59/9.64	c Solving starts ...
14.38/14.47	c solving time = 4.826s
14.38/14.47	c #decision = 27960
14.38/14.47	c #conflict = 17697
14.38/14.47	c #restart = 37
14.38/14.47	o -137
14.38/14.47	c Solving starts ...
15.19/15.26	c solving time = 0.794s
15.19/15.26	c #decision = 29201
15.19/15.26	c #conflict = 18360
15.19/15.26	c #restart = 40
15.19/15.26	o -138
15.19/15.26	c Solving starts ...
15.19/15.30	c solving time = 0.031s
15.19/15.30	c #decision = 29586
15.19/15.30	c #conflict = 18361
15.19/15.30	c #restart = 40
15.19/15.30	o -139
15.19/15.30	c Solving starts ...
15.29/15.33	c solving time = 0.030s
15.29/15.33	c #decision = 29970
15.29/15.33	c #conflict = 18362
15.29/15.33	c #restart = 40
15.29/15.33	o -140
15.29/15.33	c Solving starts ...
36.07/36.18	c solving time = 20.834s
36.07/36.18	c #decision = 51105
36.07/36.18	c #conflict = 35019
36.07/36.18	c #restart = 50
36.07/36.18	o -141
36.07/36.18	c Solving starts ...
36.28/36.37	c learnt constraints deletion: 34960 -> 17480
38.38/38.47	c solving time = 2.282s
38.38/38.47	c #decision = 53101
38.38/38.47	c #conflict = 36173
38.38/38.47	c #restart = 54
38.38/38.47	o -142
38.38/38.47	c Solving starts ...
41.07/41.17	c solving time = 2.698s
41.07/41.17	c #decision = 55796
41.07/41.17	c #conflict = 37891
41.07/41.17	c #restart = 59
41.07/41.17	o -143
41.07/41.17	c Solving starts ...
41.17/41.20	c solving time = 0.034s
41.17/41.20	c #decision = 56166
41.17/41.20	c #conflict = 37896
41.17/41.20	c #restart = 59
41.17/41.20	o -144
41.17/41.20	c Solving starts ...
49.97/50.05	c solving time = 8.844s
49.97/50.05	c #decision = 60457
49.97/50.05	c #conflict = 41104
49.97/50.05	c #restart = 65
49.97/50.05	o -145
49.97/50.05	c Solving starts ...
50.07/50.10	c learnt constraints deletion: 23550 -> 11775
52.26/52.39	c solving time = 2.336s
52.26/52.39	c #decision = 61255
52.26/52.39	c #conflict = 41413
52.26/52.39	c #restart = 67
52.26/52.39	o -148
52.26/52.39	c Solving starts ...
52.77/52.83	c solving time = 0.443s
52.77/52.83	c #decision = 61924
52.77/52.83	c #conflict = 41674
52.77/52.83	c #restart = 69
52.77/52.83	o -149
52.77/52.83	c Solving starts ...
52.77/52.89	c solving time = 0.050s
52.77/52.89	c #decision = 62263
52.77/52.89	c #conflict = 41690
52.77/52.89	c #restart = 69
52.77/52.89	o -150
52.77/52.89	c Solving starts ...
185.64/185.72	c learnt constraints deletion: 81524 -> 40762
316.40/316.58	c learnt constraints deletion: 89639 -> 44820
482.28/482.49	c learnt constraints deletion: 98641 -> 49322
585.36/585.58	c solving time = 532.590s
585.36/585.58	c #decision = 286301
585.36/585.58	c #conflict = 236928
585.36/585.58	c #restart = 85
585.36/585.58	o -151
585.36/585.58	c Solving starts ...
585.57/585.73	c learnt constraints deletion: 72677 -> 36339
585.67/585.80	c learnt constraints deletion: 36339 -> 18170
714.44/714.60	c learnt constraints deletion: 74135 -> 37068
868.82/869.09	c learnt constraints deletion: 89671 -> 44836
993.89/994.16	c solving time = 408.509s
993.89/994.16	c #decision = 452273
993.89/994.16	c #conflict = 382908
993.89/994.16	c #restart = 101
993.89/994.16	o -153
993.89/994.16	c Solving starts ...
994.10/994.37	c learnt constraints deletion: 82232 -> 41116
994.39/994.60	c learnt constraints deletion: 41116 -> 20558
1151.56/1151.85	c learnt constraints deletion: 74140 -> 37070
1159.46/1159.78	c solving time = 165.583s
1159.46/1159.78	c #decision = 514954
1159.46/1159.78	c #conflict = 438154
1159.46/1159.78	c #restart = 114
1159.46/1159.78	o -154
1159.46/1159.78	c Solving starts ...
1159.97/1160.25	c learnt constraints deletion: 38721 -> 19361
1160.17/1160.41	c solving time = 0.634s
1160.17/1160.41	c #decision = 515304
1160.17/1160.41	c #conflict = 438158
1160.17/1160.41	c #restart = 114
1160.17/1160.41	o -155
1160.17/1160.41	c Solving starts ...
1294.64/1294.98	c learnt constraints deletion: 74107 -> 37054
1438.81/1439.12	c learnt constraints deletion: 89665 -> 44833
1581.08/1581.47	c solving time = 420.972s
1581.08/1581.47	c #decision = 689533
1581.08/1581.47	c #conflict = 592636
1581.08/1581.47	c #restart = 130
1581.08/1581.47	o -156
1581.08/1581.47	c Solving starts ...
1581.57/1581.90	c learnt constraints deletion: 91942 -> 45971
1581.67/1582.05	c learnt constraints deletion: 45971 -> 22986
1581.67/1582.08	c learnt constraints deletion: 22986 -> 11493
1691.56/1691.90	c solving time = 110.407s
1691.56/1691.90	c #decision = 742881
1691.56/1691.90	c #conflict = 638280
1691.56/1691.90	c #restart = 143
1691.56/1691.90	o -157
1691.56/1691.90	c Solving starts ...
1691.76/1692.17	c learnt constraints deletion: 57124 -> 28562
1691.86/1692.24	c learnt constraints deletion: 28562 -> 14281
1718.16/1718.59	c solving time = 26.687s
1718.16/1718.59	c #decision = 748555
1718.16/1718.59	c #conflict = 642641
1718.16/1718.59	c #restart = 150
1718.16/1718.59	o -159
1718.16/1718.59	c Solving starts ...
1790.54/1790.97	c solving time = 72.369s
1790.54/1790.97	c #decision = 793462
1790.54/1790.97	c #conflict = 681263
1790.54/1790.97	c #restart = 162
1790.54/1790.97	o -160
1790.54/1790.97	c Solving starts ...
1790.84/1791.25	c learnt constraints deletion: 57244 -> 28622
1790.94/1791.30	c learnt constraints deletion: 28622 -> 14311

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

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: 1.93 1.99 1.99 3/176 16752
/proc/meminfo: memFree=27739236/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 815 0 0 0 0 0 0 0 20 0 1 0 330180481 6373376 735 33554432000 4194304 8989770 140736668114240 140733226896632 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 1556 735 430 1171 0 333 0

[startup+0.0944041 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 16752
/proc/meminfo: memFree=27739236/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=12368 CPUtime=0.08 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 2370 0 0 0 8 0 0 0 20 0 1 0 330180481 12664832 2290 33554432000 4194304 8989770 140736668114240 140733226896632 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 3092 2290 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12368

[startup+0.100337 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 16752
/proc/meminfo: memFree=27739236/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 2370 0 0 0 9 0 0 0 20 0 1 0 330180481 12664832 2290 33554432000 4194304 8989770 140736668114240 140733226896632 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 3092 2290 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300274 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 16752
/proc/meminfo: memFree=27739236/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=23632 CPUtime=0.29 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 5186 0 0 0 28 1 0 0 20 0 1 0 330180481 24199168 5106 33554432000 4194304 8989770 140736668114240 140733226896632 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 5908 5106 431 1171 0 4685 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 23632

[startup+0.700264 s]
/proc/loadavg: 1.93 1.99 1.99 3/176 16752
/proc/meminfo: memFree=27739236/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=52304 CPUtime=0.69 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 12354 0 0 0 67 2 0 0 20 0 1 0 330180481 53559296 12274 33554432000 4194304 8989770 140736668114240 140733226896632 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 13076 12274 431 1171 0 11853 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52304

[startup+1.50028 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27672368/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=88144 CPUtime=1.48 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 21360 0 0 0 145 3 0 0 20 0 1 0 330180481 90259456 21280 33554432000 4194304 8989770 140736668114240 140736668113080 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 22036 21280 471 1171 0 20813 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 88144

[startup+3.10028 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27654388/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=88144 CPUtime=3.09 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 21360 0 0 0 305 4 0 0 20 0 1 0 330180481 90259456 21280 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 22036 21280 471 1171 0 20813 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 88144

[startup+6.30028 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27654264/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=88144 CPUtime=6.28 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 21361 0 0 0 623 5 0 0 20 0 1 0 330180481 90259456 21285 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 22036 21285 471 1171 0 20813 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88144

[startup+12.7003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27649364/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=96336 CPUtime=12.68 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 23409 0 0 0 1260 8 0 0 20 0 1 0 330180481 98648064 23333 33554432000 4194304 8989770 140736668114240 140736668112192 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 24084 23333 471 1171 0 22861 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 96336

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27624512/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=116816 CPUtime=25.47 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 28537 0 0 0 2533 14 0 0 20 0 1 0 330180481 119619584 28453 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 29204 28453 471 1171 0 27981 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 116816

[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 16753
/proc/meminfo: memFree=27603448/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=140368 CPUtime=51.07 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 34439 0 0 0 5083 24 0 0 20 0 1 0 330180481 143736832 34343 33554432000 4194304 8989770 140736668114240 140736668113504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 35092 34343 473 1171 0 33869 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 140368

[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 16754
/proc/meminfo: memFree=27590792/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=150608 CPUtime=102.26 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 40081 0 0 0 10179 47 0 0 20 0 1 0 330180481 154222592 36903 33554432000 4194304 8989770 140736668114240 140736668113736 4451817 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 37652 36903 473 1171 0 36429 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 150608

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 16754
/proc/meminfo: memFree=27541664/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=196688 CPUtime=162.25 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 51601 0 0 0 16160 65 0 0 20 0 1 0 330180481 201408512 48423 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 49172 48423 473 1171 0 47949 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 196688

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 16754
/proc/meminfo: memFree=27521740/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=218192 CPUtime=222.24 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 59538 0 0 0 22145 79 0 0 20 0 1 0 330180481 223428608 53799 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 54548 53799 473 1171 0 53325 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 218192

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 16757
/proc/meminfo: memFree=27522836/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=218192 CPUtime=282.21 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 59554 0 0 0 28127 94 0 0 20 0 1 0 330180481 223428608 53799 33554432000 4194304 8989770 140736668114240 140736668113736 4438244 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 54548 53799 473 1171 0 53325 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 218192

[startup+342.3 s]
/proc/loadavg: 1.93 1.97 1.99 3/177 16796
/proc/meminfo: memFree=27382920/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=245840 CPUtime=342.21 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 66466 0 0 0 34113 108 0 0 20 0 1 0 330180481 251740160 60711 33554432000 4194304 8989770 140736668114240 140736668112192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 61460 60711 473 1171 0 60237 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 245840

[startup+402.3 s]
/proc/loadavg: 2.03 1.99 1.99 3/177 16797
/proc/meminfo: memFree=27378404/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=226384 CPUtime=402.19 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 66466 0 0 0 40097 122 0 0 20 0 1 0 330180481 231817216 55847 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 56596 55847 473 1171 0 55373 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 226384

[startup+462.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/177 16797
/proc/meminfo: memFree=27328584/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=226384 CPUtime=462.18 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 66473 0 0 0 46082 136 0 0 20 0 1 0 330180481 231817216 55847 33554432000 4194304 8989770 140736668114240 140736668113736 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 56596 55847 473 1171 0 55373 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 226384

[startup+522.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 16797
/proc/meminfo: memFree=27269836/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=257104 CPUtime=522.17 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 74153 0 0 0 52069 148 0 0 20 0 1 0 330180481 263274496 63527 33554432000 4194304 8989770 140736668114240 140736668113504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 64276 63527 473 1171 0 63053 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 257104

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16797
/proc/meminfo: memFree=27279136/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=230480 CPUtime=582.17 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 74153 0 0 0 58054 163 0 0 20 0 1 0 330180481 236011520 56871 33554432000 4194304 8989770 140736668114240 140736668113736 4447892 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 57620 56871 473 1171 0 56397 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 230480

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16798
/proc/meminfo: memFree=27243888/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=210000 CPUtime=822.12 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 86453 0 0 0 81978 234 0 0 20 0 1 0 330180481 215040000 51751 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 52500 51751 473 1171 0 51277 0
Current children cumulated CPU time (s) 822.12
Current children cumulated vsize (KiB) 210000

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16801
/proc/meminfo: memFree=27186096/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=242768 CPUtime=882.11 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 94645 0 0 0 87959 252 0 0 20 0 1 0 330180481 248594432 59943 33554432000 4194304 8989770 140736668114240 140736668113504 7678805 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 60692 59943 473 1171 0 59469 0
Current children cumulated CPU time (s) 882.11
Current children cumulated vsize (KiB) 242768

[startup+942.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16801
/proc/meminfo: memFree=27184532/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=238672 CPUtime=942.1 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 94645 0 0 0 93942 268 0 0 20 0 1 0 330180481 244400128 58919 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 59668 58919 473 1171 0 58445 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 238672

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16801
/proc/meminfo: memFree=27171264/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=238672 CPUtime=1002.09 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 94645 0 0 0 99926 283 0 0 20 0 1 0 330180481 244400128 58919 33554432000 4194304 8989770 140736668114240 140736668112256 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 59668 58919 473 1171 0 58445 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 238672

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16802
/proc/meminfo: memFree=27239008/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=156752 CPUtime=1062.08 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 94648 0 0 0 105907 301 0 0 20 0 1 0 330180481 160514048 38439 33554432000 4194304 8989770 140736668114240 140736668113736 4209212 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 39188 38439 473 1171 0 37965 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 156752

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=27202712/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=182352 CPUtime=1122.06 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 101056 0 0 0 111885 321 0 0 20 0 1 0 330180481 186728448 44839 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 45588 44839 473 1171 0 44365 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 182352

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=27224516/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=148560 CPUtime=1182.05 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 108480 0 0 0 117866 339 0 0 20 0 1 0 330180481 152125440 36391 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 37140 36391 473 1171 0 35917 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 148560

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=27210752/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=157776 CPUtime=1242.05 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 110784 0 0 0 123844 361 0 0 20 0 1 0 330180481 161562624 38695 33554432000 4194304 8989770 140736668114240 140736668112192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 39444 38695 473 1171 0 38221 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 157776

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16802
/proc/meminfo: memFree=27133660/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=204880 CPUtime=1302.05 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 122560 0 0 0 129827 378 0 0 20 0 1 0 330180481 209797120 50471 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 51220 50471 473 1171 0 49997 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 204880

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16803
/proc/meminfo: memFree=27127588/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=204880 CPUtime=1362.03 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 122560 0 0 0 135809 394 0 0 20 0 1 0 330180481 209797120 50471 33554432000 4194304 8989770 140736668114240 140736668113504 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 51220 50471 473 1171 0 49997 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 204880

[startup+1422.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 16803
/proc/meminfo: memFree=27124500/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=207952 CPUtime=1422.02 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 123338 0 0 0 141791 411 0 0 20 0 1 0 330180481 212942848 51239 33554432000 4194304 8989770 140736668114240 140736668113504 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 51988 51239 473 1171 0 50765 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 207952

[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 16806
/proc/meminfo: memFree=27122008/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=210000 CPUtime=1481.99 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 130782 0 0 0 147769 430 0 0 20 0 1 0 330180481 215040000 51751 33554432000 4194304 8989770 140736668114240 140736668112192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 52500 51751 473 1171 0 51277 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 210000

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 16829
/proc/meminfo: memFree=27122132/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=210000 CPUtime=1541.98 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 130782 0 0 0 153751 447 0 0 20 0 1 0 330180481 215040000 51751 33554432000 4194304 8989770 140736668114240 140736668112192 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 52500 51751 473 1171 0 51277 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 210000

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16829
/proc/meminfo: memFree=27151260/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=173136 CPUtime=1601.97 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 138718 0 0 0 159735 462 0 0 20 0 1 0 330180481 177291264 42535 33554432000 4194304 8989770 140736668114240 140736668113736 4214513 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 43284 42535 473 1171 0 42061 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 173136

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 16830
/proc/meminfo: memFree=27194760/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=138320 CPUtime=1661.96 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 142302 0 0 0 165711 485 0 0 20 0 1 0 330180481 141639680 33831 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 34580 33831 473 1171 0 33357 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 138320

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16830
/proc/meminfo: memFree=27192360/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=140368 CPUtime=1721.95 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 151262 0 0 0 171692 503 0 0 20 0 1 0 330180481 143736832 34343 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 35092 34343 473 1171 0 33869 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 140368

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16830
/proc/meminfo: memFree=27174852/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=157776 CPUtime=1781.95 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 155615 0 0 0 177667 528 0 0 20 0 1 0 330180481 161562624 38695 33554432000 4194304 8989770 140736668114240 140736668113736 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 39444 38695 473 1171 0 38221 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 157776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16830
/proc/meminfo: memFree=27156716/32873844 swapFree=7372/7372
[pid=16752] ppid=16750 vsize=176208 CPUtime=1800.05 cores=1,3,5,7
/proc/16752/stat : 16752 (toysat) R 16750 16752 15814 0 -1 4202496 160223 0 0 0 179471 534 0 0 20 0 1 0 330180481 180436992 43303 33554432000 4194304 8989770 140736668114240 140736668113736 4213733 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/16752/statm: 44052 43303 473 1171 0 42829 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 176208

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.06
CPU user time (s): 1794.71
CPU system time (s): 5.35119
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 257104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.71
system time used= 5.35119
maximum resident set size= 254108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 160223
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= 112
involuntary context switches= 1844

runsolver used 3.54246 second user time and 9.91249 second system time

The end

Launcher Data

Begin job on node118 at 2012-06-02 14:35:44
IDJOB=3725399
IDBENCH=71822
IDSOLVER=2308
FILE ID=node118/3725399-1338640544
RUNJOBID= node118-1338631506-15831
PBS_JOBID= 14636462
Free space on /tmp= 70988 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/featureSubscription/normalized-50-250-false-45-90-4-8000opt.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725399-1338640544/watcher-3725399-1338640544 -o /tmp/evaluation-result-3725399-1338640544/solver-3725399-1338640544 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725399-1338640544.opb

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

MD5SUM BENCH= 27275f75c57d1f68b1f0c26684ed17bf
RANDOM SEED=1756608851

node118.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.212
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	: 5332.42
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.212
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	: 5438.55
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.212
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.212
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.212
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	: 5320.68
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.212
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		: 2666.212
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.212
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27739616 kB
Buffers:          474584 kB
Cached:          3757508 kB
SwapCached:            0 kB
Active:          1308100 kB
Inactive:        2958504 kB
Active(anon):      24440 kB
Inactive(anon):    11340 kB
Active(file):    1283660 kB
Inactive(file):  2947164 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9328 kB
Writeback:             0 kB
AnonPages:         44712 kB
Mapped:            13528 kB
Shmem:               200 kB
Slab:             722928 kB
SReclaimable:     164012 kB
SUnreclaim:       558916 kB
KernelStack:        1432 kB
PageTables:         4004 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     152036 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 70976 MiB
End job on node118 at 2012-06-02 15:05:46