Trace number 455376

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.17SAT (TO)-7 1800.11 1800.74

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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/455376-1178042192/instance-455376-1178042192.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.018 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.69/5.75	c Pre-processing Time: 5.748 s
5.69/5.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.75	c        0   3032     6016    20824    3    17794   48588      0      0 5.75
5.69/5.75	c Switching off LPR mode.
5.69/5.76	o -1	5.751
5.69/5.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.76	c        0   3032     6017    20874    3    17797   48621      1      0 5.75
5.69/5.76	o -2	5.753
5.69/5.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.76	c        0   3032     6018    20924    3    17801   48671      2      0 5.75
5.69/5.76	o -3	5.756
5.69/5.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.76	c        0   3032     6019    20974    3    17806   48738      3      0 5.76
5.69/5.76	o -4	5.758
5.69/5.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
5.69/5.78	c        0   3032     6020    21024    3    17812   48821      4      0 5.76
5.69/5.78	o -5	5.77
315.99/316.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
315.99/316.20	c       17   3032     6038    21829    3    17853   48838     22      2 5.77
315.99/316.20	c      117   3032     6138    25621    4    18053   53722    122     20 5.83
315.99/316.20	c      367   3032     6388    38707    6    18553   59095    372     62 5.86
315.99/316.20	c      842   3032     6863    63690    9    19503   65005    847    142 5.92
315.99/316.20	c     1655   3032     7676   106910   13    21129   71506   1660    275 6.00
315.99/316.20	c     2975   3032     8996   178181   19    23769   78657   2980    481 6.18
315.99/316.20	c     5056   3032    11077   296191   26    27931   86523   5061    785 6.44
315.99/316.20	c     8279   3032    14300   466936   32    34377   95176   8284   1169 7.08
315.99/316.20	c    13215   3032    19236   730815   37    44249  104694  13220   1576 8.38
315.99/316.20	c    20721   3032    26742  1183026   44    59261  115164  20726   1570 13.20
315.99/316.20	c    32082   3032    38103  1865656   48    81983  126681  32087   1282 25.01
315.99/316.20	c    49226   3032    55247  3015260   54   116271  139350  49231    984 50.01
315.99/316.20	c    75046   3032    81067  4746171   58   167911  153286  75051    685 109.52
315.99/316.20	c   113878   3032   119899  7461572   62   245575  168615 113883    382 297.65
315.99/316.20	o -6	316.003
1408.17/1408.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1408.17/1408.77	c   118102   3032   124124  7715612   62   254031   48855 118108    373 316.00
1408.17/1408.77	c   118202   3032    18794   901338   47    43356   53741  12778    301 392.46
1408.17/1408.77	c   118452   3032    19044   915098   48    43856   59116  13028    301 392.53
1408.17/1408.77	c   118927   3032    19519   943801   48    44806   65028  13503    302 392.73
1408.17/1408.77	c   119741   3032    20333   996774   49    46434   71531  14317    304 393.18
1408.17/1408.77	c   121061   3032    21653  1069731   49    49074   78685  15637    306 394.39
1408.17/1408.77	c   123142   3032    23734  1184550   49    53236   86554  17718    311 395.53
1408.17/1408.77	c   126365   3032    26957  1355938   50    59682   95210  20941    318 396.93
1408.17/1408.77	c   131301   3032    31893  1626234   50    69554  104732  25877    328 399.68
1408.17/1408.77	c   138807   3032    39399  2089291   53    84566  115206  33383    340 407.32
1408.17/1408.77	c   150169   3032    50761  2739473   53   107290  126727  44745    360 416.21
1408.17/1408.77	c   167314   3032    67906  3806761   56   141580  139400  61890    368 454.16
1408.17/1408.77	c   193133   3032    93725  5655224   60   193218  153341  87709    338 570.71
1408.17/1408.77	c   231965   3032   132557  8108656   61   270882  168676 126541    325 711.94
1408.17/1408.77	c   290317   3032    33124  1809638   54    72016  185544  27108    228 1268.15
1408.17/1408.77	o -7	1408.25
1800.07/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.07/1800.70	c   337830   3032    80638  5179194   64   167051   48721  74622    239 1408.25
1800.07/1800.70	c   337930   3032    18806   916394   48    43381   53594  12790    230 1464.76
1800.07/1800.70	c   338180   3032    19056   928454   48    43881   58954  13040    230 1464.97
1800.07/1800.70	c   338659   3032    19535   949333   48    44839   64850  13519    231 1465.47
1800.07/1800.70	c   339472   3032    20348  1001473   49    46465   71336  14332    231 1466.01
1800.07/1800.70	c   340794   3032    21670  1097249   50    49109   78470  15654    232 1466.69
1800.07/1800.70	c   342877   3032    23753  1228779   51    53275   86318  17737    233 1467.64
1800.07/1800.70	c   346100   3032    26976  1393666   51    59721   94950  20960    235 1468.83
1800.07/1800.70	c   351036   3032    31912  1652162   51    69593  104446  25896    238 1471.52
1800.07/1800.70	c   358543   3032    39419  2164373   54    84607  114891  33403    242 1479.27
1800.07/1800.70	c   369904   3032    50780  2806776   55   107329  126381  44764    248 1489.82
1800.07/1800.70	c   387048   3032    67924  3855354   56   141617  139020  61908    253 1525.59
1800.07/1800.70	c   412867   3032    93743  5528954   58   193255  152923  87727    253 1626.44
1800.07/1800.70	c Caught signal: 15
1800.07/1800.70	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
1800.07/1800.70	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
1800.07/1800.70	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
1800.07/1800.70	v -x91 -x99 -x51 x70 -x62 x82 -x93 -x94 x98 x90 -x72 -x87 x96 -x56 -x58 -x60 -x97 -x66 -x59
1800.07/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.07/1800.70	c   46   448237   3821   471313   129113  7849381 123097    249 1800.08
1800.07/1800.70	c Objective: -7
1800.07/1800.70	s SATISFIABLE
1800.07/1800.70	c Total time: 1800.08 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/node2/watcher-455376-1178042192 -o ROOT/results/node2/solver-455376-1178042192 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455376-1178042192/instance-455376-1178042192.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: 0.96 1.00 1.00 3/77 8858
/proc/meminfo: memFree=1800232/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=3960 CPUtime=0
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 280256968 4055040 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 990 346 289 324 0 51 0

[startup+0.0895269 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 8858
/proc/meminfo: memFree=1800232/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=5572 CPUtime=0.08
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 795 0 0 0 8 0 0 0 18 0 1 0 280256968 5705728 756 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10969815 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 1393 756 304 324 0 463 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5572

[startup+0.101528 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 8858
/proc/meminfo: memFree=1800232/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=5572 CPUtime=0.09
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 796 0 0 0 9 0 0 0 18 0 1 0 280256968 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551968 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 1393 757 304 324 0 463 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5572

[startup+0.301549 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 8858
/proc/meminfo: memFree=1800232/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=5572 CPUtime=0.29
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 796 0 0 0 29 0 0 0 19 0 1 0 280256968 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 1393 757 304 324 0 463 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5572

[startup+0.701591 s]
/proc/loadavg: 0.96 1.00 1.00 3/77 8858
/proc/meminfo: memFree=1800232/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=5572 CPUtime=0.69
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 796 0 0 0 69 0 0 0 23 0 1 0 280256968 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 1393 757 304 324 0 463 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5572

[startup+1.50167 s]
/proc/loadavg: 0.96 1.00 1.00 2/78 8859
/proc/meminfo: memFree=1798112/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=5572 CPUtime=1.48
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 796 0 0 0 148 0 0 0 25 0 1 0 280256968 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 1393 757 304 324 0 463 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 5572

[startup+3.10184 s]
/proc/loadavg: 0.96 1.00 1.00 2/78 8859
/proc/meminfo: memFree=1797984/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=5572 CPUtime=3.09
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 796 0 0 0 308 1 0 0 25 0 1 0 280256968 5705728 757 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10968929 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 1393 757 304 324 0 463 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5572

[startup+6.30217 s]
/proc/loadavg: 0.97 1.00 1.00 2/78 8859
/proc/meminfo: memFree=1797984/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=8520 CPUtime=6.28
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 1600 0 0 0 627 1 0 0 25 0 1 0 280256968 8724480 1512 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 2130 1512 310 324 0 1200 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8520

[startup+12.7018 s]
/proc/loadavg: 0.97 1.00 1.00 2/78 8859
/proc/meminfo: memFree=1781600/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=22568 CPUtime=12.68
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 5106 0 0 0 1265 3 0 0 25 0 1 0 280256968 23109632 5018 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 5642 5018 310 324 0 4712 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22568

[startup+25.5012 s]
/proc/loadavg: 0.97 1.00 1.00 2/78 8859
/proc/meminfo: memFree=1770848/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=33464 CPUtime=25.48
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 7820 0 0 0 2541 7 0 0 25 0 1 0 280256968 34267136 7732 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10968820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 8366 7732 310 324 0 7436 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33464

[startup+51.1018 s]
/proc/loadavg: 0.98 1.00 1.00 2/78 8859
/proc/meminfo: memFree=1754080/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=50016 CPUtime=51.06
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 11954 0 0 0 5094 12 0 0 25 0 1 0 280256968 51216384 11866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 12504 11866 310 324 0 11574 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 50016

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8859
/proc/meminfo: memFree=1731488/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=72272 CPUtime=102.25
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 17518 0 0 0 10206 19 0 0 25 0 1 0 280256968 74006528 17430 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 18068 17430 310 324 0 17138 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 72272

[startup+162.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8859
/proc/meminfo: memFree=1712992/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=90824 CPUtime=162.24
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 22162 0 0 0 16198 26 0 0 25 0 1 0 280256968 93003776 22074 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 22706 22074 310 324 0 21776 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 90824

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 8859
/proc/meminfo: memFree=1702432/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=101168 CPUtime=222.22
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 24749 0 0 0 22192 30 0 0 25 0 1 0 280256968 103596032 24661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573166 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 25292 24661 310 324 0 24362 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 101168

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/84 8941
/proc/meminfo: memFree=1692016/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=110388 CPUtime=282.16
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 27071 0 0 0 28182 34 0 0 25 0 1 0 280256968 113037312 26983 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 27597 26983 310 324 0 26667 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 110388

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1686240/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=116976 CPUtime=342.07
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 34172 35 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 29244 28609 310 324 0 28314 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 116976

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1686240/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=116976 CPUtime=402.06
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 40170 36 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 29244 28609 310 324 0 28314 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 116976

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1686240/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=116976 CPUtime=462.04
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 46168 36 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 29244 28609 310 324 0 28314 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 116976

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1686304/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=116976 CPUtime=522.02
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 52166 36 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 29244 28609 310 324 0 28314 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 116976

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1686304/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=116976 CPUtime=582
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 58163 37 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 29244 28609 310 324 0 28314 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 116976

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1686432/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=116976 CPUtime=641.99
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 28813 0 0 0 64162 37 0 0 25 0 1 0 280256968 119783424 28609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 29244 28609 310 324 0 28314 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 116976


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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1650784/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=152544 CPUtime=881.91
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 37705 0 0 0 88142 49 0 0 25 0 1 0 280256968 156205056 37501 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 38136 37501 310 324 0 37206 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 152544

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1642464/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=160840 CPUtime=941.91
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 39803 0 0 0 94139 52 0 0 25 0 1 0 280256968 164700160 39599 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 40210 39599 310 324 0 39280 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 160840

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1638176/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1001.88
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 100135 53 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 164996

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1638176/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1061.86
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 106133 53 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 164996

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1638240/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1121.85
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 112131 54 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 164996

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1638240/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1181.83
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 118129 54 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 164996

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1638304/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1241.82
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 124127 55 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 164996

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1638304/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1301.8
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 130125 55 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10968929 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 164996

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1361.79
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 136123 56 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 164996

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 9057
/proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1421.77
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 142121 56 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 164996

[startup+1482.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 9057
/proc/meminfo: memFree=1638432/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1481.75
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 148118 57 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 164996

[startup+1542.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 9057
/proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1541.73
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 154116 57 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 164996

[startup+1602.3 s]
/proc/loadavg: 1.07 1.03 1.00 2/78 9057
/proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1601.71
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 160114 57 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 164996

[startup+1662.3 s]
/proc/loadavg: 1.07 1.04 1.00 2/78 9057
/proc/meminfo: memFree=1638432/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1661.7
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 166112 58 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 164996

[startup+1722.3 s]
/proc/loadavg: 1.11 1.06 1.01 2/78 9057
/proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1721.68
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 172110 58 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551389 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 164996

[startup+1782.3 s]
/proc/loadavg: 1.08 1.06 1.01 2/78 9057
/proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1781.67
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 178108 59 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 164996



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.05 1.05 1.00 2/78 9057
/proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1800.07
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 179948 59 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 164996

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

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

[startup+1800.71 s]
/proc/loadavg: 1.05 1.05 1.00 2/78 9057
/proc/meminfo: memFree=1638368/2055920 swapFree=4148820/4192956
[pid=8858] ppid=8856 vsize=164996 CPUtime=1800.07
/proc/8858/stat : 8858 (bsolo3.0.17) R 8856 8858 13299 0 -1 4194304 40992 0 0 0 179948 59 0 0 25 0 1 0 280256968 168955904 40621 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8858/statm: 41249 40621 310 324 0 40319 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 164996

Child status: 15
Real time (s): 1800.74
CPU time (s): 1800.11
CPU user time (s): 1799.49
CPU system time (s): 0.619905
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 165664

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

runsolver used 1.35879 second user time and 3.87841 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Tue May  1 17:56:32 UTC 2007

IDJOB= 455376
IDBENCH= 48259
IDSOLVER= 199
FILE ID= node2/455376-1178042192

PBS_JOBID= 4728445

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  0c3fb28b3ecb8f1eba2bffa356ef5364

RANDOM SEED= 896758729

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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.234
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.234
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:       1800640 kB
Buffers:         86228 kB
Cached:          74160 kB
SwapCached:      12060 kB
Active:         144172 kB
Inactive:        46424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800640 kB
SwapTotal:     4192956 kB
SwapFree:      4148820 kB
Dirty:            6636 kB
Writeback:           0 kB
Mapped:          35348 kB
Slab:            50120 kB
Committed_AS: 10626528 kB
PageTables:       1872 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 node2 on Tue May  1 18:26:35 UTC 2007