Trace number 1875276

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.07 1800.56

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_60_1.opb
MD5SUM04b9af5ff2583cb908a8972f40516a9e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark44
Best CPU time to get the best result obtained on this benchmark1800.5
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 37
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint61
Maximum length of a constraint110
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)75586
Sum of products size (including duplicates)151172
Number of different products75586
Sum of products size151172

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-1875276-1245191418.opb.
0.00/0.00	c Instance file HOME/instance-1875276-1245191418.opb
0.00/0.00	c File size is 5927827 bytes.
0.80/0.82	c Highest Coefficient sum: 111
0.80/0.82	c ============================[ Problem Statistics ]=============================
0.80/0.82	c |                                                                             |
0.80/0.83	c |  Parsing time:          0.81         s                                      |
0.80/0.83	c |  Number Variables:      76586                                               |
0.80/0.83	c |  Number Clauses:        77586                                               |
0.80/0.83	c |  Number Cardinality:    0                                                   |
0.80/0.83	c |  Number PB Constraints: 75586                                               |
0.80/0.83	c core #1
0.80/0.83	c Core size: 122	Core Weight: 1	Total Weight: 1
0.80/0.83	c Elapsed CPU time: 0.808877 s	Remaining CPU time: 1799.19 s
1.00/1.01	c core #2
1.00/1.01	c Core size: 126	Core Weight: 1	Total Weight: 2
1.00/1.01	c Elapsed CPU time: 0.975851 s	Remaining CPU time: 1799.02 s
1.19/1.26	c ============================[ Search Statistics ]==============================
1.19/1.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.26	c ===============================================================================
1.19/1.26	c |         0 |    9841   153174   332495 |    51058        0    nan |  0.000 % |
1.29/1.31	c ===============================================================================
1.29/1.31	c core #3
1.29/1.31	c Core size: 460	Core Weight: 1	Total Weight: 3
1.29/1.31	c Elapsed CPU time: 1.25681 s	Remaining CPU time: 1798.74 s
1.59/1.61	c ============================[ Search Statistics ]==============================
1.59/1.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.59/1.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.59/1.61	c ===============================================================================
1.59/1.61	c |         0 |   25954   153175   380202 |    51058        0    nan |  0.000 % |
2.49/2.54	c |       101 |   25954   153175   380202 |    56164      101    469 | 66.264 % |
3.68/3.71	c ===============================================================================
3.68/3.72	c core #4
3.68/3.72	c Core size: 1802	Core Weight: 1	Total Weight: 4
3.68/3.72	c Elapsed CPU time: 3.64845 s	Remaining CPU time: 1796.35 s
3.99/4.02	c ============================[ Search Statistics ]==============================
3.99/4.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.99/4.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.99/4.02	c ===============================================================================
3.99/4.02	c |         0 |   61531   153176   485363 |    51058        0    nan |  0.000 % |
4.89/4.91	c |       101 |   61531   153176   485363 |    56164      101    301 | 20.701 % |
7.98/8.03	c |       251 |   61531   153176   485363 |    61780      251    352 | 20.701 % |
12.58/12.61	c |       477 |   61531   153176   485363 |    67959      477    392 | 20.701 % |
19.09/19.10	c |       815 |   61531   153176   485363 |    74754      815    430 | 20.701 % |
29.08/29.15	c |      1322 |   61531   153176   485363 |    82230     1322    453 | 20.701 % |
47.07/47.12	c |      2082 |   61531   153176   485363 |    90453     2082    387 | 20.701 % |
75.77/75.82	c |      3223 |   61531   153176   485363 |    99498     3223    415 | 20.701 % |
115.96/116.08	c |      4931 |   61531   153176   485363 |   109448     4931    440 | 20.701 % |
173.24/173.34	c |      7494 |   61531   153176   485363 |   120393     7494    471 | 20.701 % |
268.72/268.88	c |     11341 |   61531   153176   485363 |   132433    11341    459 | 20.701 % |
417.07/417.21	c |     17108 |   57257   153176   485363 |   145676     3892    172 | 26.210 % |
418.88/419.07	c ===============================================================================
419.27/419.48	c core #5
419.27/419.48	c Core size: 5356	Core Weight: 1	Total Weight: 5
419.27/419.48	c Elapsed CPU time: 419.041 s	Remaining CPU time: 1380.96 s
419.68/419.86	c ============================[ Search Statistics ]==============================
419.68/419.86	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
419.68/419.86	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
419.68/419.86	c ===============================================================================
419.68/419.86	c |         0 |   78246   153177   534103 |    51059        0    nan |  0.000 % |
420.88/421.04	c |       102 |   78246   153177   534103 |    56164      102    567 |  0.419 % |
426.17/426.38	c |       253 |   78246   153177   534103 |    61781      253    405 |  0.419 % |
433.17/433.39	c |       480 |   78246   153177   534103 |    67959      480    324 |  0.419 % |
444.97/445.17	c |       818 |   78246   153177   534103 |    74755      818    324 |  0.419 % |
456.77/456.98	c |      1325 |   78246   153177   534103 |    82231     1325    375 |  0.419 % |
467.86/468.02	c |      2084 |   78246   153177   534103 |    90454     2084    417 |  0.419 % |
492.36/492.51	c |      3223 |   78246   153177   534103 |    99499     3223    360 |  0.419 % |
527.35/527.56	c |      4931 |   78246   153177   534103 |   109449     4931    351 |  0.419 % |
578.83/579.07	c |      7494 |   78246   153177   534103 |   120394     7494    438 |  0.419 % |
651.51/651.77	c |     11338 |   78246   153177   534103 |   132433    11338    457 |  0.419 % |
745.09/745.39	c |     17105 |   78246   153177   534103 |   145677    17105    528 |  0.419 % |
899.94/900.21	c |     25757 |   78246   153177   534103 |   160245    25757    568 |  0.419 % |
1177.27/1177.65	c |     38732 |   78246   153177   534103 |   176269    38732    676 |  0.419 % |
1542.77/1543.25	c |     58194 |   78246   153177   534103 |   193896    58194    688 |  0.419 % |

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-1875276-1245191418/watcher-1875276-1245191418 -o /tmp/evaluation-result-1875276-1245191418/solver-1875276-1245191418 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875276-1245191418.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 0.97 0.99 3/65 6290
/proc/meminfo: memFree=1882736/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=8632 CPUtime=0
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 279 0 0 0 0 0 0 0 20 0 1 0 5054315 8839168 263 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 2158 263 125 292 0 415 0

[startup+0.0866319 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 6290
/proc/meminfo: memFree=1882736/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=16084 CPUtime=0.07
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 1936 0 0 0 7 0 0 0 20 0 1 0 5054315 16470016 1828 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 4021 1828 236 292 0 2278 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 16084

[startup+0.102633 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 6290
/proc/meminfo: memFree=1882736/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=16540 CPUtime=0.09
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 2272 0 0 0 9 0 0 0 20 0 1 0 5054315 16936960 2115 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 4135 2117 253 292 0 2392 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16540

[startup+0.301652 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 6290
/proc/meminfo: memFree=1882736/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=22420 CPUtime=0.29
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 3895 0 0 0 28 1 0 0 22 0 1 0 5054315 22958080 3673 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 5605 3673 605 292 0 3862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 22420

[startup+0.702689 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 6290
/proc/meminfo: memFree=1882736/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=27540 CPUtime=0.69
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 5890 0 0 0 68 1 0 0 25 0 1 0 5054315 28200960 5668 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 6885 5668 1332 292 0 5142 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27540

[startup+1.50176 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1845544/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=55612 CPUtime=1.49
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 17541 0 0 0 143 6 0 0 25 0 1 0 5054315 56946688 12433 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 13903 12433 135 292 0 13608 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55612

[startup+3.10191 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1834408/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=52820 CPUtime=3.08
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 18411 0 0 0 302 6 0 0 25 0 1 0 5054315 54087680 12103 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 13205 12103 136 292 0 12910 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 52820

[startup+6.30121 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1828016/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=58848 CPUtime=6.28
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 21183 0 0 0 620 8 0 0 25 0 1 0 5054315 60260352 13672 1992294400 134512640 135709839 4294956240 18446744073709551615 134573862 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 14712 13672 136 292 0 14417 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 58848

[startup+12.7018 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1828096/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=58848 CPUtime=12.68
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 21183 0 0 0 1260 8 0 0 25 0 1 0 5054315 60260352 13672 1992294400 134512640 135709839 4294956240 18446744073709551615 134572370 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 14712 13672 136 292 0 14417 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 58848

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1828160/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=58848 CPUtime=25.48
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 21183 0 0 0 2539 9 0 0 25 0 1 0 5054315 60260352 13672 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 14712 13672 136 292 0 14417 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 58848

[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1827392/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=59640 CPUtime=51.07
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 21413 0 0 0 5097 10 0 0 25 0 1 0 5054315 61071360 13902 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 14910 13902 136 292 0 14615 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 59640

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1821632/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=65316 CPUtime=102.26
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 22836 0 0 0 10213 13 0 0 25 0 1 0 5054315 66883584 15325 1992294400 134512640 135709839 4294956240 18446744073709551615 134587938 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 16329 15325 136 292 0 16034 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 65316

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1815104/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=71924 CPUtime=162.24
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 24493 0 0 0 16207 17 0 0 25 0 1 0 5054315 73650176 16982 1992294400 134512640 135709839 4294956240 18446744073709551615 134572756 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 17981 16982 136 292 0 17686 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 71924

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1808064/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=78840 CPUtime=222.23
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 26213 0 0 0 22201 22 0 0 25 0 1 0 5054315 80732160 18702 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 19710 18702 136 292 0 19415 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 78840

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1802432/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=84404 CPUtime=282.21
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 27615 0 0 0 28197 24 0 0 25 0 1 0 5054315 86429696 20104 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 21101 20104 136 292 0 20806 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 84404

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1797376/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=89364 CPUtime=342.19
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 28856 0 0 0 34192 27 0 0 25 0 1 0 5054315 91508736 21345 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 22341 21345 136 292 0 22046 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 89364

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1791744/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=95040 CPUtime=402.17
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 30263 0 0 0 40186 31 0 0 25 0 1 0 5054315 97320960 22752 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 23760 22752 136 292 0 23465 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 95040

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1779008/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=107536 CPUtime=462.16
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 34579 0 0 0 46180 36 0 0 25 0 1 0 5054315 110116864 25856 1992294400 134512640 135709839 4294956240 18446744073709551615 134587880 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 26884 25856 136 292 0 26589 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 107536

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1779008/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=107536 CPUtime=522.14
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 34579 0 0 0 52174 40 0 0 25 0 1 0 5054315 110116864 25856 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 26884 25856 136 292 0 26589 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 107536

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1778944/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=107536 CPUtime=582.13
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 34609 0 0 0 58168 45 0 0 25 0 1 0 5054315 110116864 25886 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 26884 25886 136 292 0 26589 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 107536

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1772096/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=114412 CPUtime=642.12
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 36332 0 0 0 64164 48 0 0 25 0 1 0 5054315 117157888 27609 1992294400 134512640 135709839 4294956240 18446744073709551615 134518380 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 28603 27609 136 292 0 28308 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 114412

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1728704/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=157860 CPUtime=882.05
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 47176 0 0 0 88134 71 0 0 25 0 1 0 5054315 161648640 38453 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 39465 38453 136 292 0 39170 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 157860

[startup+942.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1716864/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=169704 CPUtime=942.04
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 50122 0 0 0 94127 77 0 0 25 0 1 0 5054315 173776896 41399 1992294400 134512640 135709839 4294956240 18446744073709551615 134587938 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 42426 41399 136 292 0 42131 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 169704

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1706368/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=180060 CPUtime=1002.02
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 52734 0 0 0 100121 81 0 0 25 0 1 0 5054315 184381440 44011 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 45015 44011 136 292 0 44720 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 180060

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1693760/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=192700 CPUtime=1062
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 55882 0 0 0 106115 85 0 0 25 0 1 0 5054315 197324800 47159 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 48175 47159 136 292 0 47880 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 192700

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1683968/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=202412 CPUtime=1121.98
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 58316 0 0 0 112109 89 0 0 25 0 1 0 5054315 207269888 49593 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 50603 49593 136 292 0 50308 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 202412

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1668032/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=218708 CPUtime=1181.97
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 62398 0 0 0 118102 95 0 0 25 0 1 0 5054315 223956992 53675 1992294400 134512640 135709839 4294956240 18446744073709551615 134572842 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 54677 53675 136 292 0 54382 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 218708

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1657280/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=229164 CPUtime=1241.95
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 64988 0 0 0 124096 99 0 0 25 0 1 0 5054315 234663936 56265 1992294400 134512640 135709839 4294956240 18446744073709551615 134518304 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 57291 56265 136 292 0 56996 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 229164

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1646272/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=240044 CPUtime=1301.94
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 67707 0 0 0 130090 104 0 0 25 0 1 0 5054315 245805056 58984 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 60011 58984 136 292 0 59716 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 240044

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1635008/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=251320 CPUtime=1361.92
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 70535 0 0 0 136083 109 0 0 25 0 1 0 5054315 257351680 61812 1992294400 134512640 135709839 4294956240 18446744073709551615 134587978 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 62830 61812 136 292 0 62535 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 251320

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1622912/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=263236 CPUtime=1421.91
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 73522 0 0 0 142077 114 0 0 25 0 1 0 5054315 269553664 64799 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 65809 64799 136 292 0 65514 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 263236

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1612864/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=273536 CPUtime=1481.88
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 76093 0 0 0 148070 118 0 0 25 0 1 0 5054315 280100864 67370 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 68384 67370 136 292 0 68089 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 273536

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1600896/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=285292 CPUtime=1541.87
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 79010 0 0 0 154063 124 0 0 25 0 1 0 5054315 292139008 70287 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 71323 70287 136 292 0 71028 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 285292

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1587776/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=298580 CPUtime=1601.86
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 82333 0 0 0 160057 129 0 0 25 0 1 0 5054315 305745920 73610 1992294400 134512640 135709839 4294956240 18446744073709551615 134518400 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 74645 73610 136 292 0 74350 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 298580

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1574912/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=311324 CPUtime=1661.83
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 85519 0 0 0 166050 133 0 0 25 0 1 0 5054315 318795776 76796 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 77831 76796 136 292 0 77536 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 311324

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1560320/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=326172 CPUtime=1721.82
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 89230 0 0 0 172043 139 0 0 25 0 1 0 5054315 334000128 80507 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 81543 80507 136 292 0 81248 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 326172

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1543296/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=342932 CPUtime=1781.8
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 93409 0 0 0 178035 145 0 0 25 0 1 0 5054315 351162368 84686 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 85733 84686 136 292 0 85438 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 342932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1537984/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=348092 CPUtime=1800
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 94709 0 0 0 179853 147 0 0 25 0 1 0 5054315 356446208 85986 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 87023 85986 136 292 0 86728 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 348092

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 6291
/proc/meminfo: memFree=1537984/2055920 swapFree=4192956/4192956
[pid=6290] ppid=6288 vsize=348092 CPUtime=1800
/proc/6290/stat : 6290 (wbo) R 6288 6290 6090 0 -1 4194304 94709 0 0 0 179853 147 0 0 25 0 1 0 5054315 356446208 85986 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/6290/statm: 87023 85986 136 292 0 86728 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 348092

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.56
CPU time (s): 1800.07
CPU user time (s): 1798.54
CPU system time (s): 1.52577
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 348092

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

runsolver used 2.00969 second user time and 4.14137 second system time

The end

Launcher Data 

Begin job on node8 at 2009-06-17 00:30:18
IDJOB=1875276
IDBENCH=48116
IDSOLVER=698
FILE ID=node8/1875276-1245191418
PBS_JOBID= 9368320
Free space on /tmp= 66288 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_60_1.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-1875276-1245191418/watcher-1875276-1245191418 -o /tmp/evaluation-result-1875276-1245191418/solver-1875276-1245191418 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875276-1245191418.opb

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

MD5SUM BENCH= 04b9af5ff2583cb908a8972f40516a9e
RANDOM SEED=43443998

node8.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.236
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.236
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:       1888160 kB
Buffers:         44004 kB
Cached:          79076 kB
SwapCached:          0 kB
Active:          89440 kB
Inactive:        47320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1888160 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3420 kB
Writeback:           0 kB
Mapped:          23456 kB
Slab:            16804 kB
Committed_AS:    74016 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875276-1245191418.opb

Free space on /tmp at the end= 66280 MiB
End job on node8 at 2009-06-17 01:00:23