Trace number 2074399

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 1811.66

General information on the benchmark

Namecsp/chessboardColoration/
normalized-cc-25-25-3.xml
MD5SUMb0a7ced6452a110d2bda0f89526bf56f
Bench CategoryN-ARY-INT (n-ary constraints in intension)
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 variables625
Number of constraints90000
Maximum constraint arity4
Maximum domain size3
Number of constraints which are defined in extension0
Number of constraints which are defined in intension90000
Global constraints used (with number of constraints)

Solver Data 

0.03/0.13	c small-domain mode
0.03/0.14	c Seed is 1120093003
0.03/0.14	c Constructing HOME/instance-2074399-1247712387.xml  with 1560000 constraints
11.16/11.31	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-2074399-1247712387/watcher-2074399-1247712387 -o /tmp/evaluation-result-2074399-1247712387/solver-2074399-1247712387 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1120093003 HOME/instance-2074399-1247712387.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.08 1.99 1.99 4/81 19897
/proc/meminfo: memFree=1469232/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=5260 CPUtime=0
/proc/19897/stat : 19897 (pcssolve) R 19895 19897 18594 0 -1 4194304 68 0 0 0 0 0 0 0 20 0 1 0 58302637 5386240 51 996147200 4194304 4889804 548682068800 18446744073709551615 264837826768 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 1315 51 37 169 0 14 0

[startup+0.059984 s]
/proc/loadavg: 2.08 1.99 1.99 4/81 19897
/proc/meminfo: memFree=1469232/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=5356 CPUtime=0.03
/proc/19897/stat : 19897 (pcssolve) S 19895 19897 18594 0 -1 4194304 367 649 0 0 0 0 2 1 21 0 1 0 58302637 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19897/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.10198 s]
/proc/loadavg: 2.08 1.99 1.99 4/81 19897
/proc/meminfo: memFree=1469232/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=5356 CPUtime=0.03
/proc/19897/stat : 19897 (pcssolve) S 19895 19897 18594 0 -1 4194304 367 649 0 0 0 0 2 1 21 0 1 0 58302637 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19897/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.302002 s]
/proc/loadavg: 2.08 1.99 1.99 4/81 19897
/proc/meminfo: memFree=1469232/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=8680 CPUtime=0.26
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 2038 822 0 0 15 0 9 2 19 0 1 0 58302637 8888320 1420 996147200 134512640 135095119 4294956304 18446744073709551615 11746910 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 2170 1420 374 142 0 1124 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 8680

[startup+0.701042 s]
/proc/loadavg: 2.08 1.99 1.99 4/81 19897
/proc/meminfo: memFree=1469232/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=19816 CPUtime=0.66
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 5516 822 0 0 53 2 9 2 23 0 1 0 58302637 20291584 3675 996147200 134512640 135095119 4294956304 18446744073709551615 11715015 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 4954 3675 374 142 0 3908 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 19816

[startup+1.50113 s]
/proc/loadavg: 2.08 1.99 1.99 3/82 19903
/proc/meminfo: memFree=1443304/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=38476 CPUtime=1.45
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 11781 822 0 0 130 4 9 2 25 0 1 0 58302637 39399424 8162 996147200 134512640 135095119 4294956304 18446744073709551615 11746869 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 9619 8162 374 142 0 8573 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 38476

[startup+3.10129 s]
/proc/loadavg: 2.08 1.99 1.99 3/82 19903
/proc/meminfo: memFree=1424552/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=75064 CPUtime=3.04
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 23970 822 0 0 283 10 9 2 25 0 1 0 58302637 76865536 16803 996147200 134512640 135095119 4294956304 18446744073709551615 134706724 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 18766 16803 374 142 0 17720 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 75064

[startup+6.30162 s]
/proc/loadavg: 2.07 1.99 1.99 3/82 19903
/proc/meminfo: memFree=1355432/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=148048 CPUtime=6.21
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 48304 822 0 0 585 25 9 2 25 0 1 0 58302637 151601152 34047 996147200 134512640 135095119 4294956304 18446744073709551615 134705374 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 37012 34047 374 142 0 35966 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 148048

[startup+12.7013 s]
/proc/loadavg: 2.07 1.99 1.99 3/82 19903
/proc/meminfo: memFree=1200296/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=298156 CPUtime=12.55
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 97817 822 0 0 1195 49 9 2 25 0 1 0 58302637 305311744 67699 996147200 134512640 135095119 4294956304 18446744073709551615 11712002 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 74539 67699 386 142 0 73493 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 298156

[startup+25.5026 s]
/proc/loadavg: 2.05 1.99 1.99 3/82 19903
/proc/meminfo: memFree=1168488/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=330188 CPUtime=25.23
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 363769 822 0 0 2349 163 9 2 25 0 1 0 58302637 338112512 75413 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 82547 75413 387 142 0 81501 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 330188

[startup+51.1022 s]
/proc/loadavg: 2.03 1.99 1.99 3/82 19903
/proc/meminfo: memFree=1167400/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=331216 CPUtime=50.58
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 1280806 822 0 0 4487 560 9 2 25 0 1 0 58302637 339165184 75684 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 82804 75684 387 142 0 81758 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 331216

[startup+102.307 s]
/proc/loadavg: 2.01 1.99 1.99 3/82 19903
/proc/meminfo: memFree=1166504/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=331720 CPUtime=101.3
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 2490627 822 0 0 9027 1092 9 2 25 0 1 0 58302637 339681280 75873 996147200 134512640 135095119 4294956304 18446744073709551615 134840378 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 82930 75873 387 142 0 81884 0
Current children cumulated CPU time (s) 101.3
Current children cumulated vsize (KiB) 331720

[startup+162.303 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 19903
/proc/meminfo: memFree=1165928/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=331968 CPUtime=160.74
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 3862622 822 0 0 14362 1701 9 2 25 0 1 0 58302637 339935232 76022 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 82992 76022 387 142 0 81946 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 331968

[startup+222.303 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 19903
/proc/meminfo: memFree=1165544/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=332220 CPUtime=220.16
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 5789454 822 0 0 19465 2540 9 2 25 0 1 0 58302637 340193280 76104 996147200 134512640 135095119 4294956304 18446744073709551615 134617024 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 83055 76104 387 142 0 82009 0
Current children cumulated CPU time (s) 220.16
Current children cumulated vsize (KiB) 332220

[startup+282.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 19903
/proc/meminfo: memFree=1164008/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=332464 CPUtime=279.61
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 7412396 822 0 0 24691 3259 9 2 25 0 1 0 58302637 340443136 76172 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 83116 76172 387 142 0 82070 0
Current children cumulated CPU time (s) 279.61
Current children cumulated vsize (KiB) 332464

[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 19905
/proc/meminfo: memFree=1163752/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=332584 CPUtime=339.03
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 8510520 822 0 0 30145 3747 9 2 25 0 1 0 58302637 340566016 76232 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 83146 76232 387 142 0 82100 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 332584

[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 19905
/proc/meminfo: memFree=1163496/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=332820 CPUtime=398.47
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 10172357 822 0 0 35355 4481 9 2 25 0 1 0 58302637 340807680 76293 996147200 134512640 135095119 4294956304 18446744073709551615 134882936 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 83205 76293 387 142 0 82159 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 332820

[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 19905
/proc/meminfo: memFree=1163368/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=332940 CPUtime=457.91
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 11523713 822 0 0 40699 5081 9 2 25 0 1 0 58302637 340930560 76355 996147200 134512640 135095119 4294956304 18446744073709551615 134590360 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 83235 76355 387 142 0 82189 0
Current children cumulated CPU time (s) 457.91
Current children cumulated vsize (KiB) 332940

[startup+522.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 19905
/proc/meminfo: memFree=1163112/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=333064 CPUtime=517.34
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 12955069 822 0 0 46004 5719 9 2 25 0 1 0 58302637 341057536 76411 996147200 134512640 135095119 4294956304 18446744073709551615 134615598 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 83266 76411 387 142 0 82220 0
Current children cumulated CPU time (s) 517.34
Current children cumulated vsize (KiB) 333064

[startup+582.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 19905
/proc/meminfo: memFree=1162728/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=333440 CPUtime=576.77
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 14815121 822 0 0 51127 6539 9 2 25 0 1 0 58302637 341442560 76507 996147200 134512640 135095119 4294956304 18446744073709551615 134578949 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 83360 76507 387 142 0 82314 0
Current children cumulated CPU time (s) 576.77
Current children cumulated vsize (KiB) 333440

[startup+642.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 19905
/proc/meminfo: memFree=1160040/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=336628 CPUtime=636.2
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 18337561 822 0 0 55524 8085 9 2 25 0 1 0 58302637 344707072 77215 996147200 134512640 135095119 4294956304 18446744073709551615 134599362 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 84157 77215 387 142 0 83111 0
Current children cumulated CPU time (s) 636.2
Current children cumulated vsize (KiB) 336628

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 1.99 1.99 3/82 19905
/proc/meminfo: memFree=1160744/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=334580 CPUtime=814.5
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 25750692 822 0 0 70069 11370 9 2 25 0 1 0 58302637 342609920 76946 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 83645 76946 387 142 0 82599 0
Current children cumulated CPU time (s) 814.5
Current children cumulated vsize (KiB) 334580

[startup+882.302 s]
/proc/loadavg: 1.96 1.98 1.99 3/83 20016
/proc/meminfo: memFree=1221040/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=334964 CPUtime=874.37
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 27590933 822 0 0 75302 12124 9 2 25 0 1 0 58302637 343003136 77049 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/19897/statm: 83741 77049 387 142 0 82695 0
Current children cumulated CPU time (s) 874.37
Current children cumulated vsize (KiB) 334964

[startup+942.307 s]
/proc/loadavg: 1.98 1.98 1.99 4/83 20016
/proc/meminfo: memFree=1116208/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=338280 CPUtime=934.35
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 30001025 822 0 0 80342 13082 9 2 25 0 1 0 58302637 346398720 77419 996147200 134512640 135095119 4294956304 18446744073709551615 134599362 0 0 4096 0 0 0 0 17 0 0 0
/proc/19897/statm: 84570 77430 387 142 0 83524 0
Current children cumulated CPU time (s) 934.35
Current children cumulated vsize (KiB) 338280

[startup+1002.3 s]
/proc/loadavg: 2.13 2.01 2.00 3/83 20016
/proc/meminfo: memFree=851248/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=335856 CPUtime=994.32
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 32528084 822 0 0 85353 14068 9 2 25 0 1 0 58302637 343916544 77316 996147200 134512640 135095119 4294956304 18446744073709551615 134840370 0 0 4096 0 0 0 0 17 0 0 0
/proc/19897/statm: 83964 77316 387 142 0 82918 0
Current children cumulated CPU time (s) 994.32
Current children cumulated vsize (KiB) 335856

[startup+1062.3 s]
/proc/loadavg: 2.32 2.07 2.02 4/83 20016
/proc/meminfo: memFree=597424/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=336240 CPUtime=1054.29
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 34951884 822 0 0 90419 14999 9 2 25 0 1 0 58302637 344309760 77448 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/19897/statm: 84060 77448 387 142 0 83014 0
Current children cumulated CPU time (s) 1054.29
Current children cumulated vsize (KiB) 336240

[startup+1122.3 s]
/proc/loadavg: 2.49 2.16 2.05 3/83 20016
/proc/meminfo: memFree=502960/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=336360 CPUtime=1114.11
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 36210028 822 0 0 95874 15526 9 2 25 0 1 0 58302637 344432640 77516 996147200 134512640 135095119 4294956304 18446744073709551615 134616731 0 0 4096 0 0 0 0 17 0 0 0
/proc/19897/statm: 84090 77516 387 142 0 83044 0
Current children cumulated CPU time (s) 1114.11
Current children cumulated vsize (KiB) 336360

[startup+1182.3 s]
/proc/loadavg: 2.28 2.16 2.05 3/83 20016
/proc/meminfo: memFree=502512/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=336604 CPUtime=1173.82
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 37697925 822 0 0 101244 16127 9 2 25 0 1 0 58302637 344682496 77595 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 84151 77595 387 142 0 83105 0
Current children cumulated CPU time (s) 1173.82
Current children cumulated vsize (KiB) 336604

[startup+1242.3 s]
/proc/loadavg: 2.19 2.16 2.06 4/83 20016
/proc/meminfo: memFree=499888/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=336972 CPUtime=1233.53
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 39848663 822 0 0 106345 16997 9 2 25 0 1 0 58302637 345059328 77713 996147200 134512640 135095119 4294956304 18446744073709551615 134882936 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 84243 77713 387 142 0 83197 0
Current children cumulated CPU time (s) 1233.53
Current children cumulated vsize (KiB) 336972

[startup+1302.3 s]
/proc/loadavg: 2.36 2.20 2.08 3/83 20016
/proc/meminfo: memFree=501552/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=337476 CPUtime=1293.24
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 42214479 822 0 0 111360 17953 9 2 25 0 1 0 58302637 345575424 77847 996147200 134512640 135095119 4294956304 18446744073709551615 134842103 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 84369 77847 387 142 0 83323 0
Current children cumulated CPU time (s) 1293.24
Current children cumulated vsize (KiB) 337476

[startup+1362.3 s]
/proc/loadavg: 2.55 2.28 2.11 3/83 20016
/proc/meminfo: memFree=500976/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=337864 CPUtime=1352.94
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 44641221 822 0 0 116346 18937 9 2 25 0 1 0 58302637 345972736 77985 996147200 134512640 135095119 4294956304 18446744073709551615 134642881 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 84466 77985 387 142 0 83420 0
Current children cumulated CPU time (s) 1352.94
Current children cumulated vsize (KiB) 337864

[startup+1422.31 s]
/proc/loadavg: 2.43 2.30 2.13 3/83 20016
/proc/meminfo: memFree=497648/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=338376 CPUtime=1412.64
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 46921157 822 0 0 121392 19861 9 2 25 0 1 0 58302637 346497024 78117 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 84594 78117 387 142 0 83548 0
Current children cumulated CPU time (s) 1412.64
Current children cumulated vsize (KiB) 338376

[startup+1482.3 s]
/proc/loadavg: 2.23 2.27 2.13 4/83 20016
/proc/meminfo: memFree=499760/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=341696 CPUtime=1472.34
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 49406898 822 0 0 126313 20910 9 2 25 0 1 0 58302637 349896704 78535 996147200 134512640 135095119 4294956304 18446744073709551615 134599362 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 85424 78549 387 142 0 84378 0
Current children cumulated CPU time (s) 1472.34
Current children cumulated vsize (KiB) 341696

[startup+1542.3 s]
/proc/loadavg: 2.20 2.26 2.13 4/83 20016
/proc/meminfo: memFree=496624/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=339136 CPUtime=1532.03
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 51700500 822 0 0 131264 21928 9 2 25 0 1 0 58302637 347275264 78386 996147200 134512640 135095119 4294956304 18446744073709551615 134842108 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 84784 78386 387 142 0 83738 0
Current children cumulated CPU time (s) 1532.03
Current children cumulated vsize (KiB) 339136

[startup+1602.3 s]
/proc/loadavg: 2.11 2.23 2.13 3/83 20016
/proc/meminfo: memFree=498864/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=339388 CPUtime=1591.72
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 53330068 822 0 0 136486 22675 9 2 25 0 1 0 58302637 347533312 78474 996147200 134512640 135095119 4294956304 18446744073709551615 134839492 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 84847 78474 387 142 0 83801 0
Current children cumulated CPU time (s) 1591.72
Current children cumulated vsize (KiB) 339388

[startup+1662.3 s]
/proc/loadavg: 2.07 2.20 2.12 3/83 20016
/proc/meminfo: memFree=498608/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=339632 CPUtime=1651.43
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 54321756 822 0 0 141999 23133 9 2 25 0 1 0 58302637 347783168 78528 996147200 134512640 135095119 4294956304 18446744073709551615 134882936 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 84908 78528 387 142 0 83862 0
Current children cumulated CPU time (s) 1651.43
Current children cumulated vsize (KiB) 339632

[startup+1722.3 s]
/proc/loadavg: 2.15 2.19 2.12 4/83 20016
/proc/meminfo: memFree=498288/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=339884 CPUtime=1711.12
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 55917554 822 0 0 147252 23849 9 2 25 0 1 0 58302637 348041216 78610 996147200 134512640 135095119 4294956304 18446744073709551615 134615460 0 0 4096 0 0 0 0 17 1 0 0
/proc/19897/statm: 84971 78610 387 142 0 83925 0
Current children cumulated CPU time (s) 1711.12
Current children cumulated vsize (KiB) 339884

[startup+1782.3 s]
/proc/loadavg: 2.28 2.21 2.13 3/83 20058
/proc/meminfo: memFree=497904/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=340136 CPUtime=1770.85
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 57931027 822 0 0 152255 24819 9 2 25 0 1 0 58302637 348299264 78721 996147200 134512640 135095119 4294956304 18446744073709551615 134590360 0 0 4096 0 0 0 0 17 0 0 0
/proc/19897/statm: 85034 78721 387 142 0 83988 0
Current children cumulated CPU time (s) 1770.85
Current children cumulated vsize (KiB) 340136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811.6 s]
/proc/loadavg: 2.25 2.21 2.13 3/82 20099
/proc/meminfo: memFree=1227704/2055920 swapFree=4192812/4192956
[pid=19897] ppid=19895 vsize=340392 CPUtime=1800.01
/proc/19897/stat : 19897 (pcs.small) R 19895 19897 18594 0 -1 4194304 58908769 822 0 0 154700 25290 9 2 25 0 1 0 58302637 348561408 78775 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/19897/statm: 85098 78775 387 142 0 84052 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 340392

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): 1811.66
CPU time (s): 1800.08
CPU user time (s): 1547.1
CPU system time (s): 252.979
CPU usage (%): 99.3608
Max. virtual memory (cumulated for all children) (KiB): 343328

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

runsolver used 2.04069 second user time and 5.60615 second system time

The end

Launcher Data 

Begin job on node44 at 2009-07-16 04:46:28
IDJOB=2074399
IDBENCH=56097
IDSOLVER=734
FILE ID=node44/2074399-1247712387
PBS_JOBID= 9521406
Free space on /tmp= 66264 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/chessboardColoration/normalized-cc-25-25-3.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2074399-1247712387/watcher-2074399-1247712387 -o /tmp/evaluation-result-2074399-1247712387/solver-2074399-1247712387 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1120093003 HOME/instance-2074399-1247712387.xml

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

MD5SUM BENCH= b0a7ced6452a110d2bda0f89526bf56f
RANDOM SEED=1120093003

node44.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.219
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.219
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:       1469712 kB
Buffers:         75652 kB
Cached:         314668 kB
SwapCached:          0 kB
Active:         201876 kB
Inactive:       297900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1469712 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           18272 kB
Writeback:           0 kB
Mapped:         129816 kB
Slab:            71228 kB
Committed_AS:   737164 kB
PageTables:       2008 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= 66264 MiB
End job on node44 at 2009-07-16 05:16:41