Trace number 2681842

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.18 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_4.opb
MD5SUM7937d419688402745c19e3544f97b6e8
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark1800.68
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables99789
Total number of constraints388956
Number of constraints which are clauses388925
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint3140
Number of terms in the objective function 3140
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 3140
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 3178
Number of bits of the biggest sum of numbers12
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
3.99/4.04	c constraints 1/0 clauses 388950/0 units 5
3.99/4.04	c vars 99789
3.99/4.04	c objective 3135 + 5
1800.05/1800.50	s UNKNOWN

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-2681842-1277496236/watcher-2681842-1277496236 -o /tmp/evaluation-result-2681842-1277496236/solver-2681842-1277496236 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681842-1277496236.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 0.98 0.99 3/106 23427
/proc/meminfo: memFree=1868080/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=2416 CPUtime=0
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 298 0 0 0 0 0 0 0 20 0 1 0 123280014 2473984 217 1992294400 134512640 136421960 4286912688 18446744073709551615 134541311 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23427/statm: 604 217 137 467 0 135 0

[startup+0.089255 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 23427
/proc/meminfo: memFree=1868080/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=2548 CPUtime=0.08
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 365 0 0 0 8 0 0 0 20 0 1 0 123280014 2609152 284 1992294400 134512640 136421960 4286912688 18446744073709551615 135372685 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23427/statm: 637 284 145 467 0 168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2548

[startup+0.101256 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 23427
/proc/meminfo: memFree=1868080/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=2736 CPUtime=0.1
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 379 0 0 0 10 0 0 0 20 0 1 0 123280014 2801664 298 1992294400 134512640 136421960 4286912688 18446744073709551615 135818305 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23427/statm: 684 298 145 467 0 215 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2736

[startup+0.301274 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 23427
/proc/meminfo: memFree=1868080/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=3396 CPUtime=0.29
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 555 0 0 0 29 0 0 0 20 0 1 0 123280014 3477504 474 1992294400 134512640 136421960 4286912688 18446744073709551615 135527032 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23427/statm: 849 474 145 467 0 380 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3396

[startup+0.701313 s]
/proc/loadavg: 0.92 0.98 0.99 3/106 23427
/proc/meminfo: memFree=1868080/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=4972 CPUtime=0.69
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 1010 0 0 0 69 0 0 0 21 0 1 0 123280014 5091328 831 1992294400 134512640 136421960 4286912688 18446744073709551615 135203799 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23427/statm: 1243 831 145 467 0 774 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4972

[startup+1.50139 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 23428
/proc/meminfo: memFree=1864228/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=8124 CPUtime=1.49
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 1847 0 0 0 149 0 0 0 23 0 1 0 123280014 8318976 1539 1992294400 134512640 136421960 4286912688 18446744073709551615 135152597 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23427/statm: 2031 1539 145 467 0 1562 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8124

[startup+3.10154 s]
/proc/loadavg: 0.92 0.98 0.99 2/107 23428
/proc/meminfo: memFree=1859516/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=14164 CPUtime=3.09
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 3518 0 0 0 307 2 0 0 25 0 1 0 123280014 14503936 2953 1992294400 134512640 136421960 4286912688 18446744073709551615 135818268 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/23427/statm: 3541 2954 145 467 0 3072 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14164

[startup+6.30085 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 23428
/proc/meminfo: memFree=1717908/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=247112 CPUtime=6.29
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 65397 0 0 0 603 26 0 0 25 0 1 0 123280014 253042688 58603 1992294400 134512640 136421960 4286912688 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 61778 58604 189 467 0 61309 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 247112

[startup+12.7005 s]
/proc/loadavg: 0.93 0.98 0.99 2/107 23428
/proc/meminfo: memFree=886984/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1037984 CPUtime=12.69
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 275074 0 0 0 1164 105 0 0 25 0 1 0 123280014 1062895616 247237 1992294400 134512640 136421960 4286912688 18446744073709551615 135642741 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 259496 247237 204 467 0 259027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1037984

[startup+25.5007 s]
/proc/loadavg: 0.95 0.98 0.99 2/107 23428
/proc/meminfo: memFree=867888/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1048056 CPUtime=25.49
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 277864 0 0 0 2394 155 0 0 25 0 1 0 123280014 1073209344 249641 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 262014 249641 215 467 0 261545 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1048056

[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.99 2/107 23430
/proc/meminfo: memFree=867516/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1048320 CPUtime=51.08
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 277950 0 0 0 4880 228 0 0 25 0 1 0 123280014 1073479680 249727 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 262080 249727 215 467 0 261611 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1048320

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 0.99 2/107 23430
/proc/meminfo: memFree=867020/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1048848 CPUtime=102.28
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 278086 0 0 0 9846 382 0 0 25 0 1 0 123280014 1074020352 249863 1992294400 134512640 136421960 4286912688 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 262212 249863 215 467 0 261743 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1048848

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23432
/proc/meminfo: memFree=866400/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1049376 CPUtime=162.26
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 278222 0 0 0 15651 575 0 0 25 0 1 0 123280014 1074561024 249999 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 262344 249999 215 467 0 261875 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1049376

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23434
/proc/meminfo: memFree=865780/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1050036 CPUtime=222.24
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 278379 0 0 0 21463 761 0 0 25 0 1 0 123280014 1075236864 250156 1992294400 134512640 136421960 4286912688 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 262509 250156 215 467 0 262040 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1050036

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23436
/proc/meminfo: memFree=865160/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1050696 CPUtime=282.22
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 278536 0 0 0 27267 955 0 0 25 0 1 0 123280014 1075912704 250313 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 262674 250313 215 467 0 262205 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 1050696

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23438
/proc/meminfo: memFree=864540/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1051224 CPUtime=342.2
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 278672 0 0 0 33077 1143 0 0 25 0 1 0 123280014 1076453376 250449 1992294400 134512640 136421960 4286912688 18446744073709551615 135006000 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 262806 250449 215 467 0 262337 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1051224

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23438
/proc/meminfo: memFree=862184/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1053760 CPUtime=402.19
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 279296 0 0 0 38849 1370 0 0 25 0 1 0 123280014 1079050240 251073 1992294400 134512640 136421960 4286912688 18446744073709551615 135006289 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 263440 251073 215 467 0 262971 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 1053760

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23440
/proc/meminfo: memFree=859580/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1056072 CPUtime=462.18
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 279899 0 0 0 44649 1569 0 0 25 0 1 0 123280014 1081417728 251676 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 264018 251676 215 467 0 263549 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1056072

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23442
/proc/meminfo: memFree=858216/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1057568 CPUtime=522.17
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 280235 0 0 0 50469 1748 0 0 25 0 1 0 123280014 1082949632 252012 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 264392 252012 215 467 0 263923 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1057568

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23444
/proc/meminfo: memFree=856480/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1059220 CPUtime=582.15
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 280671 0 0 0 56249 1966 0 0 25 0 1 0 123280014 1084641280 252448 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 264805 252448 215 467 0 264336 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 1059220

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/107 23446
/proc/meminfo: memFree=846312/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1069424 CPUtime=642.14
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 283217 0 0 0 61997 2217 0 0 25 0 1 0 123280014 1095090176 254994 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 267356 254994 215 467 0 266887 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 1069424

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.13 1.05 1.01 2/107 23452
/proc/meminfo: memFree=829696/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1086052 CPUtime=882.08
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 287347 0 0 0 85150 3058 0 0 25 0 1 0 123280014 1112117248 259124 1992294400 134512640 136421960 4286912688 18446744073709551615 135006000 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 271513 259124 215 467 0 271044 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 1086052

[startup+942.302 s]
/proc/loadavg: 1.12 1.05 1.00 2/107 23454
/proc/meminfo: memFree=824860/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1090732 CPUtime=942.06
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 288551 0 0 0 90910 3296 0 0 25 0 1 0 123280014 1116909568 260328 1992294400 134512640 136421960 4286912688 18446744073709551615 135006000 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 272683 260328 215 467 0 272214 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 1090732

[startup+1002.3 s]
/proc/loadavg: 1.17 1.07 1.01 2/107 23454
/proc/meminfo: memFree=821884/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1093828 CPUtime=1002.04
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 289299 0 0 0 96706 3498 0 0 25 0 1 0 123280014 1120079872 261076 1992294400 134512640 136421960 4286912688 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 273457 261076 215 467 0 272988 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1093828

[startup+1062.3 s]
/proc/loadavg: 1.06 1.05 1.00 2/107 23456
/proc/meminfo: memFree=816552/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1099016 CPUtime=1062.03
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 290609 0 0 0 102481 3722 0 0 25 0 1 0 123280014 1125392384 262386 1992294400 134512640 136421960 4286912688 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 274754 262386 215 467 0 274285 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1099016

[startup+1122.3 s]
/proc/loadavg: 1.02 1.04 1.00 2/107 23458
/proc/meminfo: memFree=808864/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1106644 CPUtime=1122.01
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 292521 0 0 0 108286 3915 0 0 25 0 1 0 123280014 1133203456 264298 1992294400 134512640 136421960 4286912688 18446744073709551615 135006310 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 276661 264298 215 467 0 276192 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1106644

[startup+1182.3 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 23460
/proc/meminfo: memFree=798696/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1116872 CPUtime=1182
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 295073 0 0 0 114004 4196 0 0 25 0 1 0 123280014 1143676928 266850 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 279218 266850 215 467 0 278749 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1116872

[startup+1242.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 23462
/proc/meminfo: memFree=794852/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1120532 CPUtime=1241.99
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 295965 0 0 0 119770 4429 0 0 25 0 1 0 123280014 1147424768 267742 1992294400 134512640 136421960 4286912688 18446744073709551615 135006000 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 280133 267742 215 467 0 279664 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1120532

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 23462
/proc/meminfo: memFree=792124/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1123220 CPUtime=1301.98
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 296646 0 0 0 125580 4618 0 0 25 0 1 0 123280014 1150177280 268423 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 280805 268423 215 467 0 280336 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1123220

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 23464
/proc/meminfo: memFree=781956/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1133280 CPUtime=1361.95
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 299178 0 0 0 131314 4881 0 0 25 0 1 0 123280014 1160478720 270955 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 283320 270955 215 467 0 282851 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1133280

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 23466
/proc/meminfo: memFree=775508/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1139620 CPUtime=1421.95
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 300762 0 0 0 137056 5139 0 0 25 0 1 0 123280014 1166970880 272539 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 284905 272539 215 467 0 284436 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1139620

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23468
/proc/meminfo: memFree=770176/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1145048 CPUtime=1481.92
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 302115 0 0 0 142842 5350 0 0 25 0 1 0 123280014 1172529152 273892 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 286262 273892 215 467 0 285793 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1145048

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23470
/proc/meminfo: memFree=768068/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1147084 CPUtime=1541.91
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 302629 0 0 0 148678 5513 0 0 25 0 1 0 123280014 1174614016 274406 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 286771 274406 215 467 0 286302 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1147084

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23470
/proc/meminfo: memFree=756908/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1158588 CPUtime=1601.9
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 305489 0 0 0 154426 5764 0 0 25 0 1 0 123280014 1186394112 277266 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 289647 277266 215 467 0 289178 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1158588

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23472
/proc/meminfo: memFree=748476/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1166712 CPUtime=1661.88
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 307512 0 0 0 160139 6049 0 0 25 0 1 0 123280014 1194713088 279289 1992294400 134512640 136421960 4286912688 18446744073709551615 135006000 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 291678 279289 215 467 0 291209 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1166712

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23474
/proc/meminfo: memFree=724792/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1191368 CPUtime=1721.86
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 313672 0 0 0 165828 6358 0 0 25 0 1 0 123280014 1219960832 285449 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 297842 285449 215 467 0 297373 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1191368

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23476
/proc/meminfo: memFree=702472/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1212316 CPUtime=1781.85
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 318909 0 0 0 171525 6660 0 0 25 0 1 0 123280014 1241411584 290686 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 303079 290686 215 467 0 302610 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1212316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 23476
/proc/meminfo: memFree=698876/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=1215916 CPUtime=1800.05
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4202496 319813 0 0 0 173277 6728 0 0 25 0 1 0 123280014 1245097984 291590 1992294400 134512640 136421960 4286912688 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/23427/statm: 303979 291590 215 467 0 303510 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1215916

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 23477
/proc/meminfo: memFree=1736996/2059040 swapFree=4139084/4192956
[pid=23427] ppid=23425 vsize=0 CPUtime=1800.16
/proc/23427/stat : 23427 (pbct) R 23425 23427 23150 0 -1 4194308 319815 0 0 0 173277 6739 0 0 25 0 1 0 123280014 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/23427/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.18
CPU user time (s): 1732.77
CPU system time (s): 67.4057
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 1215916

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1732.77
system time used= 67.4058
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319815
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= 1
involuntary context switches= 7839

runsolver used 2.94555 second user time and 8.5317 second system time

The end

Launcher Data 

Begin job on node018 at 2010-06-25 22:03:57
IDJOB=2681842
IDBENCH=25013
IDSOLVER=1192
FILE ID=node018/2681842-1277496236
PBS_JOBID= 11190576
Free space on /tmp= 62480 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_4.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681842-1277496236/watcher-2681842-1277496236 -o /tmp/evaluation-result-2681842-1277496236/solver-2681842-1277496236 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2681842-1277496236.opb

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

MD5SUM BENCH= 7937d419688402745c19e3544f97b6e8
RANDOM SEED=625438919

node018.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		: 3000.248
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	: 6000.49
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.248
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.47
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1868600 kB
Buffers:         10712 kB
Cached:          80272 kB
SwapCached:       6072 kB
Active:          81184 kB
Inactive:        22548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1868600 kB
SwapTotal:     4192956 kB
SwapFree:      4139084 kB
Dirty:           13596 kB
Writeback:           0 kB
AnonPages:       11336 kB
Mapped:          11920 kB
Slab:            64752 kB
PageTables:       4200 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181048 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62476 MiB
End job on node018 at 2010-06-25 22:33:59