Trace number 3724491

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-06-01? (TO) 1800.11 1800.41

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K83.opb
MD5SUM87eecd69bf3cf4e36ad8fc8a9d8af53d
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5644
Total number of constraints5812
Number of constraints which are clauses5729
Number of constraints which are cardinality constraints (but not clauses)83
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint83
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 84
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

Solver Data 

0.19/0.22	c 2012-06-02T15:36:51+0200
0.19/0.22	c arch = x86_64
0.19/0.22	c os = linux
0.19/0.22	c compiler = ghc 7.4
0.19/0.22	c packages:
0.19/0.22	c   OptDir-0.0.1
0.19/0.22	c   array-0.4.0.0
0.19/0.22	c   base-4.5.0.0
0.19/0.22	c   bytestring-0.9.2.1
0.19/0.22	c   containers-0.4.2.1
0.19/0.22	c   deepseq-1.3.0.0
0.19/0.22	c   mtl-2.1.1
0.19/0.22	c   old_locale-1.0.0.4
0.19/0.22	c   parse_dimacs-1.2
0.19/0.22	c   parsec-3.1.2
0.19/0.22	c   queue-0.1.2
0.19/0.22	c   stm-2.3
0.19/0.22	c   time-1.4
0.19/0.22	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3724491-1338644211.opb"]
0.19/0.22	c #vars 5644
0.19/0.22	c #constraints 5812
0.19/0.22	c Solving starts ...
15.18/15.29	c learnt constraints deletion: 11340 -> 5670
23.99/24.04	c learnt constraints deletion: 11451 -> 5726
52.08/52.14	c learnt constraints deletion: 13929 -> 7011
67.37/67.41	c learnt constraints deletion: 12570 -> 6285
79.78/79.86	c learnt constraints deletion: 13232 -> 6616
103.17/103.28	c learnt constraints deletion: 16092 -> 8087
112.77/112.84	c learnt constraints deletion: 14525 -> 7270
125.76/125.83	c learnt constraints deletion: 15181 -> 7591
138.35/138.45	c learnt constraints deletion: 15829 -> 7929
151.76/151.87	c learnt constraints deletion: 15485 -> 7758
166.05/166.13	c learnt constraints deletion: 16466 -> 8251
181.55/181.62	c learnt constraints deletion: 17498 -> 8837
204.24/204.33	c learnt constraints deletion: 18851 -> 9510
236.44/236.58	c learnt constraints deletion: 18409 -> 9305
273.24/273.30	c learnt constraints deletion: 19269 -> 9804
304.74/304.81	c learnt constraints deletion: 19048 -> 9531
321.02/321.14	c learnt constraints deletion: 19110 -> 9590
338.52/338.60	c learnt constraints deletion: 19042 -> 9568
369.42/369.54	c learnt constraints deletion: 19735 -> 10006
391.52/391.61	c learnt constraints deletion: 18747 -> 9421
428.92/429.02	c learnt constraints deletion: 20329 -> 10235
462.70/462.80	c learnt constraints deletion: 20404 -> 10299
481.30/481.40	c learnt constraints deletion: 20538 -> 10291
520.89/521.02	c learnt constraints deletion: 22448 -> 11326
577.39/577.59	c learnt constraints deletion: 22494 -> 11341
650.08/650.28	c learnt constraints deletion: 22343 -> 11248
693.56/693.78	c learnt constraints deletion: 21355 -> 10700
720.15/720.34	c learnt constraints deletion: 22066 -> 11167
739.46/739.63	c learnt constraints deletion: 21268 -> 11357
769.35/769.59	c learnt constraints deletion: 22447 -> 11794
805.25/805.44	c learnt constraints deletion: 22263 -> 12065
853.64/853.88	c learnt constraints deletion: 23710 -> 12270
907.43/907.64	c learnt constraints deletion: 24560 -> 12676
974.02/974.22	c learnt constraints deletion: 24753 -> 12928
1004.31/1004.50	c learnt constraints deletion: 23419 -> 13215
1035.41/1035.69	c learnt constraints deletion: 24682 -> 13788
1082.50/1082.79	c learnt constraints deletion: 23422 -> 13950
1096.80/1097.05	c learnt constraints deletion: 23433 -> 14574
1111.50/1111.75	c learnt constraints deletion: 23776 -> 14983
1123.70/1123.92	c learnt constraints deletion: 22901 -> 15380
1133.49/1133.73	c learnt constraints deletion: 22741 -> 15750
1163.69/1163.95	c learnt constraints deletion: 24233 -> 16081
1183.69/1183.94	c learnt constraints deletion: 24498 -> 16344
1200.88/1201.20	c learnt constraints deletion: 23666 -> 16569
1219.38/1219.67	c learnt constraints deletion: 24173 -> 16878
1238.39/1238.64	c learnt constraints deletion: 24734 -> 17105
1254.17/1254.48	c learnt constraints deletion: 22830 -> 17139
1270.07/1270.38	c learnt constraints deletion: 24354 -> 17436
1291.87/1292.13	c learnt constraints deletion: 26801 -> 17869
1323.67/1323.96	c learnt constraints deletion: 26347 -> 18131
1353.26/1353.51	c learnt constraints deletion: 26630 -> 18433
1383.66/1383.94	c learnt constraints deletion: 26730 -> 18616
1396.45/1396.76	c learnt constraints deletion: 25110 -> 18735
1407.95/1408.21	c learnt constraints deletion: 25078 -> 19046
1436.85/1437.11	c learnt constraints deletion: 26605 -> 19278
1464.95/1465.20	c learnt constraints deletion: 26873 -> 19387
1500.93/1501.26	c learnt constraints deletion: 27093 -> 19502
1531.33/1531.68	c learnt constraints deletion: 26704 -> 19611
1560.63/1560.96	c learnt constraints deletion: 26667 -> 19714
1582.83/1583.19	c learnt constraints deletion: 25885 -> 19834
1608.22/1608.57	c learnt constraints deletion: 26663 -> 20057
1625.52/1625.86	c learnt constraints deletion: 26138 -> 20186
1644.82/1645.10	c learnt constraints deletion: 26277 -> 20335
1666.22/1666.51	c learnt constraints deletion: 26131 -> 20438
1685.91/1686.20	c learnt constraints deletion: 26489 -> 20531
1710.41/1710.76	c learnt constraints deletion: 26703 -> 20628
1729.10/1729.46	c learnt constraints deletion: 26611 -> 20715
1739.80/1740.13	c learnt constraints deletion: 25898 -> 20738
1752.10/1752.48	c learnt constraints deletion: 27271 -> 21031
1760.20/1760.56	c learnt constraints deletion: 26651 -> 21298
1773.40/1773.73	c learnt constraints deletion: 26465 -> 21474
1782.59/1782.94	c learnt constraints deletion: 26203 -> 21632
1792.59/1793.00	c learnt constraints deletion: 26302 -> 21774

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

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 4800
/proc/meminfo: memFree=28973048/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=6224 CPUtime=0 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 807 0 0 0 0 0 0 0 20 0 1 0 330549561 6373376 727 33554432000 4194304 8989770 140736620200016 140735894618088 7874608 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 1556 727 428 1171 0 333 0

[startup+0.0134601 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 4800
/proc/meminfo: memFree=28973048/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=7248 CPUtime=0.01 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 1016 0 0 0 1 0 0 0 20 0 1 0 330549561 7421952 937 33554432000 4194304 8989770 140736620200016 140735894618088 4209325 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 1812 942 429 1171 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7248

[startup+0.100309 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 4800
/proc/meminfo: memFree=28973048/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=12368 CPUtime=0.09 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 2319 0 0 0 9 0 0 0 20 0 1 0 330549561 12664832 2239 33554432000 4194304 8989770 140736620200016 140736620199280 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 3092 2239 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.30033 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 4800
/proc/meminfo: memFree=28973048/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=20560 CPUtime=0.29 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 4452 0 0 0 29 0 0 0 20 0 1 0 330549561 21053440 4372 33554432000 4194304 8989770 140736620200016 140736620199280 4438244 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 5140 4372 459 1171 0 3917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20560

[startup+0.700345 s]
/proc/loadavg: 2.02 2.01 2.00 3/176 4800
/proc/meminfo: memFree=28973048/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=20560 CPUtime=0.69 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 4452 0 0 0 69 0 0 0 20 0 1 0 330549561 21053440 4372 33554432000 4194304 8989770 140736620200016 140736620199280 4493754 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 5140 4372 459 1171 0 3917 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20560

[startup+1.50033 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4801
/proc/meminfo: memFree=28957044/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=22608 CPUtime=1.49 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 4964 0 0 0 148 1 0 0 20 0 1 0 330549561 23150592 4884 33554432000 4194304 8989770 140736620200016 140736620199512 4494132 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 5652 4884 459 1171 0 4429 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 22608

[startup+3.10033 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4801
/proc/meminfo: memFree=28952184/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=27728 CPUtime=3.08 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 6097 0 0 0 307 1 0 0 20 0 1 0 330549561 28393472 6017 33554432000 4194304 8989770 140736620200016 140736620199512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 6932 6017 459 1171 0 5709 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 27728

[startup+6.30033 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4801
/proc/meminfo: memFree=28944000/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=35920 CPUtime=6.29 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 8081 0 0 0 626 3 0 0 20 0 1 0 330549561 36782080 8001 33554432000 4194304 8989770 140736620200016 140736620199512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 8980 8001 459 1171 0 7757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35920

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4801
/proc/meminfo: memFree=28924788/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=53328 CPUtime=12.68 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 12472 0 0 0 1262 6 0 0 20 0 1 0 330549561 54607872 12392 33554432000 4194304 8989770 140736620200016 140736620199512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 13332 12392 459 1171 0 12109 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 53328

[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4801
/proc/meminfo: memFree=28910512/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=66640 CPUtime=25.49 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 15974 0 0 0 2537 12 0 0 20 0 1 0 330549561 68239360 15894 33554432000 4194304 8989770 140736620200016 140736620199512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 16660 15894 461 1171 0 15437 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66640

[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4802
/proc/meminfo: memFree=28875016/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=102480 CPUtime=51.08 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 24901 0 0 0 5086 22 0 0 20 0 1 0 330549561 104939520 24821 33554432000 4194304 8989770 140736620200016 140736620199280 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 25620 24821 461 1171 0 24397 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 102480

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4802
/proc/meminfo: memFree=28877216/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=95312 CPUtime=102.28 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 25958 0 0 0 10189 39 0 0 20 0 1 0 330549561 97599488 23062 33554432000 4194304 8989770 140736620200016 140736620199512 6547596 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 23828 23062 461 1171 0 22605 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 95312

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4802
/proc/meminfo: memFree=28880140/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=76880 CPUtime=162.25 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 26489 0 0 0 16163 62 0 0 20 0 1 0 330549561 78725120 18459 33554432000 4194304 8989770 140736620200016 140736620199280 6581689 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 19220 18459 461 1171 0 17997 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 76880

[startup+222.306 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 4805
/proc/meminfo: memFree=28835368/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=107600 CPUtime=222.25 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 34169 0 0 0 22138 87 0 0 20 0 1 0 330549561 110182400 26139 33554432000 4194304 8989770 140736620200016 140736620197952 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 26900 26139 461 1171 0 25677 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 107600

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4805
/proc/meminfo: memFree=28817120/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=111696 CPUtime=282.23 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 36985 0 0 0 28111 112 0 0 20 0 1 0 330549561 114376704 27163 33554432000 4194304 8989770 140736620200016 140736620199512 4429924 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 27924 27163 461 1171 0 26701 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 111696

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4806
/proc/meminfo: memFree=28834508/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=83024 CPUtime=342.23 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 36991 0 0 0 34090 133 0 0 20 0 1 0 330549561 85016576 19995 33554432000 4194304 8989770 140736620200016 140736620199280 4438168 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 20756 19995 461 1171 0 19533 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 83024

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4806
/proc/meminfo: memFree=28823784/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=80976 CPUtime=402.21 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 41087 0 0 0 40065 156 0 0 20 0 1 0 330549561 82919424 19483 33554432000 4194304 8989770 140736620200016 140736620199512 6592860 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 20244 19483 461 1171 0 19021 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 80976

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4806
/proc/meminfo: memFree=28797436/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=97360 CPUtime=462.21 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 48267 0 0 0 46042 179 0 0 20 0 1 0 330549561 99696640 23335 33554432000 4194304 8989770 140736620200016 140736620199512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 24340 23335 461 1171 0 23117 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 97360

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4806
/proc/meminfo: memFree=28764472/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=115792 CPUtime=522.2 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 56963 0 0 0 52018 202 0 0 20 0 1 0 330549561 118571008 28187 33554432000 4194304 8989770 140736620200016 140736620199512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 28948 28187 461 1171 0 27725 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 115792

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4806
/proc/meminfo: memFree=28752404/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=111696 CPUtime=582.18 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 61583 0 0 0 57996 222 0 0 20 0 1 0 330549561 114376704 27163 33554432000 4194304 8989770 140736620200016 140736620199512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 27924 27163 461 1171 0 26701 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 111696

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4810
/proc/meminfo: memFree=28699836/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=115792 CPUtime=882.13 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 92281 0 0 0 87884 329 0 0 20 0 1 0 330549561 118571008 28162 33554432000 4194304 8989770 140736620200016 140736620199280 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 28948 28162 461 1171 0 27725 0
Current children cumulated CPU time (s) 882.13
Current children cumulated vsize (KiB) 115792

[startup+942.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/176 4810
/proc/meminfo: memFree=28685700/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=121936 CPUtime=942.12 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 103076 0 0 0 93862 350 0 0 20 0 1 0 330549561 124862464 29485 33554432000 4194304 8989770 140736620200016 140736620199512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 30484 29485 461 1171 0 29261 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 121936

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4811
/proc/meminfo: memFree=28679832/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=117840 CPUtime=1002.12 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 113554 0 0 0 99844 368 0 0 20 0 1 0 330549561 120668160 28699 33554432000 4194304 8989770 140736620200016 140736620199512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 29460 28699 461 1171 0 28237 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 117840

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4811
/proc/meminfo: memFree=28676848/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=111696 CPUtime=1062.1 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 115350 0 0 0 105820 390 0 0 20 0 1 0 330549561 114376704 27163 33554432000 4194304 8989770 140736620200016 140736620199512 4209220 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 27924 27163 461 1171 0 26701 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 111696

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4811
/proc/meminfo: memFree=28696192/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=83024 CPUtime=1122.1 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 121494 0 0 0 111796 414 0 0 20 0 1 0 330549561 85016576 19995 33554432000 4194304 8989770 140736620200016 140736620199280 4451944 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 20756 19995 461 1171 0 19533 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 83024

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4811
/proc/meminfo: memFree=28672136/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=99408 CPUtime=1182.09 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 130710 0 0 0 117769 440 0 0 20 0 1 0 330549561 101793792 24091 33554432000 4194304 8989770 140736620200016 140736620199512 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 24852 24091 461 1171 0 23629 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 99408

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4811
/proc/meminfo: memFree=28653660/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=107600 CPUtime=1242.07 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 143510 0 0 0 123744 463 0 0 20 0 1 0 330549561 110182400 26139 33554432000 4194304 8989770 140736620200016 140736620199280 4472229 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 26900 26139 461 1171 0 25677 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 107600

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4812
/proc/meminfo: memFree=28670176/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=91216 CPUtime=1302.07 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 149656 0 0 0 129721 486 0 0 20 0 1 0 330549561 93405184 22043 33554432000 4194304 8989770 140736620200016 140736620199512 4208816 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 22804 22043 461 1171 0 21581 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 91216

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4812
/proc/meminfo: memFree=28662240/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=99408 CPUtime=1362.06 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 161688 0 0 0 135698 508 0 0 20 0 1 0 330549561 101793792 24091 33554432000 4194304 8989770 140736620200016 140736620199280 4209336 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 24852 24091 461 1171 0 23629 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 99408

[startup+1422.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 4815
/proc/meminfo: memFree=28669920/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=92240 CPUtime=1422.05 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 169071 0 0 0 141674 531 0 0 20 0 1 0 330549561 94453760 22258 33554432000 4194304 8989770 140736620200016 140736620199280 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 23060 22258 461 1171 0 21837 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 92240

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 4838
/proc/meminfo: memFree=28667688/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=94288 CPUtime=1482.04 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 182868 0 0 0 147648 556 0 0 20 0 1 0 330549561 96550912 22743 33554432000 4194304 8989770 140736620200016 140736620199280 7953280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 23572 22743 461 1171 0 22349 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 94288

[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 4838
/proc/meminfo: memFree=28665396/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=95312 CPUtime=1542.04 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 197787 0 0 0 153626 578 0 0 20 0 1 0 330549561 97599488 23068 33554432000 4194304 8989770 140736620200016 140736620199512 6858380 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 23828 23068 461 1171 0 22605 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 95312

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4839
/proc/meminfo: memFree=28661552/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=99408 CPUtime=1602.02 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 202651 0 0 0 159601 601 0 0 20 0 1 0 330549561 101793792 24092 33554432000 4194304 8989770 140736620200016 140736620199512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 24852 24092 461 1171 0 23629 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 99408

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 4839
/proc/meminfo: memFree=28655600/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=104528 CPUtime=1662.01 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 204980 0 0 0 165577 624 0 0 20 0 1 0 330549561 107036672 25141 33554432000 4194304 8989770 140736620200016 140736620199512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 26132 25141 461 1171 0 24909 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 104528

[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 4839
/proc/meminfo: memFree=28661180/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=95312 CPUtime=1722 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 214171 0 0 0 171552 648 0 0 20 0 1 0 330549561 97599488 23068 33554432000 4194304 8989770 140736620200016 140736620199512 7687095 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 23828 23068 461 1171 0 22605 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 95312

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 4878
/proc/meminfo: memFree=28997880/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=83024 CPUtime=1781.99 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 218267 0 0 0 177526 673 0 0 20 0 1 0 330549561 85016576 19996 33554432000 4194304 8989770 140736620200016 140736620199512 7857787 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 20756 19996 461 1171 0 19533 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 83024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4878
/proc/meminfo: memFree=28997972/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=83024 CPUtime=1800.1 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 218267 0 0 0 179331 679 0 0 20 0 1 0 330549561 85016576 19996 33554432000 4194304 8989770 140736620200016 140736620199280 4204638 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 20756 19996 461 1171 0 19533 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 83024

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

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

[startup+1800.4 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 4878
/proc/meminfo: memFree=28997972/32873844 swapFree=6872/6872
[pid=4800] ppid=4798 vsize=83024 CPUtime=1800.1 cores=0,2,4,6
/proc/4800/stat : 4800 (toysat) R 4798 4800 3386 0 -1 4202496 218267 0 0 0 179331 679 0 0 20 0 1 0 330549561 85016576 19996 33554432000 4194304 8989770 140736620200016 140736620199280 4204638 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/4800/statm: 20756 19996 461 1171 0 19533 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 83024

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1793.31
CPU system time (s): 6.79697
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 162896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.31
system time used= 6.79697
maximum resident set size= 159852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 218267
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= 55
involuntary context switches= 1880

runsolver used 3.2515 second user time and 8.80266 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-02 15:36:51
IDJOB=3724491
IDBENCH=90136
IDSOLVER=2308
FILE ID=node106/3724491-1338644211
RUNJOBID= node106-1338631508-3402
PBS_JOBID= 14636474
Free space on /tmp= 70840 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K83.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3724491-1338644211/watcher-3724491-1338644211 -o /tmp/evaluation-result-3724491-1338644211/solver-3724491-1338644211 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3724491-1338644211.opb

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

MD5SUM BENCH= 87eecd69bf3cf4e36ad8fc8a9d8af53d
RANDOM SEED=584421569

node106.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		: 2667.065
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	: 5334.13
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		: 2667.065
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		: 2667.065
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.91
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		: 2667.065
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.92
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		: 2667.065
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		: 2667.065
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		: 2667.065
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		: 2667.065
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:        28973684 kB
Buffers:          259256 kB
Cached:          2611376 kB
SwapCached:         1936 kB
Active:          1121108 kB
Inactive:        1940600 kB
Active(anon):     188500 kB
Inactive(anon):     4868 kB
Active(file):     932608 kB
Inactive(file):  1935732 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100520 kB
Dirty:              7780 kB
Writeback:             0 kB
AnonPages:        195596 kB
Mapped:            10708 kB
Shmem:                 0 kB
Slab:             698360 kB
SReclaimable:     140700 kB
SUnreclaim:       557660 kB
KernelStack:        1472 kB
PageTables:         4300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     311228 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= 70852 MiB
End job on node106 at 2012-06-02 16:06:53