Trace number 2682006

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB/CT 0.1 fixed? (TO) 1800.18 1800.65

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb
MD5SUM2191fd085de8ae061d8b0a530b1c363f
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 variables73151
Total number of constraints217741
Number of constraints which are clauses217740
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint72580
Number of terms in the objective function 191
Biggest coefficient in the objective function 1569275433846670190958947355801916604025588861116008628224
Number of bits for the biggest coefficient in the objective function 191
Sum of the numbers in the objective function 3138550867693340381917894711603833208051177722232017256447
Number of bits of the sum of numbers in the objective function 191
Biggest number in a constraint 1932268761508629172347675945465993672149463664853217499328617625725759571144780212268096883290961288981231808015751088588682539330521493827871454336733540374348490407411712
Number of bits of the biggest number in a constraint 570
Biggest sum of numbers in a constraint 7729075046034516689390703781863974688597854659412869997312087757137816840157192354910932626270886944505998465497886041174443507857908386397911556311226886565568562128564837
Number of bits of the biggest sum of numbers571
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
2.89/2.90	c constraints 1/0 clauses 217740/0 units 0
2.89/2.90	c vars 73151
2.89/2.90	c objective 191 + -3138550867693340381917894711603833208051177722232017256447
1800.03/1800.50	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682006-1277494271/watcher-2682006-1277494271 -o /tmp/evaluation-result-2682006-1277494271/solver-2682006-1277494271 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682006-1277494271.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.06 1.02 1.00 3/106 31304
/proc/meminfo: memFree=1883616/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=2136 CPUtime=0
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 252 0 0 0 0 0 0 0 15 0 1 0 90720192 2187264 172 1992294400 134512640 136421960 4291290576 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31304/statm: 534 172 146 467 0 65 0

[startup+0.02646 s]
/proc/loadavg: 1.06 1.02 1.00 3/106 31304
/proc/meminfo: memFree=1883616/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=2136 CPUtime=0.02
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 268 0 0 0 2 0 0 0 18 0 1 0 90720192 2187264 188 1992294400 134512640 136421960 4291290576 18446744073709551615 135377240 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31304/statm: 534 188 146 467 0 65 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2136

[startup+0.100467 s]
/proc/loadavg: 1.06 1.02 1.00 3/106 31304
/proc/meminfo: memFree=1883616/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=2532 CPUtime=0.09
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 334 0 0 0 9 0 0 0 18 0 1 0 90720192 2592768 254 1992294400 134512640 136421960 4291290576 18446744073709551615 135818454 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31304/statm: 633 254 146 467 0 164 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2532

[startup+0.300486 s]
/proc/loadavg: 1.06 1.02 1.00 3/106 31304
/proc/meminfo: memFree=1883616/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=3192 CPUtime=0.29
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 514 0 0 0 29 0 0 0 18 0 1 0 90720192 3268608 434 1992294400 134512640 136421960 4291290576 18446744073709551615 135372664 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31304/statm: 798 434 146 467 0 329 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3192

[startup+0.700525 s]
/proc/loadavg: 1.06 1.02 1.00 3/106 31304
/proc/meminfo: memFree=1883616/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=4896 CPUtime=0.69
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 971 0 0 0 69 0 0 0 18 0 1 0 90720192 5013504 793 1992294400 134512640 136421960 4291290576 18446744073709551615 134541034 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31304/statm: 1224 793 146 467 0 755 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4896

[startup+1.5006 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 31305
/proc/meminfo: memFree=1880012/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=7916 CPUtime=1.49
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 1815 0 0 0 149 0 0 0 19 0 1 0 90720192 8105984 1508 1992294400 134512640 136421960 4291290576 18446744073709551615 135372727 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31304/statm: 1979 1508 146 467 0 1510 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7916

[startup+3.10076 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 31305
/proc/meminfo: memFree=1875300/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=44004 CPUtime=3.09
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 11082 0 0 0 304 5 0 0 23 0 1 0 90720192 45060096 10099 1992294400 134512640 136421960 4291290576 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 11001 10100 190 467 0 10532 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44004

[startup+6.30107 s]
/proc/loadavg: 1.06 1.01 1.00 2/107 31305
/proc/meminfo: memFree=1617504/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=361380 CPUtime=6.29
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 95345 0 0 0 587 42 0 0 25 0 1 0 90720192 370053120 88224 1992294400 134512640 136421960 4291290576 18446744073709551615 135805335 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 90378 88225 195 467 0 89909 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 361380

[startup+12.7017 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 31305
/proc/meminfo: memFree=945920/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=956524 CPUtime=12.69
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 253551 0 0 0 1164 105 0 0 25 0 1 0 90720192 979480576 236227 1992294400 134512640 136421960 4291290576 18446744073709551615 134929600 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 239131 236227 205 467 0 238662 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 956524

[startup+25.501 s]
/proc/loadavg: 1.04 1.01 1.00 2/107 31305
/proc/meminfo: memFree=892848/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1003300 CPUtime=25.49
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 265821 0 0 0 2388 161 0 0 25 0 1 0 90720192 1027379200 247441 1992294400 134512640 136421960 4291290576 18446744073709551615 135020787 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 250825 247441 215 467 0 250356 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1003300

[startup+51.1005 s]
/proc/loadavg: 1.02 1.01 1.00 2/107 31305
/proc/meminfo: memFree=872016/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1024944 CPUtime=51.07
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 271193 0 0 0 4935 172 0 0 25 0 1 0 90720192 1049542656 252813 1992294400 134512640 136421960 4291290576 18446744073709551615 135241903 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 256236 252813 217 467 0 255767 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1024944

[startup+102.309 s]
/proc/loadavg: 1.05 1.02 1.00 2/107 31310
/proc/meminfo: memFree=845604/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1050612 CPUtime=102.26
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 277556 0 0 0 10044 182 0 0 25 0 1 0 90720192 1075826688 259067 1992294400 134512640 136421960 4291290576 18446744073709551615 134860118 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 262653 259067 217 467 0 262184 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1050612

[startup+162.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 31312
/proc/meminfo: memFree=840892/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1055164 CPUtime=162.24
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 278751 0 0 0 16041 183 0 0 25 0 1 0 90720192 1080487936 260262 1992294400 134512640 136421960 4291290576 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 263791 260262 217 467 0 263322 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1055164

[startup+222.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 31314
/proc/meminfo: memFree=812868/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1083076 CPUtime=222.23
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 285764 0 0 0 22032 191 0 0 25 0 1 0 90720192 1109069824 267275 1992294400 134512640 136421960 4291290576 18446744073709551615 135275894 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 270769 267275 217 467 0 270300 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1083076

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 31314
/proc/meminfo: memFree=772940/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1123192 CPUtime=282.21
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 295781 0 0 0 28012 209 0 0 25 0 1 0 90720192 1150148608 277292 1992294400 134512640 136421960 4291290576 18446744073709551615 134859876 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 280798 277292 217 467 0 280329 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1123192

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31316
/proc/meminfo: memFree=723960/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1172100 CPUtime=342.2
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 308013 0 0 0 33992 228 0 0 25 0 1 0 90720192 1200230400 289524 1992294400 134512640 136421960 4291290576 18446744073709551615 134859861 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 293025 289524 217 467 0 292556 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1172100

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31318
/proc/meminfo: memFree=702136/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1194016 CPUtime=402.18
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 313440 0 0 0 39987 231 0 0 25 0 1 0 90720192 1222672384 294951 1992294400 134512640 136421960 4291290576 18446744073709551615 134860118 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 298504 294951 217 467 0 298035 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1194016

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31320
/proc/meminfo: memFree=694696/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1201108 CPUtime=462.16
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 315264 0 0 0 45985 231 0 0 25 0 1 0 90720192 1229934592 296775 1992294400 134512640 136421960 4291290576 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 300277 296775 217 467 0 299808 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1201108

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31322
/proc/meminfo: memFree=687132/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1208928 CPUtime=522.15
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 317219 0 0 0 51983 232 0 0 25 0 1 0 90720192 1237942272 298730 1992294400 134512640 136421960 4291290576 18446744073709551615 134859876 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 302232 298730 217 467 0 301763 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1208928

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31322
/proc/meminfo: memFree=682916/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1212920 CPUtime=582.14
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 318177 0 0 0 57981 233 0 0 25 0 1 0 90720192 1242030080 299688 1992294400 134512640 136421960 4291290576 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 303230 299688 217 467 0 302761 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1212920

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31324
/proc/meminfo: memFree=678576/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1217452 CPUtime=642.13
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 319271 0 0 0 63979 234 0 0 25 0 1 0 90720192 1246670848 300782 1992294400 134512640 136421960 4291290576 18446744073709551615 134859865 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 304363 300782 217 467 0 303894 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1217452

[startup+702.301 s]

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

[startup+882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31330
/proc/meminfo: memFree=661216/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1234760 CPUtime=882.06
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 323538 0 0 0 87971 235 0 0 25 0 1 0 90720192 1264394240 305049 1992294400 134512640 136421960 4291290576 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 308690 305049 217 467 0 308221 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 1234760

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31332
/proc/meminfo: memFree=657000/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1239136 CPUtime=942.05
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 324613 0 0 0 93969 236 0 0 25 0 1 0 90720192 1268875264 306124 1992294400 134512640 136421960 4291290576 18446744073709551615 134860102 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 309784 306124 217 467 0 309315 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1239136

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31334
/proc/meminfo: memFree=652536/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1243600 CPUtime=1002.03
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 325708 0 0 0 99967 236 0 0 25 0 1 0 90720192 1273446400 307219 1992294400 134512640 136421960 4291290576 18446744073709551615 134860118 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 310900 307219 217 467 0 310431 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 1243600

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31336
/proc/meminfo: memFree=648320/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1248040 CPUtime=1062.01
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 326798 0 0 0 105964 237 0 0 25 0 1 0 90720192 1277992960 308309 1992294400 134512640 136421960 4291290576 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 312010 308309 217 467 0 311541 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1248040

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31338
/proc/meminfo: memFree=643608/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1252480 CPUtime=1122
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 327908 0 0 0 111962 238 0 0 25 0 1 0 90720192 1282539520 309419 1992294400 134512640 136421960 4291290576 18446744073709551615 134860107 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 313120 309419 217 467 0 312651 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1252480

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31338
/proc/meminfo: memFree=639640/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1256896 CPUtime=1181.98
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 328930 0 0 0 117960 238 0 0 25 0 1 0 90720192 1287061504 310441 1992294400 134512640 136421960 4291290576 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 314224 310441 217 467 0 313755 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1256896

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31340
/proc/meminfo: memFree=634928/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1261536 CPUtime=1241.97
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 330039 0 0 0 123958 239 0 0 25 0 1 0 90720192 1291812864 311550 1992294400 134512640 136421960 4291290576 18446744073709551615 135020787 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 315384 311550 217 467 0 314915 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1261536

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31342
/proc/meminfo: memFree=630588/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1265832 CPUtime=1301.96
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 331081 0 0 0 129957 239 0 0 25 0 1 0 90720192 1296211968 312592 1992294400 134512640 136421960 4291290576 18446744073709551615 134859887 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 316458 312592 217 467 0 315989 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1265832

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31344
/proc/meminfo: memFree=619676/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1277392 CPUtime=1361.94
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 334058 0 0 0 135948 246 0 0 25 0 1 0 90720192 1308049408 315390 1992294400 134512640 136421960 4291290576 18446744073709551615 134859881 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 319348 315390 217 467 0 318879 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1277392

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31346
/proc/meminfo: memFree=605788/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1290736 CPUtime=1421.94
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 337473 0 0 0 141947 247 0 0 25 0 1 0 90720192 1321713664 318805 1992294400 134512640 136421960 4291290576 18446744073709551615 134859884 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 322684 318805 217 467 0 322215 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1290736

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31346
/proc/meminfo: memFree=526428/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1372200 CPUtime=1481.91
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 357496 0 0 0 147900 291 0 0 25 0 1 0 90720192 1405132800 338828 1992294400 134512640 136421960 4291290576 18446744073709551615 135006405 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 343050 338828 217 467 0 342581 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1372200

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31348
/proc/meminfo: memFree=497784/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1400104 CPUtime=1541.89
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 364755 0 0 0 153890 299 0 0 25 0 1 0 90720192 1433706496 345775 1992294400 134512640 136421960 4291290576 18446744073709551615 134865352 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 350026 345775 217 467 0 349557 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1400104

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31350
/proc/meminfo: memFree=488484/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1409668 CPUtime=1601.88
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 367100 0 0 0 159888 300 0 0 25 0 1 0 90720192 1443500032 348120 1992294400 134512640 136421960 4291290576 18446744073709551615 134860102 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 352417 348120 217 467 0 351948 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1409668

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31352
/proc/meminfo: memFree=480548/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1417324 CPUtime=1661.86
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 369014 0 0 0 165885 301 0 0 25 0 1 0 90720192 1451339776 350034 1992294400 134512640 136421960 4291290576 18446744073709551615 134859884 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 354331 350034 217 467 0 353862 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1417324

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31354
/proc/meminfo: memFree=472984/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1424708 CPUtime=1721.85
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 370876 0 0 0 171883 302 0 0 25 0 1 0 90720192 1458900992 351896 1992294400 134512640 136421960 4291290576 18446744073709551615 134859884 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 356177 351896 217 467 0 355708 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1424708

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31354
/proc/meminfo: memFree=465296/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1432436 CPUtime=1781.83
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 372751 0 0 0 177880 303 0 0 25 0 1 0 90720192 1466814464 353771 1992294400 134512640 136421960 4291290576 18446744073709551615 135020784 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 358109 353771 217 467 0 357640 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1432436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 31365
/proc/meminfo: memFree=449052/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=1448500 CPUtime=1800.03
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4202496 376703 0 0 0 179690 313 0 0 25 0 1 0 90720192 1483264000 357723 1992294400 134512640 136421960 4291290576 18446744073709551615 135010246 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/31304/statm: 362125 357723 217 467 0 361656 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1448500

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/108 31366
/proc/meminfo: memFree=1521320/2059040 swapFree=4140788/4192956
[pid=31304] ppid=31302 vsize=0 CPUtime=1800.14
/proc/31304/stat : 31304 (pbct) R 31302 31304 31059 0 -1 4194308 376705 0 0 0 179690 324 0 0 25 0 1 0 90720192 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/31304/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.18
CPU user time (s): 1796.9
CPU system time (s): 3.2735
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 1448500

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

runsolver used 3.04754 second user time and 8.43372 second system time

The end

Launcher Data 

Begin job on node036 at 2010-06-25 21:31:13
IDJOB=2682006
IDBENCH=2990
IDSOLVER=1192
FILE ID=node036/2682006-1277494271
PBS_JOBID= 11190564
Free space on /tmp= 62364 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682006-1277494271/watcher-2682006-1277494271 -o /tmp/evaluation-result-2682006-1277494271/solver-2682006-1277494271 -C 1800 -W 2000 -M 1800  HOME/pbct --model HOME/instance-2682006-1277494271.opb

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

MD5SUM BENCH= 2191fd085de8ae061d8b0a530b1c363f
RANDOM SEED=1065447102

node036.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:       1884268 kB
Buffers:          5916 kB
Cached:          75644 kB
SwapCached:       5120 kB
Active:          75244 kB
Inactive:        19424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1884268 kB
SwapTotal:     4192956 kB
SwapFree:      4140788 kB
Dirty:           14480 kB
Writeback:           0 kB
AnonPages:       11932 kB
Mapped:          12012 kB
Slab:            58132 kB
PageTables:       4168 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182636 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= 62364 MiB
End job on node036 at 2010-06-25 22:01:15