Trace number 1875420

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.26 1800.99

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_2.opb
MD5SUM16914dfad82872f4c1ab9b61e8ec867a
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-31
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -44
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
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)74976
Sum of products size (including duplicates)149952
Number of different products37488
Sum of products size74976

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-1875420-1245209718.opb.
0.00/0.00	c Instance file HOME/instance-1875420-1245209718.opb
0.00/0.00	c File size is 3314436 bytes.
0.49/0.51	c Highest Coefficient sum: 1000
0.49/0.51	c ============================[ Problem Statistics ]=============================
0.49/0.51	c |                                                                             |
0.49/0.51	c |  Parsing time:          0.50         s                                      |
0.49/0.51	c |  Number Variables:      38488                                               |
0.49/0.51	c |  Number Clauses:        38488                                               |
0.49/0.51	c |  Number Cardinality:    1002                                                |
0.49/0.51	c |  Number PB Constraints: 37488                                               |
0.49/0.52	c core #1
0.49/0.52	c Core size: 1001	Core Weight: 1	Total Weight: -499
0.49/0.52	c Elapsed CPU time: 0.503923 s	Remaining CPU time: 1799.5 s
0.59/0.67	c ============================[ Search Statistics ]==============================
0.59/0.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.67	c ===============================================================================
0.59/0.67	c |         0 |   38988    76979   304404 |    25659        0    nan |  0.000 % |
0.99/1.05	c |       100 |   38988    76979   304404 |    28225      100    210 |  0.490 % |
1.40/1.50	c |       250 |   38985    76979   304404 |    31048      250    266 |  0.659 % |
2.69/2.74	c |       475 |   38982    76979   304404 |    34153      475    164 |  0.831 % |
3.39/3.44	c ===============================================================================
3.39/3.46	c core #2
3.39/3.46	c Core size: 1317	Core Weight: 1	Total Weight: -498
3.39/3.46	c Elapsed CPU time: 3.41648 s	Remaining CPU time: 1796.58 s
3.60/3.63	c Learning 138 hard constraints
3.60/3.63	c ============================[ Search Statistics ]==============================
3.60/3.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.60/3.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.60/3.63	c ===============================================================================
3.60/3.63	c |         0 |   39362    77118   305566 |    25706        0    nan |  0.000 % |
4.00/4.08	c |       100 |   39362    77118   305566 |    28276      100    419 |  0.000 % |
4.19/4.26	c |       250 |   39362    77118   305566 |    31104      250    315 |  0.000 % |
4.79/4.90	c |       475 |   39362    77118   305566 |    34214      475    258 |  0.000 % |
6.09/6.14	c |       812 |   39362    77118   305566 |    37636      812    308 |  0.000 % |
7.99/8.01	c |      1318 |   39362    77118   305566 |    41399     1318    304 |  0.000 % |
10.68/10.78	c |      2077 |   39287    77118   305566 |    45539     2015    343 |  0.191 % |
15.19/15.22	c |      3216 |   39282    77118   305566 |    50093     3154    343 |  0.737 % |
22.48/22.54	c |      4924 |   38263    77118   305566 |    55103     4652    364 |  2.950 % |
33.08/33.16	c |      7497 |   37449    77118   305566 |    60613     7015    389 |  4.860 % |
47.78/47.82	c |     11341 |   34207    77118   305566 |    66674     9948    409 | 20.289 % |
70.16/70.24	c |     17107 |   27745    77118   305566 |    73342    13812    451 | 31.264 % |
105.15/105.20	c |     25756 |   26241    77118   305566 |    80676    20918    454 | 40.666 % |
134.53/134.69	c ===============================================================================
136.03/136.16	c core #3
136.03/136.16	c Core size: 2728	Core Weight: 1	Total Weight: -497
136.03/136.16	c Elapsed CPU time: 135.632 s	Remaining CPU time: 1664.37 s
136.25/136.39	c Learning 45 hard constraints
136.25/136.39	c ============================[ Search Statistics ]==============================
136.25/136.39	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
136.25/136.39	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
136.25/136.39	c ===============================================================================
136.25/136.39	c |         0 |   39862    77164   319121 |    25721        0    nan |  0.000 % |
136.94/137.04	c |       100 |   39862    77164   319121 |    28293      100    660 |  0.000 % |
137.34/137.40	c |       250 |   39862    77164   319121 |    31122      250    393 |  0.000 % |
138.24/138.32	c |       475 |   39862    77164   319121 |    34235      475    310 |  0.000 % |
139.83/139.92	c |       812 |   39862    77164   319121 |    37658      812    341 |  0.000 % |
141.84/141.95	c |      1318 |   39862    77164   319121 |    41424     1318    387 |  0.000 % |
145.93/146.05	c |      2077 |   39862    77164   319121 |    45566     2077    384 |  0.000 % |
151.83/151.92	c |      3217 |   39862    77164   319121 |    50123     3217    395 |  0.000 % |
159.33/159.45	c |      4925 |   39862    77164   319121 |    55135     4925    423 |  0.000 % |
170.92/171.01	c |      7691 |   39862    77164   319121 |    60649     7691    425 |  0.000 % |
187.21/187.32	c |     11535 |   39862    77164   319121 |    66714    11535    443 |  0.000 % |
214.20/214.35	c |     17352 |   39862    77164   319121 |    73385    17352    466 |  0.000 % |
257.68/257.81	c |     26001 |   39862    77164   319121 |    80724    26001    475 |  0.000 % |
323.27/323.42	c |     38975 |   39862    77164   319121 |    88797    38975    496 |  0.000 % |
439.52/439.73	c |     58532 |   39862    77164   319121 |    97676    58532    519 |  0.000 % |
628.14/628.42	c |     87726 |   39862    77164   319121 |   107444    87726    533 |  0.000 % |
905.02/905.45	c |    131515 |   39720    77164   319121 |   118188    15020    586 |  0.356 % |
1308.76/1309.30	c |    197199 |   39719    77164   319121 |   130007    80703    568 |  0.359 % |

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-1875420-1245209718/watcher-1875420-1245209718 -o /tmp/evaluation-result-1875420-1245209718/solver-1875420-1245209718 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875420-1245209718.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.91 3/64 1422
/proc/meminfo: memFree=1753184/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=6092 CPUtime=0
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 280 0 0 0 0 0 0 0 18 0 1 0 177494030 6238208 264 1992294400 134512640 135709839 4294956240 18446744073709551615 134570569 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 1523 264 126 292 0 418 0

[startup+0.079274 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 1422
/proc/meminfo: memFree=1753184/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=11404 CPUtime=0.07
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 1596 0 0 0 7 0 0 0 18 0 1 0 177494030 11677696 1580 1992294400 134512640 135709839 4294956240 18446744073709551615 134543850 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 2851 1580 214 292 0 1746 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11404

[startup+0.101276 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 1422
/proc/meminfo: memFree=1753184/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=12648 CPUtime=0.09
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 1828 0 0 0 9 0 0 0 18 0 1 0 177494030 12951552 1779 1992294400 134512640 135709839 4294956240 18446744073709551615 134544051 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 3162 1779 239 292 0 2057 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12648

[startup+0.301297 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 1422
/proc/meminfo: memFree=1753184/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=15332 CPUtime=0.29
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 2900 0 0 0 29 0 0 0 19 0 1 0 177494030 15699968 2851 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 3833 2851 552 292 0 2728 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15332

[startup+0.702343 s]
/proc/loadavg: 0.99 0.97 0.91 3/64 1422
/proc/meminfo: memFree=1753184/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=25876 CPUtime=0.69
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 7569 0 0 0 67 2 0 0 24 0 1 0 177494030 26497024 5857 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 6469 5857 135 292 0 6174 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 25876

[startup+1.50243 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1423
/proc/meminfo: memFree=1729816/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=26556 CPUtime=1.5
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 7731 0 0 0 147 3 0 0 25 0 1 0 177494030 27193344 6019 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 6639 6019 136 292 0 6344 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 26556

[startup+3.1016 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1423
/proc/meminfo: memFree=1728984/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=27348 CPUtime=3.09
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 7926 0 0 0 305 4 0 0 25 0 1 0 177494030 28004352 6214 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 6837 6214 136 292 0 6542 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27348

[startup+6.30195 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1423
/proc/meminfo: memFree=1721688/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=34232 CPUtime=6.29
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 10281 0 0 0 624 5 0 0 25 0 1 0 177494030 35053568 7958 1992294400 134512640 135709839 4294956240 18446744073709551615 134601446 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 8558 7958 136 292 0 8263 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34232

[startup+12.7016 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1423
/proc/meminfo: memFree=1715800/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=40844 CPUtime=12.69
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 11913 0 0 0 1261 8 0 0 25 0 1 0 177494030 41824256 9590 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 10211 9590 136 292 0 9916 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40844

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1423
/proc/meminfo: memFree=1703704/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=52864 CPUtime=25.48
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 14938 0 0 0 2537 11 0 0 25 0 1 0 177494030 54132736 12615 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 13216 12615 136 292 0 12921 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 52864

[startup+51.1018 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1423
/proc/meminfo: memFree=1677912/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=78832 CPUtime=51.07
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 21434 0 0 0 5088 19 0 0 25 0 1 0 177494030 80723968 19111 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 19708 19111 136 292 0 19413 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 78832

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1423
/proc/meminfo: memFree=1630360/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=125780 CPUtime=102.26
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 33169 0 0 0 10189 37 0 0 25 0 1 0 177494030 128798720 30846 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 31445 30846 136 292 0 31150 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 125780

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1592856/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=162780 CPUtime=162.23
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 42846 0 0 0 16165 58 0 0 25 0 1 0 177494030 166686720 40061 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 40695 40061 136 292 0 40400 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 162780

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1592920/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=162780 CPUtime=222.2
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 42851 0 0 0 22149 71 0 0 25 0 1 0 177494030 166686720 40066 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 40695 40066 136 292 0 40400 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 162780

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1584216/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=171896 CPUtime=282.18
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 45157 0 0 0 28136 82 0 0 25 0 1 0 177494030 176021504 42372 1992294400 134512640 135709839 4294956240 18446744073709551615 134577399 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 42974 42372 136 292 0 42679 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 171896

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1538200/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=217960 CPUtime=342.16
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 56656 0 0 0 34116 100 0 0 25 0 1 0 177494030 223191040 53871 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 54490 53871 136 292 0 54195 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 217960

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1496536/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=259784 CPUtime=402.12
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 67095 0 0 0 40099 113 0 0 25 0 1 0 177494030 266018816 64310 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 64946 64310 136 292 0 64651 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 259784

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1452760/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=303324 CPUtime=462.11
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 77977 0 0 0 46083 128 0 0 25 0 1 0 177494030 310603776 75192 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 75831 75192 136 292 0 75536 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 303324

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1413144/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=343132 CPUtime=522.08
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 87938 0 0 0 52065 143 0 0 25 0 1 0 177494030 351367168 85153 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 85783 85153 136 292 0 85488 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 343132

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1372760/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=383304 CPUtime=582.05
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 97944 0 0 0 58050 155 0 0 25 0 1 0 177494030 392503296 95159 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 95826 95159 136 292 0 95531 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 383304

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1331160/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=424348 CPUtime=642.04
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 108216 0 0 0 64036 168 0 0 25 0 1 0 177494030 434532352 105431 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 106087 105431 136 292 0 105792 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 424348

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1158360/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=597068 CPUtime=881.93
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 151364 0 0 0 87970 223 0 0 25 0 1 0 177494030 611397632 148579 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 149267 148579 136 292 0 148972 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 597068

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1111064/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=644876 CPUtime=941.91
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 163306 0 0 0 93946 245 0 0 25 0 1 0 177494030 660353024 160521 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 161219 160521 136 292 0 160924 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 644876

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1065880/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=689276 CPUtime=1001.88
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 174407 0 0 0 99926 262 0 0 25 0 1 0 177494030 705818624 171622 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 172319 171622 136 292 0 172024 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 689276

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=1019800/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=735280 CPUtime=1061.85
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 185911 0 0 0 105909 276 0 0 25 0 1 0 177494030 752926720 183126 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 183820 183126 136 292 0 183525 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 735280

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=977368/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=777576 CPUtime=1121.83
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 196480 0 0 0 111890 293 0 0 25 0 1 0 177494030 796237824 193695 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 194394 193695 136 292 0 194099 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 777576

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=934232/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=821260 CPUtime=1181.81
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 207394 0 0 0 117874 307 0 0 25 0 1 0 177494030 840970240 204609 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 205315 204609 136 292 0 205020 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 821260

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=892824/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=861912 CPUtime=1241.79
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 217539 0 0 0 123860 319 0 0 25 0 1 0 177494030 882597888 214754 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 215478 214754 136 292 0 215183 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 861912

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=853592/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=900900 CPUtime=1301.77
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 227261 0 0 0 129846 331 0 0 25 0 1 0 177494030 922521600 224476 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 225225 224476 136 292 0 224930 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 900900

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=819864/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=935104 CPUtime=1361.74
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 235795 0 0 0 135831 343 0 0 25 0 1 0 177494030 957546496 233010 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 233776 233010 136 292 0 233481 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 935104

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=782488/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=971996 CPUtime=1421.73
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 245012 0 0 0 141817 356 0 0 25 0 1 0 177494030 995323904 242227 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 242999 242227 136 292 0 242704 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 971996

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1425
/proc/meminfo: memFree=743000/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=1011976 CPUtime=1481.69
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 254999 0 0 0 147801 368 0 0 25 0 1 0 177494030 1036263424 252214 1992294400 134512640 135709839 4294956240 18446744073709551615 134573913 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 252994 252214 136 292 0 252699 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 1011976

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1431
/proc/meminfo: memFree=695896/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=1057820 CPUtime=1541.67
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 266443 0 0 0 153785 382 0 0 25 0 1 0 177494030 1083207680 263658 1992294400 134512640 135709839 4294956240 18446744073709551615 134577948 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 264455 263658 136 292 0 264160 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 1057820

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1431
/proc/meminfo: memFree=652248/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=1101728 CPUtime=1601.65
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 277435 0 0 0 159772 393 0 0 25 0 1 0 177494030 1128169472 274650 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 275432 274650 136 292 0 275137 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1101728

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1431
/proc/meminfo: memFree=611672/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=1141904 CPUtime=1661.63
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 287489 0 0 0 165759 404 0 0 25 0 1 0 177494030 1169309696 284704 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 285476 284704 136 292 0 285181 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 1141904

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1431
/proc/meminfo: memFree=570264/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=1183536 CPUtime=1721.6
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 297878 0 0 0 171741 419 0 0 25 0 1 0 177494030 1211940864 295093 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 295884 295093 136 292 0 295589 0
Current children cumulated CPU time (s) 1721.6
Current children cumulated vsize (KiB) 1183536

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1431
/proc/meminfo: memFree=525208/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=1228360 CPUtime=1781.57
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 309084 0 0 0 177724 433 0 0 25 0 1 0 177494030 1257840640 306299 1992294400 134512640 135709839 4294956240 18446744073709551615 134577792 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 307090 306299 136 292 0 306795 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (KiB) 1228360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1431
/proc/meminfo: memFree=511192/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=1241848 CPUtime=1800.07
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4194304 312477 0 0 0 179569 438 0 0 25 0 1 0 177494030 1271652352 309692 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 310462 309692 136 292 0 310167 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1241848

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

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

[startup+1800.91 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 1431
/proc/meminfo: memFree=511192/2055920 swapFree=4192956/4192956
[pid=1422] ppid=1420 vsize=0 CPUtime=1800.17
/proc/1422/stat : 1422 (wbo) R 1420 1422 1339 0 -1 4195332 312477 0 0 0 179569 448 0 0 25 0 1 0 177494030 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/1422/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.99
CPU time (s): 1800.26
CPU user time (s): 1795.69
CPU system time (s): 4.56431
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 1241848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.69
system time used= 4.56431
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312477
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= 4373

runsolver used 1.9877 second user time and 4.5753 second system time

The end

Launcher Data 

Begin job on node64 at 2009-06-17 05:35:18
IDJOB=1875420
IDBENCH=48260
IDSOLVER=698
FILE ID=node64/1875420-1245209718
PBS_JOBID= 9368411
Free space on /tmp= 66252 MiB

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

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

MD5SUM BENCH= 16914dfad82872f4c1ab9b61e8ec867a
RANDOM SEED=2118524104

node64.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.241
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.241
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	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1758016 kB
Buffers:         18024 kB
Cached:         201956 kB
SwapCached:          0 kB
Active:          30256 kB
Inactive:       204636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1758016 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3344 kB
Writeback:           0 kB
Mapped:          24752 kB
Slab:            48808 kB
Committed_AS:    87184 kB
PageTables:       1392 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-1875420-1245209718.opb

Free space on /tmp at the end= 66248 MiB
End job on node64 at 2009-06-17 06:05:23