Trace number 2071307

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.11 1811.62

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.05	c Seed is 309195163
0.00/0.05	c Constructing HOME/instance-2071307-1247709871.xml  with 44254 constraints
0.36/0.41	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-2071307-1247709871/watcher-2071307-1247709871 -o /tmp/evaluation-result-2071307-1247709871/solver-2071307-1247709871 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 309195163 HOME/instance-2071307-1247709871.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.90 2.04 2.08 4/81 11013
/proc/meminfo: memFree=1500696/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=5356 CPUtime=0
/proc/11013/stat : 11013 (pcssolve) R 11011 11013 10944 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58053752 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 227848809119 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11013/statm: 1339 241 200 169 0 50 0
[pid=11014] ppid=11013 vsize=0 CPUtime=0
/proc/11014/stat : 11014 (pcssolve) R 11013 11013 10944 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 58053753 0 0 996147200 0 0 0 18446744073709551615 227848809767 0 0 4096 0 0 0 0 17 1 0 0
/proc/11014/statm: 0 0 0 0 0 0 0
[pid=11015] ppid=11013 vsize=5356 CPUtime=0
/proc/11015/stat : 11015 (pcssolve) R 11013 11013 10944 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58053753 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 227848809119 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11015/statm: 1339 241 200 169 0 50 0

[startup+0.072076 s]
/proc/loadavg: 1.90 2.04 2.08 4/81 11013
/proc/meminfo: memFree=1500696/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=4936 CPUtime=0.04
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 932 974 0 0 4 0 0 0 18 0 1 0 58053752 5054464 541 996147200 134512640 135095119 4294956304 18446744073709551615 134929670 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 1234 541 375 142 0 188 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4936

[startup+0.101079 s]
/proc/loadavg: 1.90 2.04 2.08 4/81 11013
/proc/meminfo: memFree=1500696/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=5468 CPUtime=0.06
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 1029 974 0 0 6 0 0 0 18 0 1 0 58053752 5599232 638 996147200 134512640 135095119 4294956304 18446744073709551615 8294538 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 1367 638 388 142 0 321 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5468

[startup+0.301102 s]
/proc/loadavg: 1.90 2.04 2.08 4/81 11013
/proc/meminfo: memFree=1500696/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=10492 CPUtime=0.27
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 2480 974 0 0 26 1 0 0 19 0 1 0 58053752 10743808 1796 996147200 134512640 135095119 4294956304 18446744073709551615 8294821 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 2623 1796 388 142 0 1577 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10492

[startup+0.70114 s]
/proc/loadavg: 1.90 2.04 2.08 4/81 11013
/proc/meminfo: memFree=1500696/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=15308 CPUtime=0.66
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 4073 974 0 0 65 1 0 0 23 0 1 0 58053752 15675392 3001 996147200 134512640 135095119 4294956304 18446744073709551615 134555000 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 3827 3001 401 142 0 2781 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 15308

[startup+1.50121 s]
/proc/loadavg: 1.91 2.04 2.08 3/82 11019
/proc/meminfo: memFree=1490192/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=15308 CPUtime=1.45
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 4073 974 0 0 144 1 0 0 25 0 1 0 58053752 15675392 3001 996147200 134512640 135095119 4294956304 18446744073709551615 134918220 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 3827 3001 401 142 0 2781 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 15308

[startup+3.10237 s]
/proc/loadavg: 1.91 2.04 2.08 3/82 11019
/proc/meminfo: memFree=1490000/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=15308 CPUtime=3.04
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 4074 974 0 0 303 1 0 0 25 0 1 0 58053752 15675392 3002 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 3827 3002 401 142 0 2781 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 15308

[startup+6.30167 s]
/proc/loadavg: 1.91 2.04 2.08 3/82 11019
/proc/meminfo: memFree=1489936/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=15360 CPUtime=6.21
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 4104 974 0 0 620 1 0 0 25 0 1 0 58053752 15728640 3009 996147200 134512640 135095119 4294956304 18446744073709551615 134918163 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 3840 3009 401 142 0 2794 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 15360

[startup+12.7013 s]
/proc/loadavg: 1.92 2.04 2.08 3/82 11019
/proc/meminfo: memFree=1489744/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=15448 CPUtime=12.56
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 4140 974 0 0 1254 2 0 0 25 0 1 0 58053752 15818752 3030 996147200 134512640 135095119 4294956304 18446744073709551615 134918169 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 3862 3030 401 142 0 2816 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 15448

[startup+25.5015 s]
/proc/loadavg: 1.94 2.04 2.07 4/82 11019
/proc/meminfo: memFree=1489616/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=15760 CPUtime=25.24
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 4251 974 0 0 2522 2 0 0 25 0 1 0 58053752 16138240 3100 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 3940 3100 401 142 0 2894 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 15760

[startup+51.102 s]
/proc/loadavg: 1.96 2.03 2.07 3/82 11019
/proc/meminfo: memFree=1489488/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=15972 CPUtime=50.6
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 4313 974 0 0 5058 2 0 0 25 0 1 0 58053752 16355328 3162 996147200 134512640 135095119 4294956304 18446744073709551615 134918161 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 3993 3162 401 142 0 2947 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 15972

[startup+102.307 s]
/proc/loadavg: 1.98 2.02 2.07 3/82 11019
/proc/meminfo: memFree=1488784/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=16608 CPUtime=101.34
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 4488 974 0 0 10132 2 0 0 25 0 1 0 58053752 17006592 3304 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 4152 3304 401 142 0 3106 0
Current children cumulated CPU time (s) 101.34
Current children cumulated vsize (KiB) 16608

[startup+162.302 s]
/proc/loadavg: 1.99 2.02 2.06 4/82 11019
/proc/meminfo: memFree=1488208/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=17108 CPUtime=160.79
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 4624 974 0 0 16077 2 0 0 25 0 1 0 58053752 17518592 3440 996147200 134512640 135095119 4294956304 18446744073709551615 134918117 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 4277 3440 401 142 0 3231 0
Current children cumulated CPU time (s) 160.79
Current children cumulated vsize (KiB) 17108

[startup+222.301 s]
/proc/loadavg: 1.99 2.01 2.06 3/82 11019
/proc/meminfo: memFree=1487376/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=17968 CPUtime=220.24
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 4912 974 0 0 22021 3 0 0 25 0 1 0 58053752 18399232 3647 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 4492 3647 401 142 0 3446 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 17968

[startup+282.301 s]
/proc/loadavg: 1.99 2.01 2.05 3/82 11019
/proc/meminfo: memFree=1486480/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=18800 CPUtime=279.7
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 5212 974 0 0 27967 3 0 0 25 0 1 0 58053752 19251200 3882 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 4700 3882 401 142 0 3654 0
Current children cumulated CPU time (s) 279.7
Current children cumulated vsize (KiB) 18800

[startup+342.302 s]
/proc/loadavg: 1.99 2.00 2.04 4/82 11019
/proc/meminfo: memFree=1485656/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=19884 CPUtime=339.15
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 5514 974 0 0 33912 3 0 0 25 0 1 0 58053752 20361216 4055 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 4971 4055 401 142 0 3925 0
Current children cumulated CPU time (s) 339.15
Current children cumulated vsize (KiB) 19884

[startup+402.302 s]
/proc/loadavg: 1.99 2.00 2.04 3/82 11019
/proc/meminfo: memFree=1485080/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=20476 CPUtime=398.61
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 5680 974 0 0 39857 4 0 0 25 0 1 0 58053752 20967424 4221 996147200 134512640 135095119 4294956304 18446744073709551615 134918139 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 5119 4221 401 142 0 4073 0
Current children cumulated CPU time (s) 398.61
Current children cumulated vsize (KiB) 20476

[startup+462.301 s]
/proc/loadavg: 1.99 2.00 2.03 3/82 11019
/proc/meminfo: memFree=1484440/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=21020 CPUtime=458.06
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 5844 974 0 0 45802 4 0 0 25 0 1 0 58053752 21524480 4385 996147200 134512640 135095119 4294956304 18446744073709551615 134883090 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 5255 4385 401 142 0 4209 0
Current children cumulated CPU time (s) 458.06
Current children cumulated vsize (KiB) 21020

[startup+522.301 s]
/proc/loadavg: 1.99 2.00 2.03 3/82 11019
/proc/meminfo: memFree=1483672/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=21500 CPUtime=517.53
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 6072 974 0 0 51748 5 0 0 25 0 1 0 58053752 22016000 4613 996147200 134512640 135095119 4294956304 18446744073709551615 134926973 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 5375 4613 401 142 0 4329 0
Current children cumulated CPU time (s) 517.53
Current children cumulated vsize (KiB) 21500

[startup+582.302 s]
/proc/loadavg: 1.99 2.00 2.02 3/82 11019
/proc/meminfo: memFree=1482584/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=23080 CPUtime=576.98
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 6577 974 0 0 57693 5 0 0 25 0 1 0 58053752 23633920 4861 996147200 134512640 135095119 4294956304 18446744073709551615 134554977 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 5770 4861 401 142 0 4724 0
Current children cumulated CPU time (s) 576.98
Current children cumulated vsize (KiB) 23080

[startup+642.302 s]
/proc/loadavg: 1.99 2.00 2.01 3/82 11019
/proc/meminfo: memFree=1481816/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=23588 CPUtime=636.43

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

[startup+822.302 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 11019
/proc/meminfo: memFree=1478680/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=28640 CPUtime=814.78
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 8013 974 0 0 81472 6 0 0 25 0 1 0 58053752 29327360 5784 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 7160 5784 401 142 0 6114 0
Current children cumulated CPU time (s) 814.78
Current children cumulated vsize (KiB) 28640

[startup+882.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 11019
/proc/meminfo: memFree=1478680/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=28640 CPUtime=874.23
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 8034 974 0 0 87417 6 0 0 25 0 1 0 58053752 29327360 5805 996147200 134512640 135095119 4294956304 18446744073709551615 134918126 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 7160 5805 401 142 0 6114 0
Current children cumulated CPU time (s) 874.23
Current children cumulated vsize (KiB) 28640

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11019
/proc/meminfo: memFree=1478424/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=28780 CPUtime=933.69
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 8104 974 0 0 93362 7 0 0 25 0 1 0 58053752 29470720 5875 996147200 134512640 135095119 4294956304 18446744073709551615 134918159 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 7195 5875 401 142 0 6149 0
Current children cumulated CPU time (s) 933.69
Current children cumulated vsize (KiB) 28780

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11019
/proc/meminfo: memFree=1477656/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=29352 CPUtime=993.14
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 8281 974 0 0 99307 7 0 0 25 0 1 0 58053752 30056448 6052 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 7338 6052 401 142 0 6292 0
Current children cumulated CPU time (s) 993.14
Current children cumulated vsize (KiB) 29352

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 11019
/proc/meminfo: memFree=1477080/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=29860 CPUtime=1052.6
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 8423 974 0 0 105253 7 0 0 25 0 1 0 58053752 30576640 6194 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 7465 6194 401 142 0 6419 0
Current children cumulated CPU time (s) 1052.6
Current children cumulated vsize (KiB) 29860

[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 11019
/proc/meminfo: memFree=1476504/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=30336 CPUtime=1112.04
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 8561 974 0 0 111197 7 0 0 25 0 1 0 58053752 31064064 6332 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 7584 6332 401 142 0 6538 0
Current children cumulated CPU time (s) 1112.04
Current children cumulated vsize (KiB) 30336

[startup+1182.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/82 11019
/proc/meminfo: memFree=1475864/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=30928 CPUtime=1171.51
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 8723 974 0 0 117144 7 0 0 25 0 1 0 58053752 31670272 6494 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/11013/statm: 7732 6494 401 142 0 6686 0
Current children cumulated CPU time (s) 1171.51
Current children cumulated vsize (KiB) 30928

[startup+1242.3 s]
/proc/loadavg: 1.98 2.01 2.00 3/82 11062
/proc/meminfo: memFree=1464088/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=31528 CPUtime=1230.99
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 8889 974 0 0 123091 8 0 0 25 0 1 0 58053752 32284672 6660 996147200 134512640 135095119 4294956304 18446744073709551615 134911267 0 0 4096 0 0 0 0 17 0 0 0
/proc/11013/statm: 7882 6660 401 142 0 6836 0
Current children cumulated CPU time (s) 1230.99
Current children cumulated vsize (KiB) 31528

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 11062
/proc/meminfo: memFree=1463320/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=32108 CPUtime=1290.96
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 9066 974 0 0 129088 8 0 0 25 0 1 0 58053752 32878592 6837 996147200 134512640 135095119 4294956304 18446744073709551615 134918233 0 0 4096 0 0 0 0 17 0 0 0
/proc/11013/statm: 8027 6837 401 142 0 6981 0
Current children cumulated CPU time (s) 1290.96
Current children cumulated vsize (KiB) 32108

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 11062
/proc/meminfo: memFree=1462168/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=32728 CPUtime=1350.94
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 9345 974 0 0 135085 9 0 0 25 0 1 0 58053752 33513472 7116 996147200 134512640 135095119 4294956304 18446744073709551615 134916454 0 0 4096 0 0 0 0 17 0 0 0
/proc/11013/statm: 8182 7116 401 142 0 7136 0
Current children cumulated CPU time (s) 1350.94
Current children cumulated vsize (KiB) 32728

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 11062
/proc/meminfo: memFree=1461080/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=35376 CPUtime=1410.92
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 10127 974 0 0 141082 10 0 0 25 0 1 0 58053752 36225024 7385 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/11013/statm: 8844 7385 401 142 0 7798 0
Current children cumulated CPU time (s) 1410.92
Current children cumulated vsize (KiB) 35376

[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 11062
/proc/meminfo: memFree=1460312/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=35972 CPUtime=1470.9
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 10335 974 0 0 147080 10 0 0 25 0 1 0 58053752 36835328 7593 996147200 134512640 135095119 4294956304 18446744073709551615 134927049 0 0 4096 0 0 0 0 17 0 0 0
/proc/11013/statm: 8993 7593 401 142 0 7947 0
Current children cumulated CPU time (s) 1470.9
Current children cumulated vsize (KiB) 35972

[startup+1542.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/82 11062
/proc/meminfo: memFree=1459736/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=36528 CPUtime=1530.87
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 10489 974 0 0 153077 10 0 0 25 0 1 0 58053752 37404672 7747 996147200 134512640 135095119 4294956304 18446744073709551615 134918227 0 0 4096 0 0 0 0 17 0 0 0
/proc/11013/statm: 9132 7747 401 142 0 8086 0
Current children cumulated CPU time (s) 1530.87
Current children cumulated vsize (KiB) 36528

[startup+1602.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/82 11062
/proc/meminfo: memFree=1459096/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=37072 CPUtime=1590.84
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 10642 974 0 0 159074 10 0 0 25 0 1 0 58053752 37961728 7900 996147200 134512640 135095119 4294956304 18446744073709551615 134911112 0 0 4096 0 0 0 0 17 0 0 0
/proc/11013/statm: 9268 7900 401 142 0 8222 0
Current children cumulated CPU time (s) 1590.84
Current children cumulated vsize (KiB) 37072

[startup+1662.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/82 11062
/proc/meminfo: memFree=1458456/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=37604 CPUtime=1650.82
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 10793 974 0 0 165072 10 0 0 25 0 1 0 58053752 38506496 8051 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/11013/statm: 9401 8051 401 142 0 8355 0
Current children cumulated CPU time (s) 1650.82
Current children cumulated vsize (KiB) 37604

[startup+1722.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/82 11062
/proc/meminfo: memFree=1457944/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=38144 CPUtime=1710.8
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 10940 974 0 0 171070 10 0 0 25 0 1 0 58053752 39059456 8198 996147200 134512640 135095119 4294956304 18446744073709551615 134910189 0 0 4096 0 0 0 0 17 0 0 0
/proc/11013/statm: 9536 8198 401 142 0 8490 0
Current children cumulated CPU time (s) 1710.8
Current children cumulated vsize (KiB) 38144

[startup+1782.3 s]
/proc/loadavg: 2.24 2.12 2.03 3/82 11062
/proc/meminfo: memFree=1457176/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=38700 CPUtime=1770.78
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 11094 974 0 0 177067 11 0 0 25 0 1 0 58053752 39628800 8352 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 0 0 0
/proc/11013/statm: 9675 8352 401 142 0 8629 0
Current children cumulated CPU time (s) 1770.78
Current children cumulated vsize (KiB) 38700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.6 s]
/proc/loadavg: 2.14 2.10 2.03 3/82 11062
/proc/meminfo: memFree=1456920/2055920 swapFree=4192812/4192956
[pid=11013] ppid=11011 vsize=38940 CPUtime=1800.08
/proc/11013/stat : 11013 (pcs.small) R 11011 11013 10944 0 -1 4194304 11164 974 0 0 179997 11 0 0 25 0 1 0 58053752 39874560 8422 996147200 134512640 135095119 4294956304 18446744073709551615 134918249 0 0 4096 0 0 0 0 17 0 0 0
/proc/11013/statm: 9735 8422 401 142 0 8689 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 38940

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): 1811.62
CPU time (s): 1800.11
CPU user time (s): 1799.98
CPU system time (s): 0.124981
CPU usage (%): 99.3646
Max. virtual memory (cumulated for all children) (KiB): 38972

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

runsolver used 2.42963 second user time and 5.46817 second system time

The end

Launcher Data 

Begin job on node18 at 2009-07-16 04:04:31
IDJOB=2071307
IDBENCH=55474
IDSOLVER=733
FILE ID=node18/2071307-1247709871
PBS_JOBID= 9521387
Free space on /tmp= 66320 MiB

SOLVER NAME= pcs 0.2
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-2071307-1247709871/watcher-2071307-1247709871 -o /tmp/evaluation-result-2071307-1247709871/solver-2071307-1247709871 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 309195163 HOME/instance-2071307-1247709871.xml

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

MD5SUM BENCH= a7dd4daeb8875c2d8b5f586914424d5a
RANDOM SEED=309195163

node18.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.243
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.243
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:       1501176 kB
Buffers:         81900 kB
Cached:         361868 kB
SwapCached:          0 kB
Active:         100188 kB
Inactive:       375204 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1501176 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2684 kB
Writeback:           0 kB
Mapped:          51988 kB
Slab:            64532 kB
Committed_AS:   522176 kB
PageTables:       1840 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= 66316 MiB
End job on node18 at 2009-07-16 04:34:45