Trace number 2057513

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.13 1800.82

General information on the benchmark

Namecsp/rand-2-27/
normalized-rand-27-27-351-163-63021_ext.xml
MD5SUM63094bb3e0d5b7671c766ca5de694f92
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 benchmark361.902
Satisfiable
(Un)Satisfiability was proved
Number of variables27
Number of constraints351
Maximum constraint arity2
Maximum domain size27
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.00/0.01	c Seed is 660327067
0.00/0.01	c Constructing HOME/instance-2057513-1247694223.xml  with 9469 constraints
0.08/0.14	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-2057513-1247694223/watcher-2057513-1247694223 -o /tmp/evaluation-result-2057513-1247694223/solver-2057513-1247694223 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 660327067 HOME/instance-2057513-1247694223.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: 0.00 0.00 0.00 3/67 14608
/proc/meminfo: memFree=1487096/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=5356 CPUtime=0
/proc/14608/stat : 14608 (pcssolve) S 14606 14608 14523 0 -1 4194304 305 155 0 0 0 0 0 0 19 0 1 0 56484966 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14608/statm: 1339 242 201 169 0 50 0
[pid=14610] ppid=14608 vsize=200 CPUtime=0
/proc/14610/stat : 14610 (grep) R 14608 14608 14523 0 -1 4194304 46 0 0 0 0 0 0 0 20 0 1 0 56484966 204800 24 996147200 4194304 4274172 548682069040 18446744073709551615 233399448853 0 0 4096 0 0 0 0 17 0 0 0
/proc/14610/statm: 50 24 17 19 0 4 0

[startup+0.053118 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 14608
/proc/meminfo: memFree=1487096/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=5036 CPUtime=0.03
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 963 822 0 0 3 0 0 0 17 0 1 0 56484966 5156864 572 996147200 134512640 135095119 4294956304 18446744073709551615 8849019 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 1259 572 364 142 0 213 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5036

[startup+0.101122 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 14608
/proc/meminfo: memFree=1487096/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=5828 CPUtime=0.08
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 1178 822 0 0 8 0 0 0 17 0 1 0 56484966 5967872 787 996147200 134512640 135095119 4294956304 18446744073709551615 8849019 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 1457 788 364 142 0 411 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5828

[startup+0.301141 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 14608
/proc/meminfo: memFree=1487096/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=7712 CPUtime=0.28
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 1678 822 0 0 28 0 0 0 18 0 1 0 56484966 7897088 1189 996147200 134512640 135095119 4294956304 18446744073709551615 134570826 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 1928 1189 378 142 0 882 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 7712

[startup+0.70118 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 14608
/proc/meminfo: memFree=1487096/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=7712 CPUtime=0.68
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 1687 822 0 0 68 0 0 0 22 0 1 0 56484966 7897088 1198 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 1928 1198 378 142 0 882 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7712

[startup+1.50126 s]
/proc/loadavg: 0.08 0.02 0.01 2/68 14614
/proc/meminfo: memFree=1483504/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=7712 CPUtime=1.48
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 1704 822 0 0 148 0 0 0 25 0 1 0 56484966 7897088 1215 996147200 134512640 135095119 4294956304 18446744073709551615 134617227 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 1928 1215 378 142 0 882 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7712

[startup+3.10142 s]
/proc/loadavg: 0.08 0.02 0.01 2/68 14614
/proc/meminfo: memFree=1483440/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=7712 CPUtime=3.08
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 1735 822 0 0 308 0 0 0 25 0 1 0 56484966 7897088 1246 996147200 134512640 135095119 4294956304 18446744073709551615 134589508 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 1928 1246 378 142 0 882 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7712

[startup+6.30174 s]
/proc/loadavg: 0.15 0.03 0.01 2/68 14614
/proc/meminfo: memFree=1482224/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=9452 CPUtime=6.28
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 2218 822 0 0 628 0 0 0 25 0 1 0 56484966 9678848 1600 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 2363 1600 378 142 0 1317 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9452

[startup+12.7014 s]
/proc/loadavg: 0.22 0.05 0.02 3/73 14629
/proc/meminfo: memFree=1474160/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=11656 CPUtime=12.67
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 3013 822 0 0 1266 1 0 0 25 0 1 0 56484966 11935744 2138 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 2914 2138 378 142 0 1868 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 11656

[startup+25.5016 s]
/proc/loadavg: 0.61 0.14 0.05 3/73 14629
/proc/meminfo: memFree=1457336/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=16704 CPUtime=25.47
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 4613 822 0 0 2544 3 0 0 25 0 1 0 56484966 17104896 2968 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 4176 2968 378 142 0 3130 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 16704

[startup+51.1012 s]
/proc/loadavg: 1.09 0.29 0.10 3/73 14629
/proc/meminfo: memFree=1433464/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=19320 CPUtime=51.06
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 5765 822 0 0 5102 4 0 0 25 0 1 0 56484966 19783680 4120 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 4830 4120 378 142 0 3784 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 19320

[startup+102.306 s]
/proc/loadavg: 1.60 0.55 0.19 3/73 14629
/proc/meminfo: memFree=1391864/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=29284 CPUtime=102.24
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 8986 822 0 0 10218 6 0 0 25 0 1 0 56484966 29986816 5803 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 7321 5803 378 142 0 6275 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 29284

[startup+162.301 s]
/proc/loadavg: 1.85 0.81 0.30 3/73 14629
/proc/meminfo: memFree=1370104/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=32564 CPUtime=162.22
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 10440 822 0 0 16213 9 0 0 25 0 1 0 56484966 33345536 7257 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 8141 7257 378 142 0 7095 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 32564

[startup+222.301 s]
/proc/loadavg: 1.94 1.03 0.41 3/73 14629
/proc/meminfo: memFree=1344824/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=43528 CPUtime=222.2
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 13711 822 0 0 22208 12 0 0 25 0 1 0 56484966 44572672 8479 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 10882 8479 378 142 0 9836 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 43528

[startup+282.301 s]
/proc/loadavg: 1.98 1.20 0.50 3/73 14629
/proc/meminfo: memFree=1306168/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=53036 CPUtime=282.17
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 16549 822 0 0 28204 13 0 0 25 0 1 0 56484966 54308864 10292 996147200 134512640 135095119 4294956304 18446744073709551615 134641674 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 13259 10292 378 142 0 12213 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 53036

[startup+342.301 s]
/proc/loadavg: 1.99 1.34 0.59 3/73 14629
/proc/meminfo: memFree=1292472/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=53036 CPUtime=342.14
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 16977 822 0 0 34201 13 0 0 25 0 1 0 56484966 54308864 10720 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 13259 10720 378 142 0 12213 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 53036

[startup+402.302 s]
/proc/loadavg: 1.99 1.46 0.68 3/73 14629
/proc/meminfo: memFree=1273464/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=54872 CPUtime=402.13
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 17805 822 0 0 40198 15 0 0 25 0 1 0 56484966 56188928 11548 996147200 134512640 135095119 4294956304 18446744073709551615 134642982 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 13718 11548 378 142 0 12672 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 54872

[startup+462.302 s]
/proc/loadavg: 1.99 1.56 0.76 3/73 14629
/proc/meminfo: memFree=1254328/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=56708 CPUtime=462.1
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 18655 822 0 0 46195 15 0 0 25 0 1 0 56484966 58068992 12398 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 14177 12398 378 142 0 13131 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 56708

[startup+522.302 s]
/proc/loadavg: 1.99 1.63 0.83 3/73 14631
/proc/meminfo: memFree=1237944/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=58540 CPUtime=522.08
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 19467 822 0 0 52192 16 0 0 25 0 1 0 56484966 59944960 13210 996147200 134512640 135095119 4294956304 18446744073709551615 134589681 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 14635 13210 378 142 0 13589 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 58540

[startup+582.302 s]
/proc/loadavg: 1.99 1.70 0.90 3/73 14631
/proc/meminfo: memFree=1224312/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=60380 CPUtime=582.06
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 20236 822 0 0 58189 17 0 0 25 0 1 0 56484966 61829120 13979 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 15095 13979 378 142 0 14049 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 60380

[startup+642.302 s]
/proc/loadavg: 1.99 1.75 0.97 3/73 14631
/proc/meminfo: memFree=1212152/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=78332 CPUtime=642.04
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 25055 822 0 0 64184 20 0 0 25 0 1 0 56484966 80211968 14701 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 19583 14701 378 142 0 18537 0
Current children cumulated CPU time (s) 642.04

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.86 1.14 3/73 14662
/proc/meminfo: memFree=1223352/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=82928 CPUtime=821.96
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 27076 822 0 0 82170 26 0 0 25 0 1 0 56484966 84918272 16722 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 20732 16722 378 142 0 19686 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 82928

[startup+882.302 s]
/proc/loadavg: 1.99 1.88 1.19 4/73 14693
/proc/meminfo: memFree=1263736/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=103904 CPUtime=881.92
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 32628 822 0 0 88158 34 0 0 25 0 1 0 56484966 106397696 20225 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 25976 20225 378 142 0 24930 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 103904

[startup+942.301 s]
/proc/loadavg: 1.99 1.90 1.24 3/70 14696
/proc/meminfo: memFree=757648/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=103904 CPUtime=941.9
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 32906 822 0 0 94155 35 0 0 25 0 1 0 56484966 106397696 20503 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 25976 20503 378 142 0 24930 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 103904

[startup+1002.3 s]
/proc/loadavg: 1.93 1.90 1.28 4/73 14725
/proc/meminfo: memFree=1384824/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=103904 CPUtime=1001.88
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 33175 822 0 0 100152 36 0 0 25 0 1 0 56484966 106397696 20772 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 25976 20772 378 142 0 24930 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 103904

[startup+1062.3 s]
/proc/loadavg: 1.97 1.92 1.32 4/73 14731
/proc/meminfo: memFree=1373304/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=103904 CPUtime=1061.86
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 33430 822 0 0 106149 37 0 0 25 0 1 0 56484966 106397696 21027 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 25976 21027 378 142 0 24930 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 103904

[startup+1122.3 s]
/proc/loadavg: 1.99 1.93 1.36 4/73 14731
/proc/meminfo: memFree=1366712/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=103904 CPUtime=1121.84
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 33680 822 0 0 112146 38 0 0 25 0 1 0 56484966 106397696 21277 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 25976 21277 378 142 0 24930 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 103904

[startup+1182.3 s]
/proc/loadavg: 1.99 1.94 1.40 4/73 14731
/proc/meminfo: memFree=1360504/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=103904 CPUtime=1181.81
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 33919 822 0 0 118143 38 0 0 25 0 1 0 56484966 106397696 21516 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 25976 21516 378 142 0 24930 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 103904

[startup+1242.3 s]
/proc/loadavg: 1.99 1.95 1.43 3/73 14731
/proc/meminfo: memFree=1350840/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=103904 CPUtime=1241.79
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 34157 822 0 0 124140 39 0 0 25 0 1 0 56484966 106397696 21754 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 25976 21754 378 142 0 24930 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 103904

[startup+1302.3 s]
/proc/loadavg: 1.99 1.95 1.47 4/73 14731
/proc/meminfo: memFree=1348088/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=103904 CPUtime=1301.77
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 34385 822 0 0 130138 39 0 0 25 0 1 0 56484966 106397696 21982 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 25976 21982 378 142 0 24930 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 103904

[startup+1362.3 s]
/proc/loadavg: 1.99 1.96 1.50 3/73 14731
/proc/meminfo: memFree=1344760/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=104292 CPUtime=1361.75
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 34695 822 0 0 136135 40 0 0 25 0 1 0 56484966 106795008 22292 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 26073 22292 378 142 0 25027 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 104292

[startup+1422.31 s]
/proc/loadavg: 1.99 1.96 1.53 3/73 14731
/proc/meminfo: memFree=1339448/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=105344 CPUtime=1421.73
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 35171 822 0 0 142132 41 0 0 25 0 1 0 56484966 107872256 22768 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 26336 22768 378 142 0 25290 0
Current children cumulated CPU time (s) 1421.73
Current children cumulated vsize (KiB) 105344

[startup+1482.31 s]
/proc/loadavg: 1.99 1.97 1.55 3/73 14731
/proc/meminfo: memFree=1334456/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=106260 CPUtime=1481.71
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 35644 822 0 0 148130 41 0 0 25 0 1 0 56484966 108810240 23241 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 26565 23241 378 142 0 25519 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 106260

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.58 3/73 14731
/proc/meminfo: memFree=1329464/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=107312 CPUtime=1541.67
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 36121 822 0 0 154125 42 0 0 25 0 1 0 56484966 109887488 23718 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 26828 23718 378 142 0 25782 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 107312

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.60 3/73 14731
/proc/meminfo: memFree=1324664/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=108496 CPUtime=1601.66
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 36611 822 0 0 160123 43 0 0 25 0 1 0 56484966 111099904 24208 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 27124 24208 378 142 0 26078 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 108496

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.62 3/73 14731
/proc/meminfo: memFree=1319928/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=109548 CPUtime=1661.63
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 37084 822 0 0 166120 43 0 0 25 0 1 0 56484966 112177152 24681 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 27387 24681 378 142 0 26341 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 109548

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.64 4/73 14731
/proc/meminfo: memFree=1315256/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=110600 CPUtime=1721.61
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 37551 822 0 0 172117 44 0 0 25 0 1 0 56484966 113254400 25148 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 27650 25148 378 142 0 26604 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 110600

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.66 4/73 14731
/proc/meminfo: memFree=1310584/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=111648 CPUtime=1781.6
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 38032 822 0 0 178115 45 0 0 25 0 1 0 56484966 114327552 25629 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 27912 25629 378 142 0 26866 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 111648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.99 1.97 1.67 3/73 14731
/proc/meminfo: memFree=1309240/2055920 swapFree=4192812/4192956
[pid=14608] ppid=14606 vsize=111912 CPUtime=1800.09
/proc/14608/stat : 14608 (pcs.small) R 14606 14608 14523 0 -1 4194304 38168 822 0 0 179964 45 0 0 25 0 1 0 56484966 114597888 25765 996147200 134512640 135095119 4294956304 18446744073709551615 134616896 0 0 4096 0 0 0 0 17 0 0 0
/proc/14608/statm: 27978 25765 378 142 0 26932 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 111912

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.82
CPU time (s): 1800.13
CPU user time (s): 1799.65
CPU system time (s): 0.474927
CPU usage (%): 99.9613
Max. virtual memory (cumulated for all children) (KiB): 112100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.474927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38990
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20
involuntary context switches= 5413

runsolver used 2.39064 second user time and 5.52216 second system time

The end

Launcher Data 

Begin job on node70 at 2009-07-15 23:43:43
IDJOB=2057513
IDBENCH=53377
IDSOLVER=733
FILE ID=node70/2057513-1247694223
PBS_JOBID= 9521175
Free space on /tmp= 66432 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-27/normalized-rand-27-27-351-163-63021_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2057513-1247694223/watcher-2057513-1247694223 -o /tmp/evaluation-result-2057513-1247694223/solver-2057513-1247694223 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 660327067 HOME/instance-2057513-1247694223.xml

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

MD5SUM BENCH= 63094bb3e0d5b7671c766ca5de694f92
RANDOM SEED=660327067

node70.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.214
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.214
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:       1487576 kB
Buffers:         73420 kB
Cached:         400608 kB
SwapCached:          0 kB
Active:         171356 kB
Inactive:       317472 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1487576 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2100 kB
Writeback:           0 kB
Mapped:          24580 kB
Slab:            65304 kB
Committed_AS:   705460 kB
PageTables:       1576 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= 66432 MiB
End job on node70 at 2009-07-16 00:13:46