Trace number 3478927

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
wbo 1.6? (TO) 1800.14 1800.11

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-173.opb
MD5SUMb029850fdc398224d6c6edaf54638c01
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 variables268241
Total number of constraints5985144
Number of constraints which are clauses5358445
Number of constraints which are cardinality constraints (but not clauses)21283
Number of constraints which are nor clauses,nor cardinality constraints605416
Minimum length of a constraint2
Maximum length of a constraint2337
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2338
Number of bits of the biggest sum of numbers12
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 wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3478927-1307442203.opb.
0.00/0.00	c Instance file HOME/instance-3478927-1307442203.opb
0.00/0.00	c File size is 293222245 bytes.
18.50/18.54	c Highest Coefficient sum: 2338
18.50/18.54	c ============================[ Problem Statistics ]=============================
18.50/18.54	c |                                                                             |
18.50/18.54	c |  Parsing time:          18.24        s                                      |
18.50/18.54	c |  Number Variables:      268241                                              |
18.50/18.54	c |  Number Clauses:        5369106                                             |
18.50/18.54	c |  Number Cardinality:    21284                                               |
18.50/18.54	c |  Number PB Constraints: 605416                                              |
19.19/19.22	c ============================[ Search Statistics ]==============================
19.19/19.22	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
19.19/19.22	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
19.19/19.22	c ===============================================================================
19.19/19.22	c |         0 |  268241  5995806 23454032 |  1998602        0   -nan |  0.000 % |
22.29/22.39	c ============================[ Search Statistics ]==============================
22.29/22.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
22.29/22.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
22.29/22.39	c ===============================================================================
22.29/22.39	c |         0 |  268241  5995806 23454032 |  1998602        0   -nan |  0.000 % |
23.01/23.06	c |       100 |  268241  5995806 23454032 |  2198462      100     92 |  0.000 % |
23.19/23.25	c |       251 |  268241  5995806 23454032 |  2418308      251    132 |  0.000 % |
23.49/23.55	c |       476 |  268241  5995806 23454032 |  2660139      476    169 |  0.000 % |
23.79/23.89	c |       813 |  268241  5995806 23454032 |  2926153      813    163 |  0.000 % |
24.39/24.45	c |      1321 |  268241  5995806 23454032 |  3218768     1321    171 |  0.000 % |
25.10/25.15	c |      2084 |  268241  5995806 23454032 |  3540645     2084    198 |  0.000 % |
26.09/26.13	c |      3223 |  268241  5995806 23454032 |  3894709     3223    239 |  0.000 % |
27.79/27.85	c |      4934 |  268241  5995806 23454032 |  4284180     4934    261 |  0.000 % |
30.61/30.62	c |      7496 |  268241  5995806 23454032 |  4712598     7496    248 |  0.000 % |
35.29/35.32	c |     11343 |  268241  5995806 23454032 |  5183858    11343    266 |  0.000 % |
45.39/45.40	c |     17110 |  268241  5995806 23454032 |  5702244    17110    299 |  0.000 % |
56.89/57.00	c |     25759 |  268241  5995806 23454032 |  6272469    25759    305 |  0.000 % |
74.29/74.37	c |     38735 |  268241  5995806 23454032 |  6899716    38735    324 |  0.000 % |
106.09/106.11	c |     58197 |  268241  5995806 23454032 |  7589687    58197    348 |  0.000 % |
168.70/168.75	c |     87389 |  268241  5995806 23454032 |  8348656    87389    384 |  0.000 % |
288.10/288.19	c |    131179 |  268241  5995806 23454032 |  9183522   131179    438 |  0.000 % |
452.79/452.85	c |    196864 |  268241  5995806 23454032 | 10101874   196864    444 |  0.000 % |
793.09/793.18	c |    295390 |  268241  5995806 23454032 | 11112061   295390    456 |  0.000 % |
1407.61/1407.64	c |    443181 |  268241  5995806 23454032 | 12223268   443181    456 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3478927-1307442203/watcher-3478927-1307442203 -o /tmp/evaluation-result-3478927-1307442203/solver-3478927-1307442203 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478927-1307442203.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=288988 CPUtime=0.01 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 488 0 0 0 1 0 0 0 24 0 1 0 836636338 295923712 441 33554432000 4194304 5714214 140733698032320 18446744073709551615 4336999 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 72247 441 215 372 0 284 0

[startup+0.099953 s]
/proc/loadavg: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=293264 CPUtime=0.09 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 1913 0 0 0 9 0 0 0 24 0 1 0 836636338 300302336 1833 33554432000 4194304 5714214 140733698032320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 73316 1833 556 372 0 1353 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 293264

[startup+0.100964 s]
/proc/loadavg: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=293396 CPUtime=0.09 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 1928 0 0 0 9 0 0 0 24 0 1 0 836636338 300437504 1848 33554432000 4194304 5714214 140733698032320 18446744073709551615 4968261 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 73349 1848 560 372 0 1386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 293396

[startup+0.304549 s]
/proc/loadavg: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=302980 CPUtime=0.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 5173 0 0 0 29 0 0 0 25 0 1 0 836636338 310251520 5028 33554432000 4194304 5714214 140733698032320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 75745 5029 1368 372 0 3782 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 302980

[startup+1.44871 s]
/proc/loadavg: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=357416 CPUtime=1.44 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 23364 0 0 0 142 2 0 0 25 0 1 0 836636338 365993984 22320 33554432000 4194304 5714214 140733698032320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 89354 22320 5971 372 0 17391 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 357416

[startup+1.5007 s]
/proc/loadavg: 2.00 2.01 2.00 2/477 23679
/proc/meminfo: memFree=20694532/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=359380 CPUtime=1.49 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 24076 0 0 0 147 2 0 0 25 0 1 0 836636338 368005120 23032 33554432000 4194304 5714214 140733698032320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 89845 23033 6154 372 0 17882 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 359380

[startup+3.10042 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23680
/proc/meminfo: memFree=20560488/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=432868 CPUtime=3.1 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 48254 0 0 0 305 5 0 0 25 0 1 0 836636338 443256832 46185 33554432000 4194304 5714214 140733698032320 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 108217 46185 12446 372 0 36254 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 432868

[startup+6.30087 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23681
/proc/meminfo: memFree=20470136/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=567884 CPUtime=6.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 95810 0 0 0 618 11 0 0 25 0 1 0 836636338 581513216 91692 33554432000 4194304 5714214 140733698032320 18446744073709551615 4223098 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 141971 91692 24861 372 0 70008 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 567884

[startup+12.7007 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23681
/proc/meminfo: memFree=20200728/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=844212 CPUtime=12.69 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 190223 0 0 0 1248 21 0 0 25 0 1 0 836636338 864473088 182008 33554432000 4194304 5714214 140733698032320 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 211053 182008 50974 372 0 139090 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 844212

[startup+25.5005 s]
/proc/loadavg: 2.07 2.03 2.00 3/478 23681
/proc/meminfo: memFree=19136420/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=25.49 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485067 0 0 0 2494 55 0 0 25 0 1 0 836636338 1643769856 389361 33554432000 4194304 5714214 140733698032320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 401311 389361 180 372 0 400936 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1605244

[startup+51.1009 s]
/proc/loadavg: 2.04 2.03 2.00 3/475 23685
/proc/meminfo: memFree=19269024/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=51.09 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485086 0 0 0 5044 65 0 0 25 0 1 0 836636338 1643769856 389380 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319266 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 401311 389380 180 372 0 400936 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1605244

[startup+102.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/478 23712
/proc/meminfo: memFree=19183268/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=102.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485088 0 0 0 10153 77 0 0 25 0 1 0 836636338 1643769856 389382 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 401311 389382 180 372 0 400936 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1605244

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23715
/proc/meminfo: memFree=19140732/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=162.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485165 0 0 0 16125 104 0 0 25 0 1 0 836636338 1643769856 389459 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 401311 389459 180 372 0 400936 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1605244

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23716
/proc/meminfo: memFree=19106944/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=222.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485241 0 0 0 22095 135 0 0 25 0 1 0 836636338 1643769856 389535 33554432000 4194304 5714214 140733698032320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/23679/statm: 401311 389535 180 372 0 400936 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1605244

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23718
/proc/meminfo: memFree=19096508/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=282.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485275 0 0 0 28071 158 0 0 25 0 1 0 836636338 1643769856 389569 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 401311 389569 180 372 0 400936 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1605244

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23719
/proc/meminfo: memFree=19084464/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=342.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485487 0 0 0 34060 169 0 0 25 0 1 0 836636338 1643769856 389781 33554432000 4194304 5714214 140733698032320 18446744073709551615 4322687 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 401311 389781 180 372 0 400936 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1605244

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23721
/proc/meminfo: memFree=19073296/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=402.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 485707 0 0 0 40049 180 0 0 25 0 1 0 836636338 1643769856 390001 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 401311 390001 180 372 0 400936 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1605244

[startup+462.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/478 23723
/proc/meminfo: memFree=19059256/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1605244 CPUtime=462.29 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 486731 0 0 0 46034 195 0 0 25 0 1 0 836636338 1643769856 391025 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 401311 391025 180 372 0 400936 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1605244

[startup+522.301 s]
/proc/loadavg: 2.16 2.06 2.02 3/478 23724
/proc/meminfo: memFree=19017696/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1634408 CPUtime=522.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 493863 0 0 0 52023 207 0 0 25 0 1 0 836636338 1673633792 398157 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319254 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 408602 398157 180 372 0 408227 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1634408

[startup+582.301 s]
/proc/loadavg: 2.09 2.06 2.02 3/478 23726
/proc/meminfo: memFree=18969812/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1674384 CPUtime=582.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 503590 0 0 0 58002 228 0 0 25 0 1 0 836636338 1714569216 407884 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 418596 407884 180 372 0 418221 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 1674384

[startup+642.318 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23732
/proc/meminfo: memFree=18775700/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1822000 CPUtime=822.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 539845 0 0 0 81947 283 0 0 25 0 1 0 836636338 1865728000 444139 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 455500 444139 180 372 0 455125 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 1822000

[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23734
/proc/meminfo: memFree=18744300/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1852396 CPUtime=882.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 547048 0 0 0 87939 291 0 0 25 0 1 0 836636338 1896853504 451342 33554432000 4194304 5714214 140733698032320 18446744073709551615 4305219 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 463132 451343 180 372 0 462757 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 1852396

[startup+942.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23735
/proc/meminfo: memFree=18710288/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1886244 CPUtime=942.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 555280 0 0 0 93926 304 0 0 25 0 1 0 836636338 1931513856 459574 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 471561 459574 180 372 0 471186 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 1886244

[startup+1002.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/478 23737
/proc/meminfo: memFree=18683124/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1912924 CPUtime=1002.31 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 561860 0 0 0 99916 315 0 0 25 0 1 0 836636338 1958834176 466154 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 478231 466154 180 372 0 477856 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 1912924

[startup+1062.3 s]
/proc/loadavg: 2.20 2.06 2.02 3/478 23739
/proc/meminfo: memFree=18651860/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1943740 CPUtime=1062.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 569425 0 0 0 105904 326 0 0 25 0 1 0 836636338 1990389760 473719 33554432000 4194304 5714214 140733698032320 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 485935 473719 180 372 0 485560 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 1943740

[startup+1122.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/478 23740
/proc/meminfo: memFree=18614652/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=1980308 CPUtime=1122.3 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 578506 0 0 0 111892 338 0 0 25 0 1 0 836636338 2027835392 482800 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 495077 482800 180 372 0 494702 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1980308

[startup+1182.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/478 23742
/proc/meminfo: memFree=18586004/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2006600 CPUtime=1182.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 584961 0 0 0 117884 348 0 0 25 0 1 0 836636338 2054758400 489255 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 501650 489255 180 372 0 501275 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2006600

[startup+1242.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/478 23743
/proc/meminfo: memFree=18552760/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2039504 CPUtime=1242.31 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 592978 0 0 0 123870 361 0 0 25 0 1 0 836636338 2088452096 497272 33554432000 4194304 5714214 140733698032320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 509876 497272 180 372 0 509501 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 2039504

[startup+1302.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/478 23745
/proc/meminfo: memFree=18528448/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2064028 CPUtime=1302.33 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 598837 0 0 0 129856 377 0 0 25 0 1 0 836636338 2113564672 503131 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 516007 503131 180 372 0 515632 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2064028

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23747
/proc/meminfo: memFree=18498796/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2094352 CPUtime=1362.31 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 606255 0 0 0 135839 392 0 0 25 0 1 0 836636338 2144616448 510549 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 523588 510549 180 372 0 523213 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 2094352

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/478 23748
/proc/meminfo: memFree=18471872/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2121720 CPUtime=1422.31 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 613020 0 0 0 141826 405 0 0 25 0 1 0 836636338 2172641280 517314 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 530430 517314 180 372 0 530055 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 2121720

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/478 23750
/proc/meminfo: memFree=18442332/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2150204 CPUtime=1482.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 620009 0 0 0 147811 421 0 0 25 0 1 0 836636338 2201808896 524303 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 537551 524303 180 372 0 537176 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 2150204

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/478 23751
/proc/meminfo: memFree=18402276/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2177532 CPUtime=1542.31 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 626261 0 0 0 153793 438 0 0 25 0 1 0 836636338 2229792768 530555 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319341 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 544383 530555 180 372 0 544008 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 2177532

[startup+1602.3 s]
/proc/loadavg: 2.22 2.06 2.02 3/478 23753
/proc/meminfo: memFree=18351296/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2207612 CPUtime=1602.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 633757 0 0 0 159781 451 0 0 25 0 1 0 836636338 2260594688 538051 33554432000 4194304 5714214 140733698032320 18446744073709551615 4310968 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 551903 538051 180 372 0 551528 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 2207612

[startup+1662.3 s]
/proc/loadavg: 2.18 2.08 2.02 3/478 23755
/proc/meminfo: memFree=18304896/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2234968 CPUtime=1662.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 640593 0 0 0 165768 464 0 0 25 0 1 0 836636338 2288607232 544887 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319397 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 558742 544887 180 372 0 558367 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 2234968

[startup+1722.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/478 23756
/proc/meminfo: memFree=18262604/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2257260 CPUtime=1722.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 646125 0 0 0 171752 480 0 0 25 0 1 0 836636338 2311434240 550419 33554432000 4194304 5714214 140733698032320 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 564315 550419 180 372 0 563940 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 2257260

[startup+1782.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/478 23758
/proc/meminfo: memFree=18213864/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2280240 CPUtime=1782.32 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 651801 0 0 0 177738 494 0 0 25 0 1 0 836636338 2334965760 556095 33554432000 4194304 5714214 140733698032320 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 570060 556095 180 372 0 569685 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 2280240



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.04 2.01 3/478 23758
/proc/meminfo: memFree=18206424/32951124 swapFree=67057928/67111528
[pid=23679] ppid=23677 vsize=2286628 CPUtime=1800.04 cores=1,3,5,7
/proc/23679/stat : 23679 (wbo1.6) R 23677 23679 23281 0 -1 4202496 653345 0 0 0 179507 497 0 0 25 0 1 0 836636338 2341507072 557639 33554432000 4194304 5714214 140733698032320 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/23679/statm: 571657 557639 180 372 0 571282 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2286628

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.11
CPU time (s): 1800.14
CPU user time (s): 1795.08
CPU system time (s): 5.06023
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 2286628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.08
system time used= 5.06023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 653345
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= 7
involuntary context switches= 19173

runsolver used 8.31774 second user time and 19.51 second system time

The end

Launcher Data 

Begin job on node140 at 2011-06-07 12:23:30
IDJOB=3478927
IDBENCH=89769
IDSOLVER=1953
FILE ID=node140/3478927-1307442203
RUNJOBID= node140-1307436782-23300
PBS_JOBID= 13519948
Free space on /tmp= 73432 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-173.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3478927-1307442203/watcher-3478927-1307442203 -o /tmp/evaluation-result-3478927-1307442203/solver-3478927-1307442203 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478927-1307442203.opb

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

MD5SUM BENCH= b029850fdc398224d6c6edaf54638c01
RANDOM SEED=1911172430

node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.833
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      20694564 kB
Buffers:        337040 kB
Cached:        4529412 kB
SwapCached:       6932 kB
Active:        7989460 kB
Inactive:      3923564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      20694564 kB
SwapTotal:    67111528 kB
SwapFree:     67057928 kB
Dirty:          321264 kB
Writeback:           0 kB
AnonPages:     7044764 kB
Mapped:          38736 kB
Slab:           221704 kB
PageTables:      52424 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 141534524 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73440 MiB
End job on node140 at 2011-06-07 12:53:32