Trace number 3712084

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo
MD5SUM7e0724db75f314e84b0472c27c0a5114
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark1.24681
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3900
Total number of constraints125
Number of soft constraints39
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
Top cost 2003
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 2002
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 66
Number of bits of the biggest sum of numbers7
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.00/0.04	c 2012-05-28T07:15:21+0200
0.00/0.04	c arch = x86_64
0.00/0.04	c os = linux
0.00/0.04	c compiler = ghc 7.4
0.00/0.04	c packages:
0.00/0.04	c   OptDir-0.0.1
0.00/0.04	c   array-0.4.0.0
0.00/0.04	c   base-4.5.0.0
0.00/0.04	c   bytestring-0.9.2.1
0.00/0.04	c   containers-0.4.2.1
0.00/0.04	c   deepseq-1.3.0.0
0.00/0.04	c   mtl-2.1.1
0.00/0.04	c   old_locale-1.0.0.4
0.00/0.04	c   parse_dimacs-1.2
0.00/0.04	c   parsec-3.1.2
0.00/0.04	c   queue-0.1.2
0.00/0.04	c   stm-2.3
0.00/0.04	c   time-1.4
0.00/0.04	c command line = ["--wbo","HOME/instance-3712084-1338182121.wbo"]
0.00/0.04	c #vars 3900
0.00/0.04	c #constraints 125
0.00/0.04	c Solving starts ...
1.79/1.87	c solving time = 1.828s
1.79/1.87	c #decision = 7452
1.79/1.87	c #conflict = 505
1.79/1.87	c #restart = 3
1.79/1.87	o 158
1.79/1.87	c Solving starts ...
1.79/1.88	c solving time = 0.007s
1.79/1.88	c #decision = 9594
1.79/1.88	c #conflict = 505
1.79/1.88	c #restart = 3
1.79/1.88	o 151
1.79/1.88	c Solving starts ...
1.79/1.89	c solving time = 0.006s
1.79/1.89	c #decision = 11733
1.79/1.89	c #conflict = 505
1.79/1.89	c #restart = 3
1.79/1.89	o 116
1.79/1.89	c Solving starts ...
1.89/1.90	c solving time = 0.006s
1.89/1.90	c #decision = 13813
1.89/1.90	c #conflict = 505
1.89/1.90	c #restart = 3
1.89/1.90	o 88
1.89/1.90	c Solving starts ...
1.89/1.91	c solving time = 0.007s
1.89/1.91	c #decision = 15863
1.89/1.91	c #conflict = 505
1.89/1.91	c #restart = 3
1.89/1.91	o 81
1.89/1.91	c Solving starts ...
1.89/1.93	c solving time = 0.018s
1.89/1.93	c #decision = 17859
1.89/1.93	c #conflict = 511
1.89/1.93	c #restart = 3
1.89/1.93	o 28
1.89/1.93	c Solving starts ...
2.20/2.27	c solving time = 0.338s
2.20/2.27	c #decision = 21794
2.20/2.27	c #conflict = 627
2.20/2.27	c #restart = 4
2.20/2.27	o 9
2.20/2.27	c Solving starts ...
3.69/3.76	c solving time = 1.487s
3.69/3.76	c #decision = 30809
3.69/3.76	c #conflict = 1253
3.69/3.76	c #restart = 7
3.69/3.76	o 4
3.69/3.76	c Solving starts ...
4.89/4.96	c learnt constraints deletion: 1718 -> 859
10.78/10.87	c learnt constraints deletion: 2462 -> 1231
20.18/20.22	c learnt constraints deletion: 4084 -> 2042
29.48/29.59	c learnt constraints deletion: 4611 -> 2306
45.07/45.19	c learnt constraints deletion: 6160 -> 3080
67.95/68.06	c learnt constraints deletion: 7414 -> 3712
79.15/79.29	c learnt constraints deletion: 5160 -> 2580
115.23/115.31	c learnt constraints deletion: 7750 -> 3888
153.53/153.61	c learnt constraints deletion: 7392 -> 3696
210.22/210.37	c learnt constraints deletion: 8082 -> 4043
281.40/281.54	c learnt constraints deletion: 8056 -> 4032
355.59/355.76	c learnt constraints deletion: 8087 -> 4047
437.87/438.10	c learnt constraints deletion: 8493 -> 4253
550.15/550.34	c learnt constraints deletion: 8486 -> 4254
670.43/670.69	c learnt constraints deletion: 8496 -> 4259
774.71/774.92	c learnt constraints deletion: 8470 -> 4246
850.20/850.41	c learnt constraints deletion: 7191 -> 3596
972.48/972.71	c learnt constraints deletion: 8898 -> 4450
1098.76/1099.07	c learnt constraints deletion: 8874 -> 4439
1204.55/1204.89	c learnt constraints deletion: 8929 -> 4467
1310.83/1311.18	c learnt constraints deletion: 8917 -> 4463
1418.11/1418.48	c learnt constraints deletion: 8879 -> 4442
1518.71/1519.07	c learnt constraints deletion: 8875 -> 4440
1566.99/1567.38	c learnt constraints deletion: 6204 -> 3102
1673.68/1674.07	c learnt constraints deletion: 9427 -> 4731
1780.26/1780.65	c learnt constraints deletion: 9379 -> 4709

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-3712084-1338182121/watcher-3712084-1338182121 -o /tmp/evaluation-result-3712084-1338182121/solver-3712084-1338182121 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712084-1338182121.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.97 1.99 4/169 19245
/proc/meminfo: memFree=31283052/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 796 0 0 0 0 0 0 0 20 0 1 0 284340556 6356992 717 33554432000 4194304 8973514 140735361731792 140734261897272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 1552 717 422 1167 0 333 0

[startup+0.0832371 s]
/proc/loadavg: 1.84 1.97 1.99 4/169 19245
/proc/meminfo: memFree=31283052/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=10304 CPUtime=0.07 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 1886 0 0 0 7 0 0 0 20 0 1 0 284340556 10551296 1807 33554432000 4194304 8973514 140735361731792 140734261897272 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 2576 1807 454 1167 0 1357 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10304

[startup+0.100234 s]
/proc/loadavg: 1.84 1.97 1.99 4/169 19245
/proc/meminfo: memFree=31283052/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=11328 CPUtime=0.09 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 2142 0 0 0 9 0 0 0 20 0 1 0 284340556 11599872 2063 33554432000 4194304 8973514 140735361731792 140734261897272 4414833 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 2832 2063 454 1167 0 1613 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11328

[startup+0.300195 s]
/proc/loadavg: 1.84 1.97 1.99 4/169 19245
/proc/meminfo: memFree=31283052/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=12352 CPUtime=0.29 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 2339 0 0 0 29 0 0 0 20 0 1 0 284340556 12648448 2260 33554432000 4194304 8973514 140735361731792 140735361731288 4415744 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 3088 2260 454 1167 0 1869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12352

[startup+0.70021 s]
/proc/loadavg: 1.84 1.97 1.99 4/169 19245
/proc/meminfo: memFree=31283052/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=13376 CPUtime=0.69 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 2654 0 0 0 69 0 0 0 20 0 1 0 284340556 13697024 2575 33554432000 4194304 8973514 140735361731792 140735361731288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 3344 2575 454 1167 0 2125 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13376

[startup+1.50024 s]
/proc/loadavg: 1.84 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31263560/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=15424 CPUtime=1.48 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 3166 0 0 0 148 0 0 0 20 0 1 0 284340556 15794176 3087 33554432000 4194304 8973514 140735361731792 140735361731288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 3856 3087 454 1167 0 2637 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15424

[startup+3.10018 s]
/proc/loadavg: 1.84 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31258724/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=19520 CPUtime=3.09 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 4074 0 0 0 308 1 0 0 20 0 1 0 284340556 19988480 3995 33554432000 4194304 8973514 140735361731792 140735361731288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 4880 3995 465 1167 0 3661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19520

[startup+6.30019 s]
/proc/loadavg: 1.85 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31246076/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=25664 CPUtime=6.29 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 5738 0 0 0 627 2 0 0 20 0 1 0 284340556 26279936 5659 33554432000 4194304 8973514 140735361731792 140735361731288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 6416 5659 466 1167 0 5197 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 25664

[startup+12.7002 s]
/proc/loadavg: 1.86 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31228612/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=34880 CPUtime=12.69 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 8045 0 0 0 1264 5 0 0 20 0 1 0 284340556 35717120 7968 33554432000 4194304 8973514 140735361731792 140735361731288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 8720 7968 466 1167 0 7501 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34880

[startup+25.5002 s]
/proc/loadavg: 1.89 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31191064/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=58432 CPUtime=25.48 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 13917 0 0 0 2539 9 0 0 20 0 1 0 284340556 59834368 13832 33554432000 4194304 8973514 140735361731792 140735361731056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 14608 13832 466 1167 0 13389 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58432

[startup+51.1002 s]
/proc/loadavg: 1.93 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31141416/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=88128 CPUtime=51.06 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 21385 0 0 0 5089 17 0 0 20 0 1 0 284340556 90243072 21280 33554432000 4194304 8973514 140735361731792 140735361731288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 22032 21280 466 1167 0 20813 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 88128

[startup+102.306 s]
/proc/loadavg: 1.97 1.97 1.99 3/175 19255
/proc/meminfo: memFree=31086900/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=107584 CPUtime=102.24 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 27543 0 0 0 10190 34 0 0 20 0 1 0 284340556 110166016 26144 33554432000 4194304 8973514 140735361731792 140735361731288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 26896 26144 466 1167 0 25677 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 107584

[startup+162.3 s]
/proc/loadavg: 2.05 1.99 1.99 3/175 19255
/proc/meminfo: memFree=31042944/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=130112 CPUtime=162.23 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 33175 0 0 0 16174 49 0 0 20 0 1 0 284340556 133234688 31776 33554432000 4194304 8973514 140735361731792 140735361731288 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 32528 31776 466 1167 0 31309 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 130112

[startup+222.3 s]
/proc/loadavg: 2.02 1.99 1.99 3/175 19255
/proc/meminfo: memFree=30972624/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=162880 CPUtime=222.22 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 41372 0 0 0 22163 59 0 0 20 0 1 0 284340556 166789120 39968 33554432000 4194304 8973514 140735361731792 140735361731056 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 40720 39968 466 1167 0 39501 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 162880

[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/176 19258
/proc/meminfo: memFree=30929908/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=202816 CPUtime=282.19 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 51384 0 0 0 28152 67 0 0 20 0 1 0 284340556 207683584 49952 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 50704 49952 466 1167 0 49485 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 202816

[startup+342.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/175 19259
/proc/meminfo: memFree=30915188/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=202816 CPUtime=342.18 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 51384 0 0 0 34144 74 0 0 20 0 1 0 284340556 207683584 49952 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 50704 49952 466 1167 0 49485 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 202816

[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19259
/proc/meminfo: memFree=30890888/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=202816 CPUtime=402.18 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 51384 0 0 0 40135 83 0 0 20 0 1 0 284340556 207683584 49952 33554432000 4194304 8973514 140735361731792 140735361731056 4424580 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 50704 49952 466 1167 0 49485 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 202816

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19259
/proc/meminfo: memFree=30879604/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=202816 CPUtime=462.16 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 51384 0 0 0 46125 91 0 0 20 0 1 0 284340556 207683584 49952 33554432000 4194304 8973514 140735361731792 140735361731288 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 50704 49952 466 1167 0 49485 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 202816

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19259
/proc/meminfo: memFree=30844364/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=228416 CPUtime=522.16 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 57546 0 0 0 52117 99 0 0 20 0 1 0 284340556 233897984 56106 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57104 56106 466 1167 0 55885 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 228416

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19259
/proc/meminfo: memFree=30804484/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=582.14 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61892 0 0 0 58107 107 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 244800

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/175 19260
/proc/meminfo: memFree=30758536/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=822.11 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61892 0 0 0 82079 132 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731056 6817368 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 822.11
Current children cumulated vsize (KiB) 244800

[startup+882.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/176 19263
/proc/meminfo: memFree=30749364/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=882.1 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61895 0 0 0 88069 141 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731056 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 882.1
Current children cumulated vsize (KiB) 244800

[startup+942.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 19264
/proc/meminfo: memFree=30749420/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=942.09 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61895 0 0 0 94062 147 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731288 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 942.09
Current children cumulated vsize (KiB) 244800

[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/175 19264
/proc/meminfo: memFree=30749408/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=1002.07 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61895 0 0 0 100054 153 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731288 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 1002.07
Current children cumulated vsize (KiB) 244800

[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/175 19264
/proc/meminfo: memFree=30749444/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=244800 CPUtime=1062.06 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 61895 0 0 0 106047 159 0 0 20 0 1 0 284340556 250675200 60448 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61200 60448 466 1167 0 59981 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 244800

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/174 19264
/proc/meminfo: memFree=30748584/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1122.06 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62407 0 0 0 112040 166 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731288 4459452 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 246848

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 19265
/proc/meminfo: memFree=30747644/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1182.04 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 118031 173 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 246848

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 19266
/proc/meminfo: memFree=30746784/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1242.04 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 124023 181 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 246848

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19266
/proc/meminfo: memFree=30744676/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1302.04 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 130016 188 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 246848

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 19266
/proc/meminfo: memFree=30745232/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1362.02 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 136006 196 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 246848

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19266
/proc/meminfo: memFree=30744736/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1422.02 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 141998 204 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 246848

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/176 19269
/proc/meminfo: memFree=30744688/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1482 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 147987 213 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 246848

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 19270
/proc/meminfo: memFree=30728988/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=246848 CPUtime=1541.99 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 153981 218 0 0 20 0 1 0 284340556 252772352 60960 33554432000 4194304 8973514 140735361731792 140735361731288 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 61712 60960 466 1167 0 60493 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 246848

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19270
/proc/meminfo: memFree=30738976/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=230464 CPUtime=1601.99 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 159972 227 0 0 20 0 1 0 284340556 235995136 56864 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57616 56864 466 1167 0 56397 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 230464

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/175 19270
/proc/meminfo: memFree=30738976/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=230464 CPUtime=1661.98 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 165963 235 0 0 20 0 1 0 284340556 235995136 56864 33554432000 4194304 8973514 140735361731792 140735361731056 4209198 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57616 56864 466 1167 0 56397 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 230464

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/175 19270
/proc/meminfo: memFree=30739140/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=230464 CPUtime=1721.97 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 171954 243 0 0 20 0 1 0 284340556 235995136 56864 33554432000 4194304 8973514 140735361731792 140735361731056 7662133 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57616 56864 466 1167 0 56397 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 230464

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/175 19270
/proc/meminfo: memFree=30738520/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=230464 CPUtime=1781.96 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 177947 249 0 0 20 0 1 0 284340556 235995136 56864 33554432000 4194304 8973514 140735361731792 140735361731056 7681396 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57616 56864 466 1167 0 56397 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 230464



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 19270
/proc/meminfo: memFree=30738644/32873844 swapFree=6088/6088
[pid=19245] ppid=19243 vsize=230464 CPUtime=1800.06 cores=1,3,5,7
/proc/19245/stat : 19245 (toysat) R 19243 19245 15656 0 -1 4202496 62408 0 0 0 179754 252 0 0 20 0 1 0 284340556 235995136 56864 33554432000 4194304 8973514 140735361731792 140735361731056 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/19245/statm: 57616 56864 466 1167 0 56397 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 230464

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.07
CPU user time (s): 1797.55
CPU system time (s): 2.52362
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 246848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.55
system time used= 2.52362
maximum resident set size= 243840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62408
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= 97
involuntary context switches= 1850

runsolver used 3.19951 second user time and 8.35573 second system time

The end

Launcher Data

Begin job on node110 at 2012-05-28 07:15:21
IDJOB=3712084
IDBENCH=78729
IDSOLVER=2291
FILE ID=node110/3712084-1338182121
RUNJOBID= node110-1338174910-18808
PBS_JOBID= 14624525
Free space on /tmp= 71680 MiB

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

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

MD5SUM BENCH= 7e0724db75f314e84b0472c27c0a5114
RANDOM SEED=201384249

node110.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.893
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31290556 kB
Buffers:          301040 kB
Cached:           454748 kB
SwapCached:          148 kB
Active:           523592 kB
Inactive:         245128 kB
Active(anon):       2840 kB
Inactive(anon):    12496 kB
Active(file):     520752 kB
Inactive(file):   232632 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108004 kB
Dirty:              7400 kB
Writeback:             0 kB
AnonPages:         18268 kB
Mapped:            13760 kB
Shmem:               196 kB
Slab:             675256 kB
SReclaimable:     117692 kB
SUnreclaim:       557564 kB
KernelStack:        1424 kB
PageTables:         3152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:      92900 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71664 MiB
End job on node110 at 2012-05-28 07:45:24