Trace number 1875547

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.23 1800.7

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_3.opb
MD5SUM0cfcb152e5d64f6fbadc82a2b31230da
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1901
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5704
Number of bits of the biggest sum of numbers13
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875547-1245175693.opb.
0.00/0.00	c Instance file HOME/instance-1875547-1245175693.opb
0.00/0.00	c File size is 6882 bytes.
0.00/0.00	c Highest Coefficient sum: 5704
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      61                                                  |
0.00/0.00	c |  Number Clauses:        2                                                   |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 14                                                  |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      60       16      836 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       101 |      60       16      836 |     5500      101     44 |  1.667 % |
0.00/0.02	c |       252 |      60       16      836 |     6050      252     45 |  1.667 % |
0.00/0.03	c |       477 |      60       16      836 |     6655      477     45 |  1.667 % |
0.05/0.06	c |       814 |      60       16      836 |     7320      814     46 |  1.667 % |
0.05/0.09	c |      1320 |      60       16      836 |     8052     1320     46 |  1.667 % |
0.09/0.15	c |      2079 |      60       16      836 |     8857     2079     46 |  1.667 % |
0.19/0.25	c |      3218 |      60       16      836 |     9743     3218     47 |  1.667 % |
0.39/0.40	c |      4927 |      60       16      836 |    10717     4927     47 |  1.667 % |
0.59/0.66	c |      7489 |      60       16      836 |    11789     7489     48 |  1.667 % |
1.09/1.17	c |     11333 |      60       16      836 |    12968    11333     48 |  1.667 % |
1.99/2.05	c |     17099 |      60       16      836 |    14265    10595     49 |  1.667 % |
3.49/3.52	c |     25748 |      60       16      836 |    15692    12088     48 |  1.667 % |
5.99/6.03	c |     38722 |      60       16      836 |    17261     9327     49 |  1.667 % |
10.09/10.19	c |     58183 |      60       16      836 |    18987    11488     49 |  1.667 % |
17.28/17.32	c |     87375 |      60       16      836 |    20886    12125     48 |  1.667 % |
28.09/28.15	c |    131164 |      60       16      836 |    22974    14053     49 |  1.667 % |
46.77/46.82	c |    196848 |      60       16      836 |    25272    18372     49 |  1.667 % |
75.77/75.82	c |    295374 |      60       16      836 |    27799    15544     49 |  1.667 % |
122.36/122.49	c |    443163 |      60       16      836 |    30579    11178     49 |  1.667 % |
196.64/196.76	c |    664847 |      60       16      836 |    33637    17320     49 |  1.667 % |
310.11/310.27	c |    997372 |      60       16      836 |    37001    11537     48 |  1.667 % |
513.25/513.42	c |   1496160 |      60       16      836 |    40701    19610     48 |  1.667 % |
867.67/867.97	c |   2244342 |      60       16      836 |    44771    32011     49 |  1.667 % |
1411.62/1412.06	c |   3366617 |      60       16      836 |    49248    18431     48 |  1.667 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875547-1245175693/watcher-1875547-1245175693 -o /tmp/evaluation-result-1875547-1245175693/solver-1875547-1245175693 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875547-1245175693.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 1.00 1.09 3/65 10485
/proc/meminfo: memFree=1850352/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=2392 CPUtime=0
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 192 0 0 0 0 0 0 0 20 0 1 0 185167314 2449408 174 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 598 174 134 292 0 303 0

[startup+0.058864 s]
/proc/loadavg: 0.99 1.00 1.09 3/65 10485
/proc/meminfo: memFree=1850352/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=2656 CPUtime=0.05
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 259 0 0 0 5 0 0 0 20 0 1 0 185167314 2719744 241 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 664 241 135 292 0 369 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2656

[startup+0.101868 s]
/proc/loadavg: 0.99 1.00 1.09 3/65 10485
/proc/meminfo: memFree=1850352/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=2916 CPUtime=0.09
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 312 0 0 0 9 0 0 0 20 0 1 0 185167314 2985984 294 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 729 294 135 292 0 434 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2916

[startup+0.30189 s]
/proc/loadavg: 0.99 1.00 1.09 3/65 10485
/proc/meminfo: memFree=1850352/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=3828 CPUtime=0.29
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 529 0 0 0 29 0 0 0 22 0 1 0 185167314 3919872 511 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 957 511 135 292 0 662 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3828

[startup+0.701936 s]
/proc/loadavg: 0.99 1.00 1.09 3/65 10485
/proc/meminfo: memFree=1850352/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=5256 CPUtime=0.69
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 886 0 0 0 69 0 0 0 25 0 1 0 185167314 5382144 868 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 1314 868 135 292 0 1019 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5256

[startup+1.50202 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 10486
/proc/meminfo: memFree=1846440/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=7216 CPUtime=1.49
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 1382 0 0 0 148 1 0 0 25 0 1 0 185167314 7389184 1364 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 1804 1364 135 292 0 1509 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7216

[startup+3.1012 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 10486
/proc/meminfo: memFree=1843752/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=10740 CPUtime=3.09
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 2258 0 0 0 306 3 0 0 25 0 1 0 185167314 10997760 2240 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 2685 2240 135 292 0 2390 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10740

[startup+6.30257 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 10486
/proc/meminfo: memFree=1837224/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=16728 CPUtime=6.29
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 3749 0 0 0 622 7 0 0 25 0 1 0 185167314 17129472 3731 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 4182 3731 135 292 0 3887 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16728

[startup+12.7013 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 10486
/proc/meminfo: memFree=1826664/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=26692 CPUtime=12.68
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 6239 0 0 0 1255 13 0 0 25 0 1 0 185167314 27332608 6221 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 6673 6221 135 292 0 6378 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26692

[startup+25.5017 s]
/proc/loadavg: 0.99 1.00 1.09 2/66 10486
/proc/meminfo: memFree=1808168/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=44448 CPUtime=25.48
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 10678 0 0 0 2523 25 0 0 25 0 1 0 185167314 45514752 10660 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 11112 10660 135 292 0 10817 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44448

[startup+51.1015 s]
/proc/loadavg: 0.99 1.00 1.08 2/66 10486
/proc/meminfo: memFree=1777704/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=75072 CPUtime=51.08
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 18335 0 0 0 5064 44 0 0 25 0 1 0 185167314 76873728 18317 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 18768 18317 135 292 0 18473 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 75072

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.08 2/66 10486
/proc/meminfo: memFree=1719528/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=132808 CPUtime=102.26
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 32741 0 0 0 10143 83 0 0 25 0 1 0 185167314 135995392 32723 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 33202 32723 135 292 0 32907 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 132808

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.07 2/66 10486
/proc/meminfo: memFree=1660392/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=192172 CPUtime=162.25
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 47579 0 0 0 16100 125 0 0 25 0 1 0 185167314 196784128 47561 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 48043 47561 135 292 0 47748 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 192172

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.07 2/66 10486
/proc/meminfo: memFree=1598248/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=253808 CPUtime=222.23
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 62972 0 0 0 22055 168 0 0 25 0 1 0 185167314 259899392 62954 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 63452 62954 135 292 0 63157 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 253808

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.06 2/66 10486
/proc/meminfo: memFree=1541992/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=310984 CPUtime=282.22
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 77255 0 0 0 28014 208 0 0 25 0 1 0 185167314 318447616 77237 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 77746 77237 135 292 0 77451 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 310984

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 1.06 2/66 10486
/proc/meminfo: memFree=1487400/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=364464 CPUtime=342.2
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 90618 0 0 0 33972 248 0 0 25 0 1 0 185167314 373211136 90600 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 91116 90600 135 292 0 90821 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 364464

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.05 2/66 10486
/proc/meminfo: memFree=1438888/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=413592 CPUtime=402.18
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 102894 0 0 0 39934 284 0 0 25 0 1 0 185167314 423518208 102876 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 103398 102876 135 292 0 103103 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 413592

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 10486
/proc/meminfo: memFree=1391080/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=460932 CPUtime=462.17
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 114725 0 0 0 45894 323 0 0 25 0 1 0 185167314 471994368 114707 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 115233 114707 135 292 0 114938 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 460932

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.04 2/66 10486
/proc/meminfo: memFree=1340200/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=511512 CPUtime=522.15
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 127398 0 0 0 51855 360 0 0 25 0 1 0 185167314 523788288 127380 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 127878 127380 135 292 0 127583 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 511512

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.03 2/66 10486
/proc/meminfo: memFree=1298664/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=552624 CPUtime=582.14
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 137655 0 0 0 57821 393 0 0 25 0 1 0 185167314 565886976 137637 1992294400 134512640 135709839 4294956240 18446744073709551615 134568566 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 138156 137637 135 292 0 137861 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 552624

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.03 2/66 10486
/proc/meminfo: memFree=1256744/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=594376 CPUtime=642.12
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 148090 0 0 0 63791 421 0 0 25 0 1 0 185167314 608641024 148072 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 148594 148072 135 292 0 148299 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 594376

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=1084840/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=766132 CPUtime=882.05
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 191005 0 0 0 87652 553 0 0 25 0 1 0 185167314 784519168 190987 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 191533 190987 135 292 0 191238 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 766132

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=1047016/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=804096 CPUtime=942.04
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 200482 0 0 0 93621 583 0 0 25 0 1 0 185167314 823394304 200464 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 201024 200464 135 292 0 200729 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 804096

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=1005416/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=845392 CPUtime=1002.02
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 210804 0 0 0 99586 616 0 0 25 0 1 0 185167314 865681408 210786 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 211348 210786 135 292 0 211053 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 845392

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=966248/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=885580 CPUtime=1062.01
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 220847 0 0 0 105556 645 0 0 25 0 1 0 185167314 906833920 220829 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 221395 220829 135 292 0 221100 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 885580

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=924008/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=926708 CPUtime=1121.99
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 231119 0 0 0 111518 681 0 0 25 0 1 0 185167314 948948992 231101 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 231677 231101 135 292 0 231382 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 926708

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=883688/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=967320 CPUtime=1181.98
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 241287 0 0 0 117489 709 0 0 25 0 1 0 185167314 990535680 241269 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 241830 241269 135 292 0 241535 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 967320

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=844648/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=1006300 CPUtime=1241.96
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 251033 0 0 0 123458 738 0 0 25 0 1 0 185167314 1030451200 251015 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 251575 251015 135 292 0 251280 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1006300

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=801448/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=1048820 CPUtime=1301.95
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 261640 0 0 0 129423 772 0 0 25 0 1 0 185167314 1073991680 261622 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 262205 261622 135 292 0 261910 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 1048820

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=756328/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=1094024 CPUtime=1361.93
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 272948 0 0 0 135388 805 0 0 25 0 1 0 185167314 1120280576 272930 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 273506 272930 135 292 0 273211 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1094024

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=713256/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=1136956 CPUtime=1421.92
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 283665 0 0 0 141354 838 0 0 25 0 1 0 185167314 1164242944 283647 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 284239 283647 135 292 0 283944 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1136956

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=676072/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=1174256 CPUtime=1481.9
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 293009 0 0 0 147321 869 0 0 25 0 1 0 185167314 1202438144 292991 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 293564 292991 135 292 0 293269 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1174256

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=638440/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=1211632 CPUtime=1541.88
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 302348 0 0 0 153292 896 0 0 25 0 1 0 185167314 1240711168 302330 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 302908 302330 135 292 0 302613 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1211632

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=603304/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=1247044 CPUtime=1601.87
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 311198 0 0 0 159266 921 0 0 25 0 1 0 185167314 1276973056 311180 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 311761 311180 135 292 0 311466 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1247044

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=571176/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=1278780 CPUtime=1661.85
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 319119 0 0 0 165236 949 0 0 25 0 1 0 185167314 1309470720 319101 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 319695 319101 135 292 0 319400 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1278780

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=535080/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=1315000 CPUtime=1721.84
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 328182 0 0 0 171207 977 0 0 25 0 1 0 185167314 1346560000 328164 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 328750 328164 135 292 0 328455 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1315000

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=498472/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=1351496 CPUtime=1781.82
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 337269 0 0 0 177179 1003 0 0 25 0 1 0 185167314 1383931904 337251 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 337874 337251 135 292 0 337579 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1351496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/66 10486
/proc/meminfo: memFree=487464/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=1362204 CPUtime=1800.02
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4194304 339969 0 0 0 178991 1011 0 0 25 0 1 0 185167314 1394896896 339951 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 340551 339951 135 292 0 340256 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1362204

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 10487
/proc/meminfo: memFree=1165984/2055920 swapFree=4180892/4192956
[pid=10485] ppid=10483 vsize=0 CPUtime=1800.13
/proc/10485/stat : 10485 (wbo) R 10483 10485 10406 0 -1 4195332 339969 0 0 0 178991 1022 0 0 25 0 1 0 185167314 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/10485/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.7
CPU time (s): 1800.23
CPU user time (s): 1789.91
CPU system time (s): 10.3144
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1362204

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

runsolver used 2.07268 second user time and 4.36933 second system time

The end

Launcher Data 

Begin job on node87 at 2009-06-16 20:08:13
IDJOB=1875547
IDBENCH=2909
IDSOLVER=698
FILE ID=node87/1875547-1245175693
PBS_JOBID= 9363913
Free space on /tmp= 66540 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_3.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875547-1245175693/watcher-1875547-1245175693 -o /tmp/evaluation-result-1875547-1245175693/solver-1875547-1245175693 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875547-1245175693.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 0cfcb152e5d64f6fbadc82a2b31230da
RANDOM SEED=2146036285

node87.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.235
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.235
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1850768 kB
Buffers:         44240 kB
Cached:          95036 kB
SwapCached:       6176 kB
Active:          57612 kB
Inactive:        90344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1850768 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:            2396 kB
Writeback:           0 kB
Mapped:          14440 kB
Slab:            43056 kB
Committed_AS:    77824 kB
PageTables:       1460 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875547-1245175693.opb

Free space on /tmp at the end= 66536 MiB
End job on node87 at 2009-06-16 20:38:16