Trace number 2077655

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.05 1801.21

General information on the benchmark

Namecsp/wordsHerald/
normalized-crossword-m1-words-23-10.xml
MD5SUM9598646f87b2e8df8e0507cbaab97c39
Bench CategoryN-ARY-INT (n-ary constraints in intension)
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 variables462
Number of constraints2086
Maximum constraint arity26
Maximum domain size26
Number of constraints which are defined in extension156
Number of constraints which are defined in intension1930
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c small-domain mode
0.00/0.03	c Seed is 1854492388
0.00/0.03	c Constructing HOME/instance-2077655-1247715250.xml  with 41508 constraints
0.47/0.51	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-2077655-1247715250/watcher-2077655-1247715250 -o /tmp/evaluation-result-2077655-1247715250/solver-2077655-1247715250 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1854492388 HOME/instance-2077655-1247715250.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.16 2.14 2.05 4/81 11364
/proc/meminfo: memFree=833480/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=5356 CPUtime=0
/proc/11364/stat : 11364 (pcssolve) R 11362 11364 10483 0 -1 4194304 269 0 0 0 0 0 0 0 22 0 1 0 58588935 5484544 237 996147200 4194304 4889804 548682068800 18446744073709551615 236437541601 0 0 4100 65536 0 0 0 17 1 0 0
/proc/11364/statm: 1339 237 197 169 0 50 0

[startup+0.060873 s]
/proc/loadavg: 2.16 2.14 2.05 4/81 11364
/proc/meminfo: memFree=833480/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=4824 CPUtime=0.04
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 934 1169 0 0 3 0 1 0 25 0 1 0 58588935 4939776 543 996147200 134512640 135095119 4294956304 18446744073709551615 134934178 0 0 4096 0 0 0 0 17 1 0 0
/proc/11364/statm: 1206 543 374 142 0 160 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4824

[startup+0.101875 s]
/proc/loadavg: 2.16 2.14 2.05 4/81 11364
/proc/meminfo: memFree=833480/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=5328 CPUtime=0.08
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 994 1169 0 0 7 0 1 0 25 0 1 0 58588935 5455872 603 996147200 134512640 135095119 4294956304 18446744073709551615 134935171 0 0 4096 0 0 0 0 17 1 0 0
/proc/11364/statm: 1332 603 375 142 0 286 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5328

[startup+0.301906 s]
/proc/loadavg: 2.16 2.14 2.05 4/81 11364
/proc/meminfo: memFree=833480/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=8908 CPUtime=0.28
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 1835 1169 0 0 26 1 1 0 25 0 1 0 58588935 9121792 1346 996147200 134512640 135095119 4294956304 18446744073709551615 4159314573 0 0 4096 0 0 0 0 17 1 0 0
/proc/11364/statm: 2227 1346 388 142 0 1181 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8908

[startup+0.701946 s]
/proc/loadavg: 2.16 2.14 2.05 4/81 11364
/proc/meminfo: memFree=833480/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=15624 CPUtime=0.67
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 4010 1169 0 0 64 2 1 0 25 0 1 0 58588935 15998976 3050 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 1 0 0
/proc/11364/statm: 3906 3050 400 142 0 2860 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 15624

[startup+1.50104 s]
/proc/loadavg: 2.16 2.14 2.05 3/82 11370
/proc/meminfo: memFree=822720/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=15624 CPUtime=1.46
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 4010 1169 0 0 143 2 1 0 25 0 1 0 58588935 15998976 3050 996147200 134512640 135095119 4294956304 18446744073709551615 134918142 0 0 4096 0 0 0 0 17 1 0 0
/proc/11364/statm: 3906 3050 400 142 0 2860 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 15624

[startup+3.10122 s]
/proc/loadavg: 2.16 2.14 2.05 3/82 11370
/proc/meminfo: memFree=822656/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=15624 CPUtime=3.05
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 4014 1169 0 0 302 2 1 0 25 0 1 0 58588935 15998976 3054 996147200 134512640 135095119 4294956304 18446744073709551615 134616997 0 0 4096 0 0 0 0 17 1 0 0
/proc/11364/statm: 3906 3054 400 142 0 2860 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 15624

[startup+6.30159 s]
/proc/loadavg: 2.23 2.15 2.06 3/82 11370
/proc/meminfo: memFree=822464/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=15772 CPUtime=6.22
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 4022 1169 0 0 619 2 1 0 25 0 1 0 58588935 16150528 3062 996147200 134512640 135095119 4294956304 18446744073709551615 134918156 0 0 4096 0 0 0 0 17 1 0 0
/proc/11364/statm: 3943 3062 400 142 0 2897 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 15772

[startup+12.7013 s]
/proc/loadavg: 2.21 2.15 2.06 3/82 11370
/proc/meminfo: memFree=822224/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=15772 CPUtime=12.55
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 4038 1169 0 0 1252 2 1 0 25 0 1 0 58588935 16150528 3078 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 1 0 0
/proc/11364/statm: 3943 3078 400 142 0 2897 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 15772

[startup+25.5018 s]
/proc/loadavg: 2.16 2.14 2.06 3/82 11370
/proc/meminfo: memFree=822096/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=15840 CPUtime=25.24
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 4099 1169 0 0 2520 3 1 0 25 0 1 0 58588935 16220160 3106 996147200 134512640 135095119 4294956304 18446744073709551615 134918194 0 0 4096 0 0 0 0 17 1 0 0
/proc/11364/statm: 3960 3106 400 142 0 2914 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 15840

[startup+51.1017 s]
/proc/loadavg: 2.19 2.14 2.06 3/83 11411
/proc/meminfo: memFree=1440216/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=16136 CPUtime=50.66
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 4202 1169 0 0 5061 4 1 0 25 0 1 0 58588935 16523264 3176 996147200 134512640 135095119 4294956304 18446744073709551615 134927018 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 4034 3176 400 142 0 2988 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 16136

[startup+102.307 s]
/proc/loadavg: 2.27 2.18 2.08 3/83 11411
/proc/meminfo: memFree=752856/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=16672 CPUtime=101.83
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 4405 1169 0 0 10178 4 1 0 25 0 1 0 58588935 17072128 3314 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 4168 3314 400 142 0 3122 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 16672

[startup+162.302 s]
/proc/loadavg: 2.24 2.19 2.09 3/83 11411
/proc/meminfo: memFree=751960/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=17520 CPUtime=161.81
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 4692 1169 0 0 16175 5 1 0 25 0 1 0 58588935 17940480 3472 996147200 134512640 135095119 4294956304 18446744073709551615 134637254 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 4380 3472 400 142 0 3334 0
Current children cumulated CPU time (s) 161.81
Current children cumulated vsize (KiB) 17520

[startup+222.301 s]
/proc/loadavg: 2.26 2.21 2.10 3/83 11411
/proc/meminfo: memFree=751256/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=17912 CPUtime=221.78
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 4859 1169 0 0 22172 5 1 0 25 0 1 0 58588935 18341888 3639 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 4478 3639 400 142 0 3432 0
Current children cumulated CPU time (s) 221.78
Current children cumulated vsize (KiB) 17912

[startup+282.301 s]
/proc/loadavg: 2.37 2.25 2.11 3/83 11411
/proc/meminfo: memFree=750552/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=19328 CPUtime=281.75
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 5284 1169 0 0 28169 5 1 0 25 0 1 0 58588935 19791872 3807 996147200 134512640 135095119 4294956304 18446744073709551615 134927023 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 4832 3807 400 142 0 3786 0
Current children cumulated CPU time (s) 281.75
Current children cumulated vsize (KiB) 19328

[startup+342.301 s]
/proc/loadavg: 2.34 2.25 2.12 3/83 11411
/proc/meminfo: memFree=749848/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=19720 CPUtime=341.74
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 5459 1169 0 0 34167 6 1 0 25 0 1 0 58588935 20193280 3982 996147200 134512640 135095119 4294956304 18446744073709551615 134926956 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 4930 3982 400 142 0 3884 0
Current children cumulated CPU time (s) 341.74
Current children cumulated vsize (KiB) 19720

[startup+402.301 s]
/proc/loadavg: 2.39 2.26 2.13 4/83 11411
/proc/meminfo: memFree=749016/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=20376 CPUtime=401.7
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 5693 1169 0 0 40163 6 1 0 25 0 1 0 58588935 20865024 4161 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 5094 4161 400 142 0 4048 0
Current children cumulated CPU time (s) 401.7
Current children cumulated vsize (KiB) 20376

[startup+462.302 s]
/proc/loadavg: 2.24 2.24 2.13 4/83 11411
/proc/meminfo: memFree=748312/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=20796 CPUtime=461.68
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 5870 1169 0 0 46161 6 1 0 25 0 1 0 58588935 21295104 4338 996147200 134512640 135095119 4294956304 18446744073709551615 134918171 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 5199 4338 400 142 0 4153 0
Current children cumulated CPU time (s) 461.68
Current children cumulated vsize (KiB) 20796

[startup+522.302 s]
/proc/loadavg: 2.26 2.25 2.14 3/83 11411
/proc/meminfo: memFree=747544/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=23236 CPUtime=521.66
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 6555 1169 0 0 52158 7 1 0 25 0 1 0 58588935 23793664 4510 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 5809 4510 400 142 0 4763 0
Current children cumulated CPU time (s) 521.66
Current children cumulated vsize (KiB) 23236

[startup+582.302 s]
/proc/loadavg: 2.14 2.22 2.13 3/73 11444
/proc/meminfo: memFree=1488616/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=23600 CPUtime=581.63
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 6724 1169 0 0 58155 7 1 0 25 0 1 0 58588935 24166400 4679 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 5900 4679 400 142 0 4854 0
Current children cumulated CPU time (s) 581.63
Current children cumulated vsize (KiB) 23600

[startup+642.302 s]
/proc/loadavg: 2.10 2.19 2.12 3/73 11444
/proc/meminfo: memFree=1447976/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=23992 CPUtime=641.6
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 6893 1169 0 0 64152 7 1 0 25 0 1 0 58588935 24567808 4848 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 5998 4848 400 142 0 4952 0
Current children cumulated CPU time (s) 641.6
Current children cumulated vsize (KiB) 23992

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 2.06 2.13 2.10 3/73 11444
/proc/meminfo: memFree=1365928/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=25112 CPUtime=821.53
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 7391 1169 0 0 82144 8 1 0 25 0 1 0 58588935 25714688 5346 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 6278 5346 400 142 0 5232 0
Current children cumulated CPU time (s) 821.53
Current children cumulated vsize (KiB) 25112

[startup+882.301 s]
/proc/loadavg: 2.06 2.12 2.10 3/73 11444
/proc/meminfo: memFree=1345320/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=25504 CPUtime=881.51
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 7564 1169 0 0 88142 8 1 0 25 0 1 0 58588935 26116096 5519 996147200 134512640 135095119 4294956304 18446744073709551615 134927043 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 6376 5519 400 142 0 5330 0
Current children cumulated CPU time (s) 881.51
Current children cumulated vsize (KiB) 25504

[startup+942.301 s]
/proc/loadavg: 2.13 2.13 2.10 3/73 11444
/proc/meminfo: memFree=1320616/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=25868 CPUtime=941.48
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 7725 1169 0 0 94139 8 1 0 25 0 1 0 58588935 26488832 5680 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 6467 5680 400 142 0 5421 0
Current children cumulated CPU time (s) 941.48
Current children cumulated vsize (KiB) 25868

[startup+1002.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/73 11444
/proc/meminfo: memFree=1295784/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=30356 CPUtime=1001.46
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 8911 1169 0 0 100136 9 1 0 25 0 1 0 58588935 31084544 5841 996147200 134512640 135095119 4294956304 18446744073709551615 134927075 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 7589 5841 400 142 0 6543 0
Current children cumulated CPU time (s) 1001.46
Current children cumulated vsize (KiB) 30356

[startup+1062.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/73 11444
/proc/meminfo: memFree=1273064/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=30716 CPUtime=1061.43
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 9072 1169 0 0 106133 9 1 0 25 0 1 0 58588935 31453184 6002 996147200 134512640 135095119 4294956304 18446744073709551615 134918227 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 7679 6002 400 142 0 6633 0
Current children cumulated CPU time (s) 1061.43
Current children cumulated vsize (KiB) 30716

[startup+1122.3 s]
/proc/loadavg: 2.20 2.14 2.10 3/73 11446
/proc/meminfo: memFree=1249320/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=31052 CPUtime=1121.4
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 9218 1169 0 0 112130 9 1 0 25 0 1 0 58588935 31797248 6148 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 7763 6148 400 142 0 6717 0
Current children cumulated CPU time (s) 1121.4
Current children cumulated vsize (KiB) 31052

[startup+1182.3 s]
/proc/loadavg: 2.21 2.16 2.10 3/73 11446
/proc/meminfo: memFree=1228456/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=31388 CPUtime=1181.38
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 9372 1169 0 0 118128 9 1 0 25 0 1 0 58588935 32141312 6302 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 7847 6302 400 142 0 6801 0
Current children cumulated CPU time (s) 1181.38
Current children cumulated vsize (KiB) 31388

[startup+1242.3 s]
/proc/loadavg: 2.21 2.17 2.11 3/73 11446
/proc/meminfo: memFree=1201960/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=37356 CPUtime=1241.36
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 10903 1169 0 0 124125 10 1 0 25 0 1 0 58588935 38252544 7320 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 9339 7320 400 142 0 8293 0
Current children cumulated CPU time (s) 1241.36
Current children cumulated vsize (KiB) 37356

[startup+1302.3 s]
/proc/loadavg: 2.16 2.17 2.11 3/73 11446
/proc/meminfo: memFree=1182248/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=37356 CPUtime=1301.33
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 10977 1169 0 0 130122 10 1 0 25 0 1 0 58588935 38252544 7394 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 9339 7394 400 142 0 8293 0
Current children cumulated CPU time (s) 1301.33
Current children cumulated vsize (KiB) 37356

[startup+1362.3 s]
/proc/loadavg: 2.18 2.18 2.11 3/73 11446
/proc/meminfo: memFree=1161384/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=37356 CPUtime=1361.31
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 11047 1169 0 0 136120 10 1 0 25 0 1 0 58588935 38252544 7464 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 9339 7464 400 142 0 8293 0
Current children cumulated CPU time (s) 1361.31
Current children cumulated vsize (KiB) 37356

[startup+1422.31 s]
/proc/loadavg: 2.14 2.17 2.11 3/73 11446
/proc/meminfo: memFree=1138984/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=37356 CPUtime=1421.29
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 11116 1169 0 0 142117 11 1 0 25 0 1 0 58588935 38252544 7533 996147200 134512640 135095119 4294956304 18446744073709551615 134927011 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 9339 7533 400 142 0 8293 0
Current children cumulated CPU time (s) 1421.29
Current children cumulated vsize (KiB) 37356

[startup+1482.3 s]
/proc/loadavg: 2.24 2.20 2.12 3/73 11446
/proc/meminfo: memFree=1117928/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=37356 CPUtime=1481.26
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 11184 1169 0 0 148114 11 1 0 25 0 1 0 58588935 38252544 7601 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 9339 7601 400 142 0 8293 0
Current children cumulated CPU time (s) 1481.26
Current children cumulated vsize (KiB) 37356

[startup+1542.3 s]
/proc/loadavg: 2.17 2.19 2.12 3/73 11446
/proc/meminfo: memFree=1095720/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=37356 CPUtime=1541.24
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 11252 1169 0 0 154112 11 1 0 25 0 1 0 58588935 38252544 7669 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 9339 7669 400 142 0 8293 0
Current children cumulated CPU time (s) 1541.24
Current children cumulated vsize (KiB) 37356

[startup+1602.3 s]
/proc/loadavg: 2.17 2.18 2.12 3/73 11446
/proc/meminfo: memFree=1076328/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=37356 CPUtime=1601.21
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 11318 1169 0 0 160109 11 1 0 25 0 1 0 58588935 38252544 7735 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 9339 7735 400 142 0 8293 0
Current children cumulated CPU time (s) 1601.21
Current children cumulated vsize (KiB) 37356

[startup+1662.3 s]
/proc/loadavg: 2.06 2.14 2.11 3/73 11452
/proc/meminfo: memFree=1058344/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=37356 CPUtime=1661.18
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 11388 1169 0 0 166106 11 1 0 25 0 1 0 58588935 38252544 7805 996147200 134512640 135095119 4294956304 18446744073709551615 134927011 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 9339 7805 400 142 0 8293 0
Current children cumulated CPU time (s) 1661.18
Current children cumulated vsize (KiB) 37356

[startup+1722.3 s]
/proc/loadavg: 2.09 2.13 2.10 3/73 11452
/proc/meminfo: memFree=1042472/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=37356 CPUtime=1721.15
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 11459 1169 0 0 172103 11 1 0 25 0 1 0 58588935 38252544 7876 996147200 134512640 135095119 4294956304 18446744073709551615 134918194 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 9339 7876 400 142 0 8293 0
Current children cumulated CPU time (s) 1721.15
Current children cumulated vsize (KiB) 37356

[startup+1782.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/73 11452
/proc/meminfo: memFree=1018600/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=37468 CPUtime=1781.14
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 11589 1169 0 0 178101 12 1 0 25 0 1 0 58588935 38367232 8006 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 9367 8006 400 142 0 8321 0
Current children cumulated CPU time (s) 1781.14
Current children cumulated vsize (KiB) 37468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 2.07 2.11 2.09 3/73 11452
/proc/meminfo: memFree=1010536/2055920 swapFree=4192812/4192956
[pid=11364] ppid=11362 vsize=37608 CPUtime=1800.03
/proc/11364/stat : 11364 (pcs.small) R 11362 11364 10483 0 -1 4194304 11643 1169 0 0 179990 12 1 0 25 0 1 0 58588935 38510592 8060 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 0 0 0
/proc/11364/statm: 9402 8060 400 142 0 8356 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 37608

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.21
CPU time (s): 1800.05
CPU user time (s): 1799.92
CPU system time (s): 0.134979
CPU usage (%): 99.9356
Max. virtual memory (cumulated for all children) (KiB): 37684

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

runsolver used 2.70759 second user time and 5.39518 second system time

The end

Launcher Data 

Begin job on node62 at 2009-07-16 05:34:10
IDJOB=2077655
IDBENCH=56645
IDSOLVER=734
FILE ID=node62/2077655-1247715250
PBS_JOBID= 9521434
Free space on /tmp= 66248 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/wordsHerald/normalized-crossword-m1-words-23-10.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2077655-1247715250/watcher-2077655-1247715250 -o /tmp/evaluation-result-2077655-1247715250/solver-2077655-1247715250 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1854492388 HOME/instance-2077655-1247715250.xml

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

MD5SUM BENCH= 9598646f87b2e8df8e0507cbaab97c39
RANDOM SEED=1854492388

node62.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:        833960 kB
Buffers:         67420 kB
Cached:         372336 kB
SwapCached:          0 kB
Active:         742024 kB
Inactive:       400764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        833960 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2784 kB
Writeback:           0 kB
Mapped:         723444 kB
Slab:            62680 kB
Committed_AS:  1178664 kB
PageTables:       3412 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= 66244 MiB
End job on node62 at 2009-07-16 06:04:13