Trace number 2681912

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.25 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos6.opb
MD5SUM2a04555106a68acba17fb5820db41df1
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 variables21720
Total number of constraints1036
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)755
Number of constraints which are nor clauses,nor cardinality constraints233
Minimum length of a constraint6
Maximum length of a constraint840
Number of terms in the objective function 6690
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 239444426529
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 536870912
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 239444426529
Number of bits of the biggest sum of numbers38
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
0.79/0.81	c constraints 988/0 clauses 48/0 units 0
0.79/0.81	c vars 21720
0.79/0.81	c objective 6690 + 0
1800.10/1800.61	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-2681912-1277485126/watcher-2681912-1277485126 -o /tmp/evaluation-result-2681912-1277485126/solver-2681912-1277485126 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681912-1277485126.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.97 3/106 30352
/proc/meminfo: memFree=1877980/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=2416 CPUtime=0
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 292 0 0 0 0 0 0 0 21 0 1 0 89807927 2473984 212 1992294400 134512640 136421960 4293353728 18446744073709551615 135160329 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30352/statm: 604 212 135 467 0 135 0

[startup+0.091192 s]
/proc/loadavg: 0.92 0.98 0.97 3/106 30352
/proc/meminfo: memFree=1877980/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=4316 CPUtime=0.08
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 794 0 0 0 8 0 0 0 23 0 1 0 89807927 4419584 714 1992294400 134512640 136421960 4293353728 18446744073709551615 135160329 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30352/statm: 1079 717 145 467 0 610 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4316

[startup+0.101193 s]
/proc/loadavg: 0.92 0.98 0.97 3/106 30352
/proc/meminfo: memFree=1877980/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=4580 CPUtime=0.09
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 862 0 0 0 9 0 0 0 23 0 1 0 89807927 4689920 782 1992294400 134512640 136421960 4293353728 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30352/statm: 1145 782 145 467 0 676 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4580

[startup+0.301205 s]
/proc/loadavg: 0.92 0.98 0.97 3/106 30352
/proc/meminfo: memFree=1877980/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=9824 CPUtime=0.29
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 2129 0 0 0 29 0 0 0 23 0 1 0 89807927 10059776 2049 1992294400 134512640 136421960 4293353728 18446744073709551615 135160331 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30352/statm: 2456 2049 145 467 0 1987 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9824

[startup+0.701235 s]
/proc/loadavg: 0.92 0.98 0.97 3/106 30352
/proc/meminfo: memFree=1877980/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=18788 CPUtime=0.69
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 4293 0 0 0 68 1 0 0 25 0 1 0 89807927 19238912 4213 1992294400 134512640 136421960 4293353728 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30352/statm: 4697 4214 145 467 0 4228 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18788

[startup+1.50128 s]
/proc/loadavg: 0.92 0.98 0.97 2/107 30353
/proc/meminfo: memFree=1838292/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=80168 CPUtime=1.49
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 20283 0 0 0 142 7 0 0 25 0 1 0 89807927 82092032 19140 1992294400 134512640 136421960 4293353728 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 20042 19140 193 467 0 19573 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 80168

[startup+3.10139 s]
/proc/loadavg: 0.92 0.98 0.97 2/107 30353
/proc/meminfo: memFree=1769472/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=165968 CPUtime=3.09
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 43684 0 0 0 292 17 0 0 25 0 1 0 89807927 169951232 40578 1992294400 134512640 136421960 4293353728 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 41492 40578 193 467 0 41023 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 165968

[startup+6.30059 s]
/proc/loadavg: 0.93 0.98 0.97 2/107 30353
/proc/meminfo: memFree=1588432/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=348304 CPUtime=6.29
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 92802 0 0 0 592 37 0 0 25 0 1 0 89807927 356663296 85507 1992294400 134512640 136421960 4293353728 18446744073709551615 134710437 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 87076 85508 194 467 0 86607 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 348304

[startup+12.701 s]
/proc/loadavg: 0.93 0.98 0.97 2/107 30353
/proc/meminfo: memFree=1027952/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=876308 CPUtime=12.69
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 232475 0 0 0 1179 90 0 0 25 0 1 0 89807927 897339392 213951 1992294400 134512640 136421960 4293353728 18446744073709551615 134930300 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 219077 213951 204 467 0 218608 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 876308

[startup+25.5008 s]
/proc/loadavg: 0.95 0.98 0.97 2/107 30353
/proc/meminfo: memFree=937804/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=965644 CPUtime=25.48
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 256448 0 0 0 2434 114 0 0 25 0 1 0 89807927 988819456 234782 1992294400 134512640 136421960 4293353728 18446744073709551615 135027952 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 241411 234782 217 467 0 240942 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 965644

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.97 2/107 30353
/proc/meminfo: memFree=930488/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=973480 CPUtime=51.08
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 258393 0 0 0 4959 149 0 0 25 0 1 0 89807927 996843520 236727 1992294400 134512640 136421960 4293353728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 243370 236727 217 467 0 242901 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 973480

[startup+102.308 s]
/proc/loadavg: 0.98 0.98 0.97 2/107 30355
/proc/meminfo: memFree=910400/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=992996 CPUtime=102.27
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 263287 0 0 0 9997 230 0 0 25 0 1 0 89807927 1016827904 241621 1992294400 134512640 136421960 4293353728 18446744073709551615 135809586 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 248249 241621 217 467 0 247780 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 992996

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30366
/proc/meminfo: memFree=895644/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1007544 CPUtime=162.23
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 266924 0 0 0 15908 315 0 0 25 0 1 0 89807927 1031725056 245258 1992294400 134512640 136421960 4293353728 18446744073709551615 135686762 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 251886 245258 217 467 0 251417 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1007544

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30368
/proc/meminfo: memFree=873572/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1029620 CPUtime=222.21
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 272453 0 0 0 21780 441 0 0 25 0 1 0 89807927 1054330880 250787 1992294400 134512640 136421960 4293353728 18446744073709551615 134859688 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 257405 250787 217 467 0 256936 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1029620

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30368
/proc/meminfo: memFree=851500/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1051632 CPUtime=282.19
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 277942 0 0 0 27649 570 0 0 25 0 1 0 89807927 1076871168 256276 1992294400 134512640 136421960 4293353728 18446744073709551615 135032401 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 262908 256276 217 467 0 262439 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1051632

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30370
/proc/meminfo: memFree=834512/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1068424 CPUtime=342.18
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 282162 0 0 0 33548 670 0 0 25 0 1 0 89807927 1094066176 260496 1992294400 134512640 136421960 4293353728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 267106 260496 217 467 0 266637 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 1068424

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30372
/proc/meminfo: memFree=815044/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1088060 CPUtime=402.16
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 287033 0 0 0 39404 812 0 0 25 0 1 0 89807927 1114173440 265367 1992294400 134512640 136421960 4293353728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 272015 265367 217 467 0 271546 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 1088060

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30374
/proc/meminfo: memFree=797064/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1105920 CPUtime=462.14
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 291481 0 0 0 45280 934 0 0 25 0 1 0 89807927 1132462080 269815 1992294400 134512640 136421960 4293353728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 276480 269815 217 467 0 276011 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 1105920

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30376
/proc/meminfo: memFree=777224/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1126296 CPUtime=522.13
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 296527 0 0 0 51177 1036 0 0 25 0 1 0 89807927 1153327104 274861 1992294400 134512640 136421960 4293353728 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 281574 274861 217 467 0 281105 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1126296

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30376
/proc/meminfo: memFree=763832/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1139084 CPUtime=582.12
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 299725 0 0 0 57116 1096 0 0 25 0 1 0 89807927 1166422016 278059 1992294400 134512640 136421960 4293353728 18446744073709551615 135199192 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 284771 278059 217 467 0 284302 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1139084

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30378
/proc/meminfo: memFree=754160/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1148812 CPUtime=642.1
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 302146 0 0 0 63054 1156 0 0 25 0 1 0 89807927 1176383488 280480 1992294400 134512640 136421960 4293353728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 287203 280480 217 467 0 286734 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1148812

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30384
/proc/meminfo: memFree=685464/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1217552 CPUtime=882.04
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 319249 0 0 0 86712 1492 0 0 25 0 1 0 89807927 1246773248 297583 1992294400 134512640 136421960 4293353728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 304388 297583 217 467 0 303919 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1217552

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30386
/proc/meminfo: memFree=663144/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1239960 CPUtime=942.02
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 324867 0 0 0 92624 1578 0 0 25 0 1 0 89807927 1269719040 303201 1992294400 134512640 136421960 4293353728 18446744073709551615 135822111 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 309990 303201 217 467 0 309521 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 1239960

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30388
/proc/meminfo: memFree=646156/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1257004 CPUtime=1002.01
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 329054 0 0 0 98510 1691 0 0 25 0 1 0 89807927 1287172096 307388 1992294400 134512640 136421960 4293353728 18446744073709551615 135032112 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 314251 307388 217 467 0 313782 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1257004

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30390
/proc/meminfo: memFree=626440/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1277860 CPUtime=1061.99
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 334211 0 0 0 104405 1794 0 0 25 0 1 0 89807927 1308528640 312545 1992294400 134512640 136421960 4293353728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 319465 312545 217 467 0 318996 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 1277860

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30392
/proc/meminfo: memFree=588744/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1314280 CPUtime=1121.98
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 343320 0 0 0 110251 1947 0 0 25 0 1 0 89807927 1345822720 321654 1992294400 134512640 136421960 4293353728 18446744073709551615 135238888 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 328570 321654 217 467 0 328101 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1314280

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30392
/proc/meminfo: memFree=570392/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1332696 CPUtime=1181.96
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 347928 0 0 0 116133 2063 0 0 25 0 1 0 89807927 1364680704 326262 1992294400 134512640 136421960 4293353728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 333174 326262 217 467 0 332705 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1332696

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.97 2/107 30394
/proc/meminfo: memFree=546088/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1356960 CPUtime=1241.94
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 354003 0 0 0 121987 2207 0 0 25 0 1 0 89807927 1389527040 332337 1992294400 134512640 136421960 4293353728 18446744073709551615 135026224 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 339240 332337 217 467 0 338771 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1356960

[startup+1302.3 s]
/proc/loadavg: 1.07 1.00 0.98 2/107 30396
/proc/meminfo: memFree=523272/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1379468 CPUtime=1301.93
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 359587 0 0 0 127856 2337 0 0 25 0 1 0 89807927 1412575232 337921 1992294400 134512640 136421960 4293353728 18446744073709551615 135686773 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 344867 337921 217 467 0 344398 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1379468

[startup+1362.3 s]
/proc/loadavg: 1.09 1.02 0.98 2/107 30398
/proc/meminfo: memFree=499092/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1404076 CPUtime=1361.9
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 365719 0 0 0 133747 2443 0 0 25 0 1 0 89807927 1437773824 344053 1992294400 134512640 136421960 4293353728 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 351019 344053 217 467 0 350550 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1404076

[startup+1422.31 s]
/proc/loadavg: 1.15 1.04 1.00 2/107 30400
/proc/meminfo: memFree=480120/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1422908 CPUtime=1421.9
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 370403 0 0 0 139645 2545 0 0 25 0 1 0 89807927 1457057792 348737 1992294400 134512640 136421960 4293353728 18446744073709551615 134862027 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 355727 348737 217 467 0 355258 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1422908

[startup+1482.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/107 30400
/proc/meminfo: memFree=464744/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1438920 CPUtime=1481.87
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 374300 0 0 0 145539 2648 0 0 25 0 1 0 89807927 1473454080 352634 1992294400 134512640 136421960 4293353728 18446744073709551615 134862003 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 359730 352634 217 467 0 359261 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1438920

[startup+1542.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 30402
/proc/meminfo: memFree=446516/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1456900 CPUtime=1541.85
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 378754 0 0 0 151446 2739 0 0 25 0 1 0 89807927 1491865600 357088 1992294400 134512640 136421960 4293353728 18446744073709551615 134862018 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 364225 357088 217 467 0 363756 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1456900

[startup+1602.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 30404
/proc/meminfo: memFree=427296/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1476692 CPUtime=1601.84
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 383579 0 0 0 157355 2829 0 0 25 0 1 0 89807927 1512132608 361913 1992294400 134512640 136421960 4293353728 18446744073709551615 135028336 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 369173 361913 217 467 0 368704 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1476692

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30406
/proc/meminfo: memFree=409440/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1494516 CPUtime=1661.82
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 388007 0 0 0 163272 2910 0 0 25 0 1 0 89807927 1530384384 366341 1992294400 134512640 136421960 4293353728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 373629 366341 217 467 0 373160 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1494516

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 30408
/proc/meminfo: memFree=385880/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1518724 CPUtime=1721.8
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 393997 0 0 0 169159 3021 0 0 25 0 1 0 89807927 1555173376 372331 1992294400 134512640 136421960 4293353728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 379681 372331 217 467 0 379212 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1518724

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30408
/proc/meminfo: memFree=365048/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1538848 CPUtime=1781.78
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 398999 0 0 0 175056 3122 0 0 25 0 1 0 89807927 1575780352 377333 1992294400 134512640 136421960 4293353728 18446744073709551615 135018897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 384712 377333 217 467 0 384243 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1538848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30410
/proc/meminfo: memFree=361948/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=1542072 CPUtime=1800.1
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4202496 399788 0 0 0 176862 3148 0 0 25 0 1 0 89807927 1579081728 378122 1992294400 134512640 136421960 4293353728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/30352/statm: 385518 378122 217 467 0 385049 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1542072

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

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

[startup+1800.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 30410
/proc/meminfo: memFree=361948/2059040 swapFree=4139332/4192956
[pid=30352] ppid=30350 vsize=0 CPUtime=1800.2
/proc/30352/stat : 30352 (pbct) R 30350 30352 29393 0 -1 4194308 399790 0 0 0 176862 3158 0 0 25 0 1 0 89807927 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/30352/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.25
CPU user time (s): 1768.62
CPU system time (s): 31.6302
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1542072

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

runsolver used 3.09153 second user time and 8.38573 second system time

The end

Launcher Data 

Begin job on node030 at 2010-06-25 18:58:46
IDJOB=2681912
IDBENCH=2331
IDSOLVER=1192
FILE ID=node030/2681912-1277485126
PBS_JOBID= 11190513
Free space on /tmp= 62492 MiB

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

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

MD5SUM BENCH= 2a04555106a68acba17fb5820db41df1
RANDOM SEED=252693314

node030.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.244
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.48
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.244
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.52
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1878384 kB
Buffers:          9468 kB
Cached:          71732 kB
SwapCached:       6272 kB
Active:          21240 kB
Inactive:        73056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1878384 kB
SwapTotal:     4192956 kB
SwapFree:      4139332 kB
Dirty:            5012 kB
Writeback:           4 kB
AnonPages:       11604 kB
Mapped:          11844 kB
Slab:            64100 kB
PageTables:       4252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182068 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= 62488 MiB
End job on node030 at 2010-06-25 19:28:49