Trace number 3712386

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.08 1800.41

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
MD5SUM12a88866bbd50b724bb180a8f6ce160e
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.080987
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1800
Total number of constraints85
Number of soft constraints85
Number of constraints which are clauses45
Number of constraints which are cardinality constraints (but not clauses)40
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint40
Maximum length of a constraint45
Top cost 4848
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 4847
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
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 

0.01/0.02	c 2012-05-28T11:45:37+0200
0.01/0.02	c arch = x86_64
0.01/0.02	c os = linux
0.01/0.02	c compiler = ghc 7.4
0.01/0.02	c packages:
0.01/0.02	c   OptDir-0.0.1
0.01/0.02	c   array-0.4.0.0
0.01/0.02	c   base-4.5.0.0
0.01/0.02	c   bytestring-0.9.2.1
0.01/0.02	c   containers-0.4.2.1
0.01/0.02	c   deepseq-1.3.0.0
0.01/0.02	c   mtl-2.1.1
0.01/0.02	c   old_locale-1.0.0.4
0.01/0.02	c   parse_dimacs-1.2
0.01/0.02	c   parsec-3.1.2
0.01/0.02	c   queue-0.1.2
0.01/0.02	c   stm-2.3
0.01/0.02	c   time-1.4
0.01/0.02	c command line = ["--wbo","HOME/instance-3712386-1338198337.wbo"]
0.01/0.02	c #vars 1800
0.01/0.02	c #constraints 85
0.01/0.02	c Solving starts ...
0.19/0.26	c solving time = 0.237s
0.19/0.26	c #decision = 1494
0.19/0.26	c #conflict = 102
0.19/0.26	c #restart = 1
0.19/0.26	o 95
0.19/0.26	c Solving starts ...
0.59/0.68	c solving time = 0.422s
0.59/0.68	c #decision = 3440
0.59/0.68	c #conflict = 203
0.59/0.68	c #restart = 2
0.59/0.68	o 61
0.59/0.68	c Solving starts ...
0.59/0.68	c solving time = 0.002s
0.59/0.68	c #decision = 4361
0.59/0.68	c #conflict = 203
0.59/0.68	c #restart = 2
0.59/0.68	o 34
0.59/0.68	c Solving starts ...
0.99/1.09	c solving time = 0.402s
0.99/1.09	c #decision = 6355
0.99/1.09	c #conflict = 310
0.99/1.09	c #restart = 3
0.99/1.09	o 29
0.99/1.09	c Solving starts ...
0.99/1.09	c solving time = 0.003s
0.99/1.09	c #decision = 7214
0.99/1.09	c #conflict = 310
0.99/1.09	c #restart = 3
0.99/1.09	o 26
0.99/1.09	c Solving starts ...
0.99/1.10	c solving time = 0.005s
0.99/1.10	c #decision = 8076
0.99/1.10	c #conflict = 311
0.99/1.10	c #restart = 3
0.99/1.10	o 3
0.99/1.10	c Solving starts ...
3.79/3.89	c learnt constraints deletion: 1117 -> 559
5.89/5.91	c learnt constraints deletion: 1065 -> 533
10.09/10.13	c learnt constraints deletion: 1293 -> 647
14.29/14.38	c learnt constraints deletion: 1788 -> 894
20.69/20.76	c learnt constraints deletion: 2606 -> 1303
30.58/30.64	c learnt constraints deletion: 3194 -> 1613
34.48/34.50	c learnt constraints deletion: 2291 -> 1146
48.87/48.97	c learnt constraints deletion: 3380 -> 1720
61.67/61.73	c learnt constraints deletion: 3340 -> 1670
68.76/68.82	c learnt constraints deletion: 3536 -> 1772
76.56/76.67	c learnt constraints deletion: 3530 -> 1786
84.76/84.84	c learnt constraints deletion: 3490 -> 1753
87.46/87.53	c learnt constraints deletion: 2207 -> 1104
100.95/101.07	c learnt constraints deletion: 3685 -> 1861
110.45/110.55	c learnt constraints deletion: 3692 -> 1863
122.24/122.38	c learnt constraints deletion: 3688 -> 1862
136.75/136.85	c learnt constraints deletion: 3683 -> 1862
140.95/141.00	c learnt constraints deletion: 2478 -> 1239
155.34/155.45	c learnt constraints deletion: 3904 -> 1971
165.64/165.79	c learnt constraints deletion: 3873 -> 1967
176.04/176.19	c learnt constraints deletion: 3896 -> 1981
186.13/186.20	c learnt constraints deletion: 3885 -> 1976
197.34/197.45	c learnt constraints deletion: 3886 -> 1979
209.74/209.85	c learnt constraints deletion: 3877 -> 1976
215.13/215.24	c learnt constraints deletion: 2780 -> 1390
226.63/226.77	c learnt constraints deletion: 4120 -> 2072
237.02/237.19	c learnt constraints deletion: 4118 -> 2073
247.92/248.02	c learnt constraints deletion: 4120 -> 2074
258.22/258.31	c learnt constraints deletion: 4119 -> 2074
268.52/268.66	c learnt constraints deletion: 4113 -> 2071
279.82/279.98	c learnt constraints deletion: 4105 -> 2067
290.92/291.01	c learnt constraints deletion: 4116 -> 2072
301.41/301.53	c learnt constraints deletion: 4103 -> 2068
314.21/314.36	c learnt constraints deletion: 4098 -> 2067
325.11/325.23	c learnt constraints deletion: 4272 -> 2144
338.31/338.42	c learnt constraints deletion: 4252 -> 2140
351.40/351.57	c learnt constraints deletion: 4265 -> 2143
362.60/362.78	c learnt constraints deletion: 4233 -> 2127
373.30/373.43	c learnt constraints deletion: 4235 -> 2128
384.50/384.68	c learnt constraints deletion: 4268 -> 2145
397.09/397.26	c learnt constraints deletion: 4251 -> 2137
408.49/408.65	c learnt constraints deletion: 4233 -> 2129
420.99/421.20	c learnt constraints deletion: 4246 -> 2135
432.09/432.30	c learnt constraints deletion: 4238 -> 2131
444.98/445.14	c learnt constraints deletion: 4276 -> 2149
456.58/456.73	c learnt constraints deletion: 4267 -> 2146
468.88/469.07	c learnt constraints deletion: 4282 -> 2152
480.98/481.12	c learnt constraints deletion: 4302 -> 2151
495.58/495.75	c learnt constraints deletion: 4518 -> 2262
511.47/511.68	c learnt constraints deletion: 4496 -> 2255
528.57/528.77	c learnt constraints deletion: 4506 -> 2259
546.17/546.33	c learnt constraints deletion: 4530 -> 2272
567.76/567.93	c learnt constraints deletion: 4528 -> 2271
588.86/589.01	c learnt constraints deletion: 4476 -> 2245
608.36/608.50	c learnt constraints deletion: 4482 -> 2248
627.86/628.04	c learnt constraints deletion: 4533 -> 2275
645.05/645.20	c learnt constraints deletion: 4467 -> 2243
663.75/663.92	c learnt constraints deletion: 4488 -> 2253
680.85/681.09	c learnt constraints deletion: 4498 -> 2260
697.04/697.25	c learnt constraints deletion: 4508 -> 2264
714.04/714.26	c learnt constraints deletion: 4497 -> 2258
731.04/731.29	c learnt constraints deletion: 4530 -> 2275
746.83/747.04	c learnt constraints deletion: 4492 -> 2254
761.83/762.01	c learnt constraints deletion: 4499 -> 2259
777.44/777.62	c learnt constraints deletion: 4482 -> 2250
794.04/794.21	c learnt constraints deletion: 4526 -> 2272
811.82/812.08	c learnt constraints deletion: 4529 -> 2272
820.53/820.74	c learnt constraints deletion: 3432 -> 1716
836.02/836.24	c learnt constraints deletion: 4798 -> 2404
852.62/852.83	c learnt constraints deletion: 4820 -> 2416
868.61/868.83	c learnt constraints deletion: 4818 -> 2415
885.82/886.06	c learnt constraints deletion: 4804 -> 2407
902.01/902.20	c learnt constraints deletion: 4826 -> 2419
917.70/917.91	c learnt constraints deletion: 4759 -> 2385
934.31/934.56	c learnt constraints deletion: 4791 -> 2402
950.30/950.56	c learnt constraints deletion: 4766 -> 2389
966.40/966.67	c learnt constraints deletion: 4786 -> 2399
983.50/983.78	c learnt constraints deletion: 4777 -> 2395
1000.90/1001.19	c learnt constraints deletion: 4796 -> 2405
1019.09/1019.31	c learnt constraints deletion: 4769 -> 2392
1034.90/1035.14	c learnt constraints deletion: 4811 -> 2414
1050.78/1051.03	c learnt constraints deletion: 4780 -> 2397
1069.29/1069.59	c learnt constraints deletion: 4782 -> 2398
1089.38/1089.65	c learnt constraints deletion: 4794 -> 2403
1110.38/1110.65	c learnt constraints deletion: 4768 -> 2393
1127.97/1128.28	c learnt constraints deletion: 4769 -> 2393
1146.77/1147.07	c learnt constraints deletion: 4792 -> 2403
1167.37/1167.62	c learnt constraints deletion: 4780 -> 2395
1186.77/1187.04	c learnt constraints deletion: 4793 -> 2402
1205.26/1205.52	c learnt constraints deletion: 4816 -> 2414
1227.37/1227.61	c learnt constraints deletion: 4813 -> 2415
1247.06/1247.38	c learnt constraints deletion: 4812 -> 2413
1266.65/1266.97	c learnt constraints deletion: 4797 -> 2406
1287.35/1287.66	c learnt constraints deletion: 4797 -> 2408
1308.75/1309.07	c learnt constraints deletion: 5130 -> 2572
1326.04/1326.38	c learnt constraints deletion: 5096 -> 2551
1351.74/1352.08	c learnt constraints deletion: 5120 -> 2565
1376.43/1376.74	c learnt constraints deletion: 5107 -> 2559
1400.33/1400.65	c learnt constraints deletion: 5076 -> 2544
1426.62/1426.94	c learnt constraints deletion: 5087 -> 2550
1454.02/1454.31	c learnt constraints deletion: 5087 -> 2551
1480.23/1480.60	c learnt constraints deletion: 5083 -> 2549
1509.61/1509.98	c learnt constraints deletion: 5087 -> 2549
1531.81/1532.19	c learnt constraints deletion: 5105 -> 2559
1550.50/1550.90	c learnt constraints deletion: 5072 -> 2543
1569.60/1569.91	c learnt constraints deletion: 5100 -> 2557
1587.79/1588.12	c learnt constraints deletion: 5100 -> 2555
1606.20/1606.59	c learnt constraints deletion: 5082 -> 2548
1629.39/1629.79	c learnt constraints deletion: 5087 -> 2550
1661.70/1662.10	c learnt constraints deletion: 5084 -> 2547
1688.09/1688.48	c learnt constraints deletion: 5089 -> 2552
1715.08/1715.41	c learnt constraints deletion: 5099 -> 2557
1735.78/1736.15	c learnt constraints deletion: 5104 -> 2558
1757.77/1758.14	c learnt constraints deletion: 5083 -> 2547
1780.87/1781.22	c learnt constraints deletion: 5055 -> 2534

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-3712386-1338198337/watcher-3712386-1338198337 -o /tmp/evaluation-result-3712386-1338198337/solver-3712386-1338198337 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712386-1338198337.wbo 

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.84 1.98 1.99 3/176 28988
/proc/meminfo: memFree=26255808/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 816 0 0 0 0 0 0 0 20 0 1 0 285960708 6356992 737 33554432000 4194304 8973514 140733567797344 140734488989032 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 1552 740 422 1167 0 333 0

[startup+0.0140599 s]
/proc/loadavg: 1.84 1.98 1.99 3/176 28988
/proc/meminfo: memFree=26255808/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=7232 CPUtime=0.01 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 1072 0 0 0 1 0 0 0 20 0 1 0 285960708 7405568 993 33554432000 4194304 8973514 140733567797344 140734488989032 4209325 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 1808 998 424 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232

[startup+0.100263 s]
/proc/loadavg: 1.84 1.98 1.99 3/176 28988
/proc/meminfo: memFree=26255808/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=9280 CPUtime=0.09 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 1426 0 0 0 9 0 0 0 20 0 1 0 285960708 9502720 1347 33554432000 4194304 8973514 140733567797344 140734488989032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 2320 1347 453 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300227 s]
/proc/loadavg: 1.84 1.98 1.99 3/176 28988
/proc/meminfo: memFree=26255808/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=9280 CPUtime=0.29 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 1638 0 0 0 29 0 0 0 20 0 1 0 285960708 9502720 1559 33554432000 4194304 8973514 140733567797344 140734488989032 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 2320 1559 463 1167 0 1101 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9280

[startup+0.700232 s]
/proc/loadavg: 1.84 1.98 1.99 3/176 28988
/proc/meminfo: memFree=26255808/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=11328 CPUtime=0.69 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 1951 0 0 0 69 0 0 0 20 0 1 0 285960708 11599872 1872 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 2832 1872 464 1167 0 1613 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11328

[startup+1.50018 s]
/proc/loadavg: 1.84 1.98 1.99 3/177 28989
/proc/meminfo: memFree=26247468/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=12352 CPUtime=1.49 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 2198 0 0 0 149 0 0 0 20 0 1 0 285960708 12648448 2119 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 3088 2119 464 1167 0 1869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12352

[startup+3.10024 s]
/proc/loadavg: 1.84 1.98 1.99 3/177 28989
/proc/meminfo: memFree=26243740/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=14400 CPUtime=3.09 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 2919 0 0 0 307 2 0 0 20 0 1 0 285960708 14745600 2840 33554432000 4194304 8973514 140733567797344 140733567796608 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 3600 2840 464 1167 0 2381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14400

[startup+6.30023 s]
/proc/loadavg: 1.85 1.98 1.99 3/177 28989
/proc/meminfo: memFree=26239284/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=16448 CPUtime=6.29 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 3432 0 0 0 626 3 0 0 20 0 1 0 285960708 16842752 3353 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 4112 3353 465 1167 0 2893 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16448

[startup+12.7002 s]
/proc/loadavg: 1.86 1.98 1.99 3/176 28989
/proc/meminfo: memFree=26231048/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=22592 CPUtime=12.69 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 4878 0 0 0 1262 7 0 0 20 0 1 0 285960708 23134208 4799 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 5648 4799 465 1167 0 4429 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22592

[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 1.99 3/177 28990
/proc/meminfo: memFree=26221464/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=32832 CPUtime=25.48 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 7289 0 0 0 2533 15 0 0 20 0 1 0 285960708 33619968 7210 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 8208 7210 465 1167 0 6989 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32832

[startup+51.1002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 28990
/proc/meminfo: memFree=26200096/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=49216 CPUtime=51.06 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 11645 0 0 0 5077 29 0 0 20 0 1 0 285960708 50397184 11546 33554432000 4194304 8973514 140733567797344 140733567796608 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 12304 11546 465 1167 0 11085 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 49216

[startup+102.306 s]
/proc/loadavg: 1.97 1.98 1.99 3/177 28990
/proc/meminfo: memFree=26188124/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=60480 CPUtime=102.26 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 14279 0 0 0 10167 59 0 0 20 0 1 0 285960708 61931520 14179 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 15120 14179 465 1167 0 13901 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 60480

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28990
/proc/meminfo: memFree=26185256/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=62528 CPUtime=162.24 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 16260 0 0 0 16134 90 0 0 20 0 1 0 285960708 64028672 14874 33554432000 4194304 8973514 140733567797344 140733567796608 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 15632 14874 465 1167 0 14413 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 62528

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28990
/proc/meminfo: memFree=26192388/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=54336 CPUtime=222.23 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 18310 0 0 0 22100 123 0 0 20 0 1 0 285960708 55640064 12826 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 13584 12826 465 1167 0 12365 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 54336

[startup+282.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 28993
/proc/meminfo: memFree=26186300/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=61504 CPUtime=282.22 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 20104 0 0 0 28067 155 0 0 20 0 1 0 285960708 62980096 14618 33554432000 4194304 8973514 140733567797344 140733567796608 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 15376 14618 465 1167 0 14157 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 61504

[startup+342.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28994
/proc/meminfo: memFree=26167452/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=79936 CPUtime=342.2 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 24716 0 0 0 34034 186 0 0 20 0 1 0 285960708 81854464 19226 33554432000 4194304 8973514 140733567797344 140733567779328 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 19984 19226 465 1167 0 18765 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 79936

[startup+402.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28994
/proc/meminfo: memFree=26164768/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=78912 CPUtime=402.19 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 24720 0 0 0 39999 220 0 0 20 0 1 0 285960708 80805888 18970 33554432000 4194304 8973514 140733567797344 140733567779328 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 19728 18970 465 1167 0 18509 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 78912

[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28994
/proc/meminfo: memFree=26160672/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=83008 CPUtime=462.18 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 26002 0 0 0 45966 252 0 0 20 0 1 0 285960708 85000192 19994 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 20752 19994 465 1167 0 19533 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 83008

[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28994
/proc/meminfo: memFree=26155524/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=92224 CPUtime=522.18 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 28307 0 0 0 51935 283 0 0 20 0 1 0 285960708 94437376 22298 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 23056 22298 465 1167 0 21837 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 92224

[startup+582.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/177 28994
/proc/meminfo: memFree=26154584/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=93248 CPUtime=582.16 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 28565 0 0 0 57902 314 0 0 20 0 1 0 285960708 95485952 22554 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 23312 22554 465 1167 0 22093 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 93248

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 28995
/proc/meminfo: memFree=26150672/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=78912 CPUtime=822.13 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 28565 0 0 0 81763 450 0 0 20 0 1 0 285960708 80805888 18970 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 19728 18970 465 1167 0 18509 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 78912

[startup+882.3 s]
/proc/loadavg: 2.08 2.01 2.00 3/178 28998
/proc/meminfo: memFree=26158788/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=85056 CPUtime=882.12 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 30102 0 0 0 87725 487 0 0 20 0 1 0 285960708 87097344 20506 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 21264 20506 465 1167 0 20045 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 85056

[startup+942.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 29022
/proc/meminfo: memFree=26158852/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=85056 CPUtime=942.11 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 30104 0 0 0 93690 521 0 0 20 0 1 0 285960708 87097344 20506 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 21264 20506 465 1167 0 20045 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 85056

[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 29022
/proc/meminfo: memFree=26158736/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=85056 CPUtime=1002.1 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 30104 0 0 0 99657 553 0 0 20 0 1 0 285960708 87097344 20506 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 21264 20506 465 1167 0 20045 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 85056

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29022
/proc/meminfo: memFree=26160220/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=83008 CPUtime=1062.09 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 30105 0 0 0 105622 587 0 0 20 0 1 0 285960708 85000192 19994 33554432000 4194304 8973514 140733567797344 140733567779328 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 20752 19994 465 1167 0 19533 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 83008

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29022
/proc/meminfo: memFree=26158792/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=85056 CPUtime=1122.07 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 30617 0 0 0 111587 620 0 0 20 0 1 0 285960708 87097344 20506 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 21264 20506 465 1167 0 20045 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 85056

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29022
/proc/meminfo: memFree=26152156/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=89152 CPUtime=1182.06 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 31642 0 0 0 117554 652 0 0 20 0 1 0 285960708 91291648 21530 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 22288 21530 465 1167 0 21069 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 89152

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29023
/proc/meminfo: memFree=26152028/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=89152 CPUtime=1242.05 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 31643 0 0 0 123528 677 0 0 20 0 1 0 285960708 91291648 21530 33554432000 4194304 8973514 140733567797344 140733567779328 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 22288 21530 465 1167 0 21069 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 89152

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29023
/proc/meminfo: memFree=26151656/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=89152 CPUtime=1302.05 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 31643 0 0 0 129497 708 0 0 20 0 1 0 285960708 91291648 21530 33554432000 4194304 8973514 140733567797344 140733567779328 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 22288 21530 465 1167 0 21069 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 89152

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29023
/proc/meminfo: memFree=26144588/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=96320 CPUtime=1362.04 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 33435 0 0 0 135468 736 0 0 20 0 1 0 285960708 98631680 23322 33554432000 4194304 8973514 140733567797344 140733567796840 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 24080 23322 465 1167 0 22861 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 96320

[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29023
/proc/meminfo: memFree=26147184/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=96320 CPUtime=1422.03 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 33437 0 0 0 141440 763 0 0 20 0 1 0 285960708 98631680 23322 33554432000 4194304 8973514 140733567797344 140733567796608 6565860 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 24080 23322 465 1167 0 22861 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 96320

[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 29026
/proc/meminfo: memFree=26144508/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=96320 CPUtime=1482.01 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 33437 0 0 0 147411 790 0 0 20 0 1 0 285960708 98631680 23322 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 24080 23322 465 1167 0 22861 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 96320

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29027
/proc/meminfo: memFree=26136324/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=102464 CPUtime=1542 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 34974 0 0 0 153378 822 0 0 20 0 1 0 285960708 104923136 24858 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 25616 24858 465 1167 0 24397 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 102464

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 29027
/proc/meminfo: memFree=26140976/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=99392 CPUtime=1602 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 34974 0 0 0 159348 852 0 0 20 0 1 0 285960708 101777408 24090 33554432000 4194304 8973514 140733567797344 140733567796840 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 24848 24090 465 1167 0 23629 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 99392

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29027
/proc/meminfo: memFree=26142152/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=99392 CPUtime=1661.99 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 34974 0 0 0 165319 880 0 0 20 0 1 0 285960708 101777408 24090 33554432000 4194304 8973514 140733567797344 140733567795520 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 24848 24090 465 1167 0 23629 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 99392

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29027
/proc/meminfo: memFree=26141032/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=99392 CPUtime=1721.98 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 34974 0 0 0 171294 904 0 0 20 0 1 0 285960708 101777408 24090 33554432000 4194304 8973514 140733567797344 140733567796608 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 24848 24090 465 1167 0 23629 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 99392

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29027
/proc/meminfo: memFree=26142640/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=100416 CPUtime=1781.97 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 35230 0 0 0 177266 931 0 0 20 0 1 0 285960708 102825984 24346 33554432000 4194304 8973514 140733567797344 140733567796840 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 25104 24346 465 1167 0 23885 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 100416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 29028
/proc/meminfo: memFree=26159328/32873844 swapFree=7108/7108
[pid=28988] ppid=28986 vsize=100416 CPUtime=1800.07 cores=1,3,5,7
/proc/28988/stat : 28988 (toysat) R 28986 28988 28734 0 -1 4202496 35230 0 0 0 179068 939 0 0 20 0 1 0 285960708 102825984 24346 33554432000 4194304 8973514 140733567797344 140733567796608 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/28988/statm: 25104 24346 465 1167 0 23885 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 100416

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.08
CPU user time (s): 1790.69
CPU system time (s): 9.39757
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 102464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.69
system time used= 9.39757
maximum resident set size= 99432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35230
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= 56
involuntary context switches= 1845

runsolver used 3.3015 second user time and 8.62669 second system time

The end

Launcher Data 

Begin job on node111 at 2012-05-28 11:45:37
IDJOB=3712386
IDBENCH=79174
IDSOLVER=2291
FILE ID=node111/3712386-1338198337
RUNJOBID= node111-1338194732-28751
PBS_JOBID= 14624600
Free space on /tmp= 67808 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/roussel/normalized-pigeon-cardinality-45-40--soft-0-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712386-1338198337/watcher-3712386-1338198337 -o /tmp/evaluation-result-3712386-1338198337/solver-3712386-1338198337 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712386-1338198337.wbo

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

MD5SUM BENCH= 12a88866bbd50b724bb180a8f6ce160e
RANDOM SEED=2046100923

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26258648 kB
Buffers:          558308 kB
Cached:          5105764 kB
SwapCached:         1624 kB
Active:          4714820 kB
Inactive:         962592 kB
Active(anon):       4704 kB
Inactive(anon):     9132 kB
Active(file):    4710116 kB
Inactive(file):   953460 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67105364 kB
Dirty:             14788 kB
Writeback:             0 kB
AnonPages:         17240 kB
Mapped:            15612 kB
Shmem:                 8 kB
Slab:             797908 kB
SReclaimable:     240292 kB
SUnreclaim:       557616 kB
KernelStack:        1456 kB
PageTables:         3516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     128260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 67800 MiB
End job on node111 at 2012-05-28 12:15:40