Trace number 2668368

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? (TO) 1800.14 1800.65

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb
MD5SUM72b327feddced7495a083616b5e4ecd7
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 variables13898
Total number of constraints672
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint7
Maximum length of a constraint1500
Number of terms in the objective function 30
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 1073741823
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 13421772800
Number of bits of the biggest number in a constraint 34
Biggest sum of numbers in a constraint 53690300878
Number of bits of the biggest sum of numbers36
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 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.19/0.29	c constraints 672/0 clauses 0/0 units 5363
0.19/0.29	c vars 13898
0.19/0.29	c objective 30 + 0
1800.08/1800.60	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-2668368-1276563964/watcher-2668368-1276563964 -o /tmp/evaluation-result-2668368-1276563964/solver-2668368-1276563964 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668368-1276563964.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: 1.00 1.00 1.00 3/106 31379
/proc/meminfo: memFree=1820736/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=2340 CPUtime=0
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 292 0 0 0 0 0 0 0 22 0 1 0 32000362 2396160 214 1992294400 134512640 136485738 4288295664 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31379/statm: 585 214 156 482 0 101 0

[startup+0.101128 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31379
/proc/meminfo: memFree=1820736/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=4328 CPUtime=0.09
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 781 0 0 0 9 0 0 0 22 0 1 0 32000362 4431872 703 1992294400 134512640 136485738 4288295664 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31379/statm: 1082 703 157 482 0 598 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4328

[startup+0.201135 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31379
/proc/meminfo: memFree=1820736/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=6388 CPUtime=0.19
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 1293 0 0 0 19 0 0 0 22 0 1 0 32000362 6541312 1215 1992294400 134512640 136485738 4288295664 18446744073709551615 135178839 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31379/statm: 1597 1216 157 482 0 1113 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6388

[startup+0.301143 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31379
/proc/meminfo: memFree=1820736/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=8756 CPUtime=0.29
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 1847 0 0 0 29 0 0 0 22 0 1 0 32000362 8966144 1769 1992294400 134512640 136485738 4288295664 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 2189 1771 193 482 0 1705 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8756

[startup+0.701175 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 31379
/proc/meminfo: memFree=1820736/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=41292 CPUtime=0.69
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 10177 0 0 0 64 5 0 0 24 0 1 0 32000362 42283008 9725 1992294400 134512640 136485738 4288295664 18446744073709551615 135689025 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 10323 9726 197 482 0 9839 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41292

[startup+1.50124 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31380
/proc/meminfo: memFree=1756744/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=91928 CPUtime=1.49
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 23573 0 0 0 139 10 0 0 25 0 1 0 32000362 94134272 22315 1992294400 134512640 136485738 4288295664 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 22982 22315 197 482 0 22498 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 91928

[startup+3.10037 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31380
/proc/meminfo: memFree=1695116/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=206960 CPUtime=3.09
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 54182 0 0 0 287 22 0 0 25 0 1 0 32000362 211927040 51063 1992294400 134512640 136485738 4288295664 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 51740 51066 199 482 0 51256 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 206960

[startup+6.30063 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31380
/proc/meminfo: memFree=1569504/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=259200 CPUtime=6.29
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 67368 0 0 0 598 31 0 0 25 0 1 0 32000362 265420800 62828 1992294400 134512640 136485738 4288295664 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 64800 62828 228 482 0 64316 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 259200

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31380
/proc/meminfo: memFree=1568264/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=260268 CPUtime=12.69
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 67616 0 0 0 1228 41 0 0 25 0 1 0 32000362 266514432 63076 1992294400 134512640 136485738 4288295664 18446744073709551615 135039355 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 65067 63076 228 482 0 64583 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 260268

[startup+25.5012 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31380
/proc/meminfo: memFree=1565040/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=263568 CPUtime=25.49
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 68448 0 0 0 2490 59 0 0 25 0 1 0 32000362 269893632 63908 1992294400 134512640 136485738 4288295664 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 65892 63908 228 482 0 65408 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 263568

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31382
/proc/meminfo: memFree=1561196/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=267708 CPUtime=51.08
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 69475 0 0 0 5012 96 0 0 25 0 1 0 32000362 274132992 64935 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 66927 64935 228 482 0 66443 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 267708

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31382
/proc/meminfo: memFree=1549168/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=279276 CPUtime=102.26
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 72379 0 0 0 10069 157 0 0 25 0 1 0 32000362 285978624 67839 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 69819 67839 228 482 0 69335 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 279276

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31384
/proc/meminfo: memFree=1535032/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=293468 CPUtime=162.24
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 75902 0 0 0 15991 233 0 0 25 0 1 0 32000362 300511232 71362 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 73367 71362 228 482 0 72883 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 293468

[startup+222.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31386
/proc/meminfo: memFree=1512712/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=315672 CPUtime=222.23
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 81444 0 0 0 21915 308 0 0 25 0 1 0 32000362 323248128 76904 1992294400 134512640 136485738 4288295664 18446744073709551615 135040782 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 78918 76904 228 482 0 78434 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 315672

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31388
/proc/meminfo: memFree=1501056/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=327156 CPUtime=282.21
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 84352 0 0 0 27846 375 0 0 25 0 1 0 32000362 335007744 79812 1992294400 134512640 136485738 4288295664 18446744073709551615 135050800 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 81789 79812 228 482 0 81305 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 327156

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31388
/proc/meminfo: memFree=1483200/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=344980 CPUtime=342.19
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 88776 0 0 0 33774 445 0 0 25 0 1 0 32000362 353259520 84236 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 86245 84236 228 482 0 85761 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 344980

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31390
/proc/meminfo: memFree=1465096/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=363604 CPUtime=402.18
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 93360 0 0 0 39699 519 0 0 25 0 1 0 32000362 372330496 88820 1992294400 134512640 136485738 4288295664 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 90901 88820 228 482 0 90417 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 363604

[startup+462.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 31395
/proc/meminfo: memFree=1446992/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=380648 CPUtime=462.16
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 97639 0 0 0 45631 585 0 0 25 0 1 0 32000362 389783552 93099 1992294400 134512640 136485738 4288295664 18446744073709551615 135725412 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 95162 93099 228 482 0 94678 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 380648

[startup+522.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31397
/proc/meminfo: memFree=1443148/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=384344 CPUtime=522.14
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 98583 0 0 0 51562 652 0 0 25 0 1 0 32000362 393568256 94043 1992294400 134512640 136485738 4288295664 18446744073709551615 135050961 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 96086 94043 228 482 0 95602 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 384344

[startup+582.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 31399
/proc/meminfo: memFree=1443148/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=384344 CPUtime=582.13
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 98583 0 0 0 57490 723 0 0 25 0 1 0 32000362 393568256 94043 1992294400 134512640 136485738 4288295664 18446744073709551615 135725429 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 96086 94043 228 482 0 95602 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 384344

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31399
/proc/meminfo: memFree=1443148/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=384344 CPUtime=642.11
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 98583 0 0 0 63423 788 0 0 25 0 1 0 32000362 393568256 94043 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 96086 94043 228 482 0 95602 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 384344

[startup+702.301 s]

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

[startup+882.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31407
/proc/meminfo: memFree=1443148/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=384344 CPUtime=882.05
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 98586 0 0 0 87164 1041 0 0 25 0 1 0 32000362 393568256 94046 1992294400 134512640 136485738 4288295664 18446744073709551615 135173511 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 96086 94046 228 482 0 95602 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 384344

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31407
/proc/meminfo: memFree=1433600/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=394268 CPUtime=942.02
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 101077 0 0 0 93104 1098 0 0 25 0 1 0 32000362 403730432 96537 1992294400 134512640 136485738 4288295664 18446744073709551615 135024859 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 98567 96537 228 482 0 98083 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 394268

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31409
/proc/meminfo: memFree=1416116/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=411444 CPUtime=1002.01
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 105394 0 0 0 99038 1163 0 0 25 0 1 0 32000362 421318656 100854 1992294400 134512640 136485738 4288295664 18446744073709551615 134880991 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 102861 100854 228 482 0 102377 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 411444

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31411
/proc/meminfo: memFree=1409792/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=417788 CPUtime=1061.99
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106981 0 0 0 104967 1232 0 0 25 0 1 0 32000362 427814912 102441 1992294400 134512640 136485738 4288295664 18446744073709551615 134992641 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 104447 102441 228 482 0 103963 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 417788

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31413
/proc/meminfo: memFree=1409792/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=417788 CPUtime=1121.98
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106981 0 0 0 110899 1299 0 0 25 0 1 0 32000362 427814912 102441 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 104447 102441 228 482 0 103963 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 417788

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31415
/proc/meminfo: memFree=1409668/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=417788 CPUtime=1181.95
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106981 0 0 0 116825 1370 0 0 25 0 1 0 32000362 427814912 102441 1992294400 134512640 136485738 4288295664 18446744073709551615 135183923 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 104447 102441 228 482 0 103963 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 417788

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31415
/proc/meminfo: memFree=1409420/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=417788 CPUtime=1241.93
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106981 0 0 0 122759 1434 0 0 25 0 1 0 32000362 427814912 102441 1992294400 134512640 136485738 4288295664 18446744073709551615 135039031 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 104447 102441 228 482 0 103963 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 417788

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31417
/proc/meminfo: memFree=1409296/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=417788 CPUtime=1301.92
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106984 0 0 0 128687 1505 0 0 25 0 1 0 32000362 427814912 102444 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 104447 102444 228 482 0 103963 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 417788

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31419
/proc/meminfo: memFree=1409296/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=417788 CPUtime=1361.9
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106984 0 0 0 134621 1569 0 0 25 0 1 0 32000362 427814912 102444 1992294400 134512640 136485738 4288295664 18446744073709551615 135047017 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 104447 102444 228 482 0 103963 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 417788

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31421
/proc/meminfo: memFree=1409296/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=417788 CPUtime=1421.89
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106984 0 0 0 140555 1634 0 0 25 0 1 0 32000362 427814912 102444 1992294400 134512640 136485738 4288295664 18446744073709551615 135050800 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 104447 102444 228 482 0 103963 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 417788

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31423
/proc/meminfo: memFree=1409172/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=417788 CPUtime=1481.86
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 106984 0 0 0 146496 1690 0 0 25 0 1 0 32000362 427814912 102444 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 104447 102444 228 482 0 103963 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 417788

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31423
/proc/meminfo: memFree=1408180/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=418988 CPUtime=1541.86
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107282 0 0 0 152435 1751 0 0 25 0 1 0 32000362 429043712 102742 1992294400 134512640 136485738 4288295664 18446744073709551615 135040785 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 104747 102742 228 482 0 104263 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 418988

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31425
/proc/meminfo: memFree=1405824/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=421248 CPUtime=1601.83
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 158359 1824 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 105312 103302 228 482 0 104828 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 421248

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31427
/proc/meminfo: memFree=1405700/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=421248 CPUtime=1661.82
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 164293 1889 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135039336 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 105312 103302 228 482 0 104828 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 421248

[startup+1722.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/107 31429
/proc/meminfo: memFree=1405700/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=421248 CPUtime=1721.8
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 170223 1957 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135293332 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 105312 103302 228 482 0 104828 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 421248

[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31431
/proc/meminfo: memFree=1405452/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=421248 CPUtime=1781.78
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 176151 2027 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 105312 103302 228 482 0 104828 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 421248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31431
/proc/meminfo: memFree=1405452/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=421248 CPUtime=1800.08
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 177963 2045 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 105312 103302 228 482 0 104828 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 421248

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

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

[startup+1800.6 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31431
/proc/meminfo: memFree=1405452/2059040 swapFree=4140192/4192956
[pid=31379] ppid=31377 vsize=421248 CPUtime=1800.08
/proc/31379/stat : 31379 (pbct) R 31377 31379 30889 0 -1 4202496 107842 0 0 0 177963 2045 0 0 25 0 1 0 32000362 431357952 103302 1992294400 134512640 136485738 4288295664 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31379/statm: 105312 103302 228 482 0 104828 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 421248

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.14
CPU user time (s): 1779.63
CPU system time (s): 20.5019
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 421248

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

runsolver used 2.95755 second user time and 8.5197 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-15 03:06:04
IDJOB=2668368
IDBENCH=2498
IDSOLVER=1170
FILE ID=node003/2668368-1276563964
PBS_JOBID= 11173499
Free space on /tmp= 62572 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-danoint.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668368-1276563964/watcher-2668368-1276563964 -o /tmp/evaluation-result-2668368-1276563964/solver-2668368-1276563964 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668368-1276563964.opb

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

MD5SUM BENCH= 72b327feddced7495a083616b5e4ecd7
RANDOM SEED=835017238

node003.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.251
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.50
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.251
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:       1821256 kB
Buffers:         51264 kB
Cached:         108108 kB
SwapCached:       5848 kB
Active:          71128 kB
Inactive:       100968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1821256 kB
SwapTotal:     4192956 kB
SwapFree:      4140192 kB
Dirty:            2900 kB
Writeback:           0 kB
AnonPages:       11384 kB
Mapped:          13048 kB
Slab:            43756 kB
PageTables:       4004 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182744 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= 62572 MiB
End job on node003 at 2010-06-15 03:36:07