Trace number 2681928

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 NameAnswerobjective functionCPU timeWall clock time
PB/CT 0.1 fixed? (TO) 1800.15 1802.76

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
MD5SUMa5c62cef1e86c64304fd5ef232ab5991
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107808
Total number of constraints3904
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3904
Minimum length of a constraint31
Maximum length of a constraint1440
Number of terms in the objective function 38688
Biggest coefficient in the objective function 348966092800
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 299074813804544
Number of bits of the sum of numbers in the objective function 49
Biggest number in a constraint 348966092800
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 299074813804544
Number of bits of the biggest sum of numbers49
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c PB/CT 0.1.1 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
1.19/1.23	c constraints 3904/0 clauses 0/0 units 31808
1.19/1.23	c vars 107808
1.19/1.23	c objective 38688 + 0

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-2681928-1277486149/watcher-2681928-1277486149 -o /tmp/evaluation-result-2681928-1277486149/solver-2681928-1277486149 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681928-1277486149.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.92 1.01 0.99 3/106 21514
/proc/meminfo: memFree=1821768/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=2416 CPUtime=0
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 295 0 0 0 0 0 0 0 21 0 1 0 122266819 2473984 215 1992294400 134512640 136421960 4287204144 18446744073709551615 135809586 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21514/statm: 604 215 138 467 0 135 0

[startup+0.029873 s]
/proc/loadavg: 0.92 1.01 0.99 3/106 21514
/proc/meminfo: memFree=1821768/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=3004 CPUtime=0.02
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 468 0 0 0 2 0 0 0 23 0 1 0 122266819 3076096 355 1992294400 134512640 136421960 4287204144 18446744073709551615 135809561 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21514/statm: 751 355 138 467 0 282 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3004

[startup+0.100886 s]
/proc/loadavg: 0.92 1.01 0.99 3/106 21514
/proc/meminfo: memFree=1821768/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=5864 CPUtime=0.09
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 1310 0 0 0 9 0 0 0 23 0 1 0 122266819 6004736 857 1992294400 134512640 136421960 4287204144 18446744073709551615 135153561 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21514/statm: 1466 857 138 467 0 997 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5864

[startup+0.300923 s]
/proc/loadavg: 0.92 1.01 0.99 3/106 21514
/proc/meminfo: memFree=1821768/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=8428 CPUtime=0.29
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 1958 0 0 0 29 0 0 0 23 0 1 0 122266819 8630272 1505 1992294400 134512640 136421960 4287204144 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21514/statm: 2107 1505 146 467 0 1638 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8428

[startup+0.700995 s]
/proc/loadavg: 0.92 1.01 0.99 3/106 21514
/proc/meminfo: memFree=1821768/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=17272 CPUtime=0.69
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 4165 0 0 0 68 1 0 0 25 0 1 0 122266819 17686528 3712 1992294400 134512640 136421960 4287204144 18446744073709551615 134523830 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/21514/statm: 4318 3712 146 467 0 3849 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17272

[startup+1.50114 s]
/proc/loadavg: 0.92 1.01 0.99 2/107 21515
/proc/meminfo: memFree=1801300/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=55996 CPUtime=1.49
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 13813 0 0 0 143 6 0 0 25 0 1 0 122266819 57339904 13360 1992294400 134512640 136421960 4287204144 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 13999 13362 188 467 0 13530 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55996

[startup+3.10143 s]
/proc/loadavg: 0.92 1.01 0.99 2/107 21515
/proc/meminfo: memFree=1707804/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=204032 CPUtime=3.09
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 52046 0 0 0 286 23 0 0 25 0 1 0 122266819 208928768 49472 1992294400 134512640 136421960 4287204144 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 51008 49473 195 467 0 50539 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 204032

[startup+6.30101 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 21517
/proc/meminfo: memFree=1465012/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=425148 CPUtime=6.29
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 110329 0 0 0 579 50 0 0 25 0 1 0 122266819 435351552 104806 1992294400 134512640 136421960 4287204144 18446744073709551615 134632335 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 106287 104806 195 467 0 105818 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 425148

[startup+12.7012 s]
/proc/loadavg: 0.93 1.01 0.99 2/107 21517
/proc/meminfo: memFree=1037212/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=854796 CPUtime=12.68
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 226043 0 0 0 1166 102 0 0 25 0 1 0 122266819 875311104 212511 1992294400 134512640 136421960 4287204144 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 213699 212512 195 467 0 213230 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 854796

[startup+25.5005 s]
/proc/loadavg: 0.95 1.01 0.99 2/107 21517
/proc/meminfo: memFree=496572/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1389688 CPUtime=25.48
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 364043 0 0 0 2345 203 0 0 25 0 1 0 122266819 1423040512 330730 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 347422 330730 217 467 0 346953 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1389688

[startup+51.1012 s]
/proc/loadavg: 0.96 1.00 0.99 2/107 21517
/proc/meminfo: memFree=495208/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1391036 CPUtime=51.07
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 364396 0 0 0 4698 409 0 0 25 0 1 0 122266819 1424420864 331083 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 347759 331083 217 467 0 347290 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1391036

[startup+102.308 s]
/proc/loadavg: 0.98 1.00 0.99 2/107 21519
/proc/meminfo: memFree=492356/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1394308 CPUtime=102.26
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 365102 0 0 0 9480 746 0 0 25 0 1 0 122266819 1427771392 331789 1992294400 134512640 136421960 4287204144 18446744073709551615 135160682 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 348577 331789 217 467 0 348108 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1394308

[startup+162.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 21521
/proc/meminfo: memFree=491612/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1394968 CPUtime=162.24
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 365264 0 0 0 15073 1151 0 0 25 0 1 0 122266819 1428447232 331951 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 348742 331951 217 467 0 348273 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1394968

[startup+222.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 21521
/proc/meminfo: memFree=490868/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1395628 CPUtime=222.22
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 365447 0 0 0 20687 1535 0 0 25 0 1 0 122266819 1429123072 332134 1992294400 134512640 136421960 4287204144 18446744073709551615 134973954 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 348907 332134 217 467 0 348438 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 1395628

[startup+282.301 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 21523
/proc/meminfo: memFree=490248/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1396288 CPUtime=282.2
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 365598 0 0 0 26322 1898 0 0 25 0 1 0 122266819 1429798912 332285 1992294400 134512640 136421960 4287204144 18446744073709551615 135005984 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 349072 332285 217 467 0 348603 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1396288

[startup+342.301 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 21525
/proc/meminfo: memFree=488884/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1397560 CPUtime=342.17
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 365931 0 0 0 31990 2227 0 0 25 0 1 0 122266819 1431101440 332618 1992294400 134512640 136421960 4287204144 18446744073709551615 135811183 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 349390 332618 217 467 0 348921 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 1397560

[startup+402.301 s]
/proc/loadavg: 1.12 1.06 1.00 2/107 21527
/proc/meminfo: memFree=488388/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1398220 CPUtime=402.16
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 366082 0 0 0 37635 2581 0 0 25 0 1 0 122266819 1431777280 332769 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 349555 332769 217 467 0 349086 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1398220

[startup+462.301 s]
/proc/loadavg: 1.11 1.06 1.00 2/107 21529
/proc/meminfo: memFree=487768/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1398748 CPUtime=462.14
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 366213 0 0 0 43260 2954 0 0 25 0 1 0 122266819 1432317952 332900 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 349687 332900 217 467 0 349218 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1398748

[startup+522.302 s]
/proc/loadavg: 1.10 1.06 1.00 2/107 21529
/proc/meminfo: memFree=487148/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1399388 CPUtime=522.11
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 366391 0 0 0 48920 3291 0 0 25 0 1 0 122266819 1432973312 333078 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 349847 333078 217 467 0 349378 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 1399388

[startup+582.302 s]
/proc/loadavg: 1.09 1.06 1.00 2/107 21531
/proc/meminfo: memFree=486156/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1400180 CPUtime=582.1
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 366567 0 0 0 54576 3634 0 0 25 0 1 0 122266819 1433784320 333254 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 350045 333254 217 467 0 349576 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 1400180

[startup+642.301 s]
/proc/loadavg: 1.29 1.14 1.03 2/107 21533
/proc/meminfo: memFree=485784/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1400576 CPUtime=642.08
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 366675 0 0 0 60236 3972 0 0 25 0 1 0 122266819 1434189824 333362 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 350144 333362 217 467 0 349675 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 1400576

[startup+702.301 s]

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

/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 368077 0 0 0 99965 6229 0 0 25 0 1 0 122266819 1439977472 334764 1992294400 134512640 136421960 4287204144 18446744073709551615 135686975 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 351557 334764 217 467 0 351088 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1406228

[startup+1122.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 21545
/proc/meminfo: memFree=479212/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1406892 CPUtime=1121.92
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 368245 0 0 0 105660 6532 0 0 25 0 1 0 122266819 1440657408 334932 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 351723 334932 217 467 0 351254 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1406892

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 21547
/proc/meminfo: memFree=478344/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1407684 CPUtime=1181.89
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 368455 0 0 0 111342 6847 0 0 25 0 1 0 122266819 1441468416 335142 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 351921 335142 217 467 0 351452 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 1407684

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 21549
/proc/meminfo: memFree=477476/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1408476 CPUtime=1241.87
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 368637 0 0 0 117044 7143 0 0 25 0 1 0 122266819 1442279424 335324 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 352119 335324 217 467 0 351650 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1408476

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21551
/proc/meminfo: memFree=475988/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1409944 CPUtime=1301.87
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 368986 0 0 0 122750 7437 0 0 25 0 1 0 122266819 1443782656 335673 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 352486 335673 217 467 0 352017 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1409944

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21553
/proc/meminfo: memFree=475368/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1410604 CPUtime=1361.83
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 369152 0 0 0 128422 7761 0 0 25 0 1 0 122266819 1444458496 335839 1992294400 134512640 136421960 4287204144 18446744073709551615 134597614 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 352651 335839 217 467 0 352182 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1410604

[startup+1422.31 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 21556
/proc/meminfo: memFree=474376/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1410868 CPUtime=1421.83
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 369229 0 0 0 134101 8082 0 0 25 0 1 0 122266819 1444728832 335916 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 352717 335916 217 467 0 352248 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1410868

[startup+1482.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 21558
/proc/meminfo: memFree=473756/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1411660 CPUtime=1481.79
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 369417 0 0 0 139805 8374 0 0 25 0 1 0 122266819 1445539840 336104 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 352915 336104 217 467 0 352446 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1411660

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21560
/proc/meminfo: memFree=473136/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1412056 CPUtime=1541.78
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 369536 0 0 0 145493 8685 0 0 25 0 1 0 122266819 1445945344 336223 1992294400 134512640 136421960 4287204144 18446744073709551615 135028864 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 353014 336223 217 467 0 352545 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1412056

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21562
/proc/meminfo: memFree=471772/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1413512 CPUtime=1601.76
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 369897 0 0 0 151194 8982 0 0 25 0 1 0 122266819 1447436288 336584 1992294400 134512640 136421960 4287204144 18446744073709551615 135818467 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 353378 336584 217 467 0 352909 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1413512

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21564
/proc/meminfo: memFree=470904/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1414304 CPUtime=1661.73
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 370102 0 0 0 156880 9293 0 0 25 0 1 0 122266819 1448247296 336789 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 353576 336789 217 467 0 353107 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1414304

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21564
/proc/meminfo: memFree=469664/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1415492 CPUtime=1721.72
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 370416 0 0 0 162570 9602 0 0 25 0 1 0 122266819 1449463808 337103 1992294400 134512640 136421960 4287204144 18446744073709551615 135006120 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 353873 337103 217 467 0 353404 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1415492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21566
/proc/meminfo: memFree=468176/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1416944 CPUtime=1781.69
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 370773 0 0 0 168284 9885 0 0 25 0 1 0 122266819 1450950656 337460 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 354236 337460 217 467 0 353767 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 1416944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21566
/proc/meminfo: memFree=467804/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1417476 CPUtime=1800.01
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4202496 370858 0 0 0 170016 9985 0 0 25 0 1 0 122266819 1451495424 337545 1992294400 134512640 136421960 4287204144 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/21514/statm: 354369 337545 217 467 0 353900 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1417476

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

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -21514

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 21566
/proc/meminfo: memFree=467804/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1417476 CPUtime=1800.01
/proc/21514/stat : 21514 (pbct) S 21512 21514 20789 0 -1 4194304 370858 0 0 0 170016 9985 0 0 25 0 1 0 122266819 1451495424 337545 1992294400 134512640 136421960 4287204144 18446744073709551615 135884462 0 16384 4096 16387 18446604436671133568 0 0 17 1 0 0 0
/proc/21514/statm: 354369 337545 217 467 0 353900 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1417476

[startup+1802.2 s]
/proc/loadavg: 1.00 1.00 1.00 1/108 21567
/proc/meminfo: memFree=467796/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1417476 CPUtime=1800.01
/proc/21514/stat : 21514 (pbct) S 21512 21514 20789 0 -1 4194304 370858 0 0 0 170016 9985 0 0 25 0 1 0 122266819 1451495424 337545 1992294400 134512640 136421960 4287204144 18446744073709551615 135884462 0 16384 4096 16387 18446604436671133568 0 0 17 1 0 0 0
/proc/21514/statm: 354369 337545 217 467 0 353900 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1417476

[startup+1802.6 s]
/proc/loadavg: 1.00 1.00 1.00 1/108 21567
/proc/meminfo: memFree=467796/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=1417476 CPUtime=1800.01
/proc/21514/stat : 21514 (pbct) S 21512 21514 20789 0 -1 4194304 370858 0 0 0 170016 9985 0 0 25 0 1 0 122266819 1451495424 337545 1992294400 134512640 136421960 4287204144 18446744073709551615 135884462 0 16384 4096 16387 18446604436671133568 0 0 17 1 0 0 0
/proc/21514/statm: 354369 337545 217 467 0 353900 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1417476

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 1/108 21567
/proc/meminfo: memFree=467796/2059040 swapFree=4136184/4192956
[pid=21514] ppid=21512 vsize=0 CPUtime=1800.09
/proc/21514/stat : 21514 (pbct) R 21512 21514 20789 0 -1 4195332 370858 0 0 0 170016 9993 0 0 18 0 1 0 122266819 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/21514/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.76
CPU time (s): 1800.15
CPU user time (s): 1700.16
CPU system time (s): 99.9898
CPU usage (%): 99.8555
Max. virtual memory (cumulated for all children) (KiB): 1417476

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

runsolver used 4.05538 second user time and 8.96264 second system time

The end

Launcher Data 

Begin job on node027 at 2010-06-25 19:15:50
IDJOB=2681928
IDBENCH=2372
IDSOLVER=1192
FILE ID=node027/2681928-1277486149
PBS_JOBID= 11190515
Free space on /tmp= 62024 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-B2C1S1.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681928-1277486149/watcher-2681928-1277486149 -o /tmp/evaluation-result-2681928-1277486149/solver-2681928-1277486149 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2681928-1277486149.opb

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

MD5SUM BENCH= a5c62cef1e86c64304fd5ef232ab5991
RANDOM SEED=395448940

node027.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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		: 2800.261
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5600.52
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		: 2800.261
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1822288 kB
Buffers:         37628 kB
Cached:         109896 kB
SwapCached:       9196 kB
Active:          18008 kB
Inactive:       142636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1822288 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            6604 kB
Writeback:           0 kB
AnonPages:       11812 kB
Mapped:           8412 kB
Slab:            54204 kB
PageTables:       4132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   183048 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264952 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62024 MiB
End job on node027 at 2010-06-25 19:45:53