Trace number 2059713

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

General information on the benchmark

Namecsp/rand-2-23/
normalized-rand-23-23-253-131-51021_ext.xml
MD5SUM674916038d592935b687de8165d1c996
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 benchmark36.4974
Satisfiable
(Un)Satisfiability was proved
Number of variables23
Number of constraints253
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension253
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c small-domain mode
0.00/0.05	c Seed is 603976496
0.00/0.05	c Constructing HOME/instance-2059713-1247695453.xml  with 5806 constraints
0.07/0.10	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-2059713-1247695453/watcher-2059713-1247695453 -o /tmp/evaluation-result-2059713-1247695453/solver-2059713-1247695453 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 603976496 HOME/instance-2059713-1247695453.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.99 1.95 1.43 4/72 9496
/proc/meminfo: memFree=1329064/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=5256 CPUtime=0
/proc/9496/stat : 9496 (pcssolve) R 9494 9496 9363 0 -1 4194304 60 0 0 0 0 0 0 0 20 0 1 0 56612142 5382144 45 996147200 4194304 4889804 548682068800 18446744073709551615 237785644112 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 1314 45 34 169 0 13 0

[startup+0.088197 s]
/proc/loadavg: 1.99 1.95 1.43 4/72 9496
/proc/meminfo: memFree=1329064/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=5300 CPUtime=0.06
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 1050 822 0 0 6 0 0 0 18 0 1 0 56612142 5427200 659 996147200 134512640 135095119 4294956304 18446744073709551615 134741553 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 1325 659 364 142 0 279 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5300

[startup+0.101197 s]
/proc/loadavg: 1.99 1.95 1.43 4/72 9496
/proc/meminfo: memFree=1329064/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=5860 CPUtime=0.07
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 1173 822 0 0 7 0 0 0 18 0 1 0 56612142 6000640 782 996147200 134512640 135095119 4294956304 18446744073709551615 3038927 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 1465 782 367 142 0 419 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5860

[startup+0.301234 s]
/proc/loadavg: 1.99 1.95 1.43 4/72 9496
/proc/meminfo: memFree=1329064/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=6252 CPUtime=0.27
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 1305 822 0 0 27 0 0 0 19 0 1 0 56612142 6402048 881 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 1563 881 378 142 0 517 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6252

[startup+0.701309 s]
/proc/loadavg: 1.99 1.95 1.43 4/72 9496
/proc/meminfo: memFree=1329064/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=6252 CPUtime=0.67
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 1317 822 0 0 67 0 0 0 23 0 1 0 56612142 6402048 893 996147200 134512640 135095119 4294956304 18446744073709551615 134642982 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 1563 893 378 142 0 517 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6252

[startup+1.50245 s]
/proc/loadavg: 1.99 1.95 1.43 3/73 9502
/proc/meminfo: memFree=1326752/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=7024 CPUtime=1.47
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 1486 822 0 0 146 1 0 0 25 0 1 0 56612142 7192576 997 996147200 134512640 135095119 4294956304 18446744073709551615 134642937 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 1756 997 378 142 0 710 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 7024

[startup+3.10175 s]
/proc/loadavg: 1.99 1.95 1.43 3/73 9502
/proc/meminfo: memFree=1326112/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=7928 CPUtime=3.06
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 1819 822 0 0 305 1 0 0 25 0 1 0 56612142 8118272 1201 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 1982 1201 378 142 0 936 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 7928

[startup+6.30133 s]
/proc/loadavg: 1.99 1.95 1.44 3/73 9502
/proc/meminfo: memFree=1323872/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=10380 CPUtime=6.22
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 2640 822 0 0 621 1 0 0 25 0 1 0 56612142 10629120 1636 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 2595 1636 378 142 0 1549 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10380

[startup+12.7015 s]
/proc/loadavg: 1.99 1.95 1.44 3/73 9502
/proc/meminfo: memFree=1321120/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=11808 CPUtime=12.56
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 3268 822 0 0 1254 2 0 0 25 0 1 0 56612142 12091392 2264 996147200 134512640 135095119 4294956304 18446744073709551615 134637390 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 2952 2264 378 142 0 1906 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11808

[startup+25.5018 s]
/proc/loadavg: 1.99 1.95 1.45 3/73 9502
/proc/meminfo: memFree=1317472/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=16852 CPUtime=25.23
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 4886 822 0 0 2520 3 0 0 25 0 1 0 56612142 17256448 3112 996147200 134512640 135095119 4294956304 18446744073709551615 134576357 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 4213 3112 378 142 0 3167 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 16852

[startup+51.1015 s]
/proc/loadavg: 1.99 1.96 1.46 3/73 9502
/proc/meminfo: memFree=1312544/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=23444 CPUtime=50.59
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 7053 822 0 0 5054 5 0 0 25 0 1 0 56612142 24006656 4254 996147200 134512640 135095119 4294956304 18446744073709551615 134617071 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 5861 4254 378 142 0 4815 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 23444

[startup+102.307 s]
/proc/loadavg: 1.99 1.96 1.49 3/73 9502
/proc/meminfo: memFree=1304992/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=29172 CPUtime=101.32
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 9162 822 0 0 10124 8 0 0 25 0 1 0 56612142 29872128 5850 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 7293 5850 378 142 0 6247 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 29172

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.52 3/73 9502
/proc/meminfo: memFree=1298016/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=40612 CPUtime=160.75
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 12633 822 0 0 16065 10 0 0 25 0 1 0 56612142 41586688 7272 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 10153 7272 378 142 0 9107 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 40612

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.55 3/73 9502
/proc/meminfo: memFree=1291104/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=43368 CPUtime=220.17
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 13876 822 0 0 22006 11 0 0 25 0 1 0 56612142 44408832 8515 996147200 134512640 135095119 4294956304 18446744073709551615 134589639 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 10842 8515 378 142 0 9796 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 43368

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.57 3/73 9502
/proc/meminfo: memFree=1281504/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=53268 CPUtime=279.62
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 16821 822 0 0 27949 13 0 0 25 0 1 0 56612142 54546432 10435 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 13317 10435 378 142 0 12271 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 53268

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.59 3/73 9502
/proc/meminfo: memFree=1277920/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=53268 CPUtime=339.05
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 17222 822 0 0 33891 14 0 0 25 0 1 0 56612142 54546432 10836 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 13317 10836 378 142 0 12271 0
Current children cumulated CPU time (s) 339.05
Current children cumulated vsize (KiB) 53268

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.62 3/73 9502
/proc/meminfo: memFree=1273312/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=54444 CPUtime=398.49
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 17900 822 0 0 39834 15 0 0 25 0 1 0 56612142 55750656 11514 996147200 134512640 135095119 4294956304 18446744073709551615 134643013 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 13611 11514 378 142 0 12565 0
Current children cumulated CPU time (s) 398.49
Current children cumulated vsize (KiB) 54444

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.64 3/73 9502
/proc/meminfo: memFree=1268256/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=56144 CPUtime=457.92
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 18691 822 0 0 45777 15 0 0 25 0 1 0 56612142 57491456 12305 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 14036 12305 378 142 0 12990 0
Current children cumulated CPU time (s) 457.92
Current children cumulated vsize (KiB) 56144

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.66 3/73 9502
/proc/meminfo: memFree=1263200/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=57972 CPUtime=517.36
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 19470 822 0 0 51720 16 0 0 25 0 1 0 56612142 59363328 13084 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/9496/statm: 14493 13084 378 142 0 13447 0
Current children cumulated CPU time (s) 517.36
Current children cumulated vsize (KiB) 57972

[startup+582.302 s]
/proc/loadavg: 1.77 1.92 1.66 2/68 9648
/proc/meminfo: memFree=1362440/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=75924 CPUtime=576.89
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 24306 822 0 0 57669 20 0 0 25 0 1 0 56612142 77746176 13823 996147200 134512640 135095119 4294956304 18446744073709551615 134589575 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 18981 13823 378 142 0 17935 0
Current children cumulated CPU time (s) 576.89
Current children cumulated vsize (KiB) 75924

[startup+642.301 s]
/proc/loadavg: 1.91 1.93 1.68 3/73 9663
/proc/meminfo: memFree=1344992/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=77632 CPUtime=636.87
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 25079 822 0 0 63666 21 0 0 25 0 1 0 56612142 79495168 14596 996147200 134512640 135095119 4294956304 18446744073709551615 3040891 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 19408 14596 378 142 0 18362 0
Current children cumulated CPU time (s) 636.87
Current children cumulated vsize (KiB) 77632

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.96 1.73 3/73 9663
/proc/meminfo: memFree=1327648/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=82460 CPUtime=816.78
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 27244 822 0 0 81654 24 0 0 25 0 1 0 56612142 84439040 16761 996147200 134512640 135095119 4294956304 18446744073709551615 134642982 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 20615 16761 378 142 0 19569 0
Current children cumulated CPU time (s) 816.78
Current children cumulated vsize (KiB) 82460

[startup+882.301 s]
/proc/loadavg: 1.99 1.96 1.74 3/73 9663
/proc/meminfo: memFree=1322912/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=83896 CPUtime=876.75
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 27902 822 0 0 87650 25 0 0 25 0 1 0 56612142 85909504 17419 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 20974 17419 378 142 0 19928 0
Current children cumulated CPU time (s) 876.75
Current children cumulated vsize (KiB) 83896

[startup+942.301 s]
/proc/loadavg: 1.99 1.97 1.75 3/73 9663
/proc/meminfo: memFree=1308000/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=104092 CPUtime=936.72
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 33204 822 0 0 93644 28 0 0 25 0 1 0 56612142 106590208 20672 996147200 134512640 135095119 4294956304 18446744073709551615 134641669 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 26023 20672 378 142 0 24977 0
Current children cumulated CPU time (s) 936.72
Current children cumulated vsize (KiB) 104092

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.76 3/73 9663
/proc/meminfo: memFree=1304352/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=104092 CPUtime=996.69
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 33474 822 0 0 99640 29 0 0 25 0 1 0 56612142 106590208 20942 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 26023 20942 378 142 0 24977 0
Current children cumulated CPU time (s) 996.69
Current children cumulated vsize (KiB) 104092

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.78 3/73 9663
/proc/meminfo: memFree=1298080/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=104092 CPUtime=1056.67
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 33741 822 0 0 105638 29 0 0 25 0 1 0 56612142 106590208 21209 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 26023 21209 378 142 0 24977 0
Current children cumulated CPU time (s) 1056.67
Current children cumulated vsize (KiB) 104092

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.79 3/73 9663
/proc/meminfo: memFree=1295648/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=104092 CPUtime=1116.63
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 34000 822 0 0 111634 29 0 0 25 0 1 0 56612142 106590208 21468 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 26023 21468 378 142 0 24977 0
Current children cumulated CPU time (s) 1116.63
Current children cumulated vsize (KiB) 104092

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.80 3/73 9663
/proc/meminfo: memFree=1292704/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=104092 CPUtime=1176.6
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 34266 822 0 0 117631 29 0 0 25 0 1 0 56612142 106590208 21734 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 26023 21734 378 142 0 24977 0
Current children cumulated CPU time (s) 1176.6
Current children cumulated vsize (KiB) 104092

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.81 3/73 9663
/proc/meminfo: memFree=1288672/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=104092 CPUtime=1236.58
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 34526 822 0 0 123628 30 0 0 25 0 1 0 56612142 106590208 21994 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 26023 21994 378 142 0 24977 0
Current children cumulated CPU time (s) 1236.58
Current children cumulated vsize (KiB) 104092

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.82 3/73 9663
/proc/meminfo: memFree=1284448/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=104092 CPUtime=1296.55
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 34776 822 0 0 129625 30 0 0 25 0 1 0 56612142 106590208 22244 996147200 134512640 135095119 4294956304 18446744073709551615 134616996 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 26023 22244 378 142 0 24977 0
Current children cumulated CPU time (s) 1296.55
Current children cumulated vsize (KiB) 104092

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.83 3/73 9663
/proc/meminfo: memFree=1273312/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=104360 CPUtime=1356.52
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 35081 822 0 0 135622 30 0 0 25 0 1 0 56612142 106864640 22549 996147200 134512640 135095119 4294956304 18446744073709551615 134617345 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 26090 22549 378 142 0 25044 0
Current children cumulated CPU time (s) 1356.52
Current children cumulated vsize (KiB) 104360

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.83 3/73 9663
/proc/meminfo: memFree=1269984/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=105404 CPUtime=1416.49
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 35592 822 0 0 141618 31 0 0 25 0 1 0 56612142 107933696 23060 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 26351 23060 378 142 0 25305 0
Current children cumulated CPU time (s) 1416.49
Current children cumulated vsize (KiB) 105404

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/73 9663
/proc/meminfo: memFree=1266400/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=106444 CPUtime=1476.46
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 36109 822 0 0 147614 32 0 0 25 0 1 0 56612142 108998656 23577 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 26611 23577 378 142 0 25565 0
Current children cumulated CPU time (s) 1476.46
Current children cumulated vsize (KiB) 106444

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.84 3/73 9663
/proc/meminfo: memFree=1263264/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=107612 CPUtime=1536.44
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 36619 822 0 0 153611 33 0 0 25 0 1 0 56612142 110194688 24087 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 26903 24087 378 142 0 25857 0
Current children cumulated CPU time (s) 1536.44
Current children cumulated vsize (KiB) 107612

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.85 3/73 9663
/proc/meminfo: memFree=1258336/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=108792 CPUtime=1596.41
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 37148 822 0 0 159608 33 0 0 25 0 1 0 56612142 111403008 24616 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 27198 24616 378 142 0 26152 0
Current children cumulated CPU time (s) 1596.41
Current children cumulated vsize (KiB) 108792

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.86 3/73 9663
/proc/meminfo: memFree=1253472/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=109836 CPUtime=1656.38
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 37651 822 0 0 165604 34 0 0 25 0 1 0 56612142 112472064 25119 996147200 134512640 135095119 4294956304 18446744073709551615 134555070 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 27459 25119 378 142 0 26413 0
Current children cumulated CPU time (s) 1656.38
Current children cumulated vsize (KiB) 109836

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.86 3/73 9663
/proc/meminfo: memFree=1248608/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=111008 CPUtime=1716.36
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 38163 822 0 0 171601 35 0 0 25 0 1 0 56612142 113672192 25631 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 27752 25631 378 142 0 26706 0
Current children cumulated CPU time (s) 1716.36
Current children cumulated vsize (KiB) 111008

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.87 3/73 9663
/proc/meminfo: memFree=1243488/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=112052 CPUtime=1776.32
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 38660 822 0 0 177597 35 0 0 25 0 1 0 56612142 114741248 26128 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 28013 26128 378 142 0 26967 0
Current children cumulated CPU time (s) 1776.32
Current children cumulated vsize (KiB) 112052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806 s]
/proc/loadavg: 1.99 1.97 1.87 3/73 9663
/proc/meminfo: memFree=1241440/2055920 swapFree=4192812/4192956
[pid=9496] ppid=9494 vsize=112576 CPUtime=1800.01
/proc/9496/stat : 9496 (pcs.small) R 9494 9496 9363 0 -1 4194304 38862 822 0 0 179966 35 0 0 25 0 1 0 56612142 115277824 26330 996147200 134512640 135095119 4294956304 18446744073709551615 134617232 0 0 4096 0 0 0 0 17 0 0 0
/proc/9496/statm: 28144 26330 378 142 0 27098 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 112576

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): 1806.02
CPU time (s): 1800.05
CPU user time (s): 1799.67
CPU system time (s): 0.382941
CPU usage (%): 99.6694
Max. virtual memory (cumulated for all children) (KiB): 112576

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

runsolver used 2.99654 second user time and 5.21021 second system time

The end

Launcher Data 

Begin job on node24 at 2009-07-16 00:04:13
IDJOB=2059713
IDBENCH=53607
IDSOLVER=733
FILE ID=node24/2059713-1247695453
PBS_JOBID= 9521261
Free space on /tmp= 66412 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-23/normalized-rand-23-23-253-131-51021_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059713-1247695453/watcher-2059713-1247695453 -o /tmp/evaluation-result-2059713-1247695453/solver-2059713-1247695453 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 603976496 HOME/instance-2059713-1247695453.xml

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

MD5SUM BENCH= 674916038d592935b687de8165d1c996
RANDOM SEED=603976496

node24.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.287
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.287
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:       1329544 kB
Buffers:         72960 kB
Cached:         485388 kB
SwapCached:          0 kB
Active:         265624 kB
Inactive:       394148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1329544 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1916 kB
Writeback:           0 kB
Mapped:         112820 kB
Slab:            51800 kB
Committed_AS:   633880 kB
PageTables:       2000 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= 66408 MiB
End job on node24 at 2009-07-16 00:34:21