Trace number 2059658

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.12 1806.52

General information on the benchmark

Namecsp/rand-2-23/
normalized-rand-23-23-253-131-55021_ext.xml
MD5SUM257268572a51d25680fd6eaff15aac60
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark31.5292
Satisfiable
(Un)Satisfiability was proved
Number of variables23
Number of constraints253
Maximum constraint arity2
Maximum domain size23
Number of constraints which are defined in extension253
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.18/0.22	c Seed is 2122858537
0.18/0.22	c Constructing HOME/instance-2059658-1247695266.xml  with 5812 constraints
0.18/0.22	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-2059658-1247695266/watcher-2059658-1247695266 -o /tmp/evaluation-result-2059658-1247695266/solver-2059658-1247695266 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2122858537 HOME/instance-2059658-1247695266.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: 1.99 1.92 1.32 4/73 12235
/proc/meminfo: memFree=1388576/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=5356 CPUtime=0
/proc/12235/stat : 12235 (pcssolve) S 12233 12235 12069 0 -1 4194304 339 317 0 0 0 0 0 0 18 0 1 0 56591993 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 265674089284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12235/statm: 1339 242 201 169 0 50 0
[pid=12238] ppid=12235 vsize=5356 CPUtime=0
/proc/12238/stat : 12238 (pcssolve) R 12235 12235 12069 0 -1 4194368 21 0 0 0 0 0 0 0 21 0 1 0 56591993 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 265674091815 0 0 4096 0 0 0 0 17 1 0 0
/proc/12238/statm: 1339 243 202 169 0 50 0
[pid=12239] ppid=12235 vsize=3676 CPUtime=0
/proc/12239/stat : 12239 (grep) S 12235 12235 12069 0 -1 4194304 158 0 0 0 0 0 0 0 18 0 1 0 56591993 3764224 125 996147200 4194304 4274172 548682068976 18446744073709551615 265674260562 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/12239/statm: 919 125 101 19 0 43 0

[startup+0.0823841 s]
/proc/loadavg: 1.99 1.92 1.32 4/73 12235
/proc/meminfo: memFree=1388576/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=5728 CPUtime=0.06
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 1138 822 0 0 6 0 0 0 18 0 1 0 56591993 5865472 747 996147200 134512640 135095119 4294956304 18446744073709551615 134706689 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 1432 747 367 142 0 386 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 5728

[startup+0.102389 s]
/proc/loadavg: 1.99 1.92 1.32 4/73 12235
/proc/meminfo: memFree=1388576/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=6252 CPUtime=0.08
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 1300 822 0 0 8 0 0 0 18 0 1 0 56591993 6402048 876 996147200 134512640 135095119 4294956304 18446744073709551615 134643035 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 1563 876 378 142 0 517 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6252

[startup+0.30242 s]
/proc/loadavg: 1.99 1.92 1.32 4/73 12235
/proc/meminfo: memFree=1388576/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=6252 CPUtime=0.28
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 1307 822 0 0 28 0 0 0 19 0 1 0 56591993 6402048 883 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 1563 883 378 142 0 517 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6252

[startup+0.701495 s]
/proc/loadavg: 1.99 1.92 1.32 4/73 12235
/proc/meminfo: memFree=1388576/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=6252 CPUtime=0.68
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 1318 822 0 0 68 0 0 0 23 0 1 0 56591993 6402048 894 996147200 134512640 135095119 4294956304 18446744073709551615 134636932 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 1563 894 378 142 0 517 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6252

[startup+1.50165 s]
/proc/loadavg: 1.99 1.92 1.32 3/74 12241
/proc/meminfo: memFree=1386136/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=7024 CPUtime=1.47
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 1492 822 0 0 147 0 0 0 25 0 1 0 56591993 7192576 1003 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 1756 1003 378 142 0 710 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 7024

[startup+3.10195 s]
/proc/loadavg: 1.99 1.92 1.32 3/74 12241
/proc/meminfo: memFree=1385560/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=7928 CPUtime=3.06
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 1842 822 0 0 306 0 0 0 25 0 1 0 56591993 8118272 1224 996147200 134512640 135095119 4294956304 18446744073709551615 134589639 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 1982 1224 378 142 0 936 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 7928

[startup+6.30157 s]
/proc/loadavg: 1.99 1.92 1.32 3/74 12241
/proc/meminfo: memFree=1383320/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=10516 CPUtime=6.24
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 2649 822 0 0 623 1 0 0 25 0 1 0 56591993 10768384 1645 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 2629 1645 378 142 0 1583 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 10516

[startup+12.7018 s]
/proc/loadavg: 1.99 1.93 1.33 3/74 12241
/proc/meminfo: memFree=1380760/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=11688 CPUtime=12.59
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 3238 822 0 0 1257 2 0 0 25 0 1 0 56591993 11968512 2234 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 2922 2234 378 142 0 1876 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 11688

[startup+25.5022 s]
/proc/loadavg: 1.99 1.93 1.33 3/74 12241
/proc/meminfo: memFree=1377048/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=16736 CPUtime=25.29
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 4904 822 0 0 2526 3 0 0 25 0 1 0 56591993 17137664 3097 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 4184 3097 378 142 0 3138 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 16736

[startup+51.1021 s]
/proc/loadavg: 1.99 1.93 1.35 3/74 12241
/proc/meminfo: memFree=1371800/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=23564 CPUtime=50.69
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 7105 822 0 0 5064 5 0 0 25 0 1 0 56591993 24129536 4273 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 5891 4273 378 142 0 4845 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 23564

[startup+102.306 s]
/proc/loadavg: 1.99 1.94 1.38 3/74 12241
/proc/meminfo: memFree=1364120/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=29424 CPUtime=101.51
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 9291 822 0 0 10145 6 0 0 25 0 1 0 56591993 30130176 5946 996147200 134512640 135095119 4294956304 18446744073709551615 134616997 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 7356 5946 378 142 0 6310 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 29424

[startup+162.302 s]
/proc/loadavg: 1.99 1.95 1.42 3/74 12241
/proc/meminfo: memFree=1357464/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=40744 CPUtime=161.05
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 12729 822 0 0 16096 9 0 0 25 0 1 0 56591993 41721856 7335 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 10186 7335 378 142 0 9140 0
Current children cumulated CPU time (s) 161.05
Current children cumulated vsize (KiB) 40744

[startup+222.302 s]
/proc/loadavg: 1.99 1.95 1.45 3/74 12241
/proc/meminfo: memFree=1351768/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=43480 CPUtime=220.59
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 13926 822 0 0 22050 9 0 0 25 0 1 0 56591993 44523520 8532 996147200 134512640 135095119 4294956304 18446744073709551615 134636893 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 10870 8532 378 142 0 9824 0
Current children cumulated CPU time (s) 220.59
Current children cumulated vsize (KiB) 43480

[startup+282.301 s]
/proc/loadavg: 1.99 1.96 1.48 3/74 12241
/proc/meminfo: memFree=1342936/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=53380 CPUtime=280.13
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 16874 822 0 0 28002 11 0 0 25 0 1 0 56591993 54661120 10455 996147200 134512640 135095119 4294956304 18446744073709551615 134615489 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 13345 10455 378 142 0 12299 0
Current children cumulated CPU time (s) 280.13
Current children cumulated vsize (KiB) 53380

[startup+342.302 s]
/proc/loadavg: 1.99 1.97 1.51 3/74 12241
/proc/meminfo: memFree=1339552/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=53380 CPUtime=339.67
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 17292 822 0 0 33956 11 0 0 25 0 1 0 56591993 54661120 10873 996147200 134512640 135095119 4294956304 18446744073709551615 134839528 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 13345 10873 378 142 0 12299 0
Current children cumulated CPU time (s) 339.67
Current children cumulated vsize (KiB) 53380

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.54 3/74 12241
/proc/meminfo: memFree=1334688/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=54676 CPUtime=399.22
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 18016 822 0 0 39910 12 0 0 25 0 1 0 56591993 55988224 11597 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 13669 11597 378 142 0 12623 0
Current children cumulated CPU time (s) 399.22
Current children cumulated vsize (KiB) 54676

[startup+462.303 s]
/proc/loadavg: 1.99 1.97 1.57 3/74 12241
/proc/meminfo: memFree=1329184/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=56504 CPUtime=458.77
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 18853 822 0 0 45863 14 0 0 25 0 1 0 56591993 57860096 12434 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 14126 12434 378 142 0 13080 0
Current children cumulated CPU time (s) 458.77
Current children cumulated vsize (KiB) 56504

[startup+522.301 s]
/proc/loadavg: 2.03 1.99 1.59 3/74 12241
/proc/meminfo: memFree=1324256/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=58212 CPUtime=518.31
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 19606 822 0 0 51816 15 0 0 25 0 1 0 56591993 59609088 13187 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 14553 13187 378 142 0 13507 0
Current children cumulated CPU time (s) 518.31
Current children cumulated vsize (KiB) 58212

[startup+582.302 s]
/proc/loadavg: 2.01 1.99 1.62 3/74 12241
/proc/meminfo: memFree=1319008/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=76296 CPUtime=577.85
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 24478 822 0 0 57767 18 0 0 25 0 1 0 56591993 78127104 13962 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/12235/statm: 19074 13962 378 142 0 18028 0
Current children cumulated CPU time (s) 577.85
Current children cumulated vsize (KiB) 76296

[startup+642.301 s]
/proc/loadavg: 2.10 2.02 1.65 3/74 12241
/proc/meminfo: memFree=1314016/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=77988 CPUtime=637.39

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

[startup+882.301 s]
/proc/loadavg: 2.09 2.05 1.74 3/74 12306
/proc/meminfo: memFree=1388896/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=84140 CPUtime=876.32
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 27995 822 0 0 87608 24 0 0 25 0 1 0 56591993 86159360 17479 996147200 134512640 135095119 4294956304 18446744073709551615 134642970 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 21035 17479 378 142 0 19989 0
Current children cumulated CPU time (s) 876.32
Current children cumulated vsize (KiB) 84140

[startup+942.302 s]
/proc/loadavg: 2.09 2.05 1.76 3/74 12306
/proc/meminfo: memFree=1373536/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=104080 CPUtime=936.3
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 33281 822 0 0 93603 27 0 0 25 0 1 0 56591993 106577920 20716 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 26020 20716 378 142 0 24974 0
Current children cumulated CPU time (s) 936.3
Current children cumulated vsize (KiB) 104080

[startup+1002.3 s]
/proc/loadavg: 2.07 2.05 1.77 3/74 12306
/proc/meminfo: memFree=1368608/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=104080 CPUtime=996.27
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 33557 822 0 0 99600 27 0 0 25 0 1 0 56591993 106577920 20992 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 26020 20992 378 142 0 24974 0
Current children cumulated CPU time (s) 996.27
Current children cumulated vsize (KiB) 104080

[startup+1062.3 s]
/proc/loadavg: 2.07 2.06 1.79 3/74 12306
/proc/meminfo: memFree=1365728/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=104080 CPUtime=1056.23
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 33827 822 0 0 105596 27 0 0 25 0 1 0 56591993 106577920 21262 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 26020 21262 378 142 0 24974 0
Current children cumulated CPU time (s) 1056.23
Current children cumulated vsize (KiB) 104080

[startup+1122.3 s]
/proc/loadavg: 2.06 2.06 1.81 3/74 12306
/proc/meminfo: memFree=1361760/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=104080 CPUtime=1116.21
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 34099 822 0 0 111593 28 0 0 25 0 1 0 56591993 106577920 21534 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 26020 21534 378 142 0 24974 0
Current children cumulated CPU time (s) 1116.21
Current children cumulated vsize (KiB) 104080

[startup+1182.3 s]
/proc/loadavg: 2.06 2.06 1.82 3/74 12306
/proc/meminfo: memFree=1353760/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=104080 CPUtime=1176.18
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 34365 822 0 0 117590 28 0 0 25 0 1 0 56591993 106577920 21800 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 26020 21800 378 142 0 24974 0
Current children cumulated CPU time (s) 1176.18
Current children cumulated vsize (KiB) 104080

[startup+1242.3 s]
/proc/loadavg: 2.06 2.06 1.83 3/74 12306
/proc/meminfo: memFree=1351264/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=104080 CPUtime=1236.15
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 34624 822 0 0 123587 28 0 0 25 0 1 0 56591993 106577920 22059 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 26020 22059 378 142 0 24974 0
Current children cumulated CPU time (s) 1236.15
Current children cumulated vsize (KiB) 104080

[startup+1302.3 s]
/proc/loadavg: 2.12 2.07 1.85 3/74 12306
/proc/meminfo: memFree=1348768/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=104080 CPUtime=1296.12
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 34879 822 0 0 129584 28 0 0 25 0 1 0 56591993 106577920 22314 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 26020 22314 378 142 0 24974 0
Current children cumulated CPU time (s) 1296.12
Current children cumulated vsize (KiB) 104080

[startup+1362.3 s]
/proc/loadavg: 2.12 2.07 1.86 3/74 12306
/proc/meminfo: memFree=1344608/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=104740 CPUtime=1356.09
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 35273 822 0 0 135580 29 0 0 25 0 1 0 56591993 107253760 22708 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 26185 22708 378 142 0 25139 0
Current children cumulated CPU time (s) 1356.09
Current children cumulated vsize (KiB) 104740

[startup+1422.31 s]
/proc/loadavg: 2.45 2.19 1.91 3/74 12306
/proc/meminfo: memFree=1339360/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=105656 CPUtime=1416.07
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 35768 822 0 0 141577 30 0 0 25 0 1 0 56591993 108191744 23203 996147200 134512640 135095119 4294956304 18446744073709551615 134644022 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 26414 23203 378 142 0 25368 0
Current children cumulated CPU time (s) 1416.07
Current children cumulated vsize (KiB) 105656

[startup+1482.3 s]
/proc/loadavg: 2.24 2.17 1.92 3/74 12306
/proc/meminfo: memFree=1334240/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=106848 CPUtime=1476.03
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 36266 822 0 0 147572 31 0 0 25 0 1 0 56591993 109412352 23701 996147200 134512640 135095119 4294956304 18446744073709551615 134636912 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 26712 23701 378 142 0 25666 0
Current children cumulated CPU time (s) 1476.03
Current children cumulated vsize (KiB) 106848

[startup+1542.3 s]
/proc/loadavg: 2.13 2.15 1.92 3/74 12306
/proc/meminfo: memFree=1328992/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=108028 CPUtime=1536
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 36796 822 0 0 153569 31 0 0 25 0 1 0 56591993 110620672 24231 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 27007 24231 378 142 0 25961 0
Current children cumulated CPU time (s) 1536
Current children cumulated vsize (KiB) 108028

[startup+1602.3 s]
/proc/loadavg: 2.05 2.12 1.92 3/74 12306
/proc/meminfo: memFree=1318304/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=109080 CPUtime=1595.97
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 37300 822 0 0 159565 32 0 0 25 0 1 0 56591993 111697920 24735 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 27270 24735 378 142 0 26224 0
Current children cumulated CPU time (s) 1595.97
Current children cumulated vsize (KiB) 109080

[startup+1662.3 s]
/proc/loadavg: 2.02 2.10 1.92 3/74 12306
/proc/meminfo: memFree=1314720/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=110248 CPUtime=1655.95
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 37812 822 0 0 165562 33 0 0 25 0 1 0 56591993 112893952 25247 996147200 134512640 135095119 4294956304 18446744073709551615 12203643 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 27562 25247 378 142 0 26516 0
Current children cumulated CPU time (s) 1655.95
Current children cumulated vsize (KiB) 110248

[startup+1722.3 s]
/proc/loadavg: 2.00 2.08 1.92 3/74 12306
/proc/meminfo: memFree=1311264/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=111416 CPUtime=1715.93
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 38331 822 0 0 171559 34 0 0 25 0 1 0 56591993 114089984 25766 996147200 134512640 135095119 4294956304 18446744073709551615 134641644 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 27854 25766 378 142 0 26808 0
Current children cumulated CPU time (s) 1715.93
Current children cumulated vsize (KiB) 111416

[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 1.92 3/74 12306
/proc/meminfo: memFree=1307744/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=112472 CPUtime=1775.89
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 38818 822 0 0 177554 35 0 0 25 0 1 0 56591993 115171328 26253 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 28118 26253 378 142 0 27072 0
Current children cumulated CPU time (s) 1775.89
Current children cumulated vsize (KiB) 112472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1806.5 s]
/proc/loadavg: 2.00 2.05 1.92 3/74 12306
/proc/meminfo: memFree=1306080/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=112864 CPUtime=1800.08
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 39008 822 0 0 179973 35 0 0 25 0 1 0 56591993 115572736 26443 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 28216 26443 378 142 0 27170 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 112864

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

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

[startup+1806.5 s]
/proc/loadavg: 2.00 2.05 1.92 3/74 12306
/proc/meminfo: memFree=1306080/2055920 swapFree=4192812/4192956
[pid=12235] ppid=12233 vsize=112864 CPUtime=1800.08
/proc/12235/stat : 12235 (pcs.small) R 12233 12235 12069 0 -1 4194304 39008 822 0 0 179973 35 0 0 25 0 1 0 56591993 115572736 26443 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/12235/statm: 28216 26443 378 142 0 27170 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 112864

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1806.52
CPU time (s): 1800.12
CPU user time (s): 1799.74
CPU system time (s): 0.377942
CPU usage (%): 99.6456
Max. virtual memory (cumulated for all children) (KiB): 112864

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.377942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39830
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 20344

runsolver used 1.87871 second user time and 4.70228 second system time

The end

Launcher Data 

Begin job on node76 at 2009-07-16 00:01:07
IDJOB=2059658
IDBENCH=53602
IDSOLVER=733
FILE ID=node76/2059658-1247695266
PBS_JOBID= 9521165
Free space on /tmp= 66396 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-2-23/normalized-rand-23-23-253-131-55021_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2059658-1247695266/watcher-2059658-1247695266 -o /tmp/evaluation-result-2059658-1247695266/solver-2059658-1247695266 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2122858537 HOME/instance-2059658-1247695266.xml

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

MD5SUM BENCH= 257268572a51d25680fd6eaff15aac60
RANDOM SEED=2122858537

node76.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.277
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.277
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1389056 kB
Buffers:         73184 kB
Cached:         423352 kB
SwapCached:          0 kB
Active:         262180 kB
Inactive:       333860 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1389056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2020 kB
Writeback:           0 kB
Mapped:         110824 kB
Slab:            55972 kB
Committed_AS:   579596 kB
PageTables:       1996 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= 66392 MiB
End job on node76 at 2009-07-16 00:31:15