Trace number 2059955

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.13 1801.02

General information on the benchmark

Namecsp/frb59-26/
normalized-frb59-26-5-mgd_ext.xml
MD5SUM48e18c10d82e0c79227fc1d9662ae8b3
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables59
Number of constraints539
Maximum constraint arity2
Maximum domain size26
Number of constraints which are defined in extension539
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.17/0.22	c Seed is 2014198501
0.17/0.22	c Constructing HOME/instance-2059955-1247696029.xml  with 14005 constraints
0.17/0.26	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-2059955-1247696029/watcher-2059955-1247696029 -o /tmp/evaluation-result-2059955-1247696029/solver-2059955-1247696029 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2014198501 HOME/instance-2059955-1247696029.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.86 1.98 1.68 4/75 14964
/proc/meminfo: memFree=1310072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=18576 CPUtime=0
/proc/14964/stat : 14964 (runsolver) R 14962 14964 14714 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 56665576 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 209560595751 0 0 4096 24578 0 0 0 17 1 0 0
/proc/14964/statm: 4644 284 249 26 0 2626 0

[startup+0.078214 s]
/proc/loadavg: 1.86 1.98 1.68 4/75 14964
/proc/meminfo: memFree=1310072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=5300 CPUtime=0.05
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 1025 822 0 0 5 0 0 0 18 0 1 0 56665576 5427200 634 996147200 134512640 135095119 4294956304 18446744073709551615 4160172326 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 1325 634 364 142 0 279 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5300

[startup+0.101211 s]
/proc/loadavg: 1.86 1.98 1.68 4/75 14964
/proc/meminfo: memFree=1310072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=5564 CPUtime=0.07
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 1119 822 0 0 7 0 0 0 18 0 1 0 56665576 5697536 728 996147200 134512640 135095119 4294956304 18446744073709551615 9174757 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 1391 728 364 142 0 345 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5564

[startup+0.301258 s]
/proc/loadavg: 1.86 1.98 1.68 4/75 14964
/proc/meminfo: memFree=1310072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9540 CPUtime=0.27
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2185 822 0 0 27 0 0 0 19 0 1 0 56665576 9768960 1696 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 2385 1696 379 142 0 1339 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 9540

[startup+0.701323 s]
/proc/loadavg: 1.86 1.98 1.68 4/75 14964
/proc/meminfo: memFree=1310072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9540 CPUtime=0.67
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2187 822 0 0 67 0 0 0 23 0 1 0 56665576 9768960 1698 996147200 134512640 135095119 4294956304 18446744073709551615 134617227 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 2385 1698 379 142 0 1339 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 9540

[startup+1.50146 s]
/proc/loadavg: 1.86 1.98 1.68 3/76 14970
/proc/meminfo: memFree=1304688/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9540 CPUtime=1.46
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2189 822 0 0 146 0 0 0 25 0 1 0 56665576 9768960 1700 996147200 134512640 135095119 4294956304 18446744073709551615 134598480 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 2385 1700 379 142 0 1339 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 9540

[startup+3.10273 s]
/proc/loadavg: 1.86 1.98 1.68 3/76 14970
/proc/meminfo: memFree=1304432/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9540 CPUtime=3.05
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2197 822 0 0 304 1 0 0 25 0 1 0 56665576 9768960 1708 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 2385 1708 379 142 0 1339 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 9540

[startup+6.30127 s]
/proc/loadavg: 1.87 1.98 1.68 3/76 14970
/proc/meminfo: memFree=1304560/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9024 CPUtime=6.23
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2205 822 0 0 622 1 0 0 25 0 1 0 56665576 9240576 1587 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/14964/statm: 2256 1587 379 142 0 1210 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 9024

[startup+12.7013 s]
/proc/loadavg: 1.88 1.98 1.69 2/71 14988
/proc/meminfo: memFree=1406552/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=9024 CPUtime=12.57
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2205 822 0 0 1256 1 0 0 25 0 1 0 56665576 9240576 1587 996147200 134512640 135095119 4294956304 18446744073709551615 134606996 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 2256 1587 379 142 0 1210 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 9024

[startup+25.5015 s]
/proc/loadavg: 1.91 1.98 1.69 3/76 15003
/proc/meminfo: memFree=1393648/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=10052 CPUtime=25.36
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 2390 822 0 0 2535 1 0 0 25 0 1 0 56665576 10293248 1772 996147200 134512640 135095119 4294956304 18446744073709551615 134617012 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 2513 1772 379 142 0 1467 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 10052

[startup+51.1018 s]
/proc/loadavg: 1.94 1.98 1.70 3/76 15003
/proc/meminfo: memFree=1389168/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=14972 CPUtime=50.96
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 3522 822 0 0 5094 2 0 0 25 0 1 0 56665576 15331328 2647 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 3743 2647 379 142 0 2697 0
Current children cumulated CPU time (s) 50.96
Current children cumulated vsize (KiB) 14972

[startup+102.307 s]
/proc/loadavg: 1.97 1.98 1.71 3/76 15003
/proc/meminfo: memFree=1385008/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=17416 CPUtime=102.14
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 4436 822 0 0 10211 3 0 0 25 0 1 0 56665576 17833984 3048 996147200 134512640 135095119 4294956304 18446744073709551615 134607154 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 4354 3048 379 142 0 3308 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 17416

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.73 3/76 15003
/proc/meminfo: memFree=1379248/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=19256 CPUtime=162.1
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 5213 822 0 0 16206 4 0 0 25 0 1 0 56665576 19718144 3825 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 4814 3825 379 142 0 3768 0
Current children cumulated CPU time (s) 162.1
Current children cumulated vsize (KiB) 19256

[startup+222.302 s]
/proc/loadavg: 1.99 1.98 1.74 3/76 15003
/proc/meminfo: memFree=1371120/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=24472 CPUtime=222.09
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 6821 822 0 0 22203 6 0 0 25 0 1 0 56665576 25059328 4920 996147200 134512640 135095119 4294956304 18446744073709551615 134643061 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 6118 4920 379 142 0 5072 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 24472

[startup+282.302 s]
/proc/loadavg: 1.99 1.98 1.75 3/76 15003
/proc/meminfo: memFree=1368368/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=28832 CPUtime=282.06
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 8153 822 0 0 28199 7 0 0 25 0 1 0 56665576 29523968 5227 996147200 134512640 135095119 4294956304 18446744073709551615 134642638 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 7208 5227 379 142 0 6162 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 28832

[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.76 3/76 15003
/proc/meminfo: memFree=1363696/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=30152 CPUtime=342.03
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 8709 822 0 0 34196 7 0 0 25 0 1 0 56665576 30875648 5783 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 7538 5783 379 142 0 6492 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 30152

[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.78 3/76 15003
/proc/meminfo: memFree=1359024/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=31340 CPUtime=402.01
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 9237 822 0 0 40193 8 0 0 25 0 1 0 56665576 32092160 6311 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 7835 6311 379 142 0 6789 0
Current children cumulated CPU time (s) 402.01
Current children cumulated vsize (KiB) 31340

[startup+462.305 s]
/proc/loadavg: 1.99 1.98 1.79 3/76 15003
/proc/meminfo: memFree=1352048/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=32528 CPUtime=461.98
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 9754 822 0 0 46189 9 0 0 25 0 1 0 56665576 33308672 6828 996147200 134512640 135095119 4294956304 18446744073709551615 134607154 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 8132 6828 379 142 0 7086 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 32528

[startup+522.302 s]
/proc/loadavg: 1.99 1.98 1.80 3/76 15003
/proc/meminfo: memFree=1348784/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=33716 CPUtime=521.95
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 10225 822 0 0 52186 9 0 0 25 0 1 0 56665576 34525184 7299 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 8429 7299 379 142 0 7383 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 33716

[startup+582.303 s]
/proc/loadavg: 1.99 1.98 1.81 3/76 15003
/proc/meminfo: memFree=1344688/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=34904 CPUtime=581.92
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 10728 822 0 0 58183 9 0 0 25 0 1 0 56665576 35741696 7802 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 8726 7802 379 142 0 7680 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 34904

[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.82 3/76 15003
/proc/meminfo: memFree=1339824/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=36092 CPUtime=641.9
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 11234 822 0 0 64180 10 0 0 25 0 1 0 56665576 36958208 8308 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 9023 8308 379 142 0 7977 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 36092

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.98 1.84 3/76 15003
/proc/meminfo: memFree=1316976/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=54716 CPUtime=821.82
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 16437 822 0 0 82169 13 0 0 25 0 1 0 56665576 56029184 10437 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 13679 10437 379 142 0 12633 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 54716

[startup+882.302 s]
/proc/loadavg: 1.99 1.98 1.84 3/76 15003
/proc/meminfo: memFree=1315056/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=54716 CPUtime=881.8
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 16621 822 0 0 88166 14 0 0 25 0 1 0 56665576 56029184 10621 996147200 134512640 135095119 4294956304 18446744073709551615 134617064 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 13679 10621 379 142 0 12633 0
Current children cumulated CPU time (s) 881.8
Current children cumulated vsize (KiB) 54716

[startup+942.302 s]
/proc/loadavg: 1.99 1.98 1.85 3/76 15003
/proc/meminfo: memFree=1313072/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=54716 CPUtime=941.77
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 16793 822 0 0 94163 14 0 0 25 0 1 0 56665576 56029184 10793 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 13679 10793 379 142 0 12633 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 54716

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.86 3/76 15003
/proc/meminfo: memFree=1310448/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=55376 CPUtime=1001.74
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 17131 822 0 0 100160 14 0 0 25 0 1 0 56665576 56705024 11131 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 13844 11131 379 142 0 12798 0
Current children cumulated CPU time (s) 1001.74
Current children cumulated vsize (KiB) 55376

[startup+1062.3 s]
/proc/loadavg: 2.05 2.00 1.87 3/76 15003
/proc/meminfo: memFree=1306608/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=56304 CPUtime=1061.72
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 17545 822 0 0 106157 15 0 0 25 0 1 0 56665576 57655296 11545 996147200 134512640 135095119 4294956304 18446744073709551615 134589609 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 14076 11545 379 142 0 13030 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 56304

[startup+1122.3 s]
/proc/loadavg: 2.07 2.01 1.88 3/76 15003
/proc/meminfo: memFree=1302128/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=57228 CPUtime=1121.69
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 17956 822 0 0 112153 16 0 0 25 0 1 0 56665576 58601472 11956 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 14307 11956 379 142 0 13261 0
Current children cumulated CPU time (s) 1121.69
Current children cumulated vsize (KiB) 57228

[startup+1182.3 s]
/proc/loadavg: 2.15 2.05 1.90 3/76 15003
/proc/meminfo: memFree=1297648/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=58152 CPUtime=1181.66
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 18364 822 0 0 118149 17 0 0 25 0 1 0 56665576 59547648 12364 996147200 134512640 135095119 4294956304 18446744073709551615 134641482 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 14538 12364 379 142 0 13492 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 58152

[startup+1242.3 s]
/proc/loadavg: 2.12 2.07 1.91 3/76 15003
/proc/meminfo: memFree=1293296/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=58944 CPUtime=1241.63
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 18728 822 0 0 124146 17 0 0 25 0 1 0 56665576 60358656 12728 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 14736 12728 379 142 0 13690 0
Current children cumulated CPU time (s) 1241.63
Current children cumulated vsize (KiB) 58944

[startup+1302.3 s]
/proc/loadavg: 2.18 2.10 1.93 3/76 15003
/proc/meminfo: memFree=1288752/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=59872 CPUtime=1301.61
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 19108 822 0 0 130144 17 0 0 25 0 1 0 56665576 61308928 13108 996147200 134512640 135095119 4294956304 18446744073709551615 134555074 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 14968 13108 379 142 0 13922 0
Current children cumulated CPU time (s) 1301.61
Current children cumulated vsize (KiB) 59872

[startup+1362.3 s]
/proc/loadavg: 2.06 2.08 1.93 3/76 15003
/proc/meminfo: memFree=1284464/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=60796 CPUtime=1361.58
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 19494 822 0 0 136140 18 0 0 25 0 1 0 56665576 62255104 13494 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 15199 13494 379 142 0 14153 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 60796

[startup+1422.31 s]
/proc/loadavg: 2.02 2.06 1.93 3/76 15003
/proc/meminfo: memFree=1279984/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=61588 CPUtime=1421.56
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 19875 822 0 0 142138 18 0 0 25 0 1 0 56665576 63066112 13875 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 15397 13875 379 142 0 14351 0
Current children cumulated CPU time (s) 1421.56
Current children cumulated vsize (KiB) 61588

[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 1.93 3/76 15003
/proc/meminfo: memFree=1275696/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=62384 CPUtime=1481.53
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 20228 822 0 0 148134 19 0 0 25 0 1 0 56665576 63881216 14228 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 15596 14228 379 142 0 14550 0
Current children cumulated CPU time (s) 1481.53
Current children cumulated vsize (KiB) 62384

[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 1.93 3/76 15003
/proc/meminfo: memFree=1271472/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=63308 CPUtime=1541.5
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 20610 822 0 0 154131 19 0 0 25 0 1 0 56665576 64827392 14610 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 15827 14610 379 142 0 14781 0
Current children cumulated CPU time (s) 1541.5
Current children cumulated vsize (KiB) 63308

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 1.93 3/76 15003
/proc/meminfo: memFree=1253424/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=64096 CPUtime=1601.48
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 20958 822 0 0 160128 20 0 0 25 0 1 0 56665576 65634304 14958 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 16024 14958 379 142 0 14978 0
Current children cumulated CPU time (s) 1601.48
Current children cumulated vsize (KiB) 64096

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/76 15003
/proc/meminfo: memFree=1250672/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=81404 CPUtime=1661.45
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 25444 822 0 0 166124 21 0 0 25 0 1 0 56665576 83357696 15347 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 20351 15347 379 142 0 19305 0
Current children cumulated CPU time (s) 1661.45
Current children cumulated vsize (KiB) 81404

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/76 15003
/proc/meminfo: memFree=1247984/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=82204 CPUtime=1721.42
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 25793 822 0 0 172121 21 0 0 25 0 1 0 56665576 84176896 15696 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 20551 15696 379 142 0 19505 0
Current children cumulated CPU time (s) 1721.42
Current children cumulated vsize (KiB) 82204

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/76 15003
/proc/meminfo: memFree=1245104/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=83000 CPUtime=1781.4
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 26151 822 0 0 178118 22 0 0 25 0 1 0 56665576 84992000 16054 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 20750 16054 379 142 0 19704 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (KiB) 83000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 2.00 2.01 1.93 4/76 15003
/proc/meminfo: memFree=1244400/2055920 swapFree=4192812/4192956
[pid=14964] ppid=14962 vsize=83396 CPUtime=1800.1
/proc/14964/stat : 14964 (pcs.small) R 14962 14964 14714 0 -1 4194304 26273 822 0 0 179988 22 0 0 25 0 1 0 56665576 85397504 16176 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14964/statm: 20849 16176 379 142 0 19803 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 83396

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.02
CPU time (s): 1800.13
CPU user time (s): 1799.89
CPU system time (s): 0.240963
CPU usage (%): 99.9506
Max. virtual memory (cumulated for all children) (KiB): 83400

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

runsolver used 2.18267 second user time and 6.01408 second system time

The end

Launcher Data 

Begin job on node68 at 2009-07-16 00:13:49
IDJOB=2059955
IDBENCH=53632
IDSOLVER=733
FILE ID=node68/2059955-1247696029
PBS_JOBID= 9521178
Free space on /tmp= 66420 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/frb59-26/normalized-frb59-26-5-mgd_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059955-1247696029/watcher-2059955-1247696029 -o /tmp/evaluation-result-2059955-1247696029/solver-2059955-1247696029 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2014198501 HOME/instance-2059955-1247696029.xml

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

MD5SUM BENCH= 48e18c10d82e0c79227fc1d9662ae8b3
RANDOM SEED=2014198501

node68.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.258
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.258
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:       1310552 kB
Buffers:         75532 kB
Cached:         480096 kB
SwapCached:          0 kB
Active:         285588 kB
Inactive:       387500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1310552 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2568 kB
Writeback:           0 kB
Mapped:         129196 kB
Slab:            57176 kB
Committed_AS:   693236 kB
PageTables:       2144 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66416 MiB
End job on node68 at 2009-07-16 00:43:52