Trace number 455370

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, and are wall clock time (not CPU time).

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16SAT (TO)-7 1800.05 1800.61

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_25_4.opb
MD5SUM0c3fb28b3ecb8f1eba2bffa356ef5364
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-7
Best CPU time to get the best result obtained on this benchmark81.8136
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -7
Optimality of the best value was proved YES
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)2932
Sum of products size (including duplicates)5864
Number of different products1466
Sum of products size2932

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455370-1178042110/instance-455370-1178042110.opb
0.00/0.00	c File size is 34864 bytes.
0.00/0.02	c Highest Coefficient sum: 100
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.016 s
0.00/0.02	c Var: 3032 Constr: 6016 2982/102/2932 Lit: 20824 Watch. Lit: 17794
0.00/0.02	c Obj. Vars: 50 (1.64908 % of total variables)
5.99/6.08	c Pre-processing Time: 6.074 s
5.99/6.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.08	c        0   3032     6016    20824    3    17794   48588      0      0 6.07
5.99/6.08	c Switching off LPR mode.
5.99/6.08	o -1	6.079
5.99/6.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.09	c        0   3032     6017    20874    3    17797   48621      1      0 6.08
5.99/6.09	o -2	6.083
5.99/6.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.09	c        0   3032     6018    20924    3    17801   48671      2      0 6.08
5.99/6.09	o -3	6.087
5.99/6.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.99/6.09	c        0   3032     6019    20974    3    17806   48738      3      0 6.09
5.99/6.09	o -4	6.091
6.08/6.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.08/6.11	c        0   3032     6020    21024    3    17812   48821      4      0 6.09
6.08/6.11	o -5	6.105
317.01/317.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
317.01/317.14	c       17   3032     6038    21829    3    17853   48838     22      2 6.11
317.01/317.14	c      117   3032     6138    25621    4    18053   53722    122     18 6.17
317.01/317.14	c      367   3032     6388    38707    6    18553   59095    372     59 6.21
317.01/317.14	c      842   3032     6863    63690    9    19503   65005    847    134 6.26
317.01/317.14	c     1655   3032     7676   106910   13    21129   71506   1660    260 6.35
317.01/317.14	c     2975   3032     8996   178181   19    23769   78657   2980    455 6.54
317.01/317.14	c     5056   3032    11077   296191   26    27931   86523   5061    743 6.80
317.01/317.14	c     8279   3032    14300   466936   32    34377   95176   8284   1110 7.46
317.01/317.14	c    13215   3032    19236   730815   37    44249  104694  13220   1503 8.79
317.01/317.14	c    20721   3032    26742  1183026   44    59261  115164  20726   1516 13.67
317.01/317.14	c    32082   3032    38103  1865656   48    81983  126681  32087   1257 25.52
317.01/317.14	c    49226   3032    55247  3015260   54   116271  139350  49231    971 50.68
317.01/317.14	c    75046   3032    81067  4746171   58   167911  153286  75051    680 110.33
317.01/317.14	c   113878   3032   119899  7461572   62   245575  168615 113883    381 298.68
317.01/317.14	o -6	317.054
1411.13/1411.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1411.13/1411.64	c   118102   3032   124124  7715612   62   254031   48855 118108    372 317.06
1411.13/1411.64	c   118202   3032    18794   901338   47    43356   53741  12778    300 393.43
1411.13/1411.64	c   118452   3032    19044   915098   48    43856   59116  13028    301 393.50
1411.13/1411.64	c   118927   3032    19519   943801   48    44806   65028  13503    302 393.69
1411.13/1411.64	c   119741   3032    20333   996774   49    46434   71531  14317    303 394.15
1411.13/1411.64	c   121061   3032    21653  1069731   49    49074   78685  15637    306 395.37
1411.13/1411.64	c   123142   3032    23734  1184550   49    53236   86554  17718    310 396.52
1411.13/1411.64	c   126365   3032    26957  1355938   50    59682   95210  20941    317 397.91
1411.13/1411.64	c   131301   3032    31893  1626234   50    69554  104732  25877    327 400.64
1411.13/1411.64	c   138807   3032    39399  2089291   53    84566  115206  33383    339 408.33
1411.13/1411.64	c   150169   3032    50761  2739473   53   107290  126727  44745    359 417.25
1411.13/1411.64	c   167314   3032    67906  3806761   56   141580  139400  61890    367 455.33
1411.13/1411.64	c   193133   3032    93725  5655224   60   193218  153341  87709    337 572.16
1411.13/1411.64	c   231965   3032   132557  8108656   61   270882  168676 126541    325 713.38
1411.13/1411.64	c   290317   3032    33124  1809638   54    72016  185544  27108    228 1270.04
1411.13/1411.64	o -7	1411.17
1799.93/1800.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.93/1800.58	c   337830   3032    80638  5179194   64   167051   48721  74622    239 1411.17
1799.93/1800.58	c   337930   3032    18806   916394   48    43381   53594  12790    230 1467.89
1799.93/1800.58	c   338180   3032    19056   928454   48    43881   58954  13040    230 1468.10
1799.93/1800.58	c   338659   3032    19535   949333   48    44839   64850  13519    230 1468.61
1799.93/1800.58	c   339472   3032    20348  1001473   49    46465   71336  14332    231 1469.15
1799.93/1800.58	c   340794   3032    21670  1097249   50    49109   78470  15654    231 1469.86
1799.93/1800.58	c   342877   3032    23753  1228779   51    53275   86318  17737    233 1470.82
1799.93/1800.58	c   346100   3032    26976  1393666   51    59721   94950  20960    235 1472.03
1799.93/1800.58	c   351036   3032    31912  1652162   51    69593  104446  25896    238 1474.75
1799.93/1800.58	c   358543   3032    39419  2164373   54    84607  114891  33403    241 1482.48
1799.93/1800.58	c   369904   3032    50780  2806776   55   107329  126381  44764    247 1493.16
1799.93/1800.58	c   387048   3032    67924  3855354   56   141617  139020  61908    253 1529.12
1799.93/1800.58	c   412867   3032    93743  5528954   58   193255  152923  87727    253 1630.63
1799.93/1800.58	c Resources Exceeded
1799.93/1800.58	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 x23 -x24 x25 -x26 -x27 -x28
1799.93/1800.58	v -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 x49 x50 -x52 -x84 -x75 x77 -x64
1799.93/1800.58	v -x88 -x76 -x79 -x86 -x95 x55 -x65 -x54 -x53 -x92 -x100 -x68 -x69 -x80 -x74 -x73 -x83 -x71 -x81 -x57 -x61 -x63 -x67 -x78 -x85 -x89
1799.93/1800.58	v -x91 -x99 -x51 x70 -x62 x82 -x93 -x94 x98 x90 -x72 -x87 x96 -x56 -x58 -x60 -x97 -x66 -x59
1799.93/1800.58	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.93/1800.58	c   46   447106   3800   470115   127982  7775148 121966    248 1800.02
1799.93/1800.58	c Objective: -7
1799.93/1800.58	s SATISFIABLE
1799.93/1800.58	c Total time: 1800.02 s

Verifier Data (download as text)

OK	-7

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node27/watcher-455370-1178042110 -o ROOT/results/node27/solver-455370-1178042110 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455370-1178042110/instance-455370-1178042110.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.09 1.02 1.01 3/65 1379
/proc/meminfo: memFree=1857200/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=19584 CPUtime=0
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 344 0 0 0 0 0 0 0 18 0 1 0 216906962 20054016 313 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134536080 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 4896 322 280 324 0 3956 0

[startup+0.00781209 s]
/proc/loadavg: 1.09 1.02 1.01 3/65 1379
/proc/meminfo: memFree=1857200/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=4096 CPUtime=0
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 416 0 0 0 0 0 0 0 18 0 1 0 216906962 4194304 385 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 1024 385 292 324 0 84 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4096

[startup+0.101821 s]
/proc/loadavg: 1.09 1.02 1.01 3/65 1379
/proc/meminfo: memFree=1857200/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=5572 CPUtime=0.09
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 799 0 0 0 9 0 0 0 18 0 1 0 216906962 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 1393 759 306 324 0 462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5572

[startup+0.30184 s]
/proc/loadavg: 1.09 1.02 1.01 3/65 1379
/proc/meminfo: memFree=1857200/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=5572 CPUtime=0.29
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 799 0 0 0 29 0 0 0 19 0 1 0 216906962 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1900477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 1393 759 306 324 0 462 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5572

[startup+0.701881 s]
/proc/loadavg: 1.09 1.02 1.01 3/65 1379
/proc/meminfo: memFree=1857200/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=5572 CPUtime=0.69
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 799 0 0 0 69 0 0 0 23 0 1 0 216906962 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 1393 759 306 324 0 462 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5572

[startup+1.50196 s]
/proc/loadavg: 1.09 1.02 1.01 2/66 1380
/proc/meminfo: memFree=1855592/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=5572 CPUtime=1.49
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 799 0 0 0 149 0 0 0 25 0 1 0 216906962 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 1393 759 306 324 0 462 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5572

[startup+3.10113 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 1380
/proc/meminfo: memFree=1855464/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=5572 CPUtime=3.09
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 799 0 0 0 309 0 0 0 25 0 1 0 216906962 5705728 759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 1393 759 306 324 0 462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5572

[startup+6.30145 s]
/proc/loadavg: 1.08 1.02 1.00 2/66 1380
/proc/meminfo: memFree=1855224/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=6440 CPUtime=6.29
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 1085 0 0 0 626 3 0 0 25 0 1 0 216906962 6594560 996 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 1610 996 313 324 0 679 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6440

[startup+12.7011 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 1380
/proc/meminfo: memFree=1839104/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=22312 CPUtime=12.68
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 5043 0 0 0 1262 6 0 0 25 0 1 0 216906962 22847488 4954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 5578 4954 313 324 0 4647 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22312

[startup+25.5014 s]
/proc/loadavg: 1.06 1.01 1.00 2/66 1380
/proc/meminfo: memFree=1828552/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=32696 CPUtime=25.48
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 7652 0 0 0 2537 11 0 0 25 0 1 0 216906962 33480704 7563 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 8174 7563 313 324 0 7243 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32696

[startup+51.102 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 1380
/proc/meminfo: memFree=1811720/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=49632 CPUtime=51.07
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 11868 0 0 0 5090 17 0 0 25 0 1 0 216906962 50823168 11779 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 12408 11779 313 324 0 11477 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 49632

[startup+102.305 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 1380
/proc/meminfo: memFree=1789064/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=71876 CPUtime=102.27
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 17451 0 0 0 10199 28 0 0 25 0 1 0 216906962 73601024 17362 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 17969 17362 313 324 0 17038 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 71876

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1380
/proc/meminfo: memFree=1770376/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=90564 CPUtime=162.25
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 22119 0 0 0 16187 38 0 0 25 0 1 0 216906962 92737536 22030 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 22641 22030 313 324 0 21710 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 90564

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1380
/proc/meminfo: memFree=1759816/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=101036 CPUtime=222.23
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 24723 0 0 0 22179 44 0 0 25 0 1 0 216906962 103460864 24634 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 25259 24634 313 324 0 24328 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 101036

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1380
/proc/meminfo: memFree=1750728/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=110260 CPUtime=282.21
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 27022 0 0 0 28171 50 0 0 25 0 1 0 216906962 112906240 26933 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 27565 26933 313 324 0 26634 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 110260

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1380
/proc/meminfo: memFree=1743624/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=116976 CPUtime=342.2
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 34166 54 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 29244 28612 313 324 0 28313 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 116976

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 1557
/proc/meminfo: memFree=1742536/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=116976 CPUtime=402.09
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 40153 56 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 29244 28612 313 324 0 28313 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 116976

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1743432/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=116976 CPUtime=462.07
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 46146 61 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 29244 28612 313 324 0 28313 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 116976

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1743496/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=116976 CPUtime=522.05
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 52141 64 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1898325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 29244 28612 313 324 0 28313 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 116976

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1743496/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=116976 CPUtime=582.03
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 58136 67 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 29244 28612 313 324 0 28313 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 116976

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1743624/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=116976 CPUtime=642.02
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 28817 0 0 0 64131 71 0 0 25 0 1 0 216906962 119783424 28612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 29244 28612 313 324 0 28313 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 116976


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1718408/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=142208 CPUtime=821.97
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 35148 0 0 0 82109 88 0 0 25 0 1 0 216906962 145620992 34943 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 35552 34943 313 324 0 34621 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 142208

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1708360/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=152156 CPUtime=881.96
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 37637 0 0 0 88103 93 0 0 25 0 1 0 216906962 155807744 37432 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 38039 37432 313 324 0 37108 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 152156

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1699848/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=160712 CPUtime=941.95
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 39770 0 0 0 94097 98 0 0 25 0 1 0 216906962 164569088 39565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 40178 39565 313 324 0 39247 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 160712

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695304/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1001.93
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 100092 101 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 164996

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1061.91
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 106090 101 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 164996

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1121.9
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 112088 102 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 164996

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695432/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1181.89
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 118087 102 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 164996

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695432/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1241.87
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 124085 102 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 164996

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1301.86
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 130080 106 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 164996

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695432/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1361.83
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 136074 109 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 164996

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695432/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1421.83
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 142071 112 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 164996

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1481.81
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 148067 114 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 164996

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1541.8
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 154060 120 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 164996

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1601.78
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 160053 125 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 164996

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1661.76
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 166048 128 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 164996

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695368/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1721.75
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 172043 132 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 164996

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1695304/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=164996 CPUtime=1781.73
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194304 40996 0 0 0 178039 134 0 0 25 0 1 0 216906962 168955904 40624 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 41249 40624 313 324 0 40318 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 164996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 1579
/proc/meminfo: memFree=1825352/2055920 swapFree=4182956/4192956
[pid=1379] ppid=1377 vsize=0 CPUtime=1800.04
/proc/1379/stat : 1379 (bsolo3.0.16) R 1377 1379 32352 0 -1 4194308 40997 0 0 0 179866 138 0 0 25 0 1 0 216906962 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1379/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 0

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

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

Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1798.67
CPU system time (s): 1.38279
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (KiB): 165664

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

runsolver used 1.42178 second user time and 3.55846 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Tue May  1 17:55:11 UTC 2007

IDJOB= 455370
IDBENCH= 48259
IDSOLVER= 163
FILE ID= node27/455370-1178042110

PBS_JOBID= 4728393

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_25_4.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455370-1178042110/instance-455370-1178042110.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-455370-1178042110 -o ROOT/results/node27/solver-455370-1178042110 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/455370-1178042110/instance-455370-1178042110.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  0c3fb28b3ecb8f1eba2bffa356ef5364

RANDOM SEED= 722685452

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

/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.213
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	: 5931.00
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.213
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:       1857864 kB
Buffers:         67168 kB
Cached:          61664 kB
SwapCached:       3632 kB
Active:          98272 kB
Inactive:        44280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857864 kB
SwapTotal:     4192956 kB
SwapFree:      4182956 kB
Dirty:            6788 kB
Writeback:           0 kB
Mapped:          18056 kB
Slab:            41588 kB
Committed_AS:  4964996 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node27 on Tue May  1 18:25:13 UTC 2007