Trace number 2071308

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-restart 0.3.2? (TO) 1800.1 1809.81

General information on the benchmark

Namecsp/lexHerald/
normalized-crossword-m1-lex-21-05.xml
MD5SUMa7dd4daeb8875c2d8b5f586914424d5a
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark22.6246
Satisfiable
(Un)Satisfiability was proved
Number of variables368
Number of constraints2312
Maximum constraint arity14
Maximum domain size26
Number of constraints which are defined in extension144
Number of constraints which are defined in intension2168
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c small-domain mode
0.00/0.04	c Seed is 121726250
0.00/0.04	c Constructing HOME/instance-2071308-1247709878.xml  with 44254 constraints
0.38/0.40	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-2071308-1247709878/watcher-2071308-1247709878 -o /tmp/evaluation-result-2071308-1247709878/solver-2071308-1247709878 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 121726250 HOME/instance-2071308-1247709878.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: 2.09 2.13 2.10 3/81 16989
/proc/meminfo: memFree=1644424/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=5356 CPUtime=0
/proc/16989/stat : 16989 (pcssolve) R 16987 16989 14589 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 58051289 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 273653607083 0 0 4100 65536 0 0 0 17 1 0 0
/proc/16989/statm: 1339 233 194 169 0 50 0

[startup+0.0684899 s]
/proc/loadavg: 2.09 2.13 2.10 3/81 16989
/proc/meminfo: memFree=1644424/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=4936 CPUtime=0.05
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 932 974 0 0 4 0 0 1 18 0 1 0 58051289 5054464 541 996147200 134512640 135095119 4294956304 18446744073709551615 4742938 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 1234 541 375 142 0 188 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4936

[startup+0.101492 s]
/proc/loadavg: 2.09 2.13 2.10 3/81 16989
/proc/meminfo: memFree=1644424/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=5600 CPUtime=0.08
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 1065 974 0 0 7 0 0 1 18 0 1 0 58051289 5734400 674 996147200 134512640 135095119 4294956304 18446744073709551615 134739372 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 1400 674 388 142 0 354 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5600

[startup+0.301509 s]
/proc/loadavg: 2.09 2.13 2.10 3/81 16989
/proc/meminfo: memFree=1644424/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=10624 CPUtime=0.28
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 2502 974 0 0 26 1 0 1 19 0 1 0 58051289 10878976 1818 996147200 134512640 135095119 4294956304 18446744073709551615 4159198340 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 2656 1818 388 142 0 1610 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10624

[startup+0.701533 s]
/proc/loadavg: 2.09 2.13 2.10 3/81 16989
/proc/meminfo: memFree=1644424/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=15308 CPUtime=0.68
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 4073 974 0 0 65 2 0 1 23 0 1 0 58051289 15675392 3001 996147200 134512640 135095119 4294956304 18446744073709551615 134918085 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 3827 3001 401 142 0 2781 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 15308

[startup+1.50159 s]
/proc/loadavg: 2.09 2.13 2.10 3/82 16995
/proc/meminfo: memFree=1633984/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=15308 CPUtime=1.47
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 4074 974 0 0 144 2 0 1 25 0 1 0 58051289 15675392 3002 996147200 134512640 135095119 4294956304 18446744073709551615 134918220 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 3827 3002 401 142 0 2781 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15308

[startup+3.10169 s]
/proc/loadavg: 2.09 2.13 2.10 3/82 16995
/proc/meminfo: memFree=1633856/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=15308 CPUtime=3.06
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 4074 974 0 0 303 2 0 1 25 0 1 0 58051289 15675392 3002 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 3827 3002 401 142 0 2781 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 15308

[startup+6.30191 s]
/proc/loadavg: 2.08 2.13 2.10 3/82 16995
/proc/meminfo: memFree=1633792/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=15448 CPUtime=6.23
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 4081 974 0 0 620 2 0 1 25 0 1 0 58051289 15818752 3009 996147200 134512640 135095119 4294956304 18446744073709551615 134918244 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 3862 3009 401 142 0 2816 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 15448

[startup+12.7013 s]
/proc/loadavg: 2.07 2.12 2.10 3/82 16995
/proc/meminfo: memFree=1633472/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=15612 CPUtime=12.57
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 4147 974 0 0 1254 2 0 1 25 0 1 0 58051289 15986688 3075 996147200 134512640 135095119 4294956304 18446744073709551615 134916487 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 3903 3075 401 142 0 2857 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 15612

[startup+25.5012 s]
/proc/loadavg: 2.06 2.12 2.10 3/82 16995
/proc/meminfo: memFree=1633408/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=15772 CPUtime=25.25
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 4205 974 0 0 2522 2 0 1 25 0 1 0 58051289 16150528 3092 996147200 134512640 135095119 4294956304 18446744073709551615 134927023 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 3943 3092 401 142 0 2897 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 15772

[startup+51.1019 s]
/proc/loadavg: 2.04 2.11 2.09 3/82 16995
/proc/meminfo: memFree=1633280/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=16076 CPUtime=50.62
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 4279 974 0 0 5059 2 0 1 25 0 1 0 58051289 16461824 3166 996147200 134512640 135095119 4294956304 18446744073709551615 134918117 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 4019 3166 401 142 0 2973 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 16076

[startup+102.306 s]
/proc/loadavg: 2.01 2.09 2.09 3/82 16995
/proc/meminfo: memFree=1632576/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=16680 CPUtime=101.35
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 4440 974 0 0 10132 2 0 1 25 0 1 0 58051289 17080320 3327 996147200 134512640 135095119 4294956304 18446744073709551615 134927049 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 4170 3327 401 142 0 3124 0
Current children cumulated CPU time (s) 101.35
Current children cumulated vsize (KiB) 16680

[startup+162.302 s]
/proc/loadavg: 2.00 2.07 2.08 3/82 16995
/proc/meminfo: memFree=1631568/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=17596 CPUtime=160.81
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 4740 974 0 0 16077 3 0 1 25 0 1 0 58051289 18018304 3546 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 4399 3546 401 142 0 3353 0
Current children cumulated CPU time (s) 160.81
Current children cumulated vsize (KiB) 17596

[startup+222.302 s]
/proc/loadavg: 2.00 2.05 2.08 3/82 16995
/proc/meminfo: memFree=1630992/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=18144 CPUtime=220.26
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 4889 974 0 0 22022 3 0 1 25 0 1 0 58051289 18579456 3695 996147200 134512640 135095119 4294956304 18446744073709551615 134918161 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 4536 3695 401 142 0 3490 0
Current children cumulated CPU time (s) 220.26
Current children cumulated vsize (KiB) 18144

[startup+282.302 s]
/proc/loadavg: 2.00 2.04 2.07 3/82 16995
/proc/meminfo: memFree=1630160/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=18956 CPUtime=279.72
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 5164 974 0 0 27968 3 0 1 25 0 1 0 58051289 19410944 3905 996147200 134512640 135095119 4294956304 18446744073709551615 134918148 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 4739 3905 401 142 0 3693 0
Current children cumulated CPU time (s) 279.72
Current children cumulated vsize (KiB) 18956

[startup+342.302 s]
/proc/loadavg: 2.00 2.03 2.06 3/82 16995
/proc/meminfo: memFree=1629392/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=19516 CPUtime=339.17
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 5333 974 0 0 33912 4 0 1 25 0 1 0 58051289 19984384 4074 996147200 134512640 135095119 4294956304 18446744073709551615 134918227 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 4879 4074 401 142 0 3833 0
Current children cumulated CPU time (s) 339.17
Current children cumulated vsize (KiB) 19516

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.06 3/82 16995
/proc/meminfo: memFree=1628560/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=20580 CPUtime=398.62
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 5687 974 0 0 39857 4 0 1 25 0 1 0 58051289 21073920 4299 996147200 134512640 135095119 4294956304 18446744073709551615 134578294 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 5145 4299 401 142 0 4099 0
Current children cumulated CPU time (s) 398.62
Current children cumulated vsize (KiB) 20580

[startup+462.302 s]
/proc/loadavg: 2.00 2.02 2.05 3/82 16995
/proc/meminfo: memFree=1627728/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=21116 CPUtime=458.08
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 5888 974 0 0 45802 5 0 1 25 0 1 0 58051289 21622784 4500 996147200 134512640 135095119 4294956304 18446744073709551615 134911145 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 5279 4500 401 142 0 4233 0
Current children cumulated CPU time (s) 458.08
Current children cumulated vsize (KiB) 21116

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.05 3/82 16995
/proc/meminfo: memFree=1627152/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=21576 CPUtime=517.52
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 6014 974 0 0 51746 5 0 1 25 0 1 0 58051289 22093824 4626 996147200 134512640 135095119 4294956304 18446744073709551615 134918263 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 5394 4626 401 142 0 4348 0
Current children cumulated CPU time (s) 517.52
Current children cumulated vsize (KiB) 21576

[startup+582.302 s]
/proc/loadavg: 2.00 2.01 2.04 3/82 16995
/proc/meminfo: memFree=1626704/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=22044 CPUtime=576.98
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 6146 974 0 0 57691 6 0 1 25 0 1 0 58051289 22573056 4758 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 5511 4758 401 142 0 4465 0
Current children cumulated CPU time (s) 576.98
Current children cumulated vsize (KiB) 22044

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.03 3/82 16995
/proc/meminfo: memFree=1626192/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=22520 CPUtime=636.42
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 6279 974 0 0 63635 6 0 1 25 0 1 0 58051289 23060480 4891 996147200 134512640 135095119 4294956304 18446744073709551615 134927049 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 5630 4891 401 142 0 4584 0
Current children cumulated CPU time (s) 636.42
Current children cumulated vsize (KiB) 22520

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 16995
/proc/meminfo: memFree=1622672/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=27688 CPUtime=814.77
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 7622 974 0 0 81469 7 0 1 25 0 1 0 58051289 28352512 5721 996147200 134512640 135095119 4294956304 18446744073709551615 134927080 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 6922 5721 401 142 0 5876 0
Current children cumulated CPU time (s) 814.77
Current children cumulated vsize (KiB) 27688

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/82 16995
/proc/meminfo: memFree=1622608/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=27688 CPUtime=874.22
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 7642 974 0 0 87414 7 0 1 25 0 1 0 58051289 28352512 5741 996147200 134512640 135095119 4294956304 18446744073709551615 134927059 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 6922 5741 401 142 0 5876 0
Current children cumulated CPU time (s) 874.22
Current children cumulated vsize (KiB) 27688

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16995
/proc/meminfo: memFree=1622160/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=28712 CPUtime=933.67
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 8003 974 0 0 93358 8 0 1 25 0 1 0 58051289 29401088 5845 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 7178 5845 401 142 0 6132 0
Current children cumulated CPU time (s) 933.67
Current children cumulated vsize (KiB) 28712

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16995
/proc/meminfo: memFree=1621264/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=29172 CPUtime=993.12
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 8236 974 0 0 99303 8 0 1 25 0 1 0 58051289 29872128 6078 996147200 134512640 135095119 4294956304 18446744073709551615 134918159 0 0 4096 0 0 0 0 17 1 0 0
/proc/16989/statm: 7293 6078 401 142 0 6247 0
Current children cumulated CPU time (s) 993.12
Current children cumulated vsize (KiB) 29172

[startup+1062.3 s]
/proc/loadavg: 1.95 1.98 1.99 3/83 17038
/proc/meminfo: memFree=1628248/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=29716 CPUtime=1052.83
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 8412 974 0 0 105272 10 0 1 25 0 1 0 58051289 30429184 6254 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 7429 6254 401 142 0 6383 0
Current children cumulated CPU time (s) 1052.83
Current children cumulated vsize (KiB) 29716

[startup+1122.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/83 17038
/proc/meminfo: memFree=1626520/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=30276 CPUtime=1112.81
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 8562 974 0 0 111270 10 0 1 25 0 1 0 58051289 31002624 6404 996147200 134512640 135095119 4294956304 18446744073709551615 134918159 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 7569 6404 401 142 0 6523 0
Current children cumulated CPU time (s) 1112.81
Current children cumulated vsize (KiB) 30276

[startup+1182.3 s]
/proc/loadavg: 2.06 2.03 2.01 3/83 17038
/proc/meminfo: memFree=1624856/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=30812 CPUtime=1172.78
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 8710 974 0 0 117267 10 0 1 25 0 1 0 58051289 31551488 6552 996147200 134512640 135095119 4294956304 18446744073709551615 134927080 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 7703 6552 401 142 0 6657 0
Current children cumulated CPU time (s) 1172.78
Current children cumulated vsize (KiB) 30812

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/83 17038
/proc/meminfo: memFree=1623128/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=31364 CPUtime=1232.76
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 8862 974 0 0 123265 10 0 1 25 0 1 0 58051289 32116736 6704 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 7841 6704 401 142 0 6795 0
Current children cumulated CPU time (s) 1232.76
Current children cumulated vsize (KiB) 31364

[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/83 17038
/proc/meminfo: memFree=1621656/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=31900 CPUtime=1292.75
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 9012 974 0 0 129263 11 0 1 25 0 1 0 58051289 32665600 6854 996147200 134512640 135095119 4294956304 18446744073709551615 134927011 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 7975 6854 401 142 0 6929 0
Current children cumulated CPU time (s) 1292.75
Current children cumulated vsize (KiB) 31900

[startup+1362.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/83 17038
/proc/meminfo: memFree=1619992/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=32472 CPUtime=1352.72
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 9169 974 0 0 135260 11 0 1 25 0 1 0 58051289 33251328 7011 996147200 134512640 135095119 4294956304 18446744073709551615 134927013 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 8118 7011 401 142 0 7072 0
Current children cumulated CPU time (s) 1352.72
Current children cumulated vsize (KiB) 32472

[startup+1422.31 s]
/proc/loadavg: 2.06 2.04 2.00 3/83 17038
/proc/meminfo: memFree=1618008/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=33100 CPUtime=1412.71
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 9372 974 0 0 141259 11 0 1 25 0 1 0 58051289 33894400 7214 996147200 134512640 135095119 4294956304 18446744073709551615 134918161 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 8275 7214 401 142 0 7229 0
Current children cumulated CPU time (s) 1412.71
Current children cumulated vsize (KiB) 33100

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/83 17038
/proc/meminfo: memFree=1615320/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=33696 CPUtime=1472.68
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 9537 974 0 0 147256 11 0 1 25 0 1 0 58051289 34504704 7379 996147200 134512640 135095119 4294956304 18446744073709551615 134918249 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 8424 7379 401 142 0 7378 0
Current children cumulated CPU time (s) 1472.68
Current children cumulated vsize (KiB) 33696

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 17038
/proc/meminfo: memFree=1614616/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=34320 CPUtime=1532.67
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 9707 974 0 0 153254 12 0 1 25 0 1 0 58051289 35143680 7549 996147200 134512640 135095119 4294956304 18446744073709551615 134926985 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 8580 7549 401 142 0 7534 0
Current children cumulated CPU time (s) 1532.67
Current children cumulated vsize (KiB) 34320

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 17038
/proc/meminfo: memFree=1613400/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=34892 CPUtime=1592.64
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 9869 974 0 0 159251 12 0 1 25 0 1 0 58051289 35729408 7711 996147200 134512640 135095119 4294956304 18446744073709551615 134926990 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 8723 7711 401 142 0 7677 0
Current children cumulated CPU time (s) 1592.64
Current children cumulated vsize (KiB) 34892

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 17038
/proc/meminfo: memFree=1612120/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=35632 CPUtime=1652.63
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 10039 974 0 0 165249 13 0 1 25 0 1 0 58051289 36487168 7881 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 8908 7881 401 142 0 7862 0
Current children cumulated CPU time (s) 1652.63
Current children cumulated vsize (KiB) 35632

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 17038
/proc/meminfo: memFree=1611032/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=36132 CPUtime=1712.6
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 10208 974 0 0 171246 13 0 1 25 0 1 0 58051289 36999168 8050 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 9033 8050 401 142 0 7987 0
Current children cumulated CPU time (s) 1712.6
Current children cumulated vsize (KiB) 36132

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17038
/proc/meminfo: memFree=1609816/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=36724 CPUtime=1772.58
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 10374 974 0 0 177244 13 0 1 25 0 1 0 58051289 37605376 8216 996147200 134512640 135095119 4294956304 18446744073709551615 134916468 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 9181 8216 401 142 0 8135 0
Current children cumulated CPU time (s) 1772.58
Current children cumulated vsize (KiB) 36724



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 17038
/proc/meminfo: memFree=1609432/2055920 swapFree=4192812/4192956
[pid=16989] ppid=16987 vsize=37000 CPUtime=1800.08
/proc/16989/stat : 16989 (pcs.small) R 16987 16989 14589 0 -1 4194304 10451 974 0 0 179994 13 0 1 25 0 1 0 58051289 37888000 8293 996147200 134512640 135095119 4294956304 18446744073709551615 134927073 0 0 4096 0 0 0 0 17 0 0 0
/proc/16989/statm: 9250 8293 401 142 0 8204 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 37000

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): 1809.81
CPU time (s): 1800.1
CPU user time (s): 1799.95
CPU system time (s): 0.151976
CPU usage (%): 99.4632
Max. virtual memory (cumulated for all children) (KiB): 37092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.95
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11425
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= 22
involuntary context switches= 24889

runsolver used 2.58761 second user time and 5.44617 second system time

The end

Launcher Data 

Begin job on node52 at 2009-07-16 04:04:38
IDJOB=2071308
IDBENCH=55474
IDSOLVER=734
FILE ID=node52/2071308-1247709878
PBS_JOBID= 9521208
Free space on /tmp= 66188 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/lexHerald/normalized-crossword-m1-lex-21-05.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2071308-1247709878/watcher-2071308-1247709878 -o /tmp/evaluation-result-2071308-1247709878/solver-2071308-1247709878 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 121726250 HOME/instance-2071308-1247709878.xml

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

MD5SUM BENCH= a7dd4daeb8875c2d8b5f586914424d5a
RANDOM SEED=121726250

node52.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.236
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.236
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:       1644968 kB
Buffers:         68220 kB
Cached:         222276 kB
SwapCached:          0 kB
Active:         115876 kB
Inactive:       226272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1644968 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2380 kB
Writeback:           0 kB
Mapped:          72144 kB
Slab:            53704 kB
Committed_AS:   721248 kB
PageTables:       2044 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= 66184 MiB
End job on node52 at 2009-07-16 04:34:50