Trace number 2668415

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? (MO) 1010.47 1010.77

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb
MD5SUM7d90035947bf106909c324d346feadc0
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 variables45751
Total number of constraints135901
Number of constraints which are clauses135900
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 constraint45300
Number of terms in the objective function 151
Biggest coefficient in the objective function 1427247692705959881058285969449495136382746624
Number of bits for the biggest coefficient in the objective function 151
Sum of the numbers in the objective function 2854495385411919762116571938898990272765493247
Number of bits of the sum of numbers in the objective function 151
Biggest number in a constraint 1453677448591213781098647615776009068707282721374636120562980398361278576226795846652382101427527131121525043212532355867069203257229312
Number of bits of the biggest number in a constraint 450
Biggest sum of numbers in a constraint 5814709794364855124394590463104036274829130884442601547409146523709370688892119900517445885328649663330068882186640259952495850427021820
Number of bits of the biggest sum of numbers451
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
1.79/1.84	c constraints 1/0 clauses 135900/0 units 0
1.79/1.84	c vars 45751
1.79/1.84	c objective 151 + -2854495385411919762116571938898990272765493247
1010.31/1010.60	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668415-1276626333/watcher-2668415-1276626333 -o /tmp/evaluation-result-2668415-1276626333/solver-2668415-1276626333 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668415-1276626333.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.15 1.03 1.01 3/105 11024
/proc/meminfo: memFree=1827396/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=2208 CPUtime=0
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 260 0 0 0 0 0 0 0 22 0 1 0 3926904 2260992 182 1992294400 134512640 136485738 4291932912 18446744073709551615 135415688 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11024/statm: 552 182 156 482 0 68 0

[startup+0.040984 s]
/proc/loadavg: 1.15 1.03 1.01 3/105 11024
/proc/meminfo: memFree=1827396/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=2340 CPUtime=0.03
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 287 0 0 0 3 0 0 0 22 0 1 0 3926904 2396160 209 1992294400 134512640 136485738 4291932912 18446744073709551615 135565493 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11024/statm: 585 209 156 482 0 101 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2340

[startup+0.100988 s]
/proc/loadavg: 1.15 1.03 1.01 3/105 11024
/proc/meminfo: memFree=1827396/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=2472 CPUtime=0.09
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 336 0 0 0 9 0 0 0 22 0 1 0 3926904 2531328 258 1992294400 134512640 136485738 4291932912 18446744073709551615 135860697 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11024/statm: 618 258 156 482 0 134 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2472

[startup+0.301008 s]
/proc/loadavg: 1.15 1.03 1.01 3/105 11024
/proc/meminfo: memFree=1827396/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=3132 CPUtime=0.29
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 500 0 0 0 29 0 0 0 22 0 1 0 3926904 3207168 422 1992294400 134512640 136485738 4291932912 18446744073709551615 135411121 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11024/statm: 783 422 156 482 0 299 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3132

[startup+0.701048 s]
/proc/loadavg: 1.15 1.03 1.01 3/105 11024
/proc/meminfo: memFree=1827396/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=4448 CPUtime=0.69
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 861 0 0 0 69 0 0 0 24 0 1 0 3926904 4554752 750 1992294400 134512640 136485738 4291932912 18446744073709551615 135178740 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11024/statm: 1112 750 156 482 0 628 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4448

[startup+1.50113 s]
/proc/loadavg: 1.14 1.03 1.01 2/106 11025
/proc/meminfo: memFree=1823916/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=8904 CPUtime=1.49
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 1971 0 0 0 148 1 0 0 25 0 1 0 3926904 9117696 1666 1992294400 134512640 136485738 4291932912 18446744073709551615 135839911 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/11024/statm: 2226 1666 156 482 0 1742 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8904

[startup+3.10031 s]
/proc/loadavg: 1.14 1.03 1.01 2/106 11025
/proc/meminfo: memFree=1787336/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=149516 CPUtime=3.09
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 38635 0 0 0 292 17 0 0 25 0 1 0 3926904 153104384 35606 1992294400 134512640 136485738 4291932912 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 37379 35607 194 482 0 36895 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 149516

[startup+6.30061 s]
/proc/loadavg: 1.29 1.06 1.02 2/106 11025
/proc/meminfo: memFree=1490356/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=399952 CPUtime=6.29
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 105490 0 0 0 582 47 0 0 25 0 1 0 3926904 409550848 98744 1992294400 134512640 136485738 4291932912 18446744073709551615 135082227 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 99988 98745 198 482 0 99504 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 399952

[startup+12.7002 s]
/proc/loadavg: 1.27 1.06 1.02 2/106 11025
/proc/meminfo: memFree=1209744/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=635148 CPUtime=12.69
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 166809 0 0 0 1189 80 0 0 25 0 1 0 3926904 650391552 154624 1992294400 134512640 136485738 4291932912 18446744073709551615 134878486 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 158787 154624 227 482 0 158303 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 635148

[startup+25.5015 s]
/proc/loadavg: 1.21 1.06 1.02 2/106 11025
/proc/meminfo: memFree=1196724/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=646604 CPUtime=25.49
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 169685 0 0 0 2457 92 0 0 25 0 1 0 3926904 662122496 157500 1992294400 134512640 136485738 4291932912 18446744073709551615 134878449 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 161651 157500 228 482 0 161167 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 646604

[startup+51.1011 s]
/proc/loadavg: 1.13 1.05 1.02 2/106 11025
/proc/meminfo: memFree=1171056/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=672856 CPUtime=51.07
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 176270 0 0 0 4998 109 0 0 25 0 1 0 3926904 689004544 164085 1992294400 134512640 136485738 4291932912 18446744073709551615 135185180 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 168214 164085 228 482 0 167730 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 672856

[startup+102.308 s]
/proc/loadavg: 1.06 1.04 1.01 2/106 11027
/proc/meminfo: memFree=1131996/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=712148 CPUtime=102.27
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 185798 0 0 0 10110 117 0 0 25 0 1 0 3926904 729239552 173613 1992294400 134512640 136485738 4291932912 18446744073709551615 134878726 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 178037 173613 228 482 0 177553 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 712148

[startup+162.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/106 11029
/proc/meminfo: memFree=1098640/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=747252 CPUtime=162.25
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 194398 0 0 0 16098 127 0 0 25 0 1 0 3926904 765186048 182213 1992294400 134512640 136485738 4291932912 18446744073709551615 135173679 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 186813 182213 228 482 0 186329 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 747252

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 11031
/proc/meminfo: memFree=969184/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=877648 CPUtime=222.23
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 226516 0 0 0 22064 159 0 0 25 0 1 0 3926904 898711552 214331 1992294400 134512640 136485738 4291932912 18446744073709551615 135293543 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 219412 214331 228 482 0 218928 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 877648

[startup+282.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/106 11031
/proc/meminfo: memFree=893420/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=954392 CPUtime=282.21
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 245466 0 0 0 28042 179 0 0 25 0 1 0 3926904 977297408 233281 1992294400 134512640 136485738 4291932912 18446744073709551615 135185366 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 238598 233281 228 482 0 238114 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 954392

[startup+342.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 11033
/proc/meminfo: memFree=771900/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1079484 CPUtime=342.2
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 275779 0 0 0 34020 200 0 0 25 0 1 0 3926904 1105391616 263594 1992294400 134512640 136485738 4291932912 18446744073709551615 135186898 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 269871 263594 228 482 0 269387 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1079484

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/106 11035
/proc/meminfo: memFree=670468/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1180488 CPUtime=402.18
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 301048 0 0 0 39994 224 0 0 25 0 1 0 3926904 1208819712 288863 1992294400 134512640 136485738 4291932912 18446744073709551615 134878726 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 295122 288863 228 482 0 294638 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1180488

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11040
/proc/meminfo: memFree=633084/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1215004 CPUtime=462.16
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 309714 0 0 0 45984 232 0 0 25 0 1 0 3926904 1244164096 297529 1992294400 134512640 136485738 4291932912 18446744073709551615 135859593 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 303751 297529 228 482 0 303267 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 1215004

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11042
/proc/meminfo: memFree=559552/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1290948 CPUtime=522.15
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 328543 0 0 0 51957 258 0 0 25 0 1 0 3926904 1321930752 316358 1992294400 134512640 136485738 4291932912 18446744073709551615 134880611 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 322737 316358 228 482 0 322253 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1290948

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11042
/proc/meminfo: memFree=471388/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1375616 CPUtime=582.12
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 350167 0 0 0 57934 278 0 0 25 0 1 0 3926904 1408630784 337982 1992294400 134512640 136485738 4291932912 18446744073709551615 135024897 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 343904 337982 228 482 0 343420 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1375616

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11044
/proc/meminfo: memFree=432452/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1409520 CPUtime=642.11
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 359697 0 0 0 63922 289 0 0 25 0 1 0 3926904 1443348480 347512 1992294400 134512640 136485738 4291932912 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 352380 347512 228 482 0 351896 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 1409520

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11046
/proc/meminfo: memFree=393144/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1449884 CPUtime=702.09
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 369571 0 0 0 69911 298 0 0 25 0 1 0 3926904 1484681216 357386 1992294400 134512640 136485738 4291932912 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 362471 357386 228 482 0 361987 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 1449884

[startup+762.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11048
/proc/meminfo: memFree=333624/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1508780 CPUtime=762.08
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 384407 0 0 0 75900 308 0 0 25 0 1 0 3926904 1544990720 372222 1992294400 134512640 136485738 4291932912 18446744073709551615 134880498 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 377195 372222 228 482 0 376711 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 1508780

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11050
/proc/meminfo: memFree=268896/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1573428 CPUtime=822.05
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 400634 0 0 0 81887 318 0 0 25 0 1 0 3926904 1611190272 388449 1992294400 134512640 136485738 4291932912 18446744073709551615 135028854 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 393357 388449 228 482 0 392873 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 1573428

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11050
/proc/meminfo: memFree=221032/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1620940 CPUtime=882.04
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 412495 0 0 0 87878 326 0 0 25 0 1 0 3926904 1659842560 400310 1992294400 134512640 136485738 4291932912 18446744073709551615 134882405 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 405235 400310 228 482 0 404751 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 1620940

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11052
/proc/meminfo: memFree=129272/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1715376 CPUtime=942.01
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 435610 0 0 0 93837 364 0 0 25 0 1 0 3926904 1756545024 423425 1992294400 134512640 136485738 4291932912 18446744073709551615 135025013 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 428844 423425 228 482 0 428360 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 1715376

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11054
/proc/meminfo: memFree=26104/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1820208 CPUtime=1002
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 461184 0 0 0 99797 403 0 0 25 0 1 0 3926904 1863892992 448999 1992294400 134512640 136485738 4291932912 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 455052 448999 228 482 0 454568 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 1820208



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1010.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11054
/proc/meminfo: memFree=9252/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=1843288 CPUtime=1010.31
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4202496 466617 0 0 0 100621 410 0 0 25 0 1 0 3926904 1887526912 454432 1992294400 134512640 136485738 4291932912 18446744073709551615 134880498 0 0 4096 16387 0 0 0 17 1 0 0 0
/proc/11024/statm: 460822 454432 228 482 0 460338 0
Current children cumulated CPU time (s) 1010.31
Current children cumulated vsize (KiB) 1843288

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

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

[startup+1010.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/106 11054
/proc/meminfo: memFree=9252/2059040 swapFree=4140808/4192956
[pid=11024] ppid=11022 vsize=0 CPUtime=1010.41
/proc/11024/stat : 11024 (pbct) R 11022 11024 10380 0 -1 4194308 466617 0 0 0 100621 420 0 0 25 0 1 0 3926904 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0
/proc/11024/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1010.41
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1010.77
CPU time (s): 1010.47
CPU user time (s): 1006.21
CPU system time (s): 4.25935
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1843288

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

runsolver used 1.57776 second user time and 4.87726 second system time

The end

Launcher Data 

Begin job on node089 at 2010-06-15 20:25:34
IDJOB=2668415
IDBENCH=2996
IDSOLVER=1170
FILE ID=node089/2668415-1276626333
PBS_JOBID= 11172319
Free space on /tmp= 62552 MiB

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

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

MD5SUM BENCH= 7d90035947bf106909c324d346feadc0
RANDOM SEED=1671984690

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


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1827924 kB
Buffers:         49808 kB
Cached:         105892 kB
SwapCached:       3988 kB
Active:          34704 kB
Inactive:       132344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1827924 kB
SwapTotal:     4192956 kB
SwapFree:      4140808 kB
Dirty:            9004 kB
Writeback:           0 kB
AnonPages:       11264 kB
Mapped:          13060 kB
Slab:            42484 kB
PageTables:       3956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180448 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= 62548 MiB
End job on node089 at 2010-06-15 20:42:27