Trace number 2058394

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

General information on the benchmark

Namecsp/frb45-21/
normalized-frb45-21-2_ext.xml
MD5SUMc5b6a4e63f0abe6de7fc1cf04e0cfdec
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 benchmark56.9523
Satisfiable
(Un)Satisfiability was proved
Number of variables45
Number of constraints476
Maximum constraint arity2
Maximum domain size21
Number of constraints which are defined in extension476
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 845251899
0.00/0.02	c Constructing HOME/instance-2058394-1247694245.xml  with 9965 constraints
0.08/0.15	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-2058394-1247694245/watcher-2058394-1247694245 -o /tmp/evaluation-result-2058394-1247694245/solver-2058394-1247694245 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 845251899 HOME/instance-2058394-1247694245.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.08 0.02 0.01 4/72 10316
/proc/meminfo: memFree=1257392/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=18576 CPUtime=0
/proc/10316/stat : 10316 (runsolver) R 10314 10316 10192 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 56487610 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 217051622695 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10316/statm: 4644 284 249 26 0 2626 0

[startup+0.0140581 s]
/proc/loadavg: 0.08 0.02 0.01 4/72 10316
/proc/meminfo: memFree=1257392/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=5356 CPUtime=0
/proc/10316/stat : 10316 (pcssolve) S 10314 10316 10192 0 -1 4194304 339 317 0 0 0 0 0 0 21 0 1 0 56487610 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 217051620164 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10316/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101078 s]
/proc/loadavg: 0.08 0.02 0.01 4/72 10316
/proc/meminfo: memFree=1257392/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=5696 CPUtime=0.08
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 1133 822 0 0 8 0 0 0 24 0 1 0 56487610 5832704 742 996147200 134512640 135095119 4294956304 18446744073709551615 134739360 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 1424 742 364 142 0 378 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5696

[startup+0.301115 s]
/proc/loadavg: 0.08 0.02 0.01 4/72 10316
/proc/meminfo: memFree=1257392/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=7532 CPUtime=0.27
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 1668 822 0 0 27 0 0 0 25 0 1 0 56487610 7712768 1179 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 1883 1179 378 142 0 837 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7532

[startup+0.701188 s]
/proc/loadavg: 0.08 0.02 0.01 4/72 10316
/proc/meminfo: memFree=1257392/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=7532 CPUtime=0.67
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 1672 822 0 0 67 0 0 0 25 0 1 0 56487610 7712768 1183 996147200 134512640 135095119 4294956304 18446744073709551615 134642896 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 1883 1183 378 142 0 837 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 7532

[startup+1.50134 s]
/proc/loadavg: 0.23 0.05 0.02 3/73 10322
/proc/meminfo: memFree=1253992/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=7532 CPUtime=1.47
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 1680 822 0 0 147 0 0 0 25 0 1 0 56487610 7712768 1191 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 1883 1191 378 142 0 837 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 7532

[startup+3.10165 s]
/proc/loadavg: 0.23 0.05 0.02 3/73 10322
/proc/meminfo: memFree=1253736/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=7532 CPUtime=3.07
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 1696 822 0 0 306 1 0 0 25 0 1 0 56487610 7712768 1207 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 1883 1207 378 142 0 837 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 7532

[startup+6.30126 s]
/proc/loadavg: 0.37 0.08 0.03 3/73 10322
/proc/meminfo: memFree=1253544/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=7532 CPUtime=6.25
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 1722 822 0 0 624 1 0 0 25 0 1 0 56487610 7712768 1233 996147200 134512640 135095119 4294956304 18446744073709551615 134642559 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 1883 1233 378 142 0 837 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 7532

[startup+12.7025 s]
/proc/loadavg: 0.50 0.11 0.04 3/73 10322
/proc/meminfo: memFree=1251752/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=9600 CPUtime=12.62
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 2213 822 0 0 1261 1 0 0 25 0 1 0 56487610 9830400 1595 996147200 134512640 135095119 4294956304 18446744073709551615 134641659 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 2400 1595 378 142 0 1354 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 9600

[startup+25.5019 s]
/proc/loadavg: 0.73 0.18 0.06 3/73 10322
/proc/meminfo: memFree=1248936/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=11676 CPUtime=25.35
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 2934 822 0 0 2533 2 0 0 25 0 1 0 56487610 11956224 2059 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 2919 2059 378 142 0 1873 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 11676

[startup+51.1018 s]
/proc/loadavg: 1.23 0.35 0.12 3/73 10322
/proc/meminfo: memFree=1242152/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=16856 CPUtime=50.83
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 4629 822 0 0 5079 4 0 0 25 0 1 0 56487610 17260544 2951 996147200 134512640 135095119 4294956304 18446744073709551615 134638350 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 4214 2951 378 142 0 3168 0
Current children cumulated CPU time (s) 50.83
Current children cumulated vsize (KiB) 16856

[startup+102.307 s]
/proc/loadavg: 1.73 0.62 0.22 3/73 10322
/proc/meminfo: memFree=1235432/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=19360 CPUtime=101.78
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 5808 822 0 0 10172 6 0 0 25 0 1 0 56487610 19824640 4130 996147200 134512640 135095119 4294956304 18446744073709551615 134616992 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 4840 4130 378 142 0 3794 0
Current children cumulated CPU time (s) 101.78
Current children cumulated vsize (KiB) 19360

[startup+162.302 s]
/proc/loadavg: 1.95 0.88 0.33 3/73 10322
/proc/meminfo: memFree=1226664/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=29200 CPUtime=161.49
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 8712 822 0 0 16140 9 0 0 25 0 1 0 56487610 29900800 5496 996147200 134512640 135095119 4294956304 18446744073709551615 134576627 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 7300 5496 378 142 0 6254 0
Current children cumulated CPU time (s) 161.49
Current children cumulated vsize (KiB) 29200

[startup+222.301 s]
/proc/loadavg: 2.03 1.10 0.44 3/73 10322
/proc/meminfo: memFree=1219496/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=30516 CPUtime=221.18
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 9461 822 0 0 22108 10 0 0 25 0 1 0 56487610 31248384 6245 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 7629 6245 378 142 0 6583 0
Current children cumulated CPU time (s) 221.18
Current children cumulated vsize (KiB) 30516

[startup+282.302 s]
/proc/loadavg: 2.06 1.27 0.54 3/73 10322
/proc/meminfo: memFree=1214696/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=32492 CPUtime=280.89
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 10344 822 0 0 28078 11 0 0 25 0 1 0 56487610 33271808 7128 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 8123 7128 378 142 0 7077 0
Current children cumulated CPU time (s) 280.89
Current children cumulated vsize (KiB) 32492

[startup+342.302 s]
/proc/loadavg: 2.06 1.42 0.63 3/73 10322
/proc/meminfo: memFree=1209320/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=42528 CPUtime=340.59
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 13188 822 0 0 34046 13 0 0 25 0 1 0 56487610 43548672 7923 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 10632 7923 378 142 0 9586 0
Current children cumulated CPU time (s) 340.59
Current children cumulated vsize (KiB) 42528

[startup+402.302 s]
/proc/loadavg: 2.06 1.54 0.72 3/73 10322
/proc/meminfo: memFree=1204136/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=44244 CPUtime=400.3
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 13968 822 0 0 40016 14 0 0 25 0 1 0 56487610 45305856 8703 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 11061 8703 378 142 0 10015 0
Current children cumulated CPU time (s) 400.3
Current children cumulated vsize (KiB) 44244

[startup+462.301 s]
/proc/loadavg: 2.06 1.63 0.80 3/73 10322
/proc/meminfo: memFree=1193704/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=55732 CPUtime=460
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 17136 822 0 0 45984 16 0 0 25 0 1 0 56487610 57069568 10846 996147200 134512640 135095119 4294956304 18446744073709551615 134616997 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 13933 10846 378 142 0 12887 0
Current children cumulated CPU time (s) 460
Current children cumulated vsize (KiB) 55732

[startup+522.302 s]
/proc/loadavg: 2.06 1.71 0.88 3/73 10324
/proc/meminfo: memFree=1190504/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=55732 CPUtime=519.71
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 17442 822 0 0 51954 17 0 0 25 0 1 0 56487610 57069568 11152 996147200 134512640 135095119 4294956304 18446744073709551615 134638369 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 13933 11152 378 142 0 12887 0
Current children cumulated CPU time (s) 519.71
Current children cumulated vsize (KiB) 55732

[startup+582.302 s]
/proc/loadavg: 2.13 1.79 0.96 3/73 10324
/proc/meminfo: memFree=1187496/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=55732 CPUtime=579.41
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 17743 822 0 0 57924 17 0 0 25 0 1 0 56487610 57069568 11453 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 13933 11453 378 142 0 12887 0
Current children cumulated CPU time (s) 579.41
Current children cumulated vsize (KiB) 55732

[startup+642.302 s]
/proc/loadavg: 2.12 1.84 1.03 3/73 10324
/proc/meminfo: memFree=1184104/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=55732 CPUtime=639.12
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 18030 822 0 0 63894 18 0 0 25 0 1 0 56487610 57069568 11740 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 13933 11740 378 142 0 12887 0
Current children cumulated CPU time (s) 639.12
Current children cumulated vsize (KiB) 55732

[startup+702.302 s]

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

[startup+822.302 s]
/proc/loadavg: 2.07 1.93 1.20 3/73 10324
/proc/meminfo: memFree=1169064/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=59156 CPUtime=818.23
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 19698 822 0 0 81802 21 0 0 25 0 1 0 56487610 60575744 13408 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 14789 13408 378 142 0 13743 0
Current children cumulated CPU time (s) 818.23
Current children cumulated vsize (KiB) 59156

[startup+882.301 s]
/proc/loadavg: 2.02 1.94 1.25 3/73 10324
/proc/meminfo: memFree=1166056/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=76724 CPUtime=877.93
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 24352 822 0 0 87769 24 0 0 25 0 1 0 56487610 78565376 13965 996147200 134512640 135095119 4294956304 18446744073709551615 134636921 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 19181 13965 378 142 0 18135 0
Current children cumulated CPU time (s) 877.93
Current children cumulated vsize (KiB) 76724

[startup+942.303 s]
/proc/loadavg: 2.01 1.95 1.29 3/73 10324
/proc/meminfo: memFree=1163112/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=78040 CPUtime=937.65
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 24913 822 0 0 93740 25 0 0 25 0 1 0 56487610 79912960 14526 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 19510 14526 378 142 0 18464 0
Current children cumulated CPU time (s) 937.65
Current children cumulated vsize (KiB) 78040

[startup+1002.3 s]
/proc/loadavg: 2.00 1.96 1.33 3/73 10324
/proc/meminfo: memFree=1159912/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=79224 CPUtime=997.34
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 25465 822 0 0 99709 25 0 0 25 0 1 0 56487610 81125376 15078 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 19806 15078 378 142 0 18760 0
Current children cumulated CPU time (s) 997.34
Current children cumulated vsize (KiB) 79224

[startup+1062.3 s]
/proc/loadavg: 2.00 1.96 1.37 3/73 10330
/proc/meminfo: memFree=1156072/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=80548 CPUtime=1057.03
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 26019 822 0 0 105677 26 0 0 25 0 1 0 56487610 82481152 15632 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 20137 15632 378 142 0 19091 0
Current children cumulated CPU time (s) 1057.03
Current children cumulated vsize (KiB) 80548

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.41 3/73 10330
/proc/meminfo: memFree=1152424/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=81600 CPUtime=1116.73
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 26521 822 0 0 111647 26 0 0 25 0 1 0 56487610 83558400 16134 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 20400 16134 378 142 0 19354 0
Current children cumulated CPU time (s) 1116.73
Current children cumulated vsize (KiB) 81600

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.44 3/73 10330
/proc/meminfo: memFree=1148968/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=82912 CPUtime=1176.44
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 27056 822 0 0 117617 27 0 0 25 0 1 0 56487610 84901888 16669 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 20728 16669 378 142 0 19682 0
Current children cumulated CPU time (s) 1176.44
Current children cumulated vsize (KiB) 82912

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.47 3/73 10330
/proc/meminfo: memFree=1145448/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=83952 CPUtime=1236.15
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 27532 822 0 0 123587 28 0 0 25 0 1 0 56487610 85966848 17145 996147200 134512640 135095119 4294956304 18446744073709551615 134570719 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 20988 17145 378 142 0 19942 0
Current children cumulated CPU time (s) 1236.15
Current children cumulated vsize (KiB) 83952

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.50 3/73 10330
/proc/meminfo: memFree=1141736/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=85136 CPUtime=1295.85
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 28050 822 0 0 129557 28 0 0 25 0 1 0 56487610 87179264 17663 996147200 134512640 135095119 4294956304 18446744073709551615 134589681 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 21284 17663 378 142 0 20238 0
Current children cumulated CPU time (s) 1295.85
Current children cumulated vsize (KiB) 85136

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.53 3/73 10330
/proc/meminfo: memFree=1138472/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=86192 CPUtime=1355.56
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 28552 822 0 0 135527 29 0 0 25 0 1 0 56487610 88260608 18165 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 21548 18165 378 142 0 20502 0
Current children cumulated CPU time (s) 1355.56
Current children cumulated vsize (KiB) 86192

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.56 3/73 10330
/proc/meminfo: memFree=1135272/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=87248 CPUtime=1415.27
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 29016 822 0 0 141497 30 0 0 25 0 1 0 56487610 89341952 18629 996147200 134512640 135095119 4294956304 18446744073709551615 134638322 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 21812 18629 378 142 0 20766 0
Current children cumulated CPU time (s) 1415.27
Current children cumulated vsize (KiB) 87248

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.58 3/73 10330
/proc/meminfo: memFree=1131752/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=88432 CPUtime=1474.96
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 29516 822 0 0 147466 30 0 0 25 0 1 0 56487610 90554368 19129 996147200 134512640 135095119 4294956304 18446744073709551615 134643981 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 22108 19129 378 142 0 21062 0
Current children cumulated CPU time (s) 1474.96
Current children cumulated vsize (KiB) 88432

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.60 3/73 10330
/proc/meminfo: memFree=1115624/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=110484 CPUtime=1534.67
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 35253 822 0 0 153434 33 0 0 25 0 1 0 56487610 113135616 22817 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 27621 22817 378 142 0 26575 0
Current children cumulated CPU time (s) 1534.67
Current children cumulated vsize (KiB) 110484

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.63 3/73 10330
/proc/meminfo: memFree=1113384/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=110484 CPUtime=1594.38
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 35451 822 0 0 159405 33 0 0 25 0 1 0 56487610 113135616 23015 996147200 134512640 135095119 4294956304 18446744073709551615 134607065 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 27621 23015 378 142 0 26575 0
Current children cumulated CPU time (s) 1594.38
Current children cumulated vsize (KiB) 110484

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.65 3/73 10330
/proc/meminfo: memFree=1111080/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=110484 CPUtime=1654.08
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 35642 822 0 0 165375 33 0 0 25 0 1 0 56487610 113135616 23206 996147200 134512640 135095119 4294956304 18446744073709551615 134642865 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 27621 23206 378 142 0 26575 0
Current children cumulated CPU time (s) 1654.08
Current children cumulated vsize (KiB) 110484

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.67 3/73 10330
/proc/meminfo: memFree=1108904/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=110484 CPUtime=1713.79
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 35836 822 0 0 171345 34 0 0 25 0 1 0 56487610 113135616 23400 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 27621 23400 378 142 0 26575 0
Current children cumulated CPU time (s) 1713.79
Current children cumulated vsize (KiB) 110484

[startup+1782.3 s]
/proc/loadavg: 2.00 1.97 1.68 3/73 10330
/proc/meminfo: memFree=1106472/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=110484 CPUtime=1773.49
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 36030 822 0 0 177315 34 0 0 25 0 1 0 56487610 113135616 23594 996147200 134512640 135095119 4294956304 18446744073709551615 134643969 0 0 4096 0 0 0 0 17 1 0 0
/proc/10316/statm: 27621 23594 378 142 0 26575 0
Current children cumulated CPU time (s) 1773.49
Current children cumulated vsize (KiB) 110484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1809 s]
/proc/loadavg: 1.93 1.95 1.69 3/73 10363
/proc/meminfo: memFree=1158576/2055920 swapFree=4192812/4192956
[pid=10316] ppid=10314 vsize=110484 CPUtime=1800.1
/proc/10316/stat : 10316 (pcs.small) R 10314 10316 10192 0 -1 4194304 36115 822 0 0 179975 35 0 0 25 0 1 0 56487610 113135616 23679 996147200 134512640 135095119 4294956304 18446744073709551615 134641871 0 0 4096 0 0 0 0 17 0 0 0
/proc/10316/statm: 27621 23679 378 142 0 26575 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 110484

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): 1809.02
CPU time (s): 1800.13
CPU user time (s): 1799.75
CPU system time (s): 0.379942
CPU usage (%): 99.5087
Max. virtual memory (cumulated for all children) (KiB): 113268

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.379942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36937
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 20323

runsolver used 2.08868 second user time and 6.14107 second system time

The end

Launcher Data 

Begin job on node59 at 2009-07-15 23:44:05
IDJOB=2058394
IDBENCH=53485
IDSOLVER=734
FILE ID=node59/2058394-1247694245
PBS_JOBID= 9521195
Free space on /tmp= 66344 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/frb45-21/normalized-frb45-21-2_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2058394-1247694245/watcher-2058394-1247694245 -o /tmp/evaluation-result-2058394-1247694245/solver-2058394-1247694245 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 845251899 HOME/instance-2058394-1247694245.xml

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

MD5SUM BENCH= c5b6a4e63f0abe6de7fc1cf04e0cfdec
RANDOM SEED=845251899

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:       1257872 kB
Buffers:        106640 kB
Cached:         574448 kB
SwapCached:          0 kB
Active:         272252 kB
Inactive:       429420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1257872 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            4568 kB
Writeback:           0 kB
Mapped:          31928 kB
Slab:            81740 kB
Committed_AS:   539784 kB
PageTables:       1824 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= 66340 MiB
End job on node59 at 2009-07-16 00:14:16