Trace number 2059097

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
pcs 0.3.2? (TO) 1800.16 1810.88

General information on the benchmark

Namecsp/QCP-25/
normalized-qcp-25-264-3_ext.xml
MD5SUMa414c4edd3a47ab64cb6b3159265ed08
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark102.238
Satisfiable
(Un)Satisfiability was proved
Number of variables625
Number of constraints10142
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension10142
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c small-domain mode
0.18/0.20	c Seed is 1490578598
0.18/0.20	c Constructing HOME/instance-2059097-1247694516.xml  with 70862 constraints
0.27/0.30	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line 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-2059097-1247694516/watcher-2059097-1247694516 -o /tmp/evaluation-result-2059097-1247694516/solver-2059097-1247694516 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1490578598 HOME/instance-2059097-1247694516.xml 

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


[startup+0 s]
/proc/loadavg: 1.98 1.20 0.50 4/72 13337
/proc/meminfo: memFree=1313120/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=5260 CPUtime=0
/proc/13337/stat : 13337 (pcssolve) R 13335 13337 13123 0 -1 4194304 66 0 0 0 0 0 0 0 22 0 1 0 56518475 5386240 50 996147200 4194304 4889804 548682068800 18446744073709551615 240469942938 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 1315 50 37 169 0 14 0

[startup+0.10833 s]
/proc/loadavg: 1.98 1.20 0.50 4/72 13337
/proc/meminfo: memFree=1313120/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=7560 CPUtime=0.07
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 1723 824 0 0 7 0 0 0 18 0 1 0 56518475 7741440 1105 996147200 134512640 135095119 4294956304 18446744073709551615 134706689 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 1890 1105 367 142 0 844 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7560

[startup+0.201337 s]
/proc/loadavg: 1.98 1.20 0.50 4/72 13337
/proc/meminfo: memFree=1313120/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=10956 CPUtime=0.18
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 2809 824 0 0 16 2 0 0 18 0 1 0 56518475 11218944 1901 996147200 134512640 135095119 4294956304 18446744073709551615 134705573 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 2739 1901 367 142 0 1693 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10956

[startup+0.301346 s]
/proc/loadavg: 1.98 1.20 0.50 4/72 13337
/proc/meminfo: memFree=1313120/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=15900 CPUtime=0.27
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 4236 824 0 0 25 2 0 0 19 0 1 0 56518475 16281600 2750 996147200 134512640 135095119 4294956304 18446744073709551615 134705538 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 3975 2750 367 142 0 2929 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 15900

[startup+0.701384 s]
/proc/loadavg: 1.98 1.20 0.50 4/72 13337
/proc/meminfo: memFree=1313120/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=16064 CPUtime=0.67
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 4318 824 0 0 65 2 0 0 23 0 1 0 56518475 16449536 2832 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 4016 2832 378 142 0 2970 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 16064

[startup+1.50146 s]
/proc/loadavg: 1.98 1.20 0.50 3/73 13343
/proc/meminfo: memFree=1302552/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=16192 CPUtime=1.47
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 4370 824 0 0 144 3 0 0 25 0 1 0 56518475 16580608 2884 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 4048 2884 378 142 0 3002 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 16192

[startup+3.1026 s]
/proc/loadavg: 1.98 1.20 0.50 3/73 13343
/proc/meminfo: memFree=1301656/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=16708 CPUtime=3.05
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 4523 824 0 0 302 3 0 0 25 0 1 0 56518475 17108992 3004 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 4177 3004 378 142 0 3131 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 16708

[startup+6.30189 s]
/proc/loadavg: 1.98 1.21 0.51 3/73 13343
/proc/meminfo: memFree=1298328/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=18116 CPUtime=6.22
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 5007 824 0 0 618 4 0 0 25 0 1 0 56518475 18550784 3423 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 4529 3423 378 142 0 3483 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 18116

[startup+12.7015 s]
/proc/loadavg: 1.98 1.23 0.52 3/73 13343
/proc/meminfo: memFree=1291480/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=21060 CPUtime=12.56
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 6005 824 0 0 1251 5 0 0 25 0 1 0 56518475 21565440 4292 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 5265 4292 378 142 0 4219 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 21060

[startup+25.5016 s]
/proc/loadavg: 1.98 1.26 0.54 3/73 13343
/proc/meminfo: memFree=1278936/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=26180 CPUtime=25.23
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 7745 824 0 0 2516 7 0 0 25 0 1 0 56518475 26808320 5775 996147200 134512640 135095119 4294956304 18446744073709551615 134578949 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 6545 5775 378 142 0 5499 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 26180

[startup+51.102 s]
/proc/loadavg: 1.99 1.32 0.58 3/73 13343
/proc/meminfo: memFree=1234968/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=40404 CPUtime=50.6
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 12031 824 0 0 5049 11 0 0 25 0 1 0 56518475 41373696 8394 996147200 134512640 135095119 4294956304 18446744073709551615 134617205 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 10101 8394 378 142 0 9055 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 40404

[startup+102.302 s]
/proc/loadavg: 1.99 1.42 0.65 3/73 13343
/proc/meminfo: memFree=1211160/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=57812 CPUtime=101.32
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 17622 824 0 0 10116 16 0 0 25 0 1 0 56518475 59199488 12960 996147200 134512640 135095119 4294956304 18446744073709551615 134555025 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 14453 12960 378 142 0 13407 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 57812

[startup+162.301 s]
/proc/loadavg: 1.99 1.53 0.73 3/73 13345
/proc/meminfo: memFree=1171032/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=80596 CPUtime=160.76
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 24657 824 0 0 16052 24 0 0 25 0 1 0 56518475 82530304 17946 996147200 134512640 135095119 4294956304 18446744073709551615 134642668 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 20149 17946 378 142 0 19103 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 80596

[startup+222.306 s]
/proc/loadavg: 1.99 1.61 0.81 3/73 13345
/proc/meminfo: memFree=1119064/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=111276 CPUtime=220.2
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 33683 824 0 0 21990 30 0 0 25 0 1 0 56518475 113946624 24666 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 27819 24666 378 142 0 26773 0
Current children cumulated CPU time (s) 220.2
Current children cumulated vsize (KiB) 111276

[startup+282.302 s]
/proc/loadavg: 1.99 1.68 0.88 3/73 13345
/proc/meminfo: memFree=1085144/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=133292 CPUtime=279.63
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 40223 824 0 0 27928 35 0 0 25 0 1 0 56518475 136491008 27109 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 33323 27109 378 142 0 32277 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 133292

[startup+342.301 s]
/proc/loadavg: 1.99 1.73 0.95 3/73 13345
/proc/meminfo: memFree=1043416/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=146732 CPUtime=339.06
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 44626 824 0 0 33865 41 0 0 25 0 1 0 56518475 150253568 31512 996147200 134512640 135095119 4294956304 18446744073709551615 134617064 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 36683 31512 378 142 0 35637 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 146732

[startup+402.302 s]
/proc/loadavg: 1.99 1.78 1.01 3/73 13345
/proc/meminfo: memFree=935384/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=159660 CPUtime=398.51
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 48854 824 0 0 39805 46 0 0 25 0 1 0 56518475 163491840 35740 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 39915 35740 378 142 0 38869 0
Current children cumulated CPU time (s) 398.51
Current children cumulated vsize (KiB) 159660

[startup+462.301 s]
/proc/loadavg: 1.99 1.82 1.07 3/73 13345
/proc/meminfo: memFree=915352/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=172460 CPUtime=457.95
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 52960 824 0 0 45743 52 0 0 25 0 1 0 56518475 176599040 39846 996147200 134512640 135095119 4294956304 18446744073709551615 134642890 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 43115 39846 378 142 0 42069 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 172460

[startup+522.302 s]
/proc/loadavg: 1.99 1.85 1.13 3/73 13345
/proc/meminfo: memFree=895192/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=185388 CPUtime=517.38
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 57114 824 0 0 51682 56 0 0 25 0 1 0 56518475 189837312 44000 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 46347 44000 378 142 0 45301 0
Current children cumulated CPU time (s) 517.38
Current children cumulated vsize (KiB) 185388

[startup+582.302 s]
/proc/loadavg: 1.99 1.87 1.18 3/73 13345
/proc/meminfo: memFree=875096/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=197676 CPUtime=576.82
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 61080 824 0 0 57620 62 0 0 25 0 1 0 56518475 202420224 47966 996147200 134512640 135095119 4294956304 18446744073709551615 134636916 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 49419 47966 378 142 0 48373 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 197676

[startup+642.301 s]
/proc/loadavg: 1.99 1.89 1.23 3/73 13345
/proc/meminfo: memFree=796440/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=284644 CPUtime=636.26
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 83613 824 0 0 63552 74 0 0 25 0 1 0 56518475 291475456 66402 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 71161 66402 378 142 0 70115 0
Current children cumulated CPU time (s) 636.26
Current children cumulated vsize (KiB) 284644

[startup+702.302 s]

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

[startup+882.306 s]
/proc/loadavg: 2.04 1.96 1.40 3/73 13351
/proc/meminfo: memFree=719000/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=317412 CPUtime=873.99
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 94363 824 0 0 87318 81 0 0 25 0 1 0 56518475 325029888 68959 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 79353 68959 378 142 0 78307 0
Current children cumulated CPU time (s) 873.99
Current children cumulated vsize (KiB) 317412

[startup+942.302 s]
/proc/loadavg: 2.06 1.98 1.44 3/73 13351
/proc/meminfo: memFree=696664/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=317412 CPUtime=933.44
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 95056 824 0 0 93262 82 0 0 25 0 1 0 56518475 325029888 69652 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 79353 69652 378 142 0 78307 0
Current children cumulated CPU time (s) 933.44
Current children cumulated vsize (KiB) 317412

[startup+1002.3 s]
/proc/loadavg: 2.06 2.00 1.47 3/73 13351
/proc/meminfo: memFree=672664/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=318820 CPUtime=992.88
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 96104 824 0 0 99204 84 0 0 25 0 1 0 56518475 326471680 70700 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 79705 70700 378 142 0 78659 0
Current children cumulated CPU time (s) 992.88
Current children cumulated vsize (KiB) 318820

[startup+1062.3 s]
/proc/loadavg: 2.14 2.04 1.52 3/73 13351
/proc/meminfo: memFree=640536/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=329192 CPUtime=1052.31
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 99395 824 0 0 105142 89 0 0 25 0 1 0 56518475 337092608 73991 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/13337/statm: 82298 73991 378 142 0 81252 0
Current children cumulated CPU time (s) 1052.31
Current children cumulated vsize (KiB) 329192

[startup+1122.3 s]
/proc/loadavg: 2.05 2.03 1.55 3/73 13383
/proc/meminfo: memFree=1092248/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=339436 CPUtime=1111.81
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 102671 824 0 0 111088 93 0 0 25 0 1 0 56518475 347582464 77267 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 84859 77267 378 142 0 83813 0
Current children cumulated CPU time (s) 1111.81
Current children cumulated vsize (KiB) 339436

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 1.57 3/73 13383
/proc/meminfo: memFree=1064344/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=350064 CPUtime=1171.78
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 106043 824 0 0 117082 96 0 0 25 0 1 0 56518475 358465536 80639 996147200 134512640 135095119 4294956304 18446744073709551615 134637390 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 87516 80639 378 142 0 86470 0
Current children cumulated CPU time (s) 1171.78
Current children cumulated vsize (KiB) 350064

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.60 3/73 13383
/proc/meminfo: memFree=1045528/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=360688 CPUtime=1231.76
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 109403 824 0 0 123075 101 0 0 25 0 1 0 56518475 369344512 83999 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 90172 83999 378 142 0 89126 0
Current children cumulated CPU time (s) 1231.76
Current children cumulated vsize (KiB) 360688

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.62 3/73 13383
/proc/meminfo: memFree=1026904/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=371312 CPUtime=1291.74
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 112747 824 0 0 129068 106 0 0 25 0 1 0 56518475 380223488 87343 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 92828 87343 378 142 0 91782 0
Current children cumulated CPU time (s) 1291.74
Current children cumulated vsize (KiB) 371312

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.64 3/73 13383
/proc/meminfo: memFree=1003992/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=381808 CPUtime=1351.72
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 116067 824 0 0 135062 110 0 0 25 0 1 0 56518475 390971392 90663 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 95452 90663 378 142 0 94406 0
Current children cumulated CPU time (s) 1351.72
Current children cumulated vsize (KiB) 381808

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/73 13383
/proc/meminfo: memFree=989144/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=392176 CPUtime=1411.7
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 119326 824 0 0 141056 114 0 0 25 0 1 0 56518475 401588224 93922 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 98044 93922 378 142 0 96998 0
Current children cumulated CPU time (s) 1411.7
Current children cumulated vsize (KiB) 392176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/73 13383
/proc/meminfo: memFree=974552/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=402544 CPUtime=1471.67
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 122578 824 0 0 147049 118 0 0 25 0 1 0 56518475 412205056 97174 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 100636 97174 378 142 0 99590 0
Current children cumulated CPU time (s) 1471.67
Current children cumulated vsize (KiB) 402544

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 1.69 3/73 13383
/proc/meminfo: memFree=958424/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=412660 CPUtime=1531.65
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 125759 824 0 0 153043 122 0 0 25 0 1 0 56518475 422563840 100355 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 103165 100355 378 142 0 102119 0
Current children cumulated CPU time (s) 1531.65
Current children cumulated vsize (KiB) 412660

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/73 13383
/proc/meminfo: memFree=942360/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=422900 CPUtime=1591.63
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 129013 824 0 0 159037 126 0 0 25 0 1 0 56518475 433049600 103609 996147200 134512640 135095119 4294956304 18446744073709551615 134837921 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 105725 103609 378 142 0 104679 0
Current children cumulated CPU time (s) 1591.63
Current children cumulated vsize (KiB) 422900

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/73 13383
/proc/meminfo: memFree=926616/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=498292 CPUtime=1651.61
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 148479 824 0 0 165022 139 0 0 25 0 1 0 56518475 510251008 106690 996147200 134512640 135095119 4294956304 18446744073709551615 4159337230 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 124573 106690 378 142 0 123527 0
Current children cumulated CPU time (s) 1651.61
Current children cumulated vsize (KiB) 498292

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/73 13383
/proc/meminfo: memFree=910872/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=508660 CPUtime=1711.59
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 151736 824 0 0 171016 143 0 0 25 0 1 0 56518475 520867840 109947 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 127165 109947 378 142 0 126119 0
Current children cumulated CPU time (s) 1711.59
Current children cumulated vsize (KiB) 508660

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/73 13383
/proc/meminfo: memFree=895128/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=518772 CPUtime=1771.56
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 154886 824 0 0 177009 147 0 0 25 0 1 0 56518475 531222528 113097 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 129693 113097 378 142 0 128647 0
Current children cumulated CPU time (s) 1771.56
Current children cumulated vsize (KiB) 518772



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.8 s]
/proc/loadavg: 2.00 2.00 1.76 3/73 13383
/proc/meminfo: memFree=887832/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=523508 CPUtime=1800.06
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 156389 824 0 0 179856 150 0 0 25 0 1 0 56518475 536072192 114600 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 130877 114600 378 142 0 129831 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 523508

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

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

[startup+1810.8 s]
/proc/loadavg: 2.00 2.00 1.76 3/73 13383
/proc/meminfo: memFree=887832/2055920 swapFree=4191900/4192956
[pid=13337] ppid=13335 vsize=523508 CPUtime=1800.06
/proc/13337/stat : 13337 (pcs.small) R 13335 13337 13123 0 -1 4194304 156389 824 0 0 179856 150 0 0 25 0 1 0 56518475 536072192 114600 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/13337/statm: 130877 114600 378 142 0 129831 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 523508

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1810.88
CPU time (s): 1800.16
CPU user time (s): 1798.57
CPU system time (s): 1.58676
CPU usage (%): 99.4078
Max. virtual memory (cumulated for all children) (KiB): 555896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.58676
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 157213
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= 21
involuntary context switches= 26638

runsolver used 2.90756 second user time and 5.33119 second system time

The end

Launcher Data 

Begin job on node15 at 2009-07-15 23:48:36
IDJOB=2059097
IDBENCH=53551
IDSOLVER=733
FILE ID=node15/2059097-1247694516
PBS_JOBID= 9521279
Free space on /tmp= 66304 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/QCP-25/normalized-qcp-25-264-3_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059097-1247694516/watcher-2059097-1247694516 -o /tmp/evaluation-result-2059097-1247694516/solver-2059097-1247694516 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1490578598 HOME/instance-2059097-1247694516.xml

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

MD5SUM BENCH= a414c4edd3a47ab64cb6b3159265ed08
RANDOM SEED=1490578598

node15.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/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.220
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
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.220
cache size	: 2048 KB
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 pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1313664 kB
Buffers:         76184 kB
Cached:         490996 kB
SwapCached:        416 kB
Active:         268920 kB
Inactive:       406104 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1313664 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2436 kB
Writeback:           0 kB
Mapped:         118520 kB
Slab:            52384 kB
Committed_AS:   919072 kB
PageTables:       2080 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66304 MiB
End job on node15 at 2009-07-16 00:18:49