Trace number 3707058

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-05-17? (TO) 1800.1 1800.41

General information on the benchmark

Name/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/
rand.biglist/normalized-rand4bf850.cudf.paranoid.opb
MD5SUMa8309936b1d78278af68f39ea49fb649
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10949
Best CPU time to get the best result obtained on this benchmark1.12583
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6130
Total number of constraints27104
Number of constraints which are clauses26814
Number of constraints which are cardinality constraints (but not clauses)290
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 2292
Biggest coefficient in the objective function 1743
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 962134
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1743
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 962134
Number of bits of the biggest sum of numbers20
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.10/1.10	c 2012-05-27T19:28:59+0200
1.10/1.10	c arch = x86_64
1.10/1.10	c os = linux
1.10/1.10	c compiler = ghc 7.4
1.10/1.10	c packages:
1.10/1.10	c   OptDir-0.0.1
1.10/1.10	c   array-0.4.0.0
1.10/1.10	c   base-4.5.0.0
1.10/1.10	c   bytestring-0.9.2.1
1.10/1.10	c   containers-0.4.2.1
1.10/1.10	c   deepseq-1.3.0.0
1.10/1.10	c   mtl-2.1.1
1.10/1.10	c   old_locale-1.0.0.4
1.10/1.10	c   parse_dimacs-1.2
1.10/1.10	c   parsec-3.1.2
1.10/1.10	c   queue-0.1.2
1.10/1.10	c   stm-2.3
1.10/1.10	c   time-1.4
1.10/1.10	c command line = ["--pb","HOME/instance-3707058-1338139739.opb"]
1.10/1.10	c #vars 6130
1.10/1.10	c #constraints 27104
1.10/1.10	c Solving starts ...
2.10/2.17	c solving time = 1.058s
2.10/2.17	c #decision = 136815
2.10/2.17	c #conflict = 219
2.10/2.17	c #restart = 1
2.10/2.17	o 10991
2.10/2.17	c Solving starts ...
2.89/2.94	c solving time = 0.765s
2.89/2.94	c #decision = 140862
2.99/3.04	c #conflict = 265
2.99/3.04	c #restart = 1
2.99/3.04	o 10990
2.99/3.04	c Solving starts ...
9.59/9.62	c solving time = 6.676s
9.59/9.62	c #decision = 145184
9.59/9.62	c #conflict = 550
9.59/9.62	c #restart = 3
9.59/9.62	o 10989
9.59/9.64	c Solving starts ...
16.50/16.52	c solving time = 6.879s
16.50/16.52	c #decision = 146761
16.50/16.52	c #conflict = 814
16.50/16.52	c #restart = 5
16.50/16.52	o 10988
16.50/16.52	c Solving starts ...
18.59/18.61	c solving time = 2.080s
18.59/18.61	c #decision = 148318
18.59/18.61	c #conflict = 963
18.59/18.61	c #restart = 6
18.59/18.61	o 10987
18.59/18.61	c Solving starts ...
19.08/19.13	c solving time = 0.515s
19.08/19.13	c #decision = 149515
19.08/19.13	c #conflict = 1041
19.08/19.13	c #restart = 6
19.08/19.13	o 10986
19.08/19.13	c Solving starts ...
19.38/19.47	c solving time = 0.338s
19.38/19.47	c #decision = 150412
19.38/19.47	c #conflict = 1101
19.38/19.47	c #restart = 6
19.38/19.47	o 10985
19.38/19.47	c Solving starts ...
22.39/22.47	c solving time = 2.995s
22.39/22.47	c #decision = 153506
22.39/22.47	c #conflict = 1669
22.39/22.47	c #restart = 9
22.39/22.47	o 10984
22.39/22.47	c Solving starts ...
22.78/22.87	c solving time = 0.401s
22.78/22.87	c #decision = 154451
22.78/22.87	c #conflict = 1735
22.78/22.87	c #restart = 9
22.78/22.87	o 10983
22.78/22.87	c Solving starts ...
23.28/23.31	c solving time = 0.432s
23.28/23.31	c #decision = 155332
23.28/23.31	c #conflict = 1831
23.28/23.31	c #restart = 9
23.28/23.31	o 10982
23.28/23.31	c Solving starts ...
23.49/23.54	c solving time = 0.232s
23.49/23.54	c #decision = 156124
23.49/23.54	c #conflict = 1865
23.49/23.54	c #restart = 9
23.49/23.54	o 10981
23.49/23.55	c Solving starts ...
24.99/25.05	c solving time = 1.498s
24.99/25.05	c #decision = 157619
24.99/25.05	c #conflict = 2147
24.99/25.05	c #restart = 11
24.99/25.05	o 10980
24.99/25.05	c Solving starts ...
44.19/44.23	c solving time = 19.180s
44.19/44.23	c #decision = 167907
44.19/44.23	c #conflict = 6118
44.19/44.23	c #restart = 18
44.19/44.23	o 10979
44.19/44.24	c Solving starts ...
45.48/45.53	c solving time = 1.288s
45.48/45.53	c #decision = 169375
45.48/45.53	c #conflict = 6392
45.48/45.53	c #restart = 20
45.48/45.53	o 10978
45.48/45.53	c Solving starts ...
49.89/49.94	c solving time = 4.411s
49.89/49.94	c #decision = 172972
49.89/49.94	c #conflict = 7352
49.89/49.94	c #restart = 24
49.89/49.94	o 10977
49.89/49.95	c Solving starts ...
51.48/51.54	c solving time = 1.589s
51.48/51.54	c #decision = 174496
51.48/51.54	c #conflict = 7728
51.48/51.54	c #restart = 26
51.48/51.54	o 10976
51.48/51.54	c Solving starts ...
53.08/53.11	c solving time = 1.565s
53.08/53.11	c #decision = 176065
53.08/53.11	c #conflict = 8033
53.08/53.11	c #restart = 28
53.08/53.11	o 10975
53.08/53.11	c Solving starts ...
56.38/56.48	c solving time = 3.370s
56.38/56.48	c #decision = 178232
56.38/56.48	c #conflict = 8759
56.38/56.48	c #restart = 31
56.38/56.48	o 10974
56.38/56.48	c Solving starts ...
65.58/65.69	c solving time = 9.204s
65.58/65.69	c #decision = 183180
65.58/65.69	c #conflict = 10742
65.58/65.69	c #restart = 36
65.58/65.69	o 10973
65.58/65.69	c Solving starts ...
89.78/89.86	c solving time = 24.168s
89.78/89.86	c #decision = 193886
89.78/89.86	c #conflict = 15896
89.78/89.86	c #restart = 44
89.78/89.86	o 10972
89.78/89.87	c Solving starts ...
89.88/89.90	c learnt constraints deletion: 15688 -> 7846
124.27/124.31	c solving time = 34.430s
124.27/124.31	c #decision = 208353
124.27/124.31	c #conflict = 23385
124.27/124.31	c #restart = 52
124.27/124.31	o 10971
124.27/124.31	c Solving starts ...
124.27/124.34	c learnt constraints deletion: 15325 -> 7665
146.86/146.97	c solving time = 22.654s
146.86/146.97	c #decision = 218280
146.86/146.97	c #conflict = 28274
146.86/146.97	c #restart = 59
146.86/146.97	o 10970
146.86/146.98	c Solving starts ...
147.45/147.52	c learnt constraints deletion: 12643 -> 6324
155.06/155.11	c solving time = 8.131s
155.06/155.11	c #decision = 222779
155.06/155.11	c #conflict = 30071
155.06/155.11	c #restart = 64
155.06/155.11	o 10969
155.06/155.11	c Solving starts ...
174.75/174.85	c solving time = 19.721s
174.75/174.85	c #decision = 233003
174.75/174.85	c #conflict = 34806
174.75/174.85	c #restart = 71
174.75/174.85	o 10968
174.75/174.85	c Solving starts ...
174.75/174.87	c learnt constraints deletion: 12742 -> 6373
198.14/198.26	c solving time = 23.408s
198.14/198.26	c #decision = 244196
198.14/198.26	c #conflict = 40231
198.14/198.26	c #restart = 79
198.14/198.26	o 10967
198.14/198.27	c Solving starts ...
266.73/266.80	c solving time = 68.519s
266.73/266.80	c #decision = 276227
266.73/266.80	c #conflict = 57537
266.73/266.80	c #restart = 90
266.73/266.80	o 10966
266.73/266.80	c Solving starts ...
266.73/266.85	c learnt constraints deletion: 29083 -> 14544
266.73/266.87	c learnt constraints deletion: 14544 -> 7274
269.83/269.93	c solving time = 3.127s
269.83/269.93	c #decision = 278228
269.83/269.93	c #conflict = 58169
269.83/269.93	c #restart = 93
269.83/269.93	o 10965
269.83/269.93	c Solving starts ...
332.62/332.76	c solving time = 62.818s
332.62/332.76	c #decision = 304853
332.62/332.76	c #conflict = 72736
332.62/332.76	c #restart = 103
332.62/332.76	o 10964
332.62/332.76	c Solving starts ...
332.72/332.80	c learnt constraints deletion: 22459 -> 11232
412.41/412.57	c learnt constraints deletion: 32923 -> 16464
476.78/476.96	c solving time = 144.166s
476.78/476.96	c #decision = 378909
476.78/476.96	c #conflict = 115236
476.78/476.96	c #restart = 116
476.78/476.96	o 10963
476.78/476.96	c Solving starts ...
476.98/477.12	c learnt constraints deletion: 37251 -> 18628
476.98/477.14	c learnt constraints deletion: 18628 -> 9316
478.39/478.51	c solving time = 1.548s
478.39/478.51	c #decision = 380303
478.39/478.51	c #conflict = 115607
478.39/478.51	c #restart = 118
478.39/478.51	o 10962
478.39/478.51	c Solving starts ...
499.19/499.37	c solving time = 20.854s
499.19/499.37	c #decision = 391399
499.19/499.37	c #conflict = 121912
499.19/499.37	c #restart = 126
499.19/499.37	o 10961
499.19/499.37	c Solving starts ...
499.19/499.40	c learnt constraints deletion: 15982 -> 7993
501.28/501.42	c solving time = 2.040s
501.28/501.42	c #decision = 393164
501.28/501.42	c #conflict = 122548
501.28/501.42	c #restart = 129
501.28/501.42	o 10960
501.28/501.42	c Solving starts ...
577.27/577.46	c learnt constraints deletion: 32901 -> 16453
632.76/632.93	c solving time = 131.486s
632.76/632.93	c #decision = 461994
632.76/632.93	c #conflict = 161083
632.76/632.93	c #restart = 141
632.76/632.93	o 10959
632.76/632.93	c Solving starts ...
632.76/632.99	c learnt constraints deletion: 30696 -> 15350
632.86/633.00	c learnt constraints deletion: 15350 -> 7677
681.55/681.79	c solving time = 48.853s
681.55/681.79	c #decision = 485773
681.55/681.79	c #conflict = 174727
681.55/681.79	c #restart = 151
681.55/681.79	o 10958
681.55/681.79	c Solving starts ...
681.65/681.83	c learnt constraints deletion: 21309 -> 10657
693.65/693.81	c solving time = 12.010s
693.65/693.81	c #decision = 492204
693.65/693.81	c #conflict = 178128
693.65/693.81	c #restart = 158
693.65/693.81	o 10957
693.65/693.81	c Solving starts ...
693.65/693.83	c learnt constraints deletion: 14051 -> 7028
811.42/811.66	c learnt constraints deletion: 35897 -> 17951
913.41/913.69	c learnt constraints deletion: 39469 -> 19737
1008.59/1008.88	c learnt constraints deletion: 43296 -> 21650
1115.38/1115.66	c learnt constraints deletion: 47351 -> 23678
1229.06/1229.35	c learnt constraints deletion: 47378 -> 23691
1366.85/1367.18	c learnt constraints deletion: 51799 -> 25902
1476.73/1477.01	c learnt constraints deletion: 51889 -> 25947
1616.90/1617.26	c learnt constraints deletion: 56944 -> 28474
1755.29/1755.66	c learnt constraints deletion: 56885 -> 28447

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-3707058-1338139739/watcher-3707058-1338139739 -o /tmp/evaluation-result-3707058-1338139739/solver-3707058-1338139739 -C 1800 -W 1900 -M 15500 HOME/toysat --pb HOME/instance-3707058-1338139739.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: 2.00 2.00 2.00 3/176 11177
/proc/meminfo: memFree=30610208/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 812 0 0 0 0 0 0 0 20 0 1 0 280099928 6356992 733 33554432000 4194304 8973514 140735196404768 140736172671144 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 1552 733 411 1167 0 333 0

[startup+0.096651 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11177
/proc/meminfo: memFree=30610208/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 2355 0 0 0 9 0 0 0 20 0 1 0 280099928 12648448 2276 33554432000 4194304 8973514 140735196404768 140736172671144 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 3088 2276 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.100266 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11177
/proc/meminfo: memFree=30610208/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 2355 0 0 0 9 0 0 0 20 0 1 0 280099928 12648448 2276 33554432000 4194304 8973514 140735196404768 140736172671144 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 3088 2276 418 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300179 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11177
/proc/meminfo: memFree=30610208/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=27712 CPUtime=0.29 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 6119 0 0 0 28 1 0 0 20 0 1 0 280099928 28377088 6040 33554432000 4194304 8973514 140735196404768 140736172671144 4209325 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 6928 6040 418 1167 0 5709 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27712

[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 11177
/proc/meminfo: memFree=30610208/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=41024 CPUtime=0.69 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 9487 0 0 0 67 2 0 0 20 0 1 0 280099928 42008576 9408 33554432000 4194304 8973514 140735196404768 140735196403608 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 10256 9408 434 1167 0 9037 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41024

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11178
/proc/meminfo: memFree=30574504/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=41024 CPUtime=1.49 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 9556 0 0 0 147 2 0 0 20 0 1 0 280099928 42008576 9477 33554432000 4194304 8973514 140735196404768 140735196404032 4481178 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 10256 9477 445 1167 0 9037 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41024

[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11178
/proc/meminfo: memFree=30573472/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=41024 CPUtime=3.08 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 9568 0 0 0 306 2 0 0 20 0 1 0 280099928 42008576 9489 33554432000 4194304 8973514 140735196404768 140735196404264 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 10256 9489 457 1167 0 9037 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 41024

[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11178
/proc/meminfo: memFree=30573360/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=41024 CPUtime=6.29 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 9568 0 0 0 625 4 0 0 20 0 1 0 280099928 42008576 9489 33554432000 4194304 8973514 140735196404768 140735196404032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 10256 9489 457 1167 0 9037 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 41024

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11178
/proc/meminfo: memFree=30572332/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=42048 CPUtime=12.69 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 9824 0 0 0 1263 6 0 0 20 0 1 0 280099928 43057152 9745 33554432000 4194304 8973514 140735196404768 140735196404264 4415372 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 10512 9745 457 1167 0 9293 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42048

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11178
/proc/meminfo: memFree=30564660/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=50240 CPUtime=25.49 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 11872 0 0 0 2536 13 0 0 20 0 1 0 280099928 51445760 11793 33554432000 4194304 8973514 140735196404768 140735196404264 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 12560 11793 457 1167 0 11341 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 50240

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11179
/proc/meminfo: memFree=30545936/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=69696 CPUtime=51.08 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 16736 0 0 0 5087 21 0 0 20 0 1 0 280099928 71368704 16657 33554432000 4194304 8973514 140735196404768 140735196404264 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 17424 16657 457 1167 0 16205 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 69696

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11182
/proc/meminfo: memFree=30508980/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=106560 CPUtime=102.28 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 25953 0 0 0 10190 38 0 0 20 0 1 0 280099928 109117440 25874 33554432000 4194304 8973514 140735196404768 140735196404032 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 26640 25874 458 1167 0 25421 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 106560

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11182
/proc/meminfo: memFree=30487196/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=128064 CPUtime=162.25 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 31351 0 0 0 16172 53 0 0 20 0 1 0 280099928 131137536 31250 33554432000 4194304 8973514 140735196404768 140735196404032 4214629 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 32016 31250 458 1167 0 30797 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 128064

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11182
/proc/meminfo: memFree=30450396/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=162880 CPUtime=222.24 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 40061 0 0 0 22153 71 0 0 20 0 1 0 280099928 166789120 39954 33554432000 4194304 8973514 140735196404768 140735196404264 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 40720 39954 458 1167 0 39501 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 162880

[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 11182
/proc/meminfo: memFree=30414188/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=198720 CPUtime=282.23 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 49021 0 0 0 28135 88 0 0 20 0 1 0 280099928 203489280 48914 33554432000 4194304 8973514 140735196404768 140735196404264 4208827 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 49680 48914 458 1167 0 48461 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 198720

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 11183
/proc/meminfo: memFree=30391872/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=221248 CPUtime=342.22 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 54653 0 0 0 34118 104 0 0 20 0 1 0 280099928 226557952 54546 33554432000 4194304 8973514 140735196404768 140735196404032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 55312 54546 458 1167 0 54093 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 221248

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11183
/proc/meminfo: memFree=30378680/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=234560 CPUtime=402.2 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 57981 0 0 0 40097 123 0 0 20 0 1 0 280099928 240189440 57874 33554432000 4194304 8973514 140735196404768 140735196404032 4427080 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 58640 57874 458 1167 0 57421 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 234560

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11183
/proc/meminfo: memFree=30331180/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=274496 CPUtime=462.19 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 67766 0 0 0 46075 144 0 0 20 0 1 0 280099928 281083904 67646 33554432000 4194304 8973514 140735196404768 140735196404032 4427192 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 68624 67646 458 1167 0 67405 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 274496

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11183
/proc/meminfo: memFree=30303900/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=301120 CPUtime=522.18 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 74634 0 0 0 52055 163 0 0 20 0 1 0 280099928 308346880 74514 33554432000 4194304 8973514 140735196404768 140735196404032 7807538 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 75280 74514 458 1167 0 74061 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 301120

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11183
/proc/meminfo: memFree=30284184/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=320576 CPUtime=582.16 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 79498 0 0 0 58036 180 0 0 20 0 1 0 280099928 328269824 79378 33554432000 4194304 8973514 140735196404768 140735196404032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 80144 79378 458 1167 0 78925 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 320576

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 1.97 2.00 2.00 3/177 11226
/proc/meminfo: memFree=30269364/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=343104 CPUtime=822.13 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 85140 0 0 0 81964 249 0 0 20 0 1 0 280099928 351338496 85010 33554432000 4194304 8973514 140735196404768 140735196404032 4204350 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 85776 85010 458 1167 0 84557 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 343104

[startup+882.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 11226
/proc/meminfo: memFree=30250764/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=347200 CPUtime=882.12 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 86164 0 0 0 87944 268 0 0 20 0 1 0 280099928 355532800 86034 33554432000 4194304 8973514 140735196404768 140735196404032 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 86800 86034 458 1167 0 85581 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 347200

[startup+942.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 11226
/proc/meminfo: memFree=30224724/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=361536 CPUtime=942.11 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 89748 0 0 0 93928 283 0 0 20 0 1 0 280099928 370212864 89618 33554432000 4194304 8973514 140735196404768 140735196404264 4204592 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 90384 89618 458 1167 0 89165 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 361536

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/177 11227
/proc/meminfo: memFree=30203768/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=377920 CPUtime=1002.1 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 93844 0 0 0 99910 300 0 0 20 0 1 0 280099928 386990080 93714 33554432000 4194304 8973514 140735196404768 140735196404264 4427744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 94480 93714 458 1167 0 93261 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 377920

[startup+1062.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 11227
/proc/meminfo: memFree=30158740/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=380992 CPUtime=1062.09 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 94612 0 0 0 105895 314 0 0 20 0 1 0 280099928 390135808 94482 33554432000 4194304 8973514 140735196404768 140735196404264 6571904 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 95248 94482 458 1167 0 94029 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 380992

[startup+1122.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 11228
/proc/meminfo: memFree=30128408/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=380992 CPUtime=1122.08 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 94612 0 0 0 111878 330 0 0 20 0 1 0 280099928 390135808 94482 33554432000 4194304 8973514 140735196404768 140735196402752 4435967 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 95248 94482 458 1167 0 94029 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 380992

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11228
/proc/meminfo: memFree=30116140/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=380992 CPUtime=1182.07 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 94612 0 0 0 117864 343 0 0 20 0 1 0 280099928 390135808 94482 33554432000 4194304 8973514 140735196404768 140735196404264 6571904 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 95248 94482 458 1167 0 94029 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 380992

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11228
/proc/meminfo: memFree=30082228/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=384064 CPUtime=1242.06 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 95380 0 0 0 123850 356 0 0 20 0 1 0 280099928 393281536 95250 33554432000 4194304 8973514 140735196404768 140735196404264 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 96016 95250 458 1167 0 94797 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 384064

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11232
/proc/meminfo: memFree=30072068/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=384064 CPUtime=1302.06 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 95380 0 0 0 129836 370 0 0 20 0 1 0 280099928 393281536 95250 33554432000 4194304 8973514 140735196404768 140735196404264 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 96016 95250 458 1167 0 94797 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 384064

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11232
/proc/meminfo: memFree=30065256/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=384064 CPUtime=1362.04 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 95380 0 0 0 135820 384 0 0 20 0 1 0 280099928 393281536 95250 33554432000 4194304 8973514 140735196404768 140735196404264 4434713 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 96016 95250 458 1167 0 94797 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 384064

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11232
/proc/meminfo: memFree=30046904/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=384064 CPUtime=1422.05 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 95380 0 0 0 141805 400 0 0 20 0 1 0 280099928 393281536 95250 33554432000 4194304 8973514 140735196404768 140735196404264 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 96016 95250 458 1167 0 94797 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 384064

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 11232
/proc/meminfo: memFree=30032516/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=384064 CPUtime=1482.02 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 95381 0 0 0 147786 416 0 0 20 0 1 0 280099928 393281536 95250 33554432000 4194304 8973514 140735196404768 140735196404264 4213841 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 96016 95250 458 1167 0 94797 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 384064

[startup+1542.3 s]
/proc/loadavg: 2.09 2.03 2.00 3/177 11232
/proc/meminfo: memFree=30004868/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=384064 CPUtime=1542.02 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 95381 0 0 0 153771 431 0 0 20 0 1 0 280099928 393281536 95250 33554432000 4194304 8973514 140735196404768 140735196404264 7400352 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 96016 95250 458 1167 0 94797 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 384064

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 11233
/proc/meminfo: memFree=29995280/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=384064 CPUtime=1602.01 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 95381 0 0 0 159758 443 0 0 20 0 1 0 280099928 393281536 95250 33554432000 4194304 8973514 140735196404768 140735196404264 7807696 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 96016 95250 458 1167 0 94797 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 384064

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11233
/proc/meminfo: memFree=29987640/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=384064 CPUtime=1662 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 95381 0 0 0 165740 460 0 0 20 0 1 0 280099928 393281536 95250 33554432000 4194304 8973514 140735196404768 140735196404032 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 96016 95250 458 1167 0 94797 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 384064

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 11233
/proc/meminfo: memFree=29966056/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=387136 CPUtime=1721.98 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 96149 0 0 0 171723 475 0 0 20 0 1 0 280099928 396427264 96018 33554432000 4194304 8973514 140735196404768 140735196404264 4211951 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 96784 96018 458 1167 0 95565 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 387136

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 11233
/proc/meminfo: memFree=29931956/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=397376 CPUtime=1781.98 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 98709 0 0 0 177709 489 0 0 20 0 1 0 280099928 406913024 98578 33554432000 4194304 8973514 140735196404768 140735196404032 4435804 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 99344 98578 458 1167 0 98125 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 397376



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 11233
/proc/meminfo: memFree=29930096/32873648 swapFree=6860/6860
[pid=11177] ppid=11175 vsize=397376 CPUtime=1800.08 cores=1,3,5,7
/proc/11177/stat : 11177 (toysat) R 11175 11177 9979 0 -1 4202496 98709 0 0 0 179515 493 0 0 20 0 1 0 280099928 406913024 98578 33554432000 4194304 8973514 140735196404768 140735196402688 4213380 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/11177/statm: 99344 98578 458 1167 0 98125 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 397376

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.1
CPU user time (s): 1795.16
CPU system time (s): 4.93625
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 397376

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.16
system time used= 4.93625
maximum resident set size= 394312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98709
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= 58
involuntary context switches= 1850

runsolver used 2.70059 second user time and 10.1045 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-27 19:28:59
IDJOB=3707058
IDBENCH=72121
IDSOLVER=2285
FILE ID=node116/3707058-1338139739
RUNJOBID= node116-1338124087-9996
PBS_JOBID= 14624506
Free space on /tmp= 71464 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/leberre/opb-paranoid/misc2010/random/rand.biglist/normalized-rand4bf850.cudf.paranoid.opb
COMMAND LINE= HOME/toysat --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707058-1338139739/watcher-3707058-1338139739 -o /tmp/evaluation-result-3707058-1338139739/solver-3707058-1338139739 -C 1800 -W 1900 -M 15500  HOME/toysat --pb HOME/instance-3707058-1338139739.opb

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

MD5SUM BENCH= a8309936b1d78278af68f39ea49fb649
RANDOM SEED=1930993157

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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:        30610480 kB
Buffers:          359016 kB
Cached:           918188 kB
SwapCached:         3240 kB
Active:           921348 kB
Inactive:         506192 kB
Active(anon):     141164 kB
Inactive(anon):     8960 kB
Active(file):     780184 kB
Inactive(file):   497232 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103664 kB
Dirty:              8176 kB
Writeback:             0 kB
AnonPages:        152088 kB
Mapped:            14464 kB
Shmem:                96 kB
Slab:             698644 kB
SReclaimable:     143300 kB
SUnreclaim:       555344 kB
KernelStack:        1464 kB
PageTables:         4312 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     262528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    135168 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= 71456 MiB
End job on node116 at 2012-05-27 19:59:01