Trace number 2057723

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-restart 0.3.2? (TO) 1800.08 1800.92

General information on the benchmark

Namecsp/frb53-24/
normalized-frb53-24-5_ext.xml
MD5SUM902b022a17c4df222ef4f5da219c5b40
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables53
Number of constraints585
Maximum constraint arity2
Maximum domain size24
Number of constraints which are defined in extension585
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 1350823107
0.00/0.01	c Constructing HOME/instance-2057723-1247694230.xml  with 14031 constraints
0.18/0.20	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-2057723-1247694230/watcher-2057723-1247694230 -o /tmp/evaluation-result-2057723-1247694230/solver-2057723-1247694230 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1350823107 HOME/instance-2057723-1247694230.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 10580
/proc/meminfo: memFree=1209392/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=5356 CPUtime=0
/proc/10580/stat : 10580 (pcssolve) R 10578 10580 10509 0 -1 4194304 309 317 0 0 0 0 0 0 19 0 1 0 56486256 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 218076080799 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/10580/statm: 1339 242 201 169 0 50 0
[pid=10583] ppid=10580 vsize=5356 CPUtime=0
/proc/10583/stat : 10583 (pcssolve) R 10580 10580 10509 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 56486256 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 4455685 0 0 4100 65536 0 0 0 17 0 0 0
/proc/10583/statm: 1339 242 201 169 0 50 0

[startup+0.0709431 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 10580
/proc/meminfo: memFree=1209392/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=5300 CPUtime=0.05
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 1048 822 0 0 5 0 0 0 17 0 1 0 56486256 5427200 657 996147200 134512640 135095119 4294956304 18446744073709551615 7829115 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 1325 657 364 142 0 279 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5300

[startup+0.101945 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 10580
/proc/meminfo: memFree=1209392/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=5960 CPUtime=0.08
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 1188 822 0 0 8 0 0 0 17 0 1 0 56486256 6103040 797 996147200 134512640 135095119 4294956304 18446744073709551615 7859806 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 1490 798 364 142 0 444 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5960

[startup+0.301979 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 10580
/proc/meminfo: memFree=1209392/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=8912 CPUtime=0.28
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 2028 822 0 0 27 1 0 0 18 0 1 0 56486256 9125888 1539 996147200 134512640 135095119 4294956304 18446744073709551615 134637494 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 2228 1539 378 142 0 1182 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 8912

[startup+0.701044 s]
/proc/loadavg: 0.00 0.00 0.00 3/67 10580
/proc/meminfo: memFree=1209392/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=8912 CPUtime=0.68
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 2030 822 0 0 67 1 0 0 22 0 1 0 56486256 9125888 1541 996147200 134512640 135095119 4294956304 18446744073709551615 134643026 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 2228 1541 378 142 0 1182 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8912

[startup+1.50118 s]
/proc/loadavg: 0.08 0.02 0.01 2/68 10586
/proc/meminfo: memFree=1204456/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=8912 CPUtime=1.48
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 2034 822 0 0 147 1 0 0 25 0 1 0 56486256 9125888 1545 996147200 134512640 135095119 4294956304 18446744073709551615 134617692 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 2228 1545 378 142 0 1182 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8912

[startup+3.10145 s]
/proc/loadavg: 0.08 0.02 0.01 2/68 10586
/proc/meminfo: memFree=1204456/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=8912 CPUtime=3.08
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 2041 822 0 0 307 1 0 0 25 0 1 0 56486256 9125888 1552 996147200 134512640 135095119 4294956304 18446744073709551615 134641280 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 2228 1552 378 142 0 1182 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8912

[startup+6.30199 s]
/proc/loadavg: 0.08 0.02 0.01 3/73 10601
/proc/meminfo: memFree=1197184/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=8396 CPUtime=6.28
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 2048 822 0 0 626 2 0 0 25 0 1 0 56486256 8597504 1430 996147200 134512640 135095119 4294956304 18446744073709551615 134642952 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 2099 1430 378 142 0 1053 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8396

[startup+12.7011 s]
/proc/loadavg: 0.37 0.08 0.03 3/73 10601
/proc/meminfo: memFree=1191744/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=8912 CPUtime=12.68
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 2126 822 0 0 1266 2 0 0 25 0 1 0 56486256 9125888 1508 996147200 134512640 135095119 4294956304 18446744073709551615 134641700 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 2228 1508 378 142 0 1182 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 8912

[startup+25.5012 s]
/proc/loadavg: 0.62 0.14 0.05 3/73 10601
/proc/meminfo: memFree=1180928/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=9820 CPUtime=25.47
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 2443 822 0 0 2545 2 0 0 25 0 1 0 56486256 10055680 1696 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 2455 1696 378 142 0 1409 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 9820

[startup+51.1015 s]
/proc/loadavg: 1.16 0.32 0.11 3/73 10601
/proc/meminfo: memFree=1159424/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=14876 CPUtime=51.06
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 3580 822 0 0 5103 3 0 0 25 0 1 0 56486256 15233024 2576 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 3719 2576 378 142 0 2673 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 14876

[startup+102.307 s]
/proc/loadavg: 1.64 0.58 0.20 3/73 10601
/proc/meminfo: memFree=1124480/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=17056 CPUtime=102.24
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 4481 822 0 0 10220 4 0 0 25 0 1 0 56486256 17465344 2964 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 4264 2964 378 142 0 3218 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 17056

[startup+162.302 s]
/proc/loadavg: 1.86 0.83 0.31 3/73 10601
/proc/meminfo: memFree=1106688/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=19168 CPUtime=162.21
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 5344 822 0 0 16215 6 0 0 25 0 1 0 56486256 19628032 3827 996147200 134512640 135095119 4294956304 18446744073709551615 134638177 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 4792 3827 378 142 0 3746 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 19168

[startup+222.301 s]
/proc/loadavg: 1.95 1.04 0.42 3/73 10601
/proc/meminfo: memFree=1078144/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=24120 CPUtime=222.18
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 6897 822 0 0 22210 8 0 0 25 0 1 0 56486256 24698880 4867 996147200 134512640 135095119 4294956304 18446744073709551615 134570985 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 6030 4867 378 142 0 4984 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 24120

[startup+282.301 s]
/proc/loadavg: 1.98 1.21 0.51 3/73 10601
/proc/meminfo: memFree=1040000/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=28744 CPUtime=282.15
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 8312 822 0 0 28207 8 0 0 25 0 1 0 56486256 29433856 5257 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 7186 5257 378 142 0 6140 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 28744

[startup+342.302 s]
/proc/loadavg: 1.99 1.36 0.60 3/73 10601
/proc/meminfo: memFree=1031360/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=30056 CPUtime=342.12
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 8881 822 0 0 34203 9 0 0 25 0 1 0 56486256 30777344 5826 996147200 134512640 135095119 4294956304 18446744073709551615 134641440 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 7514 5826 378 142 0 6468 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 30056

[startup+402.301 s]
/proc/loadavg: 1.99 1.47 0.69 3/73 10601
/proc/meminfo: memFree=1017280/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=31380 CPUtime=402.09
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 9472 822 0 0 40199 10 0 0 25 0 1 0 56486256 32133120 6417 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 7845 6417 378 142 0 6799 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 31380

[startup+462.301 s]
/proc/loadavg: 1.99 1.56 0.77 3/73 10601
/proc/meminfo: memFree=1003200/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=32572 CPUtime=462.06
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 10014 822 0 0 46196 10 0 0 25 0 1 0 56486256 33353728 6959 996147200 134512640 135095119 4294956304 18446744073709551615 134590519 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 8143 6959 378 142 0 7097 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 32572

[startup+522.301 s]
/proc/loadavg: 1.99 1.64 0.84 3/73 10603
/proc/meminfo: memFree=989504/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=33892 CPUtime=522.04
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 10551 822 0 0 52193 11 0 0 25 0 1 0 56486256 34705408 7496 996147200 134512640 135095119 4294956304 18446744073709551615 134554977 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 8473 7496 378 142 0 7427 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 33892

[startup+582.301 s]
/proc/loadavg: 1.99 1.70 0.91 3/73 10603
/proc/meminfo: memFree=974784/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=34956 CPUtime=582.02
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 11048 822 0 0 58190 12 0 0 25 0 1 0 56486256 35794944 7993 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 8739 7993 378 142 0 7693 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 34956

[startup+642.302 s]
/proc/loadavg: 1.99 1.75 0.98 3/73 10603
/proc/meminfo: memFree=960320/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=44468 CPUtime=641.99
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 13626 822 0 0 64185 14 0 0 25 0 1 0 56486256 45535232 8522 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 11117 8522 378 142 0 10071 0
Current children cumulated CPU time (s) 641.99

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

[startup+882.301 s]
/proc/loadavg: 1.99 1.88 1.20 3/73 10666
/proc/meminfo: memFree=1118456/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=54240 CPUtime=881.87
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 16938 822 0 0 88169 18 0 0 25 0 1 0 56486256 55541760 10809 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 13560 10809 378 142 0 12514 0
Current children cumulated CPU time (s) 881.87
Current children cumulated vsize (KiB) 54240

[startup+942.301 s]
/proc/loadavg: 1.99 1.90 1.25 3/73 10666
/proc/meminfo: memFree=942712/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=55164 CPUtime=941.84
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 17372 822 0 0 94165 19 0 0 25 0 1 0 56486256 56487936 11243 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 13791 11243 378 142 0 12745 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 55164

[startup+1002.3 s]
/proc/loadavg: 1.96 1.90 1.29 3/73 10698
/proc/meminfo: memFree=1137592/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=56084 CPUtime=1001.81
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 17821 822 0 0 100160 21 0 0 25 0 1 0 56486256 57430016 11692 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 14021 11692 378 142 0 12975 0
Current children cumulated CPU time (s) 1001.81
Current children cumulated vsize (KiB) 56084

[startup+1062.3 s]
/proc/loadavg: 1.98 1.92 1.33 3/73 10704
/proc/meminfo: memFree=1131320/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=57012 CPUtime=1061.78
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 18228 822 0 0 106156 22 0 0 25 0 1 0 56486256 58380288 12099 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 14253 12099 378 142 0 13207 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 57012

[startup+1122.3 s]
/proc/loadavg: 1.99 1.93 1.37 3/73 10704
/proc/meminfo: memFree=1124024/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=57936 CPUtime=1121.75
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 18676 822 0 0 112153 22 0 0 25 0 1 0 56486256 59326464 12547 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 14484 12547 378 142 0 13438 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 57936

[startup+1182.3 s]
/proc/loadavg: 2.04 1.95 1.41 3/73 10704
/proc/meminfo: memFree=1112440/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=58996 CPUtime=1181.72
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 19103 822 0 0 118149 23 0 0 25 0 1 0 56486256 60411904 12974 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 14749 12974 378 142 0 13703 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 58996

[startup+1242.3 s]
/proc/loadavg: 2.06 1.97 1.45 3/73 10704
/proc/meminfo: memFree=1109176/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=59792 CPUtime=1241.7
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 19505 822 0 0 124146 24 0 0 25 0 1 0 56486256 61227008 13376 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 14948 13376 378 142 0 13902 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 59792

[startup+1302.3 s]
/proc/loadavg: 2.06 1.99 1.48 3/73 10704
/proc/meminfo: memFree=1105656/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=60724 CPUtime=1301.67
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 19922 822 0 0 130143 24 0 0 25 0 1 0 56486256 62181376 13793 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 15181 13793 378 142 0 14135 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 60724

[startup+1362.3 s]
/proc/loadavg: 2.02 1.99 1.51 3/73 10704
/proc/meminfo: memFree=1100800/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=61652 CPUtime=1361.64
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 20311 822 0 0 136139 25 0 0 25 0 1 0 56486256 63131648 14182 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 15413 14182 378 142 0 14367 0
Current children cumulated CPU time (s) 1361.64
Current children cumulated vsize (KiB) 61652

[startup+1422.31 s]
/proc/loadavg: 2.01 1.99 1.54 3/73 10704
/proc/meminfo: memFree=1095872/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=78836 CPUtime=1421.62
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 24799 822 0 0 142134 28 0 0 25 0 1 0 56486256 80728064 14573 996147200 134512640 135095119 4294956304 18446744073709551615 134616972 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 19709 14573 378 142 0 18663 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 78836

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.57 3/73 10704
/proc/meminfo: memFree=1091264/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=79896 CPUtime=1481.59
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 25246 822 0 0 148130 29 0 0 25 0 1 0 56486256 81813504 15020 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 19974 15020 378 142 0 18928 0
Current children cumulated CPU time (s) 1481.59
Current children cumulated vsize (KiB) 79896

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.59 3/73 10704
/proc/meminfo: memFree=1086528/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=80956 CPUtime=1541.55
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 25679 822 0 0 154126 29 0 0 25 0 1 0 56486256 82898944 15453 996147200 134512640 135095119 4294956304 18446744073709551615 134642982 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 20239 15453 378 142 0 19193 0
Current children cumulated CPU time (s) 1541.55
Current children cumulated vsize (KiB) 80956

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.61 3/73 10704
/proc/meminfo: memFree=1082048/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=81760 CPUtime=1601.54
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 26053 822 0 0 160124 30 0 0 25 0 1 0 56486256 83722240 15827 996147200 134512640 135095119 4294956304 18446744073709551615 134617066 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 20440 15827 378 142 0 19394 0
Current children cumulated CPU time (s) 1601.54
Current children cumulated vsize (KiB) 81760

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/73 10704
/proc/meminfo: memFree=1077632/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=82688 CPUtime=1661.51
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 26460 822 0 0 166120 31 0 0 25 0 1 0 56486256 84672512 16234 996147200 134512640 135095119 4294956304 18446744073709551615 134636921 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 20672 16234 378 142 0 19626 0
Current children cumulated CPU time (s) 1661.51
Current children cumulated vsize (KiB) 82688

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/73 10704
/proc/meminfo: memFree=1073664/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=83484 CPUtime=1721.47
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 26834 822 0 0 172116 31 0 0 25 0 1 0 56486256 85487616 16608 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 20871 16608 378 142 0 19825 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 83484

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/73 10704
/proc/meminfo: memFree=1069376/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=84416 CPUtime=1781.46
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 27225 822 0 0 178114 32 0 0 25 0 1 0 56486256 86441984 16999 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 21104 16999 378 142 0 20058 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 84416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 2.00 1.99 1.68 3/73 10704
/proc/meminfo: memFree=1068160/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=84680 CPUtime=1800.05
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 27351 822 0 0 179973 32 0 0 25 0 1 0 56486256 86712320 17125 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 21170 17125 378 142 0 20124 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 84680

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

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

[startup+1800.9 s]
/proc/loadavg: 2.00 1.99 1.68 3/73 10704
/proc/meminfo: memFree=1068160/2055920 swapFree=4192812/4192956
[pid=10580] ppid=10578 vsize=84680 CPUtime=1800.05
/proc/10580/stat : 10580 (pcs.small) R 10578 10580 10509 0 -1 4194304 27351 822 0 0 179973 32 0 0 25 0 1 0 56486256 86712320 17125 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/10580/statm: 21170 17125 378 142 0 20124 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 84680

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.92
CPU time (s): 1800.08
CPU user time (s): 1799.74
CPU system time (s): 0.342947
CPU usage (%): 99.9534
Max. virtual memory (cumulated for all children) (KiB): 95224

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

runsolver used 2.35464 second user time and 5.14822 second system time

The end

Launcher Data 

Begin job on node57 at 2009-07-15 23:43:50
IDJOB=2057723
IDBENCH=53403
IDSOLVER=734
FILE ID=node57/2057723-1247694230
PBS_JOBID= 9521199
Free space on /tmp= 66356 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/frb53-24/normalized-frb53-24-5_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2057723-1247694230/watcher-2057723-1247694230 -o /tmp/evaluation-result-2057723-1247694230/solver-2057723-1247694230 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1350823107 HOME/instance-2057723-1247694230.xml

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

MD5SUM BENCH= 902b022a17c4df222ef4f5da219c5b40
RANDOM SEED=1350823107

node57.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.261
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.261
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:       1209936 kB
Buffers:         74304 kB
Cached:         686684 kB
SwapCached:          0 kB
Active:         185532 kB
Inactive:       590772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1209936 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2268 kB
Writeback:           0 kB
Mapped:          25076 kB
Slab:            55588 kB
Committed_AS:   479588 kB
PageTables:       1604 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= 66356 MiB
End job on node57 at 2009-07-16 00:13:53