Trace number 2091382

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.09 1808.43

General information on the benchmark

Namecsp/rand-2-40-19-fcd/
normalized-rand-2-40-19-443-230-fcd-40_ext.xml
MD5SUM475027220ac5ca986d827b8cd64d6c87
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark22.2506
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints351
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension351
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 1994746144
0.17/0.21	c Constructing HOME/instance-2091382-1247732509.xml  with 6633 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-2091382-1247732509/watcher-2091382-1247732509 -o /tmp/evaluation-result-2091382-1247732509/solver-2091382-1247732509 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1994746144 HOME/instance-2091382-1247732509.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.92 1.98 1.99 4/81 10136
/proc/meminfo: memFree=1292424/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=18576 CPUtime=0
/proc/10136/stat : 10136 (runsolver) R 10134 10136 8865 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 60317476 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 273952599335 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10136/statm: 4644 284 249 26 0 2626 0

[startup+0.0637139 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 10136
/proc/meminfo: memFree=1292424/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=5036 CPUtime=0.04
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 976 822 0 0 4 0 0 0 18 0 1 0 60317476 5156864 585 996147200 134512640 135095119 4294956304 18446744073709551615 8086492 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 1259 585 364 142 0 213 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5036

[startup+0.102719 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 10136
/proc/meminfo: memFree=1292424/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=5992 CPUtime=0.07
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 1215 822 0 0 7 0 0 0 18 0 1 0 60317476 6135808 824 996147200 134512640 135095119 4294956304 18446744073709551615 134584806 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 1498 824 367 142 0 452 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5992

[startup+0.301742 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 10136
/proc/meminfo: memFree=1292424/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=6384 CPUtime=0.27
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 1360 822 0 0 27 0 0 0 19 0 1 0 60317476 6537216 936 996147200 134512640 135095119 4294956304 18446744073709551615 134637494 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 1596 936 378 142 0 550 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6384

[startup+0.701788 s]
/proc/loadavg: 1.92 1.98 1.99 4/81 10136
/proc/meminfo: memFree=1292424/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=6384 CPUtime=0.67
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 1367 822 0 0 67 0 0 0 23 0 1 0 60317476 6537216 943 996147200 134512640 135095119 4294956304 18446744073709551615 134570977 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 1596 943 378 142 0 550 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6384

[startup+1.50188 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1290048/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=6516 CPUtime=1.46
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 1445 822 0 0 146 0 0 0 25 0 1 0 60317476 6672384 956 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 1629 956 378 142 0 583 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6516

[startup+3.10107 s]
/proc/loadavg: 1.92 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1289600/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=7160 CPUtime=3.05
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 1656 822 0 0 304 1 0 0 25 0 1 0 60317476 7331840 1102 996147200 134512640 135095119 4294956304 18446744073709551615 134554987 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 1790 1102 378 142 0 744 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7160

[startup+6.30144 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1288320/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=9752 CPUtime=6.22
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 2297 822 0 0 621 1 0 0 25 0 1 0 60317476 9986048 1614 996147200 134512640 135095119 4294956304 18446744073709551615 134617647 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 2438 1614 378 142 0 1392 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 9752

[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1286080/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=11040 CPUtime=12.56
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 2831 822 0 0 1255 1 0 0 25 0 1 0 60317476 11304960 1891 996147200 134512640 135095119 4294956304 18446744073709551615 134617003 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 2760 1891 378 142 0 1714 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11040

[startup+25.5027 s]
/proc/loadavg: 1.95 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1282304/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=16612 CPUtime=25.24
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 4549 822 0 0 2521 3 0 0 25 0 1 0 60317476 17010688 2839 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 4153 2839 378 142 0 3107 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 16612

[startup+51.1027 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1278848/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=18320 CPUtime=50.61
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 5423 822 0 0 5056 5 0 0 25 0 1 0 60317476 18759680 3713 996147200 134512640 135095119 4294956304 18446744073709551615 134617352 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 4580 3713 378 142 0 3534 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 18320

[startup+102.308 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1270912/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=29600 CPUtime=101.32
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 8900 822 0 0 10125 7 0 0 25 0 1 0 60317476 30310400 5652 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 7400 5652 378 142 0 6354 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 29600

[startup+162.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1266752/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=31304 CPUtime=160.76
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 9929 822 0 0 16067 9 0 0 25 0 1 0 60317476 32055296 6681 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 7826 6681 378 142 0 6780 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 31304

[startup+222.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1261952/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=42124 CPUtime=220.19
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 13173 822 0 0 22007 12 0 0 25 0 1 0 60317476 43134976 7876 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 10531 7876 378 142 0 9485 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 42124

[startup+282.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1257536/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=44756 CPUtime=279.63
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 14272 822 0 0 27950 13 0 0 25 0 1 0 60317476 45830144 8975 996147200 134512640 135095119 4294956304 18446744073709551615 134642693 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 11189 8975 378 142 0 10143 0
Current children cumulated CPU time (s) 279.63
Current children cumulated vsize (KiB) 44756

[startup+342.303 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1248256/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=56232 CPUtime=339.07
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 17589 822 0 0 33892 15 0 0 25 0 1 0 60317476 57581568 11267 996147200 134512640 135095119 4294956304 18446744073709551615 134636914 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 14058 11267 378 142 0 13012 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 56232

[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1246720/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=56232 CPUtime=398.52
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 17995 822 0 0 39836 16 0 0 25 0 1 0 60317476 57581568 11673 996147200 134512640 135095119 4294956304 18446744073709551615 134643120 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 14058 11673 378 142 0 13012 0
Current children cumulated CPU time (s) 398.52
Current children cumulated vsize (KiB) 56232

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1245312/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=56232 CPUtime=457.95
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 18379 822 0 0 45779 16 0 0 25 0 1 0 60317476 57581568 12057 996147200 134512640 135095119 4294956304 18446744073709551615 134607070 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 14058 12057 378 142 0 13012 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 56232

[startup+522.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1242688/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=57548 CPUtime=517.39
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 19052 822 0 0 51722 17 0 0 25 0 1 0 60317476 58929152 12730 996147200 134512640 135095119 4294956304 18446744073709551615 134636890 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 14387 12730 378 142 0 13341 0
Current children cumulated CPU time (s) 517.39
Current children cumulated vsize (KiB) 57548

[startup+582.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1239552/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=59256 CPUtime=576.82
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 19841 822 0 0 57664 18 0 0 25 0 1 0 60317476 60678144 13519 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 14814 13519 378 142 0 13768 0
Current children cumulated CPU time (s) 576.82
Current children cumulated vsize (KiB) 59256

[startup+642.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 10142
/proc/meminfo: memFree=1236352/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=77348 CPUtime=636.26
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 24710 822 0 0 63604 22 0 0 25 0 1 0 60317476 79204352 14291 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 19337 14291 378 142 0 18291 0
Current children cumulated CPU time (s) 636.26
Current children cumulated vsize (KiB) 77348

[startup+702.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.06 2.00 2.00 3/82 10142
/proc/meminfo: memFree=1227392/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=82332 CPUtime=814.58
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 26878 822 0 0 81433 25 0 0 25 0 1 0 60317476 84307968 16459 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10136/statm: 20583 16459 378 142 0 19537 0
Current children cumulated CPU time (s) 814.58
Current children cumulated vsize (KiB) 82332

[startup+882.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1224832/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=83900 CPUtime=874.32
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 27596 822 0 0 87404 28 0 0 25 0 1 0 60317476 85913600 17177 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 20975 17177 378 142 0 19929 0
Current children cumulated CPU time (s) 874.32
Current children cumulated vsize (KiB) 83900

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1221824/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=85480 CPUtime=934.29
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 28316 822 0 0 93401 28 0 0 25 0 1 0 60317476 87531520 17897 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 21370 17897 378 142 0 20324 0
Current children cumulated CPU time (s) 934.29
Current children cumulated vsize (KiB) 85480

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1219264/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=86928 CPUtime=994.27
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 28976 822 0 0 99398 29 0 0 25 0 1 0 60317476 89014272 18557 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 21732 18557 378 142 0 20686 0
Current children cumulated CPU time (s) 994.27
Current children cumulated vsize (KiB) 86928

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1216448/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=88644 CPUtime=1054.24
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 29686 822 0 0 105394 30 0 0 25 0 1 0 60317476 90771456 19267 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 22161 19267 378 142 0 21115 0
Current children cumulated CPU time (s) 1054.24
Current children cumulated vsize (KiB) 88644

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1201088/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=110960 CPUtime=1114.22
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 35567 822 0 0 111390 32 0 0 25 0 1 0 60317476 113623040 23099 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 27740 23099 378 142 0 26694 0
Current children cumulated CPU time (s) 1114.22
Current children cumulated vsize (KiB) 110960

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1200000/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=110960 CPUtime=1174.2
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 35838 822 0 0 117387 33 0 0 25 0 1 0 60317476 113623040 23370 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 27740 23370 378 142 0 26694 0
Current children cumulated CPU time (s) 1174.2
Current children cumulated vsize (KiB) 110960

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1198720/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=110960 CPUtime=1234.17
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 36114 822 0 0 123384 33 0 0 25 0 1 0 60317476 113623040 23646 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 27740 23646 378 142 0 26694 0
Current children cumulated CPU time (s) 1234.17
Current children cumulated vsize (KiB) 110960

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1197632/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=110960 CPUtime=1294.15
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 36380 822 0 0 129382 33 0 0 25 0 1 0 60317476 113623040 23912 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 27740 23912 378 142 0 26694 0
Current children cumulated CPU time (s) 1294.15
Current children cumulated vsize (KiB) 110960

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1196672/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=110960 CPUtime=1354.13
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 36636 822 0 0 135379 34 0 0 25 0 1 0 60317476 113623040 24168 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 27740 24168 378 142 0 26694 0
Current children cumulated CPU time (s) 1354.13
Current children cumulated vsize (KiB) 110960

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1195584/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=110960 CPUtime=1414.1
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 36890 822 0 0 141376 34 0 0 25 0 1 0 60317476 113623040 24422 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 27740 24422 378 142 0 26694 0
Current children cumulated CPU time (s) 1414.1
Current children cumulated vsize (KiB) 110960

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1194560/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=110960 CPUtime=1474.08
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 37150 822 0 0 147373 35 0 0 25 0 1 0 60317476 113623040 24682 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 27740 24682 378 142 0 26694 0
Current children cumulated CPU time (s) 1474.08
Current children cumulated vsize (KiB) 110960

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1193536/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=110960 CPUtime=1534.05
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 37400 822 0 0 153370 35 0 0 25 0 1 0 60317476 113623040 24932 996147200 134512640 135095119 4294956304 18446744073709551615 134589566 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 27740 24932 378 142 0 26694 0
Current children cumulated CPU time (s) 1534.05
Current children cumulated vsize (KiB) 110960

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1192448/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=110960 CPUtime=1594.02
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 37647 822 0 0 159367 35 0 0 25 0 1 0 60317476 113623040 25179 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 27740 25179 378 142 0 26694 0
Current children cumulated CPU time (s) 1594.02
Current children cumulated vsize (KiB) 110960

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1190784/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=111756 CPUtime=1654
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 38065 822 0 0 165364 36 0 0 25 0 1 0 60317476 114438144 25597 996147200 134512640 135095119 4294956304 18446744073709551615 134643026 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 27939 25597 378 142 0 26893 0
Current children cumulated CPU time (s) 1654
Current children cumulated vsize (KiB) 111756

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10185
/proc/meminfo: memFree=1188736/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=112812 CPUtime=1713.98
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 38587 822 0 0 171362 36 0 0 25 0 1 0 60317476 115519488 26119 996147200 134512640 135095119 4294956304 18446744073709551615 134617352 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 28203 26119 378 142 0 27157 0
Current children cumulated CPU time (s) 1713.98
Current children cumulated vsize (KiB) 112812

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10187
/proc/meminfo: memFree=1186368/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=146760 CPUtime=1773.95
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 47314 822 0 0 177354 41 0 0 25 0 1 0 60317476 150282240 26653 996147200 134512640 135095119 4294956304 18446744073709551615 134589509 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 36690 26653 378 142 0 35644 0
Current children cumulated CPU time (s) 1773.95
Current children cumulated vsize (KiB) 146760



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.41 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 10187
/proc/meminfo: memFree=1185408/2055920 swapFree=4192812/4192956
[pid=10136] ppid=10134 vsize=147276 CPUtime=1800.05
/proc/10136/stat : 10136 (pcs.small) R 10134 10136 8865 0 -1 4194304 47544 822 0 0 179964 41 0 0 25 0 1 0 60317476 150810624 26883 996147200 134512640 135095119 4294956304 18446744073709551615 134554977 0 0 4096 0 0 0 0 17 0 0 0
/proc/10136/statm: 36819 26883 378 142 0 35773 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 147276

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): 1808.43
CPU time (s): 1800.09
CPU user time (s): 1799.65
CPU system time (s): 0.437933
CPU usage (%): 99.5387
Max. virtual memory (cumulated for all children) (KiB): 178484

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

runsolver used 2.02669 second user time and 5.37218 second system time

The end

Launcher Data 

Begin job on node20 at 2009-07-16 10:21:49
IDJOB=2091382
IDBENCH=60054
IDSOLVER=733
FILE ID=node20/2091382-1247732509
PBS_JOBID= 9521579
Free space on /tmp= 66296 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-40_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091382-1247732509/watcher-2091382-1247732509 -o /tmp/evaluation-result-2091382-1247732509/solver-2091382-1247732509 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1994746144 HOME/instance-2091382-1247732509.xml

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

MD5SUM BENCH= 475027220ac5ca986d827b8cd64d6c87
RANDOM SEED=1994746144

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:       1292904 kB
Buffers:         92848 kB
Cached:         545060 kB
SwapCached:          0 kB
Active:         161368 kB
Inactive:       511160 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1292904 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1960 kB
Writeback:           0 kB
Mapped:          54956 kB
Slab:            75556 kB
Committed_AS:   494596 kB
PageTables:       1888 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:51:59