Trace number 3705591

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
wbo 1.7? 1799.92 1800.03

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb
MD5SUMcf9128b870ef9b100d6538eb54f0c456
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-451
Best CPU time to get the best result obtained on this benchmark1800.75
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1427
Biggest coefficient in the objective function 512
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 6807
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 512
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 65956
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                    1.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705591-1338164698.opb.
0.00/0.00	c Instance file HOME/instance-3705591-1338164698.opb
0.00/0.00	c File size is 28230531 bytes.
2.89/2.94	c Cost Offset: -6807
2.89/2.94	c Highest Coefficient sum: 65956
2.89/2.94	c ============================[ Problem Statistics ]=============================
2.89/2.94	c |                                                                             |
2.89/2.94	c |  Parsing time:          2.95         s                                      |
2.89/2.94	c |  Number Variables:      400896                                              |
2.89/2.94	c |  Number Clauses:        400785                                              |
2.89/2.94	c |  Number Cardinality:    1977                                                |
2.89/2.94	c |  Number PB Constraints: 1                                                   |
2.89/2.94	c |                                                                             |
3.20/3.22	c |  Problem Type:          Optimization                                        |
3.20/3.22	c |  Objective Function:    PB Constraint                                       |
3.20/3.22	c |                                                                             |
3.20/3.22	c ============================[ Search Statistics ]==============================
3.20/3.22	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
3.20/3.22	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
3.20/3.22	c ===============================================================================
3.58/3.69	c | 3.69      | 0  | -6806        lb |  0                0                0.00  |
4.08/4.11	c | 4.11      | 0  | -6805        lb |  0                0                0.00  |
4.40/4.49	c | 4.49      | 0  | -6803        lb |  0                0                0.00  |
4.79/4.86	c | 4.87      | 0  | -6799        lb |  0                0                0.00  |
5.19/5.23	c | 5.23      | 0  | -6791        lb |  0                0                0.00  |
5.79/5.80	c | 5.81      | 0  | -6790        lb |  0                0                0.00  |
7.08/7.14	c | 7.14      | 0  | -6789        lb |  0                0                0.00  |
8.38/8.42	c | 8.42      | 0  | -6788        lb |  0                0                0.00  |
9.59/9.65	c | 9.65      | 0  | -6787        lb |  0                0                0.00  |
12.59/12.65	c | 12.65     | 0  | -6786        lb |  0                0                0.00  |
15.58/15.62	c | 15.63     | 0  | -6785        lb |  0                0                0.00  |
18.38/18.44	c | 18.45     | 0  | -6784        lb |  0                0                0.00  |
20.58/20.66	c | 20.66     | 0  | -6783        lb |  0                0                0.00  |
22.88/22.97	c | 22.98     | 0  | -6782        lb |  0                0                0.00  |
26.18/26.29	c | 26.30     | 0  | -6781        lb |  0                0                0.00  |
29.88/29.99	c | 30.00     | 0  | -6780        lb |  0                0                0.00  |
34.99/35.02	c | 35.02     | 0  | -6779        lb |  0                0                0.00  |
37.58/37.68	c | 37.69     | 0  | -6778        lb |  0                0                0.00  |
40.28/40.31	c | 40.32     | 0  | -6777        lb |  0                0                0.00  |
45.28/45.33	c | 45.34     | 0  | -6776        lb |  0                0                0.00  |
56.18/56.23	c | 56.23     | 0  | -6775        lb |  0                0                0.00  |
61.58/61.61	c | 61.62     | 0  | -6774        lb |  0                0                0.00  |
63.58/63.67	c | 63.68     | 0  | -6773        lb |  0                0                0.00  |
65.07/65.13	c | 65.14     | 0  | -6772        lb |  0                0                0.00  |
73.68/73.74	c | 73.74     | 0  | -6771        lb |  0                0                0.00  |
80.28/80.37	c | 80.38     | 0  | -6770        lb |  0                0                0.00  |
137.06/137.10	c | 137.10    | 0  | -6769        lb |  0                0                0.00  |
142.26/142.35	c | 142.36    | 0  | -6768        lb |  0                0                0.00  |
184.96/185.05	c | 185.05    | 0  | -6767        lb |  0                0                0.00  |
440.62/440.78	c | 440.78    | 0  | -6766        lb |  0                0                0.00  |
445.52/445.61	c | 445.61    | 0  | -6765        lb |  0                0                0.00  |
454.72/454.82	c | 454.82    | 0  | -6764        lb |  0                0                0.00  |
673.24/673.40	c | 673.41    | 0  | -6763        lb |  0                0                0.00  |
1799.53/1800.00	c ===============================================================================
1799.53/1800.00	c Wall Clock Time: 1800.00 s
1799.53/1800.00	s UNKNOWN

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-3705591-1338164698/watcher-3705591-1338164698 -o /tmp/evaluation-result-3705591-1338164698/solver-3705591-1338164698 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705591-1338164698.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.05 2.01 2.00 3/176 15694
/proc/meminfo: memFree=30896992/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=31820 CPUtime=0 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) R 15692 15694 15230 0 -1 4202496 571 0 0 0 0 0 0 0 20 0 1 0 282598497 32583680 523 33554432000 4194304 5963574 140735207445056 140735891515944 4344432 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 7955 523 173 432 0 627 0

[startup+0.0791949 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 15694
/proc/meminfo: memFree=30896992/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=39836 CPUtime=0.07 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) R 15692 15694 15230 0 -1 4202496 2742 0 0 0 7 0 0 0 20 0 1 0 282598497 40792064 2645 33554432000 4194304 5963574 140735207445056 140735891515944 5132951 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 9959 2645 402 432 0 2631 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 39836

[startup+0.100254 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 15694
/proc/meminfo: memFree=30896992/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=42096 CPUtime=0.09 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) R 15692 15694 15230 0 -1 4202496 3240 0 0 0 9 0 0 0 20 0 1 0 282598497 43106304 3078 33554432000 4194304 5963574 140735207445056 140735891515944 4343745 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 10524 3078 466 432 0 3196 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42096

[startup+0.300214 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 15694
/proc/meminfo: memFree=30896992/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=53144 CPUtime=0.29 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) R 15692 15694 15230 0 -1 4202496 6860 0 0 0 28 1 0 0 20 0 1 0 282598497 54419456 6561 33554432000 4194304 5963574 140735207445056 140735207443160 4344338 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 13319 6565 1053 432 0 5991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53144

[startup+0.700218 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 15694
/proc/meminfo: memFree=30896992/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=85748 CPUtime=0.69 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) R 15692 15694 15230 0 -1 4202496 15869 0 0 0 67 2 0 0 20 0 1 0 282598497 87805952 14912 33554432000 4194304 5963574 140735207445056 140735207443400 4344320 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 21437 14913 2209 432 0 14109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85748

[startup+1.50022 s]
/proc/loadavg: 2.13 2.03 2.01 3/178 15696
/proc/meminfo: memFree=30738976/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=145320 CPUtime=1.49 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) R 15692 15694 15230 0 -1 4202496 30943 0 0 0 144 5 0 0 20 0 1 0 282598497 148807680 29953 33554432000 4194304 5963574 140735207445056 140735207443224 5155340 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 36330 29954 4116 432 0 29002 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 145320

[startup+3.10027 s]
/proc/loadavg: 2.13 2.03 2.01 3/178 15696
/proc/meminfo: memFree=30450588/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=293132 CPUtime=3.09 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 65567 0 0 0 297 12 0 0 20 0 2 0 282598497 300167168 63756 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 73283 63756 177 432 0 72848 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 293132

[startup+6.3003 s]
/proc/loadavg: 2.12 2.03 2.01 3/179 15697
/proc/meminfo: memFree=30023112/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=500116 CPUtime=6.29 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 115738 0 0 0 607 22 0 0 20 0 2 0 282598497 512118784 118308 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 125029 118308 195 432 0 124594 0
[pid=15694/tid=15697] ppid=15692 vsize=500116 CPUtime=3.34 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 68072 0 0 0 320 14 0 0 20 0 2 0 282598792 512118784 118308 33554432000 4194304 5963574 140735207445056 139879699806504 4388700 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 500116

[startup+12.7003 s]
/proc/loadavg: 2.11 2.03 2.01 3/179 15697
/proc/meminfo: memFree=30019276/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=565652 CPUtime=12.69 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 117302 0 0 0 1246 23 0 0 20 0 2 0 282598497 579227648 129611 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 141413 129611 197 432 0 140978 0
[pid=15694/tid=15697] ppid=15692 vsize=565652 CPUtime=9.74 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 69636 0 0 0 959 15 0 0 20 0 2 0 282598792 579227648 129611 33554432000 4194304 5963574 140735207445056 139879699807048 4429264 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 565652

[startup+25.5003 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 15697
/proc/meminfo: memFree=29997172/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=565652 CPUtime=25.48 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 118281 0 0 0 2524 24 0 0 20 0 2 0 282598497 579227648 126379 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 141413 126379 197 432 0 140978 0
[pid=15694/tid=15697] ppid=15692 vsize=565652 CPUtime=22.54 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 70615 0 0 0 2238 16 0 0 20 0 2 0 282598792 579227648 126379 33554432000 4194304 5963574 140735207445056 139879699806616 4388608 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 565652

[startup+51.1003 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 15697
/proc/meminfo: memFree=29933420/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=631188 CPUtime=51.08 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 122768 0 0 0 5082 26 0 0 20 0 2 0 282598497 646336512 140388 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 157797 140388 197 432 0 157362 0
[pid=15694/tid=15697] ppid=15692 vsize=631188 CPUtime=48.14 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 75102 0 0 0 4796 18 0 0 20 0 2 0 282598792 646336512 140388 33554432000 4194304 5963574 140735207445056 139879699806552 4392399 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 631188

[startup+102.307 s]
/proc/loadavg: 2.07 2.03 2.00 3/179 15698
/proc/meminfo: memFree=29913632/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=631188 CPUtime=102.27 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 126988 0 0 0 10200 27 0 0 20 0 2 0 282598497 646336512 139801 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 157797 139801 197 432 0 157362 0
[pid=15694/tid=15697] ppid=15692 vsize=631188 CPUtime=99.35 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 79322 0 0 0 9914 21 0 0 20 0 2 0 282598792 646336512 139801 33554432000 4194304 5963574 140735207445056 139879699806552 4403146 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 631188

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 15699
/proc/meminfo: memFree=29911324/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=631188 CPUtime=162.26 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 127509 0 0 0 16198 28 0 0 20 0 2 0 282598497 646336512 139801 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 157797 139801 197 432 0 157362 0
[pid=15694/tid=15697] ppid=15692 vsize=631188 CPUtime=159.34 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 79843 0 0 0 15912 22 0 0 20 0 2 0 282598792 646336512 139801 33554432000 4194304 5963574 140735207445056 139879699806552 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 631188

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 15699
/proc/meminfo: memFree=29922196/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=565652 CPUtime=222.25 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 127509 0 0 0 22197 28 0 0 20 0 2 0 282598497 579227648 132637 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 141413 132637 197 432 0 140978 0
[pid=15694/tid=15697] ppid=15692 vsize=565652 CPUtime=219.35 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 79843 0 0 0 21912 23 0 0 20 0 2 0 282598792 579227648 132637 33554432000 4194304 5963574 140735207445056 139879699807048 4388700 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 565652

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/179 15699
/proc/meminfo: memFree=29874912/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=565652 CPUtime=282.24 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 127509 0 0 0 28196 28 0 0 20 0 2 0 282598497 579227648 132637 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 141413 132637 197 432 0 140978 0
[pid=15694/tid=15697] ppid=15692 vsize=565652 CPUtime=279.35 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 79843 0 0 0 27911 24 0 0 20 0 2 0 282598792 579227648 132637 33554432000 4194304 5963574 140735207445056 139879699807048 4392348 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 565652

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 15702
/proc/meminfo: memFree=29862408/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=565652 CPUtime=342.23 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 127509 0 0 0 34195 28 0 0 20 0 2 0 282598497 579227648 132637 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 141413 132637 197 432 0 140978 0
[pid=15694/tid=15697] ppid=15692 vsize=565652 CPUtime=339.35 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 79843 0 0 0 33910 25 0 0 20 0 2 0 282598792 579227648 132637 33554432000 4194304 5963574 140735207445056 139879699807048 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 565652

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 15702
/proc/meminfo: memFree=29871732/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=565652 CPUtime=402.22 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 127742 0 0 0 40194 28 0 0 20 0 2 0 282598497 579227648 133381 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 141413 133381 197 432 0 140978 0
[pid=15694/tid=15697] ppid=15692 vsize=565652 CPUtime=399.35 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 80076 0 0 0 39909 26 0 0 20 0 2 0 282598792 579227648 133381 33554432000 4194304 5963574 140735207445056 139879699807048 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 565652

[startup+462.3 s]
/proc/loadavg: 2.12 2.04 2.01 3/179 15703
/proc/meminfo: memFree=29724576/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=762260 CPUtime=462.22 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 149143 0 0 0 46186 36 0 0 20 0 2 0 282598497 780554240 170069 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 190565 170069 197 432 0 190130 0
[pid=15694/tid=15697] ppid=15692 vsize=762260 CPUtime=459.35 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 101477 0 0 0 45901 34 0 0 20 0 2 0 282598792 780554240 170069 33554432000 4194304 5963574 140735207445056 139879699806744 4387472 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0

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

/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 151862 0 0 0 129851 78 0 0 20 0 2 0 282598792 981880832 223335 33554432000 4194304 5963574 140735207445056 139879699806248 4399574 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 958868

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15708
/proc/meminfo: memFree=29364952/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1024404 CPUtime=1361.93 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 208924 0 0 0 136119 74 0 0 20 0 2 0 282598497 1048989696 233150 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 256101 233150 197 432 0 255666 0
[pid=15694/tid=15697] ppid=15692 vsize=1024404 CPUtime=1359.24 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 161258 0 0 0 135838 86 0 0 20 0 2 0 282598792 1048989696 233150 33554432000 4194304 5963574 140735207445056 139879699806248 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1024404

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15709
/proc/meminfo: memFree=29326004/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1024404 CPUtime=1421.89 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 218249 0 0 0 142109 80 0 0 20 0 2 0 282598497 1048989696 242680 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 256101 242680 197 432 0 255666 0
[pid=15694/tid=15697] ppid=15692 vsize=1024404 CPUtime=1419.22 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 170583 0 0 0 141828 94 0 0 20 0 2 0 282598792 1048989696 242680 33554432000 4194304 5963574 140735207445056 139879699806200 4399459 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1024404

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15709
/proc/meminfo: memFree=29297980/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1089940 CPUtime=1481.88 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 225394 0 0 0 148104 84 0 0 20 0 2 0 282598497 1116098560 249825 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 272485 249825 197 432 0 272050 0
[pid=15694/tid=15697] ppid=15692 vsize=1089940 CPUtime=1479.22 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 177728 0 0 0 147824 98 0 0 20 0 2 0 282598792 1116098560 249825 33554432000 4194304 5963574 140735207445056 139879699805800 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1089940

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15712
/proc/meminfo: memFree=29271744/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1089940 CPUtime=1541.87 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 231374 0 0 0 154099 88 0 0 20 0 2 0 282598497 1116098560 256311 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 272485 256311 197 432 0 272050 0
[pid=15694/tid=15697] ppid=15692 vsize=1089940 CPUtime=1539.22 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 183708 0 0 0 153819 103 0 0 20 0 2 0 282598792 1116098560 256311 33554432000 4194304 5963574 140735207445056 139879699806136 4399390 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1089940

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15712
/proc/meminfo: memFree=29250796/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1089940 CPUtime=1601.86 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 236731 0 0 0 160095 91 0 0 20 0 2 0 282598497 1116098560 261664 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 272485 261664 197 432 0 272050 0
[pid=15694/tid=15697] ppid=15692 vsize=1089940 CPUtime=1599.22 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 189065 0 0 0 159814 108 0 0 20 0 2 0 282598792 1116098560 261664 33554432000 4194304 5963574 140735207445056 139879699806008 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1089940

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15712
/proc/meminfo: memFree=29224508/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1155476 CPUtime=1661.86 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 243361 0 0 0 166090 96 0 0 20 0 2 0 282598497 1183207424 268288 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 288869 268288 197 432 0 288434 0
[pid=15694/tid=15697] ppid=15692 vsize=1155476 CPUtime=1659.23 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 195695 0 0 0 165810 113 0 0 20 0 2 0 282598792 1183207424 268288 33554432000 4194304 5963574 140735207445056 139879699806200 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1155476

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15713
/proc/meminfo: memFree=29191772/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1155476 CPUtime=1721.85 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 251463 0 0 0 172084 101 0 0 20 0 2 0 282598497 1183207424 276384 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 288869 276384 197 432 0 288434 0
[pid=15694/tid=15697] ppid=15692 vsize=1155476 CPUtime=1719.23 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 203797 0 0 0 171804 119 0 0 20 0 2 0 282598792 1183207424 276384 33554432000 4194304 5963574 140735207445056 139879699806072 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1155476

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 15713
/proc/meminfo: memFree=29173420/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1221012 CPUtime=1781.83 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 255985 0 0 0 178081 102 0 0 20 0 2 0 282598497 1250316288 280895 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 305253 280895 197 432 0 304818 0
[pid=15694/tid=15697] ppid=15692 vsize=1221012 CPUtime=1779.23 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 208319 0 0 0 177801 122 0 0 20 0 2 0 282598792 1250316288 280895 33554432000 4194304 5963574 140735207445056 139879699806072 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1221012

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

[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15713
/proc/meminfo: memFree=29170320/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1221012 CPUtime=1791.44 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 256741 0 0 0 179041 103 0 0 20 0 2 0 282598497 1250316288 281649 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 305253 281649 197 432 0 304818 0
[pid=15694/tid=15697] ppid=15692 vsize=1221012 CPUtime=1788.84 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 209075 0 0 0 178762 122 0 0 20 0 2 0 282598792 1250316288 281649 33554432000 4194304 5963574 140735207445056 139879699806008 4399968 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 1221012

[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15713
/proc/meminfo: memFree=29169576/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1221012 CPUtime=1794.64 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 256929 0 0 0 179361 103 0 0 20 0 2 0 282598497 1250316288 281836 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 305253 281836 197 432 0 304818 0
[pid=15694/tid=15697] ppid=15692 vsize=1221012 CPUtime=1792.04 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 209263 0 0 0 179082 122 0 0 20 0 2 0 282598792 1250316288 281836 33554432000 4194304 5963574 140735207445056 139879699806008 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.64
Current children cumulated vsize (KiB) 1221012

[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15713
/proc/meminfo: memFree=29169328/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1221012 CPUtime=1797.83 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 257137 0 0 0 179680 103 0 0 20 0 2 0 282598497 1250316288 282042 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 305253 282042 197 432 0 304818 0
[pid=15694/tid=15697] ppid=15692 vsize=1221012 CPUtime=1795.23 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 209471 0 0 0 179401 122 0 0 20 0 2 0 282598792 1250316288 282042 33554432000 4194304 5963574 140735207445056 139879699806008 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 1221012

[startup+1799.1 s]
/proc/loadavg: 2.05 2.01 2.00 2/172 15737
/proc/meminfo: memFree=29935888/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1221012 CPUtime=1798.63 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 257254 0 0 0 179760 103 0 0 20 0 2 0 282598497 1250316288 282159 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 305253 282159 197 432 0 304818 0
[pid=15694/tid=15697] ppid=15692 vsize=1221012 CPUtime=1796.03 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 209588 0 0 0 179481 122 0 0 20 0 2 0 282598792 1250316288 282159 33554432000 4194304 5963574 140735207445056 139879699806008 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (KiB) 1221012

[startup+1799.5 s]
/proc/loadavg: 2.05 2.01 2.00 2/172 15737
/proc/meminfo: memFree=29935712/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1221012 CPUtime=1799.04 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 257264 0 0 0 179801 103 0 0 20 0 2 0 282598497 1250316288 282169 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 305253 282169 197 432 0 304818 0
[pid=15694/tid=15697] ppid=15692 vsize=1221012 CPUtime=1796.44 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 209598 0 0 0 179522 122 0 0 20 0 2 0 282598792 1250316288 282169 33554432000 4194304 5963574 140735207445056 139879699806008 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.04
Current children cumulated vsize (KiB) 1221012

[startup+1799.9 s]
/proc/loadavg: 2.05 2.01 2.00 2/172 15737
/proc/meminfo: memFree=29935712/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1221012 CPUtime=1799.43 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 257355 0 0 0 179840 103 0 0 20 0 2 0 282598497 1250316288 282260 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 305253 282260 197 432 0 304818 0
[pid=15694/tid=15697] ppid=15692 vsize=1221012 CPUtime=1796.83 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 209689 0 0 0 179561 122 0 0 20 0 2 0 282598792 1250316288 282260 33554432000 4194304 5963574 140735207445056 139879699806008 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (KiB) 1221012

[startup+1800 s]
/proc/loadavg: 2.05 2.01 2.00 2/172 15737
/proc/meminfo: memFree=29935712/32873844 swapFree=7108/7108
[pid=15694] ppid=15692 vsize=1221012 CPUtime=1799.53 cores=0,2,4,6
/proc/15694/stat : 15694 (wbo1.7) S 15692 15694 15230 0 -1 4202496 257356 0 0 0 179850 103 0 0 20 0 2 0 282598497 1250316288 282261 33554432000 4194304 5963574 140735207445056 140735207444576 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/15694/statm: 305253 282261 197 432 0 304818 0
[pid=15694/tid=15697] ppid=15692 vsize=1221012 CPUtime=1796.93 cores=0,2,4,6
/proc/15694/task/15697/stat : 15697 (wbo1.7) R 15692 15694 15230 0 -1 4202560 209690 0 0 0 179571 122 0 0 20 0 2 0 282598792 1250316288 282261 33554432000 4194304 5963574 140735207445056 139879699806008 4388683 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.53
Current children cumulated vsize (KiB) 1221012

Child status: 255
Real time (s): 1800.03
CPU time (s): 1799.92
CPU user time (s): 1798.57
CPU system time (s): 1.3418
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 1221012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.3418
maximum resident set size= 1129044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 257356
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= 189
involuntary context switches= 1872

runsolver used 2.88856 second user time and 7.2239 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-28 02:24:59
IDJOB=3705591
IDBENCH=91092
IDSOLVER=2283
FILE ID=node103/3705591-1338164698
RUNJOBID= node103-1338157493-15246
PBS_JOBID= 14624530
Free space on /tmp= 71516 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null0mast_rapportOE2.0_TMAX300_K192_cod2.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705591-1338164698/watcher-3705591-1338164698 -o /tmp/evaluation-result-3705591-1338164698/solver-3705591-1338164698 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705591-1338164698.opb

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

MD5SUM BENCH= cf9128b870ef9b100d6538eb54f0c456
RANDOM SEED=1296975034

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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	: 5411.36
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.189
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.189
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:        30895396 kB
Buffers:          351524 kB
Cached:           648516 kB
SwapCached:         4508 kB
Active:           797676 kB
Inactive:         342148 kB
Active(anon):     136260 kB
Inactive(anon):     6220 kB
Active(file):     661416 kB
Inactive(file):   335928 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099564 kB
Dirty:             66356 kB
Writeback:             0 kB
AnonPages:        137896 kB
Mapped:            31624 kB
Shmem:                 8 kB
Slab:             697128 kB
SReclaimable:     138024 kB
SUnreclaim:       559104 kB
KernelStack:        1448 kB
PageTables:         4288 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     271848 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71544 MiB
End job on node103 at 2012-05-28 02:54:59