Trace number 2701335

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 NameAnswerCPU timeWall clock time
PB/CT 0.1 fixed? (TO) 1800.08 1800.03

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen06-22reduc_wcsp.wbo
MD5SUMec72443b0cc1ba3c5724b6333eaaea9c
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1430
Total number of constraints70954
Number of soft constraints70873
Number of constraints which are clauses70873
Number of constraints which are cardinality constraints (but not clauses)81
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint22
Top cost 3389
Min constraint cost 1
Max constraint cost 2435
Sum of constraints costs 23717414
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 23
Number of bits of the biggest sum of numbers5
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.2 http://www.residual.se/pbct
0.00/0.00	c Based on OpenSMT/CT 20091015
0.29/0.37	c constraints 81/0 clauses 0/70873 units 0
0.29/0.37	c vars 1430
0.29/0.37	c Setting top cost 3389
1800.05/1800.00	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-2701335-1278539318/watcher-2701335-1278539318 -o /tmp/evaluation-result-2701335-1278539318/solver-2701335-1278539318 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701335-1278539318.wbo 

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): 3891200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.49 2.33 2.07 4/178 19492
/proc/meminfo: memFree=30045496/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=2268 CPUtime=0
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 283 0 0 0 0 0 0 0 25 0 1 0 22146737 2322432 203 4089446400 134512640 136422188 4292317328 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19492/statm: 567 203 144 467 0 98 0

[startup+0.0468301 s]
/proc/loadavg: 3.49 2.33 2.07 4/178 19492
/proc/meminfo: memFree=30045496/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=2984 CPUtime=0.04
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 466 0 0 0 4 0 0 0 25 0 1 0 22146737 3055616 353 4089446400 134512640 136422188 4292317328 18446744073709551615 135377387 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19492/statm: 746 353 144 467 0 277 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2984

[startup+0.100831 s]
/proc/loadavg: 3.49 2.33 2.07 4/178 19492
/proc/meminfo: memFree=30045496/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=3768 CPUtime=0.1
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 700 0 0 0 10 0 0 0 25 0 1 0 22146737 3858432 522 4089446400 134512640 136422188 4292317328 18446744073709551615 135160514 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19492/statm: 942 522 144 467 0 473 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3768

[startup+0.300782 s]
/proc/loadavg: 3.49 2.33 2.07 4/178 19492
/proc/meminfo: memFree=30045496/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=5996 CPUtime=0.29
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 1407 0 0 0 29 0 0 0 25 0 1 0 22146737 6139904 1100 4089446400 134512640 136422188 4292317328 18446744073709551615 134516464 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/19492/statm: 1499 1100 144 467 0 1030 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5996

[startup+0.700722 s]
/proc/loadavg: 3.49 2.33 2.07 4/178 19492
/proc/meminfo: memFree=30045496/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=89024 CPUtime=0.68
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 22670 0 0 0 66 2 0 0 25 0 1 0 22146737 91160576 21269 4089446400 134512640 136422188 4292317328 18446744073709551615 135650304 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19492/statm: 22256 21270 195 467 0 21787 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 89024

[startup+1.50056 s]
/proc/loadavg: 3.49 2.33 2.07 3/179 19493
/proc/meminfo: memFree=29898300/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=260912 CPUtime=1.49
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 68351 0 0 0 139 10 0 0 25 0 1 0 22146737 267173888 62462 4089446400 134512640 136422188 4292317328 18446744073709551615 135642994 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19492/statm: 65228 62463 195 467 0 64759 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 260912

[startup+3.10027 s]
/proc/loadavg: 3.49 2.33 2.07 3/179 19493
/proc/meminfo: memFree=29662700/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=395296 CPUtime=3.08
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 102627 0 0 0 295 13 0 0 25 0 1 0 22146737 404783104 95896 4089446400 134512640 136422188 4292317328 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19492/statm: 98824 95896 209 467 0 98355 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 395296

[startup+6.30069 s]
/proc/loadavg: 3.37 2.32 2.07 3/179 19493
/proc/meminfo: memFree=29660412/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=397504 CPUtime=6.29
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 103198 0 0 0 616 13 0 0 25 0 1 0 22146737 407044096 96467 4089446400 134512640 136422188 4292317328 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19492/statm: 99376 96467 209 467 0 98907 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 397504

[startup+12.7005 s]
/proc/loadavg: 3.26 2.31 2.07 3/179 19494
/proc/meminfo: memFree=29653272/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=400336 CPUtime=12.69
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 103907 0 0 0 1255 14 0 0 25 0 1 0 22146737 409944064 97176 4089446400 134512640 136422188 4292317328 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19492/statm: 100084 97176 209 467 0 99615 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 400336

[startup+25.5002 s]
/proc/loadavg: 2.98 2.30 2.07 3/179 19494
/proc/meminfo: memFree=29649020/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=405548 CPUtime=25.49
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 105177 0 0 0 2211 338 0 0 25 0 1 0 22146737 415281152 98446 4089446400 134512640 136422188 4292317328 18446744073709551615 134861955 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19492/statm: 101387 98446 217 467 0 100918 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 405548

[startup+51.1005 s]
/proc/loadavg: 2.72 2.29 2.07 3/179 19495
/proc/meminfo: memFree=29644608/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=410376 CPUtime=51.09
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 106278 0 0 0 4088 1021 0 0 25 0 1 0 22146737 420225024 99547 4089446400 134512640 136422188 4292317328 18446744073709551615 134864545 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19492/statm: 102594 99547 217 467 0 102125 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 410376

[startup+102.306 s]
/proc/loadavg: 2.29 2.24 2.07 3/179 19497
/proc/meminfo: memFree=29633048/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=415544 CPUtime=102.3
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 107568 0 0 0 7800 2430 0 0 25 0 1 0 22146737 425517056 100837 4089446400 134512640 136422188 4292317328 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19492/statm: 103886 100837 217 467 0 103417 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 415544

[startup+162.3 s]
/proc/loadavg: 2.11 2.20 2.06 3/179 19498
/proc/meminfo: memFree=29624072/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=424388 CPUtime=162.29
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 109792 0 0 0 12128 4101 0 0 25 0 1 0 22146737 434573312 103061 4089446400 134512640 136422188 4292317328 18446744073709551615 134873052 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19492/statm: 106097 103061 217 467 0 105628 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 424388

[startup+222.3 s]
/proc/loadavg: 2.04 2.16 2.06 3/179 19499
/proc/meminfo: memFree=29617084/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=431068 CPUtime=222.29
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 111445 0 0 0 16574 5655 0 0 25 0 1 0 22146737 441413632 104714 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/19492/statm: 107767 104714 217 467 0 107298 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 431068

[startup+282.3 s]
/proc/loadavg: 1.96 2.11 2.05 3/197 19715
/proc/meminfo: memFree=29619600/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=434316 CPUtime=282.29
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 112241 0 0 0 19663 8566 0 0 25 0 1 0 22146737 444739584 105510 4089446400 134512640 136422188 4292317328 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 108579 105510 217 467 0 108110 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 434316

[startup+342.3 s]
/proc/loadavg: 2.05 2.10 2.05 3/197 19717
/proc/meminfo: memFree=29596484/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=439996 CPUtime=342.3
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 113656 0 0 0 22895 11335 0 0 25 0 1 0 22146737 450555904 106925 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 109999 106925 217 467 0 109530 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 439996

[startup+402.301 s]
/proc/loadavg: 2.02 2.08 2.04 3/197 19719
/proc/meminfo: memFree=29586028/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=450168 CPUtime=402.31
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 116227 0 0 0 25800 14431 0 0 25 0 1 0 22146737 460972032 109496 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 112542 109496 217 467 0 112073 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 450168

[startup+462.301 s]
/proc/loadavg: 2.00 2.07 2.03 3/197 19720
/proc/meminfo: memFree=29575540/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=459692 CPUtime=462.3
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 118598 0 0 0 29013 17217 0 0 25 0 1 0 22146737 470724608 111867 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 114923 111867 217 467 0 114454 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 459692

[startup+522.301 s]
/proc/loadavg: 2.00 2.05 2.03 3/197 19721
/proc/meminfo: memFree=29567064/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=467748 CPUtime=522.3
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 120609 0 0 0 32825 19405 0 0 25 0 1 0 22146737 478973952 113878 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 116937 113878 217 467 0 116468 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 467748

[startup+582.301 s]
/proc/loadavg: 2.00 2.04 2.02 3/197 19723
/proc/meminfo: memFree=29558188/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=476200 CPUtime=582.31
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 122727 0 0 0 36836 21395 0 0 25 0 1 0 22146737 487628800 115996 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 119050 115996 217 467 0 118581 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 476200

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.02 3/197 19725
/proc/meminfo: memFree=29549332/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=484384 CPUtime=642.31
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 124768 0 0 0 40476 23755 0 0 25 0 1 0 22146737 496009216 118037 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 121096 118037 217 467 0 120627 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 484384

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/197 19738
/proc/meminfo: memFree=29520960/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=511488 CPUtime=822.32
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 131541 0 0 0 52414 29818 0 0 25 0 1 0 22146737 523763712 124810 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 127872 124810 217 467 0 127403 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 511488

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19740
/proc/meminfo: memFree=29512464/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=519144 CPUtime=882.31
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 133463 0 0 0 56412 31819 0 0 25 0 1 0 22146737 531603456 126732 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 129786 126732 217 467 0 129317 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 519144

[startup+942.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/197 19742
/proc/meminfo: memFree=29511808/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=519540 CPUtime=942.31
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 133541 0 0 0 60431 33800 0 0 25 0 1 0 22146737 532008960 126810 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 129885 126810 217 467 0 129416 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 519540

[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 19744
/proc/meminfo: memFree=29511264/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=519540 CPUtime=1002.32
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 133541 0 0 0 64266 35966 0 0 25 0 1 0 22146737 532008960 126810 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 129885 126810 217 467 0 129416 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 519540

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19745
/proc/meminfo: memFree=29511200/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=519540 CPUtime=1062.32
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 133541 0 0 0 67736 38496 0 0 25 0 1 0 22146737 532008960 126810 4089446400 134512640 136422188 4292317328 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 129885 126810 217 467 0 129416 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 519540

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19746
/proc/meminfo: memFree=29511384/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=519540 CPUtime=1122.32
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 133541 0 0 0 71704 40528 0 0 25 0 1 0 22146737 532008960 126810 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 129885 126810 217 467 0 129416 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 519540

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19748
/proc/meminfo: memFree=29511344/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=519540 CPUtime=1182.32
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 133541 0 0 0 75498 42734 0 0 25 0 1 0 22146737 532008960 126810 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 129885 126810 217 467 0 129416 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 519540

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19750
/proc/meminfo: memFree=29511016/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=519540 CPUtime=1242.32
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 133541 0 0 0 79477 44755 0 0 25 0 1 0 22146737 532008960 126810 4089446400 134512640 136422188 4292317328 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 129885 126810 217 467 0 129416 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 519540

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19752
/proc/meminfo: memFree=29510952/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=519540 CPUtime=1302.33
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 133541 0 0 0 83410 46823 0 0 25 0 1 0 22146737 532008960 126810 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 129885 126810 217 467 0 129416 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 519540

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19753
/proc/meminfo: memFree=29510648/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=519540 CPUtime=1362.33
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 133541 0 0 0 87549 48684 0 0 25 0 1 0 22146737 532008960 126810 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 129885 126810 217 467 0 129416 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 519540

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19754
/proc/meminfo: memFree=29510704/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=519540 CPUtime=1422.34
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 133541 0 0 0 91437 50797 0 0 25 0 1 0 22146737 532008960 126810 4089446400 134512640 136422188 4292317328 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 129885 126810 217 467 0 129416 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 519540

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/197 19756
/proc/meminfo: memFree=29510776/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=519540 CPUtime=1482.33
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 133541 0 0 0 95300 52933 0 0 25 0 1 0 22146737 532008960 126810 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 129885 126810 217 467 0 129416 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 519540

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 19758
/proc/meminfo: memFree=29505504/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=524556 CPUtime=1542.34
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 134797 0 0 0 98491 55743 0 0 25 0 1 0 22146737 537145344 128066 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 131139 128066 217 467 0 130670 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 524556

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19760
/proc/meminfo: memFree=29500508/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=529572 CPUtime=1602.34
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 136050 0 0 0 101368 58866 0 0 25 0 1 0 22146737 542281728 129319 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 132393 129319 217 467 0 131924 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 529572

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/197 19761
/proc/meminfo: memFree=29497224/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=532608 CPUtime=1662.34
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 136815 0 0 0 104522 61712 0 0 25 0 1 0 22146737 545390592 130084 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 133152 130084 217 467 0 132683 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 532608

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/197 19762
/proc/meminfo: memFree=29494432/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=535380 CPUtime=1722.34
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 137528 0 0 0 107512 64722 0 0 25 0 1 0 22146737 548229120 130797 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 133845 130797 217 467 0 133376 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 535380

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/197 19764
/proc/meminfo: memFree=29490296/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=538812 CPUtime=1782.34
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 138361 0 0 0 110895 67339 0 0 25 0 1 0 22146737 551743488 131630 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 134703 131630 217 467 0 134234 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 538812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/197 19767
/proc/meminfo: memFree=29488776/32951124 swapFree=67111528/67111528
[pid=19492] ppid=19490 vsize=539736 CPUtime=1800.05
/proc/19492/stat : 19492 (pbct) R 19490 19492 18344 0 -1 4202496 138596 0 0 0 111719 68286 0 0 25 0 1 0 22146737 552689664 131865 4089446400 134512640 136422188 4292317328 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/19492/statm: 134934 131865 217 467 0 134465 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 539736

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

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

Child status: 0
Real time (s): 1800.03
CPU time (s): 1800.08
CPU user time (s): 1117.19
CPU system time (s): 682.886
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 539736

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1117.19
system time used= 682.886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138598
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= 2
involuntary context switches= 4875

runsolver used 2.57461 second user time and 5.62115 second system time

The end

Launcher Data 

Begin job on node104 at 2010-07-07 23:48:38
IDJOB=2701335
IDBENCH=79562
IDSOLVER=1212
FILE ID=node104/2701335-1278539318
PBS_JOBID= 11239270
Free space on /tmp= 73608 MiB

SOLVER NAME= PB/CT 0.1 fixed
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/scens/normalized-scen06-22reduc_wcsp.wbo
COMMAND LINE= HOME/pbct --model BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701335-1278539318/watcher-2701335-1278539318 -o /tmp/evaluation-result-2701335-1278539318/solver-2701335-1278539318 -C 1800 -W 2000 -M 3800  HOME/pbct --model HOME/instance-2701335-1278539318.wbo

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

MD5SUM BENCH= ec72443b0cc1ba3c5724b6333eaaea9c
RANDOM SEED=1469756280

node104.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	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30045892 kB
Buffers:        134900 kB
Cached:        2470956 kB
SwapCached:          0 kB
Active:        1055548 kB
Inactive:      1705044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30045892 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            4372 kB
Writeback:           0 kB
AnonPages:      154884 kB
Mapped:          15396 kB
Slab:            80996 kB
PageTables:       4956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   297828 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73604 MiB
End job on node104 at 2010-07-08 00:18:40