Trace number 2668346

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.17 1800.8

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-modszk1.opb
MD5SUM73a69ec0478725312d0c26d36222113a
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 variables48602
Total number of constraints686
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints686
Minimum length of a constraint30
Maximum length of a constraint600
Number of terms in the objective function 29700
Biggest coefficient in the objective function 197378980184064000
Number of bits for the biggest coefficient in the objective function 58
Sum of the numbers in the objective function 14554406665136992500
Number of bits of the sum of numbers in the objective function 64
Biggest number in a constraint 197378980184064000
Number of bits of the biggest number in a constraint 58
Biggest sum of numbers in a constraint 14554406665136992500
Number of bits of the biggest sum of numbers64
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.39/0.44	c constraints 686/0 clauses 0/0 units 0
0.39/0.44	c vars 48602
0.39/0.44	c objective 29700 + 0
1800.08/1800.71	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-2668346-1276549891/watcher-2668346-1276549891 -o /tmp/evaluation-result-2668346-1276549891/solver-2668346-1276549891 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668346-1276549891.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 1.01 3/106 1378
/proc/meminfo: memFree=1804692/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=2208 CPUtime=0
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 269 0 0 0 0 0 0 0 20 0 1 0 30590653 2260992 191 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1378/statm: 552 191 151 482 0 68 0

[startup+0.0238919 s]
/proc/loadavg: 0.92 0.98 1.01 3/106 1378
/proc/meminfo: memFree=1804692/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=2752 CPUtime=0.02
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 378 0 0 0 2 0 0 0 20 0 1 0 30590653 2818048 300 1992294400 134512640 136485738 4288434944 18446744073709551615 134531137 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1378/statm: 688 300 151 482 0 204 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2752

[startup+0.100907 s]
/proc/loadavg: 0.92 0.98 1.01 3/106 1378
/proc/meminfo: memFree=1804692/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=4080 CPUtime=0.09
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 862 0 0 0 9 0 0 0 20 0 1 0 30590653 4177920 637 1992294400 134512640 136485738 4288434944 18446744073709551615 135857008 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1378/statm: 1020 637 153 482 0 536 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4080

[startup+0.300946 s]
/proc/loadavg: 0.92 0.98 1.01 3/106 1378
/proc/meminfo: memFree=1804692/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=7788 CPUtime=0.29
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 1782 0 0 0 29 0 0 0 20 0 1 0 30590653 7974912 1558 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/1378/statm: 1947 1558 155 482 0 1463 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7788

[startup+0.701024 s]
/proc/loadavg: 0.92 0.98 1.01 3/106 1378
/proc/meminfo: memFree=1804692/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=31500 CPUtime=0.69
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 7635 0 0 0 66 3 0 0 21 0 1 0 30590653 32256000 7410 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 7875 7411 197 482 0 7391 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31500

[startup+1.50118 s]
/proc/loadavg: 0.92 0.98 1.01 2/107 1379
/proc/meminfo: memFree=1753472/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=88048 CPUtime=1.49
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 22139 0 0 0 139 10 0 0 23 0 1 0 30590653 90161152 21173 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 22012 21174 197 482 0 21528 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88048

[startup+3.1005 s]
/proc/loadavg: 0.92 0.98 1.01 2/107 1379
/proc/meminfo: memFree=1682544/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=190872 CPUtime=3.09
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 49162 0 0 0 287 22 0 0 25 0 1 0 30590653 195452928 46719 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 47718 46719 197 482 0 47234 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 190872

[startup+6.30112 s]
/proc/loadavg: 0.93 0.98 1.01 2/107 1379
/proc/meminfo: memFree=1474348/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=399996 CPUtime=6.29
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 104860 0 0 0 583 46 0 0 25 0 1 0 30590653 409595904 98699 1992294400 134512640 136485738 4288434944 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 99999 98700 197 482 0 99515 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 399996

[startup+12.7004 s]
/proc/loadavg: 0.93 0.98 1.01 2/107 1379
/proc/meminfo: memFree=1122560/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=714736 CPUtime=12.68
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 185788 0 0 0 1182 86 0 0 25 0 1 0 30590653 731889664 170473 1992294400 134512640 136485738 4288434944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 178684 170473 228 482 0 178200 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 714736

[startup+25.5009 s]
/proc/loadavg: 0.95 0.98 1.01 2/107 1379
/proc/meminfo: memFree=1112020/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=724720 CPUtime=25.48
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 188250 0 0 0 2436 112 0 0 25 0 1 0 30590653 742113280 172935 1992294400 134512640 136485738 4288434944 18446744073709551615 134880504 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 181180 172935 228 482 0 180696 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 724720

[startup+51.1009 s]
/proc/loadavg: 0.96 0.98 1.01 2/107 1381
/proc/meminfo: memFree=1100488/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=736516 CPUtime=51.07
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 191120 0 0 0 4964 143 0 0 25 0 1 0 30590653 754192384 175805 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 184129 175805 228 482 0 183645 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 736516

[startup+102.309 s]
/proc/loadavg: 0.98 0.98 1.00 2/107 1381
/proc/meminfo: memFree=1085732/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=751492 CPUtime=102.26
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 194758 0 0 0 10037 189 0 0 25 0 1 0 30590653 769527808 179443 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 187873 179443 228 482 0 187389 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 751492

[startup+162.302 s]
/proc/loadavg: 1.06 1.00 1.00 2/107 1386
/proc/meminfo: memFree=1072836/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=763972 CPUtime=162.23
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 197900 0 0 0 15988 235 0 0 25 0 1 0 30590653 782307328 182585 1992294400 134512640 136485738 4288434944 18446744073709551615 135185143 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 190993 182585 228 482 0 190509 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 763972

[startup+222.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/107 1388
/proc/meminfo: memFree=1059444/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=777784 CPUtime=222.21
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 201199 0 0 0 21943 278 0 0 25 0 1 0 30590653 796450816 185884 1992294400 134512640 136485738 4288434944 18446744073709551615 134880521 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 194446 185884 228 482 0 193962 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 777784

[startup+282.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 1390
/proc/meminfo: memFree=1048036/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=789696 CPUtime=282.19
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 204054 0 0 0 27899 320 0 0 25 0 1 0 30590653 808648704 188739 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 197424 188739 228 482 0 196940 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 789696

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1390
/proc/meminfo: memFree=1040844/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=797492 CPUtime=342.17
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 205832 0 0 0 33860 357 0 0 25 0 1 0 30590653 816631808 190517 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 199373 190517 228 482 0 198889 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 797492

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1392
/proc/meminfo: memFree=1031296/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=807020 CPUtime=402.15
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 208223 0 0 0 39819 396 0 0 25 0 1 0 30590653 826388480 192908 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 201755 192908 228 482 0 201271 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 807020

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1394
/proc/meminfo: memFree=1023856/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=814612 CPUtime=462.12
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 210078 0 0 0 45784 428 0 0 25 0 1 0 30590653 834162688 194763 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 203653 194763 228 482 0 203169 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 814612

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1396
/proc/meminfo: memFree=1017656/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=821544 CPUtime=522.1
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 211751 0 0 0 51751 459 0 0 25 0 1 0 30590653 841261056 196436 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 205386 196436 228 482 0 204902 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 821544

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1398
/proc/meminfo: memFree=1012200/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=826456 CPUtime=582.08
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 213014 0 0 0 57716 492 0 0 25 0 1 0 30590653 846290944 197699 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 206614 197699 228 482 0 206130 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 826456

[startup+642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1398
/proc/meminfo: memFree=1006868/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=831608 CPUtime=642.07
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 214328 0 0 0 63682 525 0 0 25 0 1 0 30590653 851566592 199013 1992294400 134512640 136485738 4288434944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 207902 199013 228 482 0 207418 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 831608

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1406
/proc/meminfo: memFree=1005256/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=833460 CPUtime=881.98
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 214750 0 0 0 87510 688 0 0 25 0 1 0 30590653 853463040 199435 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 208365 199435 228 482 0 207881 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 833460

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1406
/proc/meminfo: memFree=1005132/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=833460 CPUtime=941.96
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 214755 0 0 0 93473 723 0 0 25 0 1 0 30590653 853463040 199440 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 208365 199440 228 482 0 207881 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 833460

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1408
/proc/meminfo: memFree=1004884/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=833700 CPUtime=1001.94
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 214809 0 0 0 99441 753 0 0 25 0 1 0 30590653 853708800 199494 1992294400 134512640 136485738 4288434944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 208425 199494 228 482 0 207941 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 833700

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1410
/proc/meminfo: memFree=1002156/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=836588 CPUtime=1061.92
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 215488 0 0 0 105412 780 0 0 25 0 1 0 30590653 856666112 200173 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 209147 200173 228 482 0 208663 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 836588

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1412
/proc/meminfo: memFree=1000916/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=837676 CPUtime=1121.9
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 215779 0 0 0 111375 815 0 0 25 0 1 0 30590653 857780224 200464 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 209419 200464 228 482 0 208935 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 837676

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1414
/proc/meminfo: memFree=1000916/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=837676 CPUtime=1181.87
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 215786 0 0 0 117342 845 0 0 25 0 1 0 30590653 857780224 200471 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 209419 200471 228 482 0 208935 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 837676

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1414
/proc/meminfo: memFree=1000668/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=837676 CPUtime=1241.86
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 215790 0 0 0 123310 876 0 0 25 0 1 0 30590653 857780224 200475 1992294400 134512640 136485738 4288434944 18446744073709551615 134874588 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 209419 200475 228 482 0 208935 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 837676

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1416
/proc/meminfo: memFree=999428/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=838996 CPUtime=1301.83
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 216074 0 0 0 129281 902 0 0 25 0 1 0 30590653 859131904 200759 1992294400 134512640 136485738 4288434944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 209749 200759 228 482 0 209265 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 838996

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1418
/proc/meminfo: memFree=997196/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=842164 CPUtime=1361.82
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 216643 0 0 0 135253 929 0 0 25 0 1 0 30590653 862375936 201328 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 210541 201328 228 482 0 210057 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 842164

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1420
/proc/meminfo: memFree=992608/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=846644 CPUtime=1421.8
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 217776 0 0 0 141227 953 0 0 25 0 1 0 30590653 866963456 202461 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 211661 202461 228 482 0 211177 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 846644

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1422
/proc/meminfo: memFree=985788/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=853668 CPUtime=1481.77
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 219494 0 0 0 147193 984 0 0 25 0 1 0 30590653 874156032 204179 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 213417 204179 228 482 0 212933 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 853668

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1422
/proc/meminfo: memFree=980704/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=858528 CPUtime=1541.75
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 220740 0 0 0 153162 1013 0 0 25 0 1 0 30590653 879132672 205425 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 214632 205425 228 482 0 214148 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 858528

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1424
/proc/meminfo: memFree=977108/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=862144 CPUtime=1601.73
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221649 0 0 0 159138 1035 0 0 25 0 1 0 30590653 882835456 206334 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 215536 206334 228 482 0 215052 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 862144

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1426
/proc/meminfo: memFree=975868/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=863200 CPUtime=1661.71
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221915 0 0 0 165106 1065 0 0 25 0 1 0 30590653 883916800 206600 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 215800 206600 228 482 0 215316 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 863200

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1428
/proc/meminfo: memFree=975868/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=863200 CPUtime=1721.69
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221915 0 0 0 171058 1111 0 0 25 0 1 0 30590653 883916800 206600 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 215800 206600 228 482 0 215316 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 863200

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1430
/proc/meminfo: memFree=975496/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=863444 CPUtime=1781.67
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221950 0 0 0 177021 1146 0 0 25 0 1 0 30590653 884166656 206635 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 215861 206635 228 482 0 215377 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 863444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1430
/proc/meminfo: memFree=975496/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=863444 CPUtime=1800.08
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221950 0 0 0 178852 1156 0 0 25 0 1 0 30590653 884166656 206635 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 215861 206635 228 482 0 215377 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 863444

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 1430
/proc/meminfo: memFree=975496/2059040 swapFree=4136184/4192956
[pid=1378] ppid=1376 vsize=863444 CPUtime=1800.08
/proc/1378/stat : 1378 (pbct) R 1376 1378 711 0 -1 4202496 221950 0 0 0 178852 1156 0 0 25 0 1 0 30590653 884166656 206635 1992294400 134512640 136485738 4288434944 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/1378/statm: 215861 206635 228 482 0 215377 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 863444

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.17
CPU user time (s): 1788.52
CPU system time (s): 11.6462
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 863444

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

runsolver used 3.15852 second user time and 8.32173 second system time

The end

Launcher Data 

Begin job on node011 at 2010-06-14 23:11:31
IDJOB=2668346
IDBENCH=2416
IDSOLVER=1170
FILE ID=node011/2668346-1276549891
PBS_JOBID= 11173475
Free space on /tmp= 62264 MiB

SOLVER NAME= PB/CT 0.1
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-modszk1.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668346-1276549891/watcher-2668346-1276549891 -o /tmp/evaluation-result-2668346-1276549891/solver-2668346-1276549891 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2668346-1276549891.opb

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

MD5SUM BENCH= 73a69ec0478725312d0c26d36222113a
RANDOM SEED=436858944

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
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:       1805096 kB
Buffers:         59692 kB
Cached:         117660 kB
SwapCached:       9764 kB
Active:          82000 kB
Inactive:       107640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1805096 kB
SwapTotal:     4192956 kB
SwapFree:      4136184 kB
Dirty:            4008 kB
Writeback:           8 kB
AnonPages:       10992 kB
Mapped:           9280 kB
Slab:            42580 kB
PageTables:       4032 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181792 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= 62260 MiB
End job on node011 at 2010-06-14 23:41:34