Trace number 2089226

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.12 1808.22

General information on the benchmark

Namecsp/tightness0.5/
normalized-rand-2-40-25-180-500-96_ext.xml
MD5SUMd0cfce9bec25a16ea588906bc23f32f2
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark38.8411
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints180
Maximum constraint arity2
Maximum domain size25
Number of constraints which are defined in extension180
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.17/0.21	c Seed is 1957099615
0.17/0.21	c Constructing HOME/instance-2089226-1247729737.xml  with 4500 constraints
0.17/0.21	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-2089226-1247729737/watcher-2089226-1247729737 -o /tmp/evaluation-result-2089226-1247729737/solver-2089226-1247729737 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1957099615 HOME/instance-2089226-1247729737.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.00 2.00 2.00 4/81 10019
/proc/meminfo: memFree=1261392/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=5356 CPUtime=0
/proc/10019/stat : 10019 (pcssolve) R 10017 10019 8717 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 60040266 5484544 237 996147200 4194304 4889804 548682068800 18446744073709551615 273952445153 0 0 4100 65536 0 0 0 17 1 0 0
/proc/10019/statm: 1339 237 197 169 0 50 0

[startup+0.109982 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 10019
/proc/meminfo: memFree=1261392/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=5704 CPUtime=0.08
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 1144 822 0 0 8 0 0 0 18 0 1 0 60040266 5840896 753 996147200 134512640 135095119 4294956304 18446744073709551615 8054395 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 1426 753 364 142 0 380 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5704

[startup+0.202864 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 10019
/proc/meminfo: memFree=1261392/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=7056 CPUtime=0.17
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 1508 822 0 0 17 0 0 0 18 0 1 0 60040266 7225344 1084 996147200 134512640 135095119 4294956304 18446744073709551615 134555000 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 1764 1084 379 142 0 718 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 7056

[startup+0.302876 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 10019
/proc/meminfo: memFree=1261392/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=7056 CPUtime=0.27
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 1511 822 0 0 27 0 0 0 19 0 1 0 60040266 7225344 1087 996147200 134512640 135095119 4294956304 18446744073709551615 134617201 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 1764 1087 379 142 0 718 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7056

[startup+0.702922 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 10019
/proc/meminfo: memFree=1261392/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=7056 CPUtime=0.67
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 1520 822 0 0 67 0 0 0 23 0 1 0 60040266 7225344 1096 996147200 134512640 135095119 4294956304 18446744073709551615 134642947 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 1764 1096 379 142 0 718 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 7056

[startup+1.50302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1258504/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=7056 CPUtime=1.46
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 1538 822 0 0 146 0 0 0 25 0 1 0 60040266 7225344 1114 996147200 134512640 135095119 4294956304 18446744073709551615 134642693 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 1764 1114 379 142 0 718 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 7056

[startup+3.1012 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1258504/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=7952 CPUtime=3.06
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 1685 822 0 0 306 0 0 0 25 0 1 0 60040266 8142848 1196 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 1988 1196 379 142 0 942 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 7952

[startup+6.30157 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1257480/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=8216 CPUtime=6.24
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 1870 822 0 0 624 0 0 0 25 0 1 0 60040266 8413184 1381 996147200 134512640 135095119 4294956304 18446744073709551615 134641445 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 2054 1381 379 142 0 1008 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 8216

[startup+12.7013 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1255368/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=10928 CPUtime=12.61
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 2617 822 0 0 1261 0 0 0 25 0 1 0 60040266 11190272 1871 996147200 134512640 135095119 4294956304 18446744073709551615 134636930 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 2732 1871 379 142 0 1686 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 10928

[startup+25.5028 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1251080/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=16636 CPUtime=25.35
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 4367 822 0 0 2533 2 0 0 25 0 1 0 60040266 17035264 2851 996147200 134512640 135095119 4294956304 18446744073709551615 134615483 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 4159 2851 379 142 0 3113 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 16636

[startup+51.1028 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 10025
/proc/meminfo: memFree=1248712/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=17692 CPUtime=50.83
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 5037 822 0 0 5080 3 0 0 25 0 1 0 60040266 18116608 3521 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 4423 3521 379 142 0 3377 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 17692

[startup+102.302 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 10025
/proc/meminfo: memFree=1243336/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=24692 CPUtime=101.79
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 7371 822 0 0 10173 6 0 0 25 0 1 0 60040266 25284608 4830 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 6173 4830 379 142 0 5127 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 24692

[startup+162.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1238088/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=29776 CPUtime=161.49
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 9185 822 0 0 16141 8 0 0 25 0 1 0 60040266 30490624 6131 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 7444 6131 379 142 0 6398 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 29776

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1234056/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=40208 CPUtime=221.2
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 12232 822 0 0 22110 10 0 0 25 0 1 0 60040266 41172992 7129 996147200 134512640 135095119 4294956304 18446744073709551615 134637360 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 10052 7129 379 142 0 9006 0
Current children cumulated CPU time (s) 221.2
Current children cumulated vsize (KiB) 40208

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1230344/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=42188 CPUtime=280.91
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 13155 822 0 0 28080 11 0 0 25 0 1 0 60040266 43200512 8052 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 10547 8052 379 142 0 9501 0
Current children cumulated CPU time (s) 280.91
Current children cumulated vsize (KiB) 42188

[startup+342.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1226696/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=44168 CPUtime=340.62
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 14029 822 0 0 34050 12 0 0 25 0 1 0 60040266 45228032 8926 996147200 134512640 135095119 4294956304 18446744073709551615 134642884 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 11042 8926 379 142 0 9996 0
Current children cumulated CPU time (s) 340.62
Current children cumulated vsize (KiB) 44168

[startup+402.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1223048/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=46008 CPUtime=400.34
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 14861 822 0 0 40020 14 0 0 25 0 1 0 60040266 47112192 9758 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 11502 9758 379 142 0 10456 0
Current children cumulated CPU time (s) 400.34
Current children cumulated vsize (KiB) 46008

[startup+462.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1214664/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=56836 CPUtime=460.04
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 17927 822 0 0 45989 15 0 0 25 0 1 0 60040266 58200064 11799 996147200 134512640 135095119 4294956304 18446744073709551615 134641281 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 14209 11799 379 142 0 13163 0
Current children cumulated CPU time (s) 460.04
Current children cumulated vsize (KiB) 56836

[startup+522.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1213320/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=56836 CPUtime=519.75
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 18258 822 0 0 51960 15 0 0 25 0 1 0 60040266 58200064 12130 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 14209 12130 379 142 0 13163 0
Current children cumulated CPU time (s) 519.75
Current children cumulated vsize (KiB) 56836

[startup+582.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1211784/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=56836 CPUtime=579.47
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 18578 822 0 0 57931 16 0 0 25 0 1 0 60040266 58200064 12450 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 14209 12450 379 142 0 13163 0
Current children cumulated CPU time (s) 579.47
Current children cumulated vsize (KiB) 56836

[startup+642.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1210312/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=57100 CPUtime=639.18
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 18927 822 0 0 63902 16 0 0 25 0 1 0 60040266 58470400 12799 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 14275 12799 379 142 0 13229 0
Current children cumulated CPU time (s) 639.18
Current children cumulated vsize (KiB) 57100

[startup+702.303 s]

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

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1199688/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=78364 CPUtime=878.02
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 25404 822 0 0 87781 21 0 0 25 0 1 0 60040266 80244736 15179 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 19591 15179 379 142 0 18545 0
Current children cumulated CPU time (s) 878.02
Current children cumulated vsize (KiB) 78364

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10025
/proc/meminfo: memFree=1197064/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=79808 CPUtime=937.73
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 26013 822 0 0 93751 22 0 0 25 0 1 0 60040266 81723392 15788 996147200 134512640 135095119 4294956304 18446744073709551615 134642962 0 0 4096 0 0 0 0 17 1 0 0
/proc/10019/statm: 19952 15788 379 142 0 18906 0
Current children cumulated CPU time (s) 937.73
Current children cumulated vsize (KiB) 79808

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10061
/proc/meminfo: memFree=1235664/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=80988 CPUtime=997.46
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 26568 822 0 0 99722 24 0 0 25 0 1 0 60040266 82931712 16343 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 20247 16343 379 142 0 19201 0
Current children cumulated CPU time (s) 997.46
Current children cumulated vsize (KiB) 80988

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10061
/proc/meminfo: memFree=1223824/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=82044 CPUtime=1057.21
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 27103 822 0 0 105696 25 0 0 25 0 1 0 60040266 84013056 16878 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 20511 16878 379 142 0 19465 0
Current children cumulated CPU time (s) 1057.21
Current children cumulated vsize (KiB) 82044

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10061
/proc/meminfo: memFree=1217680/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=83232 CPUtime=1116.97
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 27627 822 0 0 111671 26 0 0 25 0 1 0 60040266 85229568 17402 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 20808 17402 379 142 0 19762 0
Current children cumulated CPU time (s) 1116.97
Current children cumulated vsize (KiB) 83232

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10061
/proc/meminfo: memFree=1210640/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=84424 CPUtime=1176.72
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 28175 822 0 0 117646 26 0 0 25 0 1 0 60040266 86450176 17950 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 21106 17950 379 142 0 20060 0
Current children cumulated CPU time (s) 1176.72
Current children cumulated vsize (KiB) 84424

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10061
/proc/meminfo: memFree=1204048/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=85616 CPUtime=1236.47
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 28708 822 0 0 123620 27 0 0 25 0 1 0 60040266 87670784 18483 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 21404 18483 379 142 0 20358 0
Current children cumulated CPU time (s) 1236.47
Current children cumulated vsize (KiB) 85616

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10061
/proc/meminfo: memFree=1192592/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=86672 CPUtime=1296.24
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 29206 822 0 0 129596 28 0 0 25 0 1 0 60040266 88752128 18981 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 21668 18981 379 142 0 20622 0
Current children cumulated CPU time (s) 1296.24
Current children cumulated vsize (KiB) 86672

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10061
/proc/meminfo: memFree=1189072/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=87600 CPUtime=1355.98
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 29692 822 0 0 135570 28 0 0 25 0 1 0 60040266 89702400 19467 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 21900 19467 379 142 0 20854 0
Current children cumulated CPU time (s) 1355.98
Current children cumulated vsize (KiB) 87600

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10061
/proc/meminfo: memFree=1185680/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=88656 CPUtime=1415.75
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 30151 822 0 0 141546 29 0 0 25 0 1 0 60040266 90783744 19926 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 22164 19926 379 142 0 21118 0
Current children cumulated CPU time (s) 1415.75
Current children cumulated vsize (KiB) 88656

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10061
/proc/meminfo: memFree=1181264/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=89712 CPUtime=1475.51
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 30639 822 0 0 147521 30 0 0 25 0 1 0 60040266 91865088 20414 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 22428 20414 379 142 0 21382 0
Current children cumulated CPU time (s) 1475.51
Current children cumulated vsize (KiB) 89712

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10067
/proc/meminfo: memFree=1161744/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=113220 CPUtime=1535.26
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 36734 822 0 0 153493 33 0 0 25 0 1 0 60040266 115937280 24460 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 28305 24460 379 142 0 27259 0
Current children cumulated CPU time (s) 1535.26
Current children cumulated vsize (KiB) 113220

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10067
/proc/meminfo: memFree=1158032/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=113220 CPUtime=1595.01
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 36944 822 0 0 159468 33 0 0 25 0 1 0 60040266 115937280 24670 996147200 134512640 135095119 4294956304 18446744073709551615 134616996 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 28305 24670 379 142 0 27259 0
Current children cumulated CPU time (s) 1595.01
Current children cumulated vsize (KiB) 113220

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10067
/proc/meminfo: memFree=1154192/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=113220 CPUtime=1654.77
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 37151 822 0 0 165444 33 0 0 25 0 1 0 60040266 115937280 24877 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 28305 24877 379 142 0 27259 0
Current children cumulated CPU time (s) 1654.77
Current children cumulated vsize (KiB) 113220

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10067
/proc/meminfo: memFree=1150544/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=113220 CPUtime=1714.53
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 37362 822 0 0 171419 34 0 0 25 0 1 0 60040266 115937280 25088 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 28305 25088 379 142 0 27259 0
Current children cumulated CPU time (s) 1714.53
Current children cumulated vsize (KiB) 113220

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 10067
/proc/meminfo: memFree=1146896/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=113220 CPUtime=1774.28
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 37561 822 0 0 177394 34 0 0 25 0 1 0 60040266 115937280 25287 996147200 134512640 135095119 4294956304 18446744073709551615 134576654 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 28305 25287 379 142 0 27259 0
Current children cumulated CPU time (s) 1774.28
Current children cumulated vsize (KiB) 113220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.2 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 10067
/proc/meminfo: memFree=1145424/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=113220 CPUtime=1800.08
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 37648 822 0 0 179974 34 0 0 25 0 1 0 60040266 115937280 25374 996147200 134512640 135095119 4294956304 18446744073709551615 134607154 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 28305 25374 379 142 0 27259 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 113220

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

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

[startup+1808.2 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 10067
/proc/meminfo: memFree=1145424/2055920 swapFree=4192812/4192956
[pid=10019] ppid=10017 vsize=113220 CPUtime=1800.08
/proc/10019/stat : 10019 (pcs.small) R 10017 10019 8717 0 -1 4194304 37648 822 0 0 179974 34 0 0 25 0 1 0 60040266 115937280 25374 996147200 134512640 135095119 4294956304 18446744073709551615 134607154 0 0 4096 0 0 0 0 17 0 0 0
/proc/10019/statm: 28305 25374 379 142 0 27259 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 113220

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.22
CPU time (s): 1800.12
CPU user time (s): 1799.75
CPU system time (s): 0.370943
CPU usage (%): 99.5517
Max. virtual memory (cumulated for all children) (KiB): 116928

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.370943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38470
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= 20
involuntary context switches= 40841

runsolver used 1.67774 second user time and 4.93525 second system time

The end

Launcher Data 

Begin job on node20 at 2009-07-16 09:35:37
IDJOB=2089226
IDBENCH=59397
IDSOLVER=733
FILE ID=node20/2089226-1247729737
PBS_JOBID= 9521527
Free space on /tmp= 66292 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/tightness0.5/normalized-rand-2-40-25-180-500-96_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2089226-1247729737/watcher-2089226-1247729737 -o /tmp/evaluation-result-2089226-1247729737/solver-2089226-1247729737 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1957099615 HOME/instance-2089226-1247729737.xml

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

MD5SUM BENCH= d0cfce9bec25a16ea588906bc23f32f2
RANDOM SEED=1957099615

node20.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:       1261872 kB
Buffers:         92160 kB
Cached:         550508 kB
SwapCached:          0 kB
Active:         191956 kB
Inactive:       511372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1261872 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2040 kB
Writeback:           0 kB
Mapped:          81080 kB
Slab:            75672 kB
Committed_AS:   531480 kB
PageTables:       1940 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= 66296 MiB
End job on node20 at 2009-07-16 10:05:47