Trace number 2084298

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 1800.93

General information on the benchmark

Namecsp/rlfapScens11/
normalized-scen11-f1.xml
MD5SUM82ca51bd7cee57081df4d0e802a460c1
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark13.004
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4103
Maximum constraint arity2
Maximum domain size43
Number of constraints which are defined in extension0
Number of constraints which are defined in intension4103
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.17/0.21	c Seed is 129898223
0.17/0.21	c Constructing HOME/instance-2084298-1247724563.xml  with 11969 constraints
0.17/0.29	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-2084298-1247724563/watcher-2084298-1247724563 -o /tmp/evaluation-result-2084298-1247724563/solver-2084298-1247724563 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 129898223 HOME/instance-2084298-1247724563.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.05 2.00 2.00 4/82 12974
/proc/meminfo: memFree=1178296/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=5356 CPUtime=0
/proc/12974/stat : 12974 (pcssolve) R 12972 12974 12500 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 59520429 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 266890439327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12974/statm: 1339 241 200 169 0 50 0
[pid=12975] ppid=12974 vsize=3676 CPUtime=0
/proc/12975/stat : 12975 (fgrep) R 12974 12974 12500 0 -1 4194304 146 0 0 0 0 0 0 0 22 0 1 0 59520430 3764224 113 996147200 4194304 4274172 548682068976 18446744073709551615 266890608722 0 0 4096 0 0 0 0 17 1 0 0
/proc/12975/statm: 919 113 85 19 0 43 0
[pid=12976] ppid=12974 vsize=5356 CPUtime=0
/proc/12976/stat : 12976 (pcssolve) R 12974 12974 12500 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 59520430 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 266890439327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/12976/statm: 1339 241 200 169 0 50 0

[startup+0.113672 s]
/proc/loadavg: 2.05 2.00 2.00 4/82 12974
/proc/meminfo: memFree=1178296/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=7888 CPUtime=0.09
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 1622 662 0 0 9 0 0 0 18 0 1 0 59520429 8077312 1253 996147200 134512640 135215973 4294956304 18446744073709551615 4159670442 0 0 4096 0 0 0 0 17 1 0 0
/proc/12974/statm: 1972 1253 385 171 0 897 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7888

[startup+0.202685 s]
/proc/loadavg: 2.05 2.00 2.00 4/82 12974
/proc/meminfo: memFree=1178296/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=9216 CPUtime=0.17
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 2014 662 0 0 17 0 0 0 18 0 1 0 59520429 9437184 1517 996147200 134512640 135215973 4294956304 18446744073709551615 134761801 0 0 4096 0 0 0 0 17 1 0 0
/proc/12974/statm: 2304 1517 385 171 0 1229 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 9216

[startup+0.302697 s]
/proc/loadavg: 2.05 2.00 2.00 4/82 12974
/proc/meminfo: memFree=1178296/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=11700 CPUtime=0.28
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 2842 662 0 0 27 1 0 0 19 0 1 0 59520429 11980800 2115 996147200 134512640 135215973 4294956304 18446744073709551615 134584263 0 0 4096 0 0 0 0 17 1 0 0
/proc/12974/statm: 2925 2115 401 171 0 1850 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11700

[startup+0.701745 s]
/proc/loadavg: 2.05 2.00 2.00 4/82 12974
/proc/meminfo: memFree=1178296/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=13592 CPUtime=0.68
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 3297 662 0 0 67 1 0 0 23 0 1 0 59520429 13918208 2570 996147200 134512640 135215973 4294956304 18446744073709551615 134902586 0 0 4096 0 0 0 0 17 1 0 0
/proc/12974/statm: 3398 2570 401 171 0 2323 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13592

[startup+1.50283 s]
/proc/loadavg: 2.05 2.00 2.00 3/83 12979
/proc/meminfo: memFree=1165168/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=19876 CPUtime=1.47
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 4884 662 0 0 145 2 0 0 25 0 1 0 59520429 20353024 4157 996147200 134512640 135215973 4294956304 18446744073709551615 134599830 0 0 4096 0 0 0 0 17 1 0 0
/proc/12974/statm: 4969 4157 401 171 0 3894 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19876

[startup+3.10201 s]
/proc/loadavg: 2.05 2.00 2.00 3/83 12979
/proc/meminfo: memFree=1156400/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=33548 CPUtime=3.06
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 8335 662 0 0 302 4 0 0 25 0 1 0 59520429 34353152 7555 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/12974/statm: 8387 7555 401 171 0 7312 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 33548

[startup+6.30136 s]
/proc/loadavg: 2.05 2.00 2.00 3/83 12979
/proc/meminfo: memFree=1135728/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=46240 CPUtime=6.23
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 11582 662 0 0 617 6 0 0 25 0 1 0 59520429 47349760 10697 996147200 134512640 135215973 4294956304 18446744073709551615 134591081 0 0 4096 0 0 0 0 17 1 0 0
/proc/12974/statm: 11560 10697 401 171 0 10485 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 46240

[startup+12.7011 s]
/proc/loadavg: 2.04 2.00 2.00 3/83 12979
/proc/meminfo: memFree=1131000/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=50596 CPUtime=12.56
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 12677 662 0 0 1250 6 0 0 25 0 1 0 59520429 51810304 11792 996147200 134512640 135215973 4294956304 18446744073709551615 134969647 0 0 4096 0 0 0 0 17 1 0 0
/proc/12974/statm: 12649 11792 401 171 0 11574 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 50596

[startup+25.5015 s]
/proc/loadavg: 2.11 2.02 2.01 3/82 13021
/proc/meminfo: memFree=1133368/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=59176 CPUtime=25.32
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 14861 662 0 0 2524 8 0 0 25 0 1 0 59520429 60596224 13976 996147200 134512640 135215973 4294956304 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 14794 13976 401 171 0 13719 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 59176

[startup+51.1014 s]
/proc/loadavg: 2.13 2.03 2.01 3/83 13063
/proc/meminfo: memFree=1069496/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=90632 CPUtime=50.9
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 22763 662 0 0 5077 13 0 0 25 0 1 0 59520429 92807168 21669 996147200 134512640 135215973 4294956304 18446744073709551615 4158960060 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 22658 21669 401 171 0 21583 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 90632

[startup+102.301 s]
/proc/loadavg: 2.05 2.02 2.00 3/83 13063
/proc/meminfo: memFree=997816/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=158280 CPUtime=102.08
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 39854 662 0 0 10188 20 0 0 25 0 1 0 59520429 162078720 38343 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39570 38343 404 171 0 38495 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 158280

[startup+162.302 s]
/proc/loadavg: 2.02 2.02 2.00 3/82 13103
/proc/meminfo: memFree=1059400/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=158260 CPUtime=162.06
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 39866 662 0 0 16185 21 0 0 25 0 1 0 59520429 162058240 38355 996147200 134512640 135215973 4294956304 18446744073709551615 134585786 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39565 38355 404 171 0 38490 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 158260

[startup+222.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 13105
/proc/meminfo: memFree=1042104/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=158364 CPUtime=222.04
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 39878 662 0 0 22183 21 0 0 25 0 1 0 59520429 162164736 38367 996147200 134512640 135215973 4294956304 18446744073709551615 134594065 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39591 38367 404 171 0 38516 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 158364

[startup+282.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 13105
/proc/meminfo: memFree=1041912/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=158364 CPUtime=282.01
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 39897 662 0 0 28180 21 0 0 25 0 1 0 59520429 162164736 38386 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39591 38386 404 171 0 38516 0
Current children cumulated CPU time (s) 282.01
Current children cumulated vsize (KiB) 158364

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1041784/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=158472 CPUtime=341.99
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 39929 662 0 0 34178 21 0 0 25 0 1 0 59520429 162275328 38418 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39618 38418 404 171 0 38543 0
Current children cumulated CPU time (s) 341.99
Current children cumulated vsize (KiB) 158472

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1041720/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=158568 CPUtime=401.97
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 39943 662 0 0 40175 22 0 0 25 0 1 0 59520429 162373632 38432 996147200 134512640 135215973 4294956304 18446744073709551615 134585697 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39642 38432 404 171 0 38567 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 158568

[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1041656/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=158664 CPUtime=461.95
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 39969 662 0 0 46173 22 0 0 25 0 1 0 59520429 162471936 38458 996147200 134512640 135215973 4294956304 18446744073709551615 4158960089 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39666 38458 404 171 0 38591 0
Current children cumulated CPU time (s) 461.95
Current children cumulated vsize (KiB) 158664

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1041656/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=158776 CPUtime=521.92
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 39991 662 0 0 52170 22 0 0 25 0 1 0 59520429 162586624 38480 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39694 38480 404 171 0 38619 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 158776

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1041528/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=158872 CPUtime=581.9
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40020 662 0 0 58168 22 0 0 25 0 1 0 59520429 162684928 38509 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39718 38509 404 171 0 38643 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 158872

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1041400/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=158988 CPUtime=641.88

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1040888/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=159408 CPUtime=821.82
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40141 662 0 0 82159 23 0 0 25 0 1 0 59520429 163233792 38630 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39852 38630 404 171 0 38777 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 159408

[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1040696/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=159408 CPUtime=881.79
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40162 662 0 0 88156 23 0 0 25 0 1 0 59520429 163233792 38651 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39852 38651 404 171 0 38777 0
Current children cumulated CPU time (s) 881.79
Current children cumulated vsize (KiB) 159408

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1040632/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=159504 CPUtime=941.77
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40187 662 0 0 94154 23 0 0 25 0 1 0 59520429 163332096 38676 996147200 134512640 135215973 4294956304 18446744073709551615 134583562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39876 38676 404 171 0 38801 0
Current children cumulated CPU time (s) 941.77
Current children cumulated vsize (KiB) 159504

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1040504/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=159600 CPUtime=1001.75
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40213 662 0 0 100152 23 0 0 25 0 1 0 59520429 163430400 38702 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39900 38702 404 171 0 38825 0
Current children cumulated CPU time (s) 1001.75
Current children cumulated vsize (KiB) 159600

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1040440/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=159700 CPUtime=1061.72
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40237 662 0 0 106149 23 0 0 25 0 1 0 59520429 163532800 38726 996147200 134512640 135215973 4294956304 18446744073709551615 134583644 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39925 38726 404 171 0 38850 0
Current children cumulated CPU time (s) 1061.72
Current children cumulated vsize (KiB) 159700

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1040248/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=159892 CPUtime=1121.7
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40287 662 0 0 112146 24 0 0 25 0 1 0 59520429 163729408 38776 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 39973 38776 404 171 0 38898 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 159892

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1039992/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=160084 CPUtime=1181.68
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40342 662 0 0 118144 24 0 0 25 0 1 0 59520429 163926016 38831 996147200 134512640 135215973 4294956304 18446744073709551615 134583557 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40021 38831 404 171 0 38946 0
Current children cumulated CPU time (s) 1181.68
Current children cumulated vsize (KiB) 160084

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1039544/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=160408 CPUtime=1241.65
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40434 662 0 0 124141 24 0 0 25 0 1 0 59520429 164257792 38890 996147200 134512640 135215973 4294956304 18446744073709551615 4158960012 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40102 38890 404 171 0 39027 0
Current children cumulated CPU time (s) 1241.65
Current children cumulated vsize (KiB) 160408

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1039352/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=160600 CPUtime=1301.63
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40492 662 0 0 130139 24 0 0 25 0 1 0 59520429 164454400 38948 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40150 38948 404 171 0 39075 0
Current children cumulated CPU time (s) 1301.63
Current children cumulated vsize (KiB) 160600

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1039224/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=160696 CPUtime=1361.61
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40515 662 0 0 136137 24 0 0 25 0 1 0 59520429 164552704 38971 996147200 134512640 135215973 4294956304 18446744073709551615 134583685 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40174 38971 404 171 0 39099 0
Current children cumulated CPU time (s) 1361.61
Current children cumulated vsize (KiB) 160696

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1039032/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=160796 CPUtime=1421.59
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40533 662 0 0 142134 25 0 0 25 0 1 0 59520429 164655104 38989 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40199 38989 404 171 0 39124 0
Current children cumulated CPU time (s) 1421.59
Current children cumulated vsize (KiB) 160796

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1038392/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=161836 CPUtime=1481.57
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40783 662 0 0 148132 25 0 0 25 0 1 0 59520429 165720064 39110 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40459 39110 404 171 0 39384 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 161836

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1038328/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=161836 CPUtime=1541.55
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40786 662 0 0 154130 25 0 0 25 0 1 0 59520429 165720064 39113 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40459 39113 404 171 0 39384 0
Current children cumulated CPU time (s) 1541.55
Current children cumulated vsize (KiB) 161836

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1038328/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=161836 CPUtime=1601.52
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40789 662 0 0 160127 25 0 0 25 0 1 0 59520429 165720064 39116 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40459 39116 404 171 0 39384 0
Current children cumulated CPU time (s) 1601.52
Current children cumulated vsize (KiB) 161836

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1038328/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=161836 CPUtime=1661.49
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40800 662 0 0 166124 25 0 0 25 0 1 0 59520429 165720064 39127 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40459 39127 404 171 0 39384 0
Current children cumulated CPU time (s) 1661.49
Current children cumulated vsize (KiB) 161836

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1038328/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=161836 CPUtime=1721.47
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40811 662 0 0 172122 25 0 0 25 0 1 0 59520429 165720064 39138 996147200 134512640 135215973 4294956304 18446744073709551615 134583685 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40459 39138 404 171 0 39384 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 161836

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1038328/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=161932 CPUtime=1781.44
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40829 662 0 0 178119 25 0 0 25 0 1 0 59520429 165818368 39156 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40483 39156 404 171 0 39408 0
Current children cumulated CPU time (s) 1781.44
Current children cumulated vsize (KiB) 161932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 13105
/proc/meminfo: memFree=1038328/2055920 swapFree=4192812/4192956
[pid=12974] ppid=12972 vsize=161932 CPUtime=1800.04
/proc/12974/stat : 12974 (pcs.big) R 12972 12974 12500 0 -1 4194304 40832 662 0 0 179979 25 0 0 25 0 1 0 59520429 165818368 39159 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/12974/statm: 40483 39159 404 171 0 39408 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 161932

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): 1800.93
CPU time (s): 1800.09
CPU user time (s): 1799.8
CPU system time (s): 0.288956
CPU usage (%): 99.9532
Max. virtual memory (cumulated for all children) (KiB): 161932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.288956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41494
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= 19
involuntary context switches= 7631

runsolver used 2.19667 second user time and 4.98624 second system time

The end

Launcher Data 

Begin job on node38 at 2009-07-16 08:09:24
IDJOB=2084298
IDBENCH=58064
IDSOLVER=733
FILE ID=node38/2084298-1247724563
PBS_JOBID= 9521530
Free space on /tmp= 66228 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rlfapScens11/normalized-scen11-f1.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2084298-1247724563/watcher-2084298-1247724563 -o /tmp/evaluation-result-2084298-1247724563/solver-2084298-1247724563 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 129898223 HOME/instance-2084298-1247724563.xml

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

MD5SUM BENCH= 82ca51bd7cee57081df4d0e802a460c1
RANDOM SEED=129898223

node38.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.229
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.229
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:       1178776 kB
Buffers:         90648 kB
Cached:         631988 kB
SwapCached:          0 kB
Active:         267592 kB
Inactive:       512352 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1178776 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3880 kB
Writeback:           0 kB
Mapped:          77748 kB
Slab:            82260 kB
Committed_AS:   598240 kB
PageTables:       2012 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= 66228 MiB
End job on node38 at 2009-07-16 08:39:26