Trace number 2089864

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs 0.3.2? (TO) 1800.11 1805.83

General information on the benchmark

Namecsp/rand-2-40-19/
normalized-rand-2-40-19-443-230-20_ext.xml
MD5SUM5b05a39c23d0bd62d5f22e103d794b92
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 benchmark69.1305
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints325
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension325
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.00/0.02	c Seed is 462464613
0.00/0.02	c Constructing HOME/instance-2089864-1247730735.xml  with 6150 constraints
0.08/0.11	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-2089864-1247730735/watcher-2089864-1247730735 -o /tmp/evaluation-result-2089864-1247730735/solver-2089864-1247730735 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 462464613 HOME/instance-2089864-1247730735.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.07 2.03 2.00 4/72 16406
/proc/meminfo: memFree=1374360/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=5256 CPUtime=0
/proc/16406/stat : 16406 (pcssolve) R 16404 16406 15416 0 -1 4194304 63 0 0 0 0 0 0 0 23 0 1 0 60136609 5382144 48 996147200 4194304 4889804 548682068800 18446744073709551615 217048988988 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 1314 48 37 169 0 13 0

[startup+0.109241 s]
/proc/loadavg: 2.07 2.03 2.00 4/72 16406
/proc/meminfo: memFree=1374360/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=6356 CPUtime=0.08
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 1327 822 0 0 8 0 0 0 25 0 1 0 60136609 6508544 903 996147200 134512640 135095119 4294956304 18446744073709551615 4159800784 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 1589 903 369 142 0 543 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6356

[startup+0.202254 s]
/proc/loadavg: 2.07 2.03 2.00 4/72 16406
/proc/meminfo: memFree=1374360/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=6356 CPUtime=0.18
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 1337 822 0 0 18 0 0 0 25 0 1 0 60136609 6508544 913 996147200 134512640 135095119 4294956304 18446744073709551615 134615414 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 1589 913 378 142 0 543 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6356

[startup+0.302271 s]
/proc/loadavg: 2.07 2.03 2.00 4/72 16406
/proc/meminfo: memFree=1374360/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=6356 CPUtime=0.28
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 1340 822 0 0 28 0 0 0 25 0 1 0 60136609 6508544 916 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 1589 916 378 142 0 543 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6356

[startup+0.701352 s]
/proc/loadavg: 2.07 2.03 2.00 4/72 16406
/proc/meminfo: memFree=1374360/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=6356 CPUtime=0.67
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 1348 822 0 0 67 0 0 0 25 0 1 0 60136609 6508544 924 996147200 134512640 135095119 4294956304 18446744073709551615 134554987 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 1589 924 378 142 0 543 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6356

[startup+1.5015 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 16412
/proc/meminfo: memFree=1371856/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=6612 CPUtime=1.47
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 1426 822 0 0 147 0 0 0 25 0 1 0 60136609 6770688 937 996147200 134512640 135095119 4294956304 18446744073709551615 134591742 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 1653 937 378 142 0 607 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6612

[startup+3.10181 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 16412
/proc/meminfo: memFree=1371472/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=7128 CPUtime=3.05
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 1570 822 0 0 305 0 0 0 25 0 1 0 60136609 7299072 1081 996147200 134512640 135095119 4294956304 18446744073709551615 134642964 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 1782 1081 378 142 0 736 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7128

[startup+6.30142 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 16412
/proc/meminfo: memFree=1369296/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=9332 CPUtime=6.22
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 2247 822 0 0 621 1 0 0 25 0 1 0 60136609 9555968 1500 996147200 134512640 135095119 4294956304 18446744073709551615 134642871 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 2333 1500 378 142 0 1287 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 9332

[startup+12.7016 s]
/proc/loadavg: 2.06 2.02 2.00 3/73 16412
/proc/meminfo: memFree=1367632/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=11148 CPUtime=12.56
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 2933 822 0 0 1255 1 0 0 25 0 1 0 60136609 11415552 1929 996147200 134512640 135095119 4294956304 18446744073709551615 134637438 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 2787 1929 378 142 0 1741 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 11148

[startup+25.5021 s]
/proc/loadavg: 2.04 2.02 2.00 3/73 16412
/proc/meminfo: memFree=1363920/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=16460 CPUtime=25.24
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 4608 822 0 0 2522 2 0 0 25 0 1 0 60136609 16855040 2801 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 4115 2801 378 142 0 3069 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 16460

[startup+51.103 s]
/proc/loadavg: 2.03 2.02 2.00 3/73 16412
/proc/meminfo: memFree=1360016/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=18420 CPUtime=50.6
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 5538 822 0 0 5056 4 0 0 25 0 1 0 60136609 18862080 3731 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 4605 3731 378 142 0 3559 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 18420

[startup+102.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 16412
/proc/meminfo: memFree=1351376/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=29704 CPUtime=101.31
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 8997 822 0 0 10124 7 0 0 25 0 1 0 60136609 30416896 5652 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 7426 5652 378 142 0 6380 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 29704

[startup+162.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16412
/proc/meminfo: memFree=1346448/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=31548 CPUtime=160.75
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 10019 822 0 0 16067 8 0 0 25 0 1 0 60136609 32305152 6674 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 7887 6674 378 142 0 6841 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 31548

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16412
/proc/meminfo: memFree=1340304/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=42504 CPUtime=220.18
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 13262 822 0 0 22008 10 0 0 25 0 1 0 60136609 43524096 7868 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 10626 7868 378 142 0 9580 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 42504

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16412
/proc/meminfo: memFree=1334160/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=45000 CPUtime=279.61
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 14339 822 0 0 27949 12 0 0 25 0 1 0 60136609 46080000 8945 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 11250 8945 378 142 0 10204 0
Current children cumulated CPU time (s) 279.61
Current children cumulated vsize (KiB) 45000

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16412
/proc/meminfo: memFree=1322832/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=56748 CPUtime=339.04
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 17709 822 0 0 33890 14 0 0 25 0 1 0 60136609 58109952 11290 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 14187 11290 378 142 0 13141 0
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (KiB) 56748

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16412
/proc/meminfo: memFree=1319504/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=56748 CPUtime=398.47
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 18091 822 0 0 39833 14 0 0 25 0 1 0 60136609 58109952 11672 996147200 134512640 135095119 4294956304 18446744073709551615 134617066 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 14187 11672 378 142 0 13141 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 56748

[startup+462.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16412
/proc/meminfo: memFree=1316176/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=56748 CPUtime=457.9
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 18461 822 0 0 45776 14 0 0 25 0 1 0 60136609 58109952 12042 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 14187 12042 378 142 0 13141 0
Current children cumulated CPU time (s) 457.9
Current children cumulated vsize (KiB) 56748

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16412
/proc/meminfo: memFree=1311888/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=57804 CPUtime=517.34
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 19067 822 0 0 51718 16 0 0 25 0 1 0 60136609 59191296 12648 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/16406/statm: 14451 12648 378 142 0 13405 0
Current children cumulated CPU time (s) 517.34
Current children cumulated vsize (KiB) 57804

[startup+582.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 16491
/proc/meminfo: memFree=1388424/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=59652 CPUtime=577.12
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 19895 822 0 0 57694 18 0 0 25 0 1 0 60136609 61083648 13476 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 14913 13476 378 142 0 13867 0
Current children cumulated CPU time (s) 577.12
Current children cumulated vsize (KiB) 59652

[startup+642.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 16491
/proc/meminfo: memFree=1385032/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=77856 CPUtime=637.1
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 24798 822 0 0 63689 21 0 0 25 0 1 0 60136609 79724544 14282 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 19464 14282 378 142 0 18418 0
Current children cumulated CPU time (s) 637.1
Current children cumulated vsize (KiB) 77856

[startup+702.301 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16491
/proc/meminfo: memFree=1372488/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=84944 CPUtime=876.98
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 27875 822 0 0 87674 24 0 0 25 0 1 0 60136609 86982656 17359 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 21236 17359 378 142 0 20190 0
Current children cumulated CPU time (s) 876.98
Current children cumulated vsize (KiB) 84944

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16491
/proc/meminfo: memFree=1369736/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=86508 CPUtime=936.95
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 28575 822 0 0 93670 25 0 0 25 0 1 0 60136609 88584192 18059 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 21627 18059 378 142 0 20581 0
Current children cumulated CPU time (s) 936.95
Current children cumulated vsize (KiB) 86508

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16491
/proc/meminfo: memFree=1366792/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=88212 CPUtime=996.93
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 29301 822 0 0 99667 26 0 0 25 0 1 0 60136609 90329088 18785 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 22053 18785 378 142 0 21007 0
Current children cumulated CPU time (s) 996.93
Current children cumulated vsize (KiB) 88212

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16491
/proc/meminfo: memFree=1364104/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=89780 CPUtime=1056.9
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 29978 822 0 0 105663 27 0 0 25 0 1 0 60136609 91934720 19462 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 22445 19462 378 142 0 21399 0
Current children cumulated CPU time (s) 1056.9
Current children cumulated vsize (KiB) 89780

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16491
/proc/meminfo: memFree=1348488/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=112360 CPUtime=1116.87
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 35909 822 0 0 111657 30 0 0 25 0 1 0 60136609 115056640 23344 996147200 134512640 135095119 4294956304 18446744073709551615 134580556 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 28090 23344 378 142 0 27044 0
Current children cumulated CPU time (s) 1116.87
Current children cumulated vsize (KiB) 112360

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16491
/proc/meminfo: memFree=1347336/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=112360 CPUtime=1176.85
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 36186 822 0 0 117655 30 0 0 25 0 1 0 60136609 115056640 23621 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 28090 23621 378 142 0 27044 0
Current children cumulated CPU time (s) 1176.85
Current children cumulated vsize (KiB) 112360

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16491
/proc/meminfo: memFree=1346120/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=112360 CPUtime=1236.82
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 36457 822 0 0 123652 30 0 0 25 0 1 0 60136609 115056640 23892 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 28090 23892 378 142 0 27044 0
Current children cumulated CPU time (s) 1236.82
Current children cumulated vsize (KiB) 112360

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 16491
/proc/meminfo: memFree=1344968/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=112360 CPUtime=1296.79
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 36722 822 0 0 129649 30 0 0 25 0 1 0 60136609 115056640 24157 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 28090 24157 378 142 0 27044 0
Current children cumulated CPU time (s) 1296.79
Current children cumulated vsize (KiB) 112360

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/82 16491
/proc/meminfo: memFree=1343880/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=112360 CPUtime=1356.76
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 36987 822 0 0 135645 31 0 0 25 0 1 0 60136609 115056640 24422 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 28090 24422 378 142 0 27044 0
Current children cumulated CPU time (s) 1356.76
Current children cumulated vsize (KiB) 112360

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16491
/proc/meminfo: memFree=1342856/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=112360 CPUtime=1416.74
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 37246 822 0 0 141643 31 0 0 25 0 1 0 60136609 115056640 24681 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 28090 24681 378 142 0 27044 0
Current children cumulated CPU time (s) 1416.74
Current children cumulated vsize (KiB) 112360

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16491
/proc/meminfo: memFree=1341896/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=112360 CPUtime=1476.72
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 37501 822 0 0 147640 32 0 0 25 0 1 0 60136609 115056640 24936 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 28090 24936 378 142 0 27044 0
Current children cumulated CPU time (s) 1476.72
Current children cumulated vsize (KiB) 112360

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 16491
/proc/meminfo: memFree=1340936/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=112360 CPUtime=1536.69
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 37748 822 0 0 153637 32 0 0 25 0 1 0 60136609 115056640 25183 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 28090 25183 378 142 0 27044 0
Current children cumulated CPU time (s) 1536.69
Current children cumulated vsize (KiB) 112360

[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/82 16491
/proc/meminfo: memFree=1339912/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=112360 CPUtime=1596.65
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 37995 822 0 0 159633 32 0 0 25 0 1 0 60136609 115056640 25430 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 28090 25430 378 142 0 27044 0
Current children cumulated CPU time (s) 1596.65
Current children cumulated vsize (KiB) 112360

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/82 16491
/proc/meminfo: memFree=1337928/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=113412 CPUtime=1656.63
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 38493 822 0 0 165630 33 0 0 25 0 1 0 60136609 116133888 25928 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 28353 25928 378 142 0 27307 0
Current children cumulated CPU time (s) 1656.63
Current children cumulated vsize (KiB) 113412

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/82 16491
/proc/meminfo: memFree=1335752/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=114600 CPUtime=1716.6
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 39036 822 0 0 171626 34 0 0 25 0 1 0 60136609 117350400 26471 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 28650 26471 378 142 0 27604 0
Current children cumulated CPU time (s) 1716.6
Current children cumulated vsize (KiB) 114600

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 16491
/proc/meminfo: memFree=1333512/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=148540 CPUtime=1776.57
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 47761 822 0 0 177618 39 0 0 25 0 1 0 60136609 152104960 27003 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 37135 27003 378 142 0 36089 0
Current children cumulated CPU time (s) 1776.57
Current children cumulated vsize (KiB) 148540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 16491
/proc/meminfo: memFree=1332680/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=148944 CPUtime=1800.07
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 47959 822 0 0 179967 40 0 0 25 0 1 0 60136609 152518656 27201 996147200 134512640 135095119 4294956304 18446744073709551615 134636916 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 37236 27201 378 142 0 36190 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 148944

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

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

[startup+1805.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 16491
/proc/meminfo: memFree=1332680/2055920 swapFree=4192812/4192956
[pid=16406] ppid=16404 vsize=148944 CPUtime=1800.07
/proc/16406/stat : 16406 (pcs.small) R 16404 16406 15416 0 -1 4194304 47959 822 0 0 179967 40 0 0 25 0 1 0 60136609 152518656 27201 996147200 134512640 135095119 4294956304 18446744073709551615 134636916 0 0 4096 0 0 0 0 17 0 0 0
/proc/16406/statm: 37236 27201 378 142 0 36190 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 148944

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1805.83
CPU time (s): 1800.11
CPU user time (s): 1799.68
CPU system time (s): 0.430934
CPU usage (%): 99.6834
Max. virtual memory (cumulated for all children) (KiB): 180928

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

runsolver used 1.92271 second user time and 5.2432 second system time

The end

Launcher Data 

Begin job on node59 at 2009-07-16 09:52:15
IDJOB=2089864
IDBENCH=59640
IDSOLVER=733
FILE ID=node59/2089864-1247730735
PBS_JOBID= 9521505
Free space on /tmp= 66344 MiB

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

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

MD5SUM BENCH= 5b05a39c23d0bd62d5f22e103d794b92
RANDOM SEED=462464613

node59.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.263
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.263
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:       1374840 kB
Buffers:        108120 kB
Cached:         374816 kB
SwapCached:          0 kB
Active:         156628 kB
Inactive:       427624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1374840 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2232 kB
Writeback:           0 kB
Mapped:         112748 kB
Slab:            82044 kB
Committed_AS:   642036 kB
PageTables:       2032 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= 66344 MiB
End job on node59 at 2009-07-16 10:22:23