Trace number 3712082

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

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/roussel/
normalized-pigeon-cardinality-61-60--soft-66-100-0.wbo
MD5SUM93dc403e7aa7832c1308ab9b3db02163
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.11783
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3660
Total number of constraints121
Number of soft constraints39
Number of constraints which are clauses61
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 constraint61
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 62
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.03/0.04	c 2012-05-28T07:03:59+0200
0.03/0.04	c arch = x86_64
0.03/0.04	c os = linux
0.03/0.04	c compiler = ghc 7.4
0.03/0.04	c packages:
0.03/0.04	c   OptDir-0.0.1
0.03/0.04	c   array-0.4.0.0
0.03/0.04	c   base-4.5.0.0
0.03/0.04	c   bytestring-0.9.2.1
0.03/0.04	c   containers-0.4.2.1
0.03/0.04	c   deepseq-1.3.0.0
0.03/0.04	c   mtl-2.1.1
0.03/0.04	c   old_locale-1.0.0.4
0.03/0.04	c   parse_dimacs-1.2
0.03/0.04	c   parsec-3.1.2
0.03/0.04	c   queue-0.1.2
0.03/0.04	c   stm-2.3
0.03/0.04	c   time-1.4
0.03/0.04	c command line = ["--wbo","HOME/instance-3712082-1338181439.wbo"]
0.03/0.04	c #vars 3660
0.03/0.04	c #constraints 121
0.03/0.04	c Solving starts ...
3.28/3.31	c solving time = 3.261s
3.28/3.31	c #decision = 8556
3.28/3.31	c #conflict = 1334
3.28/3.31	c #restart = 5
3.28/3.31	o 81
3.28/3.31	c Solving starts ...
3.28/3.31	c learnt constraints deletion: 1329 -> 665
3.28/3.32	c solving time = 0.013s
3.28/3.32	c #decision = 10415
3.28/3.32	c #conflict = 1334
3.28/3.32	c #restart = 5
3.28/3.32	o 79
3.28/3.32	c Solving starts ...
4.08/4.13	c solving time = 0.807s
4.08/4.13	c #decision = 16267
4.08/4.13	c #conflict = 1600
4.08/4.13	c #restart = 7
4.08/4.13	o 35
4.08/4.13	c Solving starts ...
4.78/4.89	c solving time = 0.756s
4.78/4.89	c #decision = 22051
4.78/4.89	c #conflict = 1857
4.78/4.89	c #restart = 9
4.78/4.89	o 4
4.78/4.89	c Solving starts ...
5.39/5.42	c solving time = 0.525s
5.39/5.42	c #decision = 25825
5.39/5.42	c #conflict = 2055
5.39/5.42	c #restart = 10
5.39/5.42	o 3
5.39/5.42	c Solving starts ...
5.39/5.42	c learnt constraints deletion: 1381 -> 691
6.18/6.22	c solving time = 0.797s
6.18/6.22	c #decision = 31510
6.18/6.22	c #conflict = 2340
6.18/6.22	c #restart = 12
6.18/6.22	o 1
6.18/6.22	c Solving starts ...
8.98/9.02	c learnt constraints deletion: 1783 -> 892
22.48/22.59	c learnt constraints deletion: 3299 -> 1650
31.17/31.27	c learnt constraints deletion: 3362 -> 1681
45.76/45.82	c learnt constraints deletion: 4250 -> 2125
68.84/68.93	c learnt constraints deletion: 5979 -> 2990
106.53/106.62	c learnt constraints deletion: 6949 -> 3481
128.12/128.23	c learnt constraints deletion: 5304 -> 2652
167.02/167.10	c learnt constraints deletion: 7306 -> 3666
208.09/208.26	c learnt constraints deletion: 7284 -> 3654
212.89/213.03	c learnt constraints deletion: 4056 -> 2028
277.28/277.49	c learnt constraints deletion: 7613 -> 3816
329.67/329.81	c learnt constraints deletion: 7615 -> 3815
374.25/374.48	c learnt constraints deletion: 7443 -> 3722
426.35/426.58	c learnt constraints deletion: 7983 -> 3997
495.62/495.88	c learnt constraints deletion: 7966 -> 3993
568.80/569.06	c learnt constraints deletion: 7978 -> 3999
632.39/632.61	c learnt constraints deletion: 7984 -> 4004
689.59/689.89	c learnt constraints deletion: 7323 -> 3662
702.18/702.45	c learnt constraints deletion: 5690 -> 2845
755.28/755.56	c learnt constraints deletion: 8390 -> 4201
800.27/800.55	c learnt constraints deletion: 8380 -> 4214
847.16/847.43	c learnt constraints deletion: 8381 -> 4215
890.25/890.56	c learnt constraints deletion: 8401 -> 4226
936.95/937.23	c learnt constraints deletion: 8343 -> 4196
1001.84/1002.12	c learnt constraints deletion: 8271 -> 4160
1069.93/1070.25	c learnt constraints deletion: 8789 -> 4401
1162.42/1162.79	c learnt constraints deletion: 8799 -> 4426
1246.60/1246.93	c learnt constraints deletion: 8790 -> 4424
1341.09/1341.49	c learnt constraints deletion: 8805 -> 4416
1432.17/1432.57	c learnt constraints deletion: 8799 -> 4432
1496.76/1497.12	c learnt constraints deletion: 8766 -> 4406
1589.94/1590.36	c learnt constraints deletion: 8780 -> 4426
1691.12/1691.57	c learnt constraints deletion: 8760 -> 4416
1797.91/1798.36	c learnt constraints deletion: 8773 -> 4423

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

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.00 2.00 2.00 3/176 31844
/proc/meminfo: memFree=31029656/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/31844/stat : 31844 (runsolver) D 31842 31844 29738 0 -1 4202560 40 0 0 0 0 0 0 0 20 0 1 0 284268236 12095488 51 33554432000 4194304 5436572 140736603472592 140736603468888 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/31844/statm: 2953 51 31 304 0 2645 0

[startup+0.046113 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31844
/proc/meminfo: memFree=31029656/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=10304 CPUtime=0.03 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 1670 0 0 0 3 0 0 0 20 0 1 0 284268236 10551296 1592 33554432000 4194304 8973514 140736654554128 140736603468776 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 2576 1592 436 1167 0 1357 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10304

[startup+0.100297 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31844
/proc/meminfo: memFree=31029656/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=11328 CPUtime=0.08 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 2044 0 0 0 8 0 0 0 20 0 1 0 284268236 11599872 1966 33554432000 4194304 8973514 140736654554128 140736603468776 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 2832 1966 454 1167 0 1613 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11328

[startup+0.300244 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31844
/proc/meminfo: memFree=31029656/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=12352 CPUtime=0.28 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 2157 0 0 0 28 0 0 0 20 0 1 0 284268236 12648448 2079 33554432000 4194304 8973514 140736654554128 140736603468776 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 3088 2079 454 1167 0 1869 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12352

[startup+0.700259 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31844
/proc/meminfo: memFree=31029656/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=13376 CPUtime=0.68 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 2654 0 0 0 68 0 0 0 20 0 1 0 284268236 13697024 2576 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 3344 2576 454 1167 0 2125 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13376

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31845
/proc/meminfo: memFree=31022388/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=16448 CPUtime=1.49 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 3422 0 0 0 147 2 0 0 20 0 1 0 284268236 16842752 3344 33554432000 4194304 8973514 140736654554128 140736654553392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 4112 3344 454 1167 0 2893 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16448

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31845
/proc/meminfo: memFree=31017808/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=22592 CPUtime=3.08 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 4714 0 0 0 305 3 0 0 20 0 1 0 284268236 23134208 4636 33554432000 4194304 8973514 140736654554128 140736654553624 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 5648 4636 454 1167 0 4429 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22592

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31845
/proc/meminfo: memFree=31009872/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=25664 CPUtime=6.28 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 5738 0 0 0 623 5 0 0 20 0 1 0 284268236 26279936 5660 33554432000 4194304 8973514 140736654554128 140736654553624 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 6416 5660 466 1167 0 5197 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 25664

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31845
/proc/meminfo: memFree=31006620/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=33856 CPUtime=12.69 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 7581 0 0 0 1259 10 0 0 20 0 1 0 284268236 34668544 7503 33554432000 4194304 8973514 140736654554128 140736654553624 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 8464 7503 466 1167 0 7245 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33856

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31845
/proc/meminfo: memFree=30985288/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=51264 CPUtime=25.48 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 12140 0 0 0 2532 16 0 0 20 0 1 0 284268236 52494336 12065 33554432000 4194304 8973514 140736654554128 140736654553624 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 12816 12065 466 1167 0 11597 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 51264

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31846
/proc/meminfo: memFree=30960952/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=73792 CPUtime=51.05 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 17795 0 0 0 5077 28 0 0 20 0 1 0 284268236 75563008 17697 33554432000 4194304 8973514 140736654554128 140736654553392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 18448 17697 466 1167 0 17229 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 73792

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31846
/proc/meminfo: memFree=30912040/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=122944 CPUtime=102.23 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 30014 0 0 0 10171 52 0 0 20 0 1 0 284268236 125894656 29902 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 30736 29902 466 1167 0 29517 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 122944

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31846
/proc/meminfo: memFree=30892008/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=149568 CPUtime=162.21 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 36548 0 0 0 16146 75 0 0 20 0 1 0 284268236 153157632 36433 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 37392 36433 466 1167 0 36173 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 149568

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31846
/proc/meminfo: memFree=30869380/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=159808 CPUtime=222.18 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 39336 0 0 0 22119 99 0 0 20 0 1 0 284268236 163643392 39201 33554432000 4194304 8973514 140736654554128 140736654553392 4214368 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 39952 39201 466 1167 0 38733 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 159808

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31846
/proc/meminfo: memFree=30857104/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=172096 CPUtime=282.18 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 42408 0 0 0 28102 116 0 0 20 0 1 0 284268236 176226304 42273 33554432000 4194304 8973514 140736654554128 140736654553624 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 43024 42273 466 1167 0 41805 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 172096

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31847
/proc/meminfo: memFree=30851624/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=178240 CPUtime=342.16 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 43952 0 0 0 34082 134 0 0 20 0 1 0 284268236 182517760 43809 33554432000 4194304 8973514 140736654554128 140736654553624 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 44560 43809 466 1167 0 43341 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 178240

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31850
/proc/meminfo: memFree=30846780/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=183360 CPUtime=402.15 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 45118 0 0 0 40063 152 0 0 20 0 1 0 284268236 187760640 44975 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 45840 44975 466 1167 0 44621 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 183360

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31889
/proc/meminfo: memFree=30818284/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=224320 CPUtime=462.15 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 55274 0 0 0 46045 170 0 0 20 0 1 0 284268236 229703680 55131 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 56080 55131 466 1167 0 54861 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 224320

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31889
/proc/meminfo: memFree=30789996/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=248896 CPUtime=522.11 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 61641 0 0 0 52028 183 0 0 20 0 1 0 284268236 254869504 61473 33554432000 4194304 8973514 140736654554128 140736654553624 4208836 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 62224 61473 466 1167 0 61005 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 248896

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31889
/proc/meminfo: memFree=30789376/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=248896 CPUtime=582.1 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 61641 0 0 0 58013 197 0 0 20 0 1 0 284268236 254869504 61473 33554432000 4194304 8973514 140736654554128 140736654553392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 62224 61473 466 1167 0 61005 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 248896

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31890
/proc/meminfo: memFree=30788756/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=248896 CPUtime=822.06 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 61641 0 0 0 81956 250 0 0 20 0 1 0 284268236 254869504 61473 33554432000 4194304 8973514 140736654554128 140736654553624 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 62224 61473 466 1167 0 61005 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 248896

[startup+882.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31890
/proc/meminfo: memFree=30788320/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=248896 CPUtime=882.05 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 61641 0 0 0 87940 265 0 0 20 0 1 0 284268236 254869504 61473 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 62224 61473 466 1167 0 61005 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 248896

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31890
/proc/meminfo: memFree=30788320/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=248896 CPUtime=942.04 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 61641 0 0 0 93922 282 0 0 20 0 1 0 284268236 254869504 61473 33554432000 4194304 8973514 140736654554128 140736654553624 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 62224 61473 466 1167 0 61005 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 248896

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31894
/proc/meminfo: memFree=30787692/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=248896 CPUtime=1002.04 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 61641 0 0 0 99908 296 0 0 20 0 1 0 284268236 254869504 61473 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 62224 61473 466 1167 0 61005 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 248896

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31894
/proc/meminfo: memFree=30787700/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=248896 CPUtime=1062.03 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 61641 0 0 0 105891 312 0 0 20 0 1 0 284268236 254869504 61473 33554432000 4194304 8973514 140736654554128 140736654553392 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 62224 61473 466 1167 0 61005 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 248896

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31894
/proc/meminfo: memFree=30773688/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=262208 CPUtime=1122.02 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 64785 0 0 0 111879 323 0 0 20 0 1 0 284268236 268500992 64617 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 65552 64617 466 1167 0 64333 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 262208

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31894
/proc/meminfo: memFree=30748064/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=285760 CPUtime=1182.01 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 70857 0 0 0 117866 335 0 0 20 0 1 0 284268236 292618240 70689 33554432000 4194304 8973514 140736654554128 140736654552064 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 71440 70689 466 1167 0 70221 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 285760

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31894
/proc/meminfo: memFree=30746928/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=285760 CPUtime=1242 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 70859 0 0 0 123854 346 0 0 20 0 1 0 284268236 292618240 70689 33554432000 4194304 8973514 140736654554128 140736654553392 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 71440 70689 466 1167 0 70221 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 285760

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31895
/proc/meminfo: memFree=30747052/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=285760 CPUtime=1301.99 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 70859 0 0 0 129843 356 0 0 20 0 1 0 284268236 292618240 70689 33554432000 4194304 8973514 140736654554128 140736654553392 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 71440 70689 466 1167 0 70221 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 285760

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31895
/proc/meminfo: memFree=30743332/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=289856 CPUtime=1361.98 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 71883 0 0 0 135831 367 0 0 20 0 1 0 284268236 296812544 71713 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 72464 71713 466 1167 0 71245 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 289856

[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31895
/proc/meminfo: memFree=30743388/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=289856 CPUtime=1421.98 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 71885 0 0 0 141821 377 0 0 20 0 1 0 284268236 296812544 71713 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 72464 71713 466 1167 0 71245 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 289856

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31895
/proc/meminfo: memFree=30743388/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=289856 CPUtime=1481.96 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 71885 0 0 0 147809 387 0 0 20 0 1 0 284268236 296812544 71713 33554432000 4194304 8973514 140736654554128 140736654553392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 72464 71713 466 1167 0 71245 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 289856

[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31895
/proc/meminfo: memFree=30743824/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=289856 CPUtime=1541.95 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 71885 0 0 0 153792 403 0 0 20 0 1 0 284268236 296812544 71713 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 72464 71713 466 1167 0 71245 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 289856

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 31899
/proc/meminfo: memFree=30743504/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=289856 CPUtime=1601.94 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 71885 0 0 0 159778 416 0 0 20 0 1 0 284268236 296812544 71713 33554432000 4194304 8973514 140736654554128 140736654553392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 72464 71713 466 1167 0 71245 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 289856

[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 31899
/proc/meminfo: memFree=30743016/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=289856 CPUtime=1661.93 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 71885 0 0 0 165766 427 0 0 20 0 1 0 284268236 296812544 71713 33554432000 4194304 8973514 140736654554128 140736654553392 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 72464 71713 466 1167 0 71245 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 289856

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 31899
/proc/meminfo: memFree=30743140/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=289856 CPUtime=1721.92 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 71885 0 0 0 171754 438 0 0 20 0 1 0 284268236 296812544 71713 33554432000 4194304 8973514 140736654554128 140736654553392 7681396 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 72464 71713 466 1167 0 71245 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 289856

[startup+1782.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 31899
/proc/meminfo: memFree=30742704/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=289856 CPUtime=1781.92 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 71885 0 0 0 177742 450 0 0 20 0 1 0 284268236 296812544 71713 33554432000 4194304 8973514 140736654554128 140736654553392 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 72464 71713 466 1167 0 71245 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 289856



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 31899
/proc/meminfo: memFree=30742704/32873844 swapFree=7620/7620
[pid=31844] ppid=31842 vsize=289856 CPUtime=1800.02 cores=0,2,4,6
/proc/31844/stat : 31844 (toysat) R 31842 31844 29738 0 -1 4202496 71885 0 0 0 179550 452 0 0 20 0 1 0 284268236 296812544 71713 33554432000 4194304 8973514 140736654554128 140736654553624 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/31844/statm: 72464 71713 466 1167 0 71245 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 289856

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.03
CPU user time (s): 1795.5
CPU system time (s): 4.52631
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 289856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.5
system time used= 4.52631
maximum resident set size= 286852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71885
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= 102
involuntary context switches= 1850

runsolver used 3.23251 second user time and 8.23375 second system time

The end

Launcher Data

Begin job on node143 at 2012-05-28 07:03:59
IDJOB=3712082
IDBENCH=78723
IDSOLVER=2291
FILE ID=node143/3712082-1338181439
RUNJOBID= node143-1338160335-29754
PBS_JOBID= 14624561
Free space on /tmp= 71656 MiB

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

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

MD5SUM BENCH= 93dc403e7aa7832c1308ab9b3db02163
RANDOM SEED=55078129

node143.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.787
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.57
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.787
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.787
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		: 2666.787
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.787
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.90
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.787
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	: 5298.57
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.787
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.787
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:        31029904 kB
Buffers:          380668 kB
Cached:           595892 kB
SwapCached:            0 kB
Active:           628500 kB
Inactive:         376964 kB
Active(anon):      19920 kB
Inactive(anon):    11300 kB
Active(file):     608580 kB
Inactive(file):   365664 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7412 kB
Writeback:             0 kB
AnonPages:         35900 kB
Mapped:            16048 kB
Shmem:               200 kB
Slab:             696748 kB
SReclaimable:     139180 kB
SUnreclaim:       557568 kB
KernelStack:        1456 kB
PageTables:         3656 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     143924 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= 71648 MiB
End job on node143 at 2012-05-28 07:34:01