Trace number 2701365

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.04

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen06-16reduc_wcsp.wbo
MD5SUMe51a1e905ff19ece48b75fd81968c4c3
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 variables1921
Total number of constraints124511
Number of soft constraints124429
Number of constraints which are clauses124429
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint28
Top cost 3389
Min constraint cost 1
Max constraint cost 2436
Sum of constraints costs 44162576
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 29
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.69/0.70	c constraints 82/0 clauses 0/124429 units 0
0.69/0.70	c vars 1921
0.69/0.70	c Setting top cost 3389
1800.04/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-2701365-1278539421/watcher-2701365-1278539421 -o /tmp/evaluation-result-2701365-1278539421/solver-2701365-1278539421 -C 1800 -W 2000 -M 3800 HOME/pbct --model HOME/instance-2701365-1278539421.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: 2.00 2.00 1.94 4/196 20577
/proc/meminfo: memFree=29151564/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=2268 CPUtime=0
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 292 0 0 0 0 0 0 0 23 0 1 0 22155711 2322432 211 4089446400 134512640 136422188 4294821568 18446744073709551615 135811945 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20577/statm: 567 212 144 467 0 98 0

[startup+0.0120389 s]
/proc/loadavg: 2.00 2.00 1.94 4/196 20577
/proc/meminfo: memFree=29151564/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=2400 CPUtime=0.01
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 307 0 0 0 1 0 0 0 23 0 1 0 22155711 2457600 226 4089446400 134512640 136422188 4294821568 18446744073709551615 135380640 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/20577/statm: 600 226 144 467 0 131 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2400

[startup+0.101019 s]
/proc/loadavg: 2.00 2.00 1.94 4/196 20577
/proc/meminfo: memFree=29151564/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=3840 CPUtime=0.09
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 705 0 0 0 9 0 0 0 23 0 1 0 22155711 3932160 526 4089446400 134512640 136422188 4294821568 18446744073709551615 135809896 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20577/statm: 960 526 144 467 0 491 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3840

[startup+0.301056 s]
/proc/loadavg: 2.00 2.00 1.94 4/196 20577
/proc/meminfo: memFree=29151564/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=5804 CPUtime=0.29
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 1349 0 0 0 29 0 0 0 23 0 1 0 22155711 5943296 1041 4089446400 134512640 136422188 4294821568 18446744073709551615 134537360 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20577/statm: 1451 1041 144 467 0 982 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5804

[startup+0.700989 s]
/proc/loadavg: 2.00 2.00 1.94 4/196 20577
/proc/meminfo: memFree=29151564/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=10128 CPUtime=0.69
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 2697 0 0 0 69 0 0 0 25 0 1 0 22155711 10371072 2132 4089446400 134512640 136422188 4294821568 18446744073709551615 135806271 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/20577/statm: 2532 2133 144 467 0 2063 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10128

[startup+1.50085 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 20578
/proc/meminfo: memFree=29080164/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=184032 CPUtime=1.49
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 47986 0 0 0 144 5 0 0 25 0 1 0 22155711 188448768 44822 4089446400 134512640 136422188 4294821568 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20577/statm: 46008 44824 195 467 0 45539 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 184032

[startup+3.10055 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 20578
/proc/meminfo: memFree=28851384/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=525320 CPUtime=3.09
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 138680 0 0 0 292 17 0 0 25 0 1 0 22155711 537927680 126180 4089446400 134512640 136422188 4294821568 18446744073709551615 135811945 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20577/statm: 131330 126182 195 467 0 130861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 525320

[startup+6.30089 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 20578
/proc/meminfo: memFree=28483108/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=691852 CPUtime=6.29
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 181224 0 0 0 607 22 0 0 25 0 1 0 22155711 708456448 167317 4089446400 134512640 136422188 4294821568 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 0 0 0 0
/proc/20577/statm: 172963 167317 209 467 0 172494 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 691852

[startup+12.7007 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 20578
/proc/meminfo: memFree=28480392/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=695120 CPUtime=12.69
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 182060 0 0 0 1246 23 0 0 25 0 1 0 22155711 711802880 168153 4089446400 134512640 136422188 4294821568 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 173780 168153 209 467 0 173311 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 695120

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/197 20578
/proc/meminfo: memFree=28477792/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=698684 CPUtime=25.49
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 182945 0 0 0 2526 23 0 0 25 0 1 0 22155711 715452416 169038 4089446400 134512640 136422188 4294821568 18446744073709551615 135017833 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 174671 169038 209 467 0 174202 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 698684

[startup+51.1007 s]
/proc/loadavg: 2.07 2.02 1.94 3/197 20579
/proc/meminfo: memFree=28469840/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=706888 CPUtime=51.09
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 184896 0 0 0 4645 464 0 0 25 0 1 0 22155711 723853312 170989 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 176722 170989 217 467 0 176253 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 706888

[startup+102.306 s]
/proc/loadavg: 2.03 2.01 1.94 3/197 20581
/proc/meminfo: memFree=28462064/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=713888 CPUtime=102.3
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 186698 0 0 0 7353 2877 0 0 25 0 1 0 22155711 731021312 172791 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 178472 172791 217 467 0 178003 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 713888

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.94 3/197 20582
/proc/meminfo: memFree=28458408/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=716932 CPUtime=162.3
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 187475 0 0 0 10609 5621 0 0 25 0 1 0 22155711 734138368 173568 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 179233 173568 217 467 0 178764 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 716932

[startup+222.3 s]
/proc/loadavg: 2.21 2.08 1.97 3/179 20709
/proc/meminfo: memFree=27801204/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=723236 CPUtime=222.3
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 188845 0 0 0 13354 8876 0 0 25 0 1 0 22155711 740593664 174938 4089446400 134512640 136422188 4294821568 18446744073709551615 134974904 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 180809 174938 217 467 0 180340 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 723236

[startup+282.3 s]
/proc/loadavg: 2.08 2.07 1.97 3/179 20710
/proc/meminfo: memFree=27789860/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=724952 CPUtime=282.29
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 189254 0 0 0 16402 11827 0 0 25 0 1 0 22155711 742350848 175347 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 181238 175347 217 467 0 180769 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 724952

[startup+342.3 s]
/proc/loadavg: 2.07 2.07 1.98 3/179 20712
/proc/meminfo: memFree=27774196/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=729560 CPUtime=342.29
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 190354 0 0 0 20036 14193 0 0 25 0 1 0 22155711 747069440 176447 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 182390 176447 217 467 0 181921 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 729560

[startup+402.301 s]
/proc/loadavg: 2.03 2.05 1.98 3/179 20714
/proc/meminfo: memFree=27760768/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=733388 CPUtime=402.3
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 191309 0 0 0 23353 16877 0 0 25 0 1 0 22155711 750989312 177402 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 183347 177402 217 467 0 182878 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 733388

[startup+462.301 s]
/proc/loadavg: 2.01 2.04 1.98 3/179 20715
/proc/meminfo: memFree=27745460/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=738140 CPUtime=462.3
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 192492 0 0 0 26511 19719 0 0 25 0 1 0 22155711 755855360 178585 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 184535 178585 217 467 0 184066 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 738140

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 1.98 3/179 20717
/proc/meminfo: memFree=27729556/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=747120 CPUtime=522.3
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 194732 0 0 0 30165 22065 0 0 25 0 1 0 22155711 765050880 180825 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 186780 180825 217 467 0 186311 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 747120

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 1.98 3/179 20718
/proc/meminfo: memFree=27712264/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=756496 CPUtime=582.31
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 197081 0 0 0 34021 24210 0 0 25 0 1 0 22155711 774651904 183174 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 189124 183174 217 467 0 188655 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 756496

[startup+642.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/179 20729
/proc/meminfo: memFree=27701444/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=766540 CPUtime=642.31
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 199572 0 0 0 37060 27171 0 0 25 0 1 0 22155711 784936960 185665 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 191635 185665 217 467 0 191166 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 766540

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20734
/proc/meminfo: memFree=27684680/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=782540 CPUtime=822.31
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 203601 0 0 0 48087 34144 0 0 25 0 1 0 22155711 801320960 189694 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 195635 189694 217 467 0 195166 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 782540

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20735
/proc/meminfo: memFree=27680412/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=786768 CPUtime=882.31
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 204653 0 0 0 52100 36131 0 0 25 0 1 0 22155711 805650432 190746 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 196692 190746 217 467 0 196223 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 786768

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20737
/proc/meminfo: memFree=27673424/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=793948 CPUtime=942.31
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 206415 0 0 0 55744 38487 0 0 25 0 1 0 22155711 813002752 192508 4089446400 134512640 136422188 4294821568 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 198487 192508 217 467 0 198018 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 793948

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20739
/proc/meminfo: memFree=27667552/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=798704 CPUtime=1002.32
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 207605 0 0 0 59809 40423 0 0 25 0 1 0 22155711 817872896 193698 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 199676 193698 217 467 0 199207 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 798704

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20740
/proc/meminfo: memFree=27661420/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=804780 CPUtime=1062.32
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 209130 0 0 0 63657 42575 0 0 25 0 1 0 22155711 824094720 195223 4089446400 134512640 136422188 4294821568 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 201195 195223 217 467 0 200726 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 804780

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20742
/proc/meminfo: memFree=27656024/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=810072 CPUtime=1122.31
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 210468 0 0 0 66911 45320 0 0 25 0 1 0 22155711 829513728 196561 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 202518 196561 217 467 0 202049 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 810072

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20743
/proc/meminfo: memFree=27647684/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=815376 CPUtime=1182.31
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 211785 0 0 0 70805 47426 0 0 25 0 1 0 22155711 834945024 197878 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 203844 197878 217 467 0 203375 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 815376

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20745
/proc/meminfo: memFree=27638844/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=819484 CPUtime=1242.32
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 212833 0 0 0 74839 49393 0 0 25 0 1 0 22155711 839151616 198926 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 204871 198926 217 467 0 204402 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 819484

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20747
/proc/meminfo: memFree=27630988/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=827144 CPUtime=1302.33
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 214736 0 0 0 77547 52686 0 0 25 0 1 0 22155711 846995456 200829 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 206786 200829 217 467 0 206317 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 827144

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20748
/proc/meminfo: memFree=27623508/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=834676 CPUtime=1362.33
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 216634 0 0 0 80749 55484 0 0 25 0 1 0 22155711 854708224 202727 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 7 0 0 0
/proc/20577/statm: 208669 202727 217 467 0 208200 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 834676

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20750
/proc/meminfo: memFree=27615772/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=842756 CPUtime=1422.32
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 218642 0 0 0 83821 58411 0 0 25 0 1 0 22155711 862982144 204735 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20577/statm: 210689 204735 217 467 0 210220 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 842756

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20751
/proc/meminfo: memFree=27610260/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=848328 CPUtime=1482.33
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 219989 0 0 0 88168 60065 0 0 25 0 1 0 22155711 868687872 206082 4089446400 134512640 136422188 4294821568 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20577/statm: 212082 206082 217 467 0 211613 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 848328

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20753
/proc/meminfo: memFree=27603524/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=854964 CPUtime=1542.33
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 221650 0 0 0 92075 62158 0 0 25 0 1 0 22155711 875483136 207743 4089446400 134512640 136422188 4294821568 18446744073709551615 135022546 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20577/statm: 213741 207743 217 467 0 213272 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 854964

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20755
/proc/meminfo: memFree=27599520/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=859060 CPUtime=1602.33
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 222677 0 0 0 95850 64383 0 0 25 0 1 0 22155711 879677440 208770 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20577/statm: 214765 208770 217 467 0 214296 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 859060

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/179 20756
/proc/meminfo: memFree=27594276/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=864084 CPUtime=1662.33
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 223956 0 0 0 99682 66551 0 0 25 0 1 0 22155711 884822016 210049 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20577/statm: 216021 210049 217 467 0 215552 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 864084

[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 1.98 3/179 20761
/proc/meminfo: memFree=27591724/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=866592 CPUtime=1722.34
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 224585 0 0 0 103923 68311 0 0 25 0 1 0 22155711 887390208 210678 4089446400 134512640 136422188 4294821568 18446744073709551615 135022520 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20577/statm: 216648 210678 217 467 0 216179 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 866592

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/179 20762
/proc/meminfo: memFree=27584276/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=873332 CPUtime=1782.34
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 226299 0 0 0 107473 70761 0 0 25 0 1 0 22155711 894291968 212392 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20577/statm: 218333 212392 217 467 0 217864 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 873332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.00 1.98 3/179 20763
/proc/meminfo: memFree=27582648/32950928 swapFree=67111528/67111528
[pid=20577] ppid=20575 vsize=875180 CPUtime=1800.04
/proc/20577/stat : 20577 (pbct) R 20575 20577 18990 0 -1 4202496 226737 0 0 0 108442 71562 0 0 25 0 1 0 22155711 896184320 212830 4089446400 134512640 136422188 4294821568 18446744073709551615 135874785 0 0 4096 16387 0 0 0 17 5 0 0 0
/proc/20577/statm: 218795 212830 217 467 0 218326 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 875180

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.04
CPU time (s): 1800.08
CPU user time (s): 1084.42
CPU system time (s): 715.659
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 875180

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

runsolver used 2.72358 second user time and 5.47717 second system time

The end

Launcher Data 

Begin job on node116 at 2010-07-07 23:50:21
IDJOB=2701365
IDBENCH=79567
IDSOLVER=1212
FILE ID=node116/2701365-1278539421
PBS_JOBID= 11239245
Free space on /tmp= 73460 MiB

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

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

MD5SUM BENCH= e51a1e905ff19ece48b75fd81968c4c3
RANDOM SEED=1984477476

node116.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.858
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.71
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.858
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.83
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.858
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.858
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.83
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.858
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.73
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.858
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.858
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.858
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29152208 kB
Buffers:        145196 kB
Cached:        3377296 kB
SwapCached:          0 kB
Active:        1300848 kB
Inactive:      2345556 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29152208 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            5716 kB
Writeback:           0 kB
AnonPages:      123900 kB
Mapped:          20548 kB
Slab:            87380 kB
PageTables:       5632 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1638104 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= 73452 MiB
End job on node116 at 2010-07-08 00:20:23