Trace number 2075003

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.08 1810.82

General information on the benchmark

Namecsp/rand-3-24-24-fcd/
normalized-rand-3-24-24-76-632-fcd-19_ext.xml
MD5SUM12fa9991c3edb6406160dfe2c7e35ac1
Bench CategoryN-ARY-EXT (n-ary 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 variables24
Number of constraints76
Maximum constraint arity3
Maximum domain size24
Number of constraints which are defined in extension76
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.04	c small-domain mode
0.00/0.04	c Seed is 403447751
0.00/0.04	c Constructing HOME/instance-2075003-1247712593.xml  with 76 constraints
0.97/1.07	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-2075003-1247712593/watcher-2075003-1247712593 -o /tmp/evaluation-result-2075003-1247712593/solver-2075003-1247712593 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 403447751 HOME/instance-2075003-1247712593.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 2.02 2.00 4/72 16942
/proc/meminfo: memFree=1237656/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=5356 CPUtime=0
/proc/16942/stat : 16942 (pcssolve) R 16940 16942 16829 0 -1 4194304 265 0 0 0 0 0 0 0 20 0 1 0 58325388 5484544 233 996147200 4194304 4889804 548682068800 18446744073709551615 254194877955 0 0 4100 65536 0 0 0 17 1 0 0
/proc/16942/statm: 1339 233 194 169 0 50 0

[startup+0.0774101 s]
/proc/loadavg: 1.99 2.02 2.00 4/72 16942
/proc/meminfo: memFree=1237656/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=4632 CPUtime=0.04
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 870 873 0 0 2 0 2 0 18 0 1 0 58325388 4743168 479 996147200 134512640 135095119 4294956304 18446744073709551615 134694649 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 1158 479 375 142 0 112 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4632

[startup+0.101409 s]
/proc/loadavg: 1.99 2.02 2.00 4/72 16942
/proc/meminfo: memFree=1237656/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=5092 CPUtime=0.07
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 907 873 0 0 5 0 2 0 18 0 1 0 58325388 5214208 516 996147200 134512640 135095119 4294956304 18446744073709551615 134741742 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 1273 516 375 142 0 227 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5092

[startup+0.301426 s]
/proc/loadavg: 1.99 2.02 2.00 4/72 16942
/proc/meminfo: memFree=1237656/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=7716 CPUtime=0.27
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 1201 873 0 0 25 0 2 0 19 0 1 0 58325388 7901184 810 996147200 134512640 135095119 4294956304 18446744073709551615 8187519 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 1929 810 375 142 0 883 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7716

[startup+0.701454 s]
/proc/loadavg: 1.99 2.02 2.00 4/72 16942
/proc/meminfo: memFree=1237656/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=12952 CPUtime=0.66
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 1790 873 0 0 64 0 2 0 23 0 1 0 58325388 13262848 1399 996147200 134512640 135095119 4294956304 18446744073709551615 4159729144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 3238 1399 375 142 0 2192 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 12952

[startup+1.50152 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 16948
/proc/meminfo: memFree=1231704/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=17700 CPUtime=1.46
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 2348 873 0 0 143 1 2 0 25 0 1 0 58325388 18124800 1957 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 4425 1957 389 142 0 3379 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 17700

[startup+3.10163 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 16948
/proc/meminfo: memFree=1231128/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=17700 CPUtime=3.05
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 2356 873 0 0 302 1 2 0 25 0 1 0 58325388 18124800 1965 996147200 134512640 135095119 4294956304 18446744073709551615 134911237 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 4425 1965 389 142 0 3379 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 17700

[startup+6.30187 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 16948
/proc/meminfo: memFree=1231000/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=17700 CPUtime=6.22
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 2391 873 0 0 619 1 2 0 25 0 1 0 58325388 18124800 2000 996147200 134512640 135095119 4294956304 18446744073709551615 134916512 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 4425 2000 389 142 0 3379 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 17700

[startup+12.7013 s]
/proc/loadavg: 2.06 2.03 2.00 3/73 16948
/proc/meminfo: memFree=1230552/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=17960 CPUtime=12.55
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 2499 873 0 0 1252 1 2 0 25 0 1 0 58325388 18391040 2108 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 4490 2108 389 142 0 3444 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 17960

[startup+25.5013 s]
/proc/loadavg: 2.05 2.03 2.00 3/73 16948
/proc/meminfo: memFree=1230040/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=18476 CPUtime=25.23
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 2719 873 0 0 2520 1 2 0 25 0 1 0 58325388 18919424 2263 996147200 134512640 135095119 4294956304 18446744073709551615 134926999 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 4619 2263 389 142 0 3573 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 18476

[startup+51.1011 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 16948
/proc/meminfo: memFree=1228824/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=19244 CPUtime=50.59
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 3211 873 0 0 5056 1 2 0 25 0 1 0 58325388 19705856 2561 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 4811 2561 389 142 0 3765 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 19244

[startup+102.307 s]
/proc/loadavg: 2.09 2.04 2.01 3/73 16950
/proc/meminfo: memFree=1225688/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=20780 CPUtime=101.32
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 4220 873 0 0 10128 2 2 0 25 0 1 0 58325388 21278720 3184 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 5195 3184 389 142 0 4149 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 20780

[startup+162.301 s]
/proc/loadavg: 2.11 2.04 2.00 3/73 16950
/proc/meminfo: memFree=1222552/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=22828 CPUtime=160.76
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 5219 873 0 0 16071 3 2 0 25 0 1 0 58325388 23375872 3670 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 5707 3670 389 142 0 4661 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 22828

[startup+222.301 s]
/proc/loadavg: 2.08 2.05 2.00 3/73 16950
/proc/meminfo: memFree=1218328/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=24112 CPUtime=220.19
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 6289 873 0 0 22013 4 2 0 25 0 1 0 58325388 24690688 4483 996147200 134512640 135095119 4294956304 18446744073709551615 134918117 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 6028 4483 389 142 0 4982 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 24112

[startup+282.302 s]
/proc/loadavg: 2.03 2.04 2.00 3/73 16950
/proc/meminfo: memFree=1212952/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=28208 CPUtime=279.64
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 7876 873 0 0 27957 5 2 0 25 0 1 0 58325388 28884992 5045 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 7052 5045 389 142 0 6006 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 28208

[startup+342.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 16950
/proc/meminfo: memFree=1210072/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=28208 CPUtime=339.07
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 8458 873 0 0 33900 5 2 0 25 0 1 0 58325388 28884992 5627 996147200 134512640 135095119 4294956304 18446744073709551615 134927225 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 7052 5627 389 142 0 6006 0
Current children cumulated CPU time (s) 339.07
Current children cumulated vsize (KiB) 28208

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 16950
/proc/meminfo: memFree=1204056/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=34068 CPUtime=398.52
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 10245 873 0 0 39843 7 2 0 25 0 1 0 58325388 34885632 6836 996147200 134512640 135095119 4294956304 18446744073709551615 134927001 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 8517 6836 389 142 0 7471 0
Current children cumulated CPU time (s) 398.52
Current children cumulated vsize (KiB) 34068

[startup+462.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 16950
/proc/meminfo: memFree=1201176/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=34068 CPUtime=457.95
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 10566 873 0 0 45786 7 2 0 25 0 1 0 58325388 34885632 7157 996147200 134512640 135095119 4294956304 18446744073709551615 134918249 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 8517 7157 389 142 0 7471 0
Current children cumulated CPU time (s) 457.95
Current children cumulated vsize (KiB) 34068

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16950
/proc/meminfo: memFree=1198040/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=34464 CPUtime=517.4
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 10971 873 0 0 51730 8 2 0 25 0 1 0 58325388 35291136 7562 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 8616 7562 389 142 0 7570 0
Current children cumulated CPU time (s) 517.4
Current children cumulated vsize (KiB) 34464

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16950
/proc/meminfo: memFree=1190424/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=44092 CPUtime=576.83
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 13706 873 0 0 57671 10 2 0 25 0 1 0 58325388 45150208 8248 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 11023 8248 389 142 0 9977 0
Current children cumulated CPU time (s) 576.83
Current children cumulated vsize (KiB) 44092

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16950
/proc/meminfo: memFree=1186968/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=45656 CPUtime=636.28
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 14402 873 0 0 63614 12 2 0 25 0 1 0 58325388 46751744 8944 996147200 134512640 135095119 4294956304 18446744073709551615 134918136 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 11414 8944 389 142 0 10368 0
Current children cumulated CPU time (s) 636.28
Current children cumulated vsize (KiB) 45656

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16956
/proc/meminfo: memFree=1170584/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=59100 CPUtime=814.58
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 18909 873 0 0 81440 16 2 0 25 0 1 0 58325388 60518400 12297 996147200 134512640 135095119 4294956304 18446744073709551615 134918247 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 14775 12297 389 142 0 13729 0
Current children cumulated CPU time (s) 814.58
Current children cumulated vsize (KiB) 59100

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16956
/proc/meminfo: memFree=1167704/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=59100 CPUtime=874.01
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 19232 873 0 0 87383 16 2 0 25 0 1 0 58325388 60518400 12620 996147200 134512640 135095119 4294956304 18446744073709551615 134918151 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 14775 12620 389 142 0 13729 0
Current children cumulated CPU time (s) 874.01
Current children cumulated vsize (KiB) 59100

[startup+942.302 s]
/proc/loadavg: 2.03 2.01 2.00 3/73 16956
/proc/meminfo: memFree=1164824/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=59100 CPUtime=933.46
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 19556 873 0 0 93327 17 2 0 25 0 1 0 58325388 60518400 12944 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 14775 12944 389 142 0 13729 0
Current children cumulated CPU time (s) 933.46
Current children cumulated vsize (KiB) 59100

[startup+1002.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/73 16956
/proc/meminfo: memFree=1161496/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=59488 CPUtime=992.9
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 19947 873 0 0 99271 17 2 0 25 0 1 0 58325388 60915712 13335 996147200 134512640 135095119 4294956304 18446744073709551615 134927011 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 14872 13335 389 142 0 13826 0
Current children cumulated CPU time (s) 992.9
Current children cumulated vsize (KiB) 59488

[startup+1062.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/73 16956
/proc/meminfo: memFree=1157016/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=77304 CPUtime=1052.35
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 24713 873 0 0 105212 21 2 0 25 0 1 0 58325388 79159296 14004 996147200 134512640 135095119 4294956304 18446744073709551615 134616997 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 19326 14004 389 142 0 18280 0
Current children cumulated CPU time (s) 1052.35
Current children cumulated vsize (KiB) 77304

[startup+1122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/70 16959
/proc/meminfo: memFree=1199344/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=78880 CPUtime=1111.83
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 25386 873 0 0 111159 22 2 0 25 0 1 0 58325388 80773120 14677 996147200 134512640 135095119 4294956304 18446744073709551615 134617057 0 0 4096 0 0 0 0 17 1 0 0
/proc/16942/statm: 19720 14677 389 142 0 18674 0
Current children cumulated CPU time (s) 1111.83
Current children cumulated vsize (KiB) 78880

[startup+1182.3 s]
/proc/loadavg: 2.24 2.08 2.02 4/83 16996
/proc/meminfo: memFree=506760/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=80460 CPUtime=1171.75
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 26118 873 0 0 117149 24 2 0 25 0 1 0 58325388 82391040 15409 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 20115 15409 389 142 0 19069 0
Current children cumulated CPU time (s) 1171.75
Current children cumulated vsize (KiB) 80460

[startup+1242.3 s]
/proc/loadavg: 2.48 2.17 2.05 3/83 16996
/proc/meminfo: memFree=493448/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=82164 CPUtime=1231.72
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 26858 873 0 0 123145 25 2 0 25 0 1 0 58325388 84135936 16149 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 20541 16149 389 142 0 19495 0
Current children cumulated CPU time (s) 1231.72
Current children cumulated vsize (KiB) 82164

[startup+1302.3 s]
/proc/loadavg: 2.36 2.18 2.06 4/83 16996
/proc/meminfo: memFree=490312/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=83872 CPUtime=1291.71
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 27608 873 0 0 129143 26 2 0 25 0 1 0 58325388 85884928 16899 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 20968 16899 389 142 0 19922 0
Current children cumulated CPU time (s) 1291.71
Current children cumulated vsize (KiB) 83872

[startup+1362.3 s]
/proc/loadavg: 2.24 2.18 2.07 4/83 16996
/proc/meminfo: memFree=487432/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=85444 CPUtime=1351.69
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 28349 873 0 0 135140 27 2 0 25 0 1 0 58325388 87494656 17640 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 21361 17640 389 142 0 20315 0
Current children cumulated CPU time (s) 1351.69
Current children cumulated vsize (KiB) 85444

[startup+1422.31 s]
/proc/loadavg: 2.24 2.19 2.08 3/83 16996
/proc/meminfo: memFree=484488/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=87136 CPUtime=1411.68
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 29085 873 0 0 141138 28 2 0 25 0 1 0 58325388 89227264 18376 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 21784 18376 389 142 0 20738 0
Current children cumulated CPU time (s) 1411.68
Current children cumulated vsize (KiB) 87136

[startup+1482.3 s]
/proc/loadavg: 2.38 2.24 2.10 3/83 16996
/proc/meminfo: memFree=481608/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=88580 CPUtime=1471.65
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 29795 873 0 0 147134 29 2 0 25 0 1 0 58325388 90705920 19086 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 22145 19086 389 142 0 21099 0
Current children cumulated CPU time (s) 1471.65
Current children cumulated vsize (KiB) 88580

[startup+1542.3 s]
/proc/loadavg: 2.43 2.27 2.11 3/83 16996
/proc/meminfo: memFree=466056/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=110888 CPUtime=1531.62
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 35695 873 0 0 153128 32 2 0 25 0 1 0 58325388 113549312 22937 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 27722 22937 389 142 0 26676 0
Current children cumulated CPU time (s) 1531.62
Current children cumulated vsize (KiB) 110888

[startup+1602.3 s]
/proc/loadavg: 2.50 2.31 2.14 3/83 16996
/proc/meminfo: memFree=464712/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=110888 CPUtime=1591.61
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 36028 873 0 0 159126 33 2 0 25 0 1 0 58325388 113549312 23270 996147200 134512640 135095119 4294956304 18446744073709551615 134918159 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 27722 23270 389 142 0 26676 0
Current children cumulated CPU time (s) 1591.61
Current children cumulated vsize (KiB) 110888

[startup+1662.3 s]
/proc/loadavg: 2.34 2.28 2.13 3/83 16996
/proc/meminfo: memFree=463432/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=110888 CPUtime=1651.59
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 36362 873 0 0 165124 33 2 0 25 0 1 0 58325388 113549312 23604 996147200 134512640 135095119 4294956304 18446744073709551615 134926973 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 27722 23604 389 142 0 26676 0
Current children cumulated CPU time (s) 1651.59
Current children cumulated vsize (KiB) 110888

[startup+1722.3 s]
/proc/loadavg: 2.28 2.28 2.14 3/83 16996
/proc/meminfo: memFree=462152/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=110888 CPUtime=1711.57
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 36698 873 0 0 171121 34 2 0 25 0 1 0 58325388 113549312 23940 996147200 134512640 135095119 4294956304 18446744073709551615 134927008 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 27722 23940 389 142 0 26676 0
Current children cumulated CPU time (s) 1711.57
Current children cumulated vsize (KiB) 110888

[startup+1782.3 s]
/proc/loadavg: 2.25 2.28 2.15 3/83 16996
/proc/meminfo: memFree=460616/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=110888 CPUtime=1771.55
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 37030 873 0 0 177119 34 2 0 25 0 1 0 58325388 113549312 24272 996147200 134512640 135095119 4294956304 18446744073709551615 134910076 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 27722 24272 389 142 0 26676 0
Current children cumulated CPU time (s) 1771.55
Current children cumulated vsize (KiB) 110888



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1810.8 s]
/proc/loadavg: 2.43 2.32 2.16 3/83 16996
/proc/meminfo: memFree=459976/2055920 swapFree=4192812/4192956
[pid=16942] ppid=16940 vsize=110888 CPUtime=1800.03
/proc/16942/stat : 16942 (pcs.small) R 16940 16942 16829 0 -1 4194304 37184 873 0 0 179967 34 2 0 25 0 1 0 58325388 113549312 24426 996147200 134512640 135095119 4294956304 18446744073709551615 134926973 0 0 4096 0 0 0 0 17 0 0 0
/proc/16942/statm: 27722 24426 389 142 0 26676 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 110888

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): 1810.82
CPU time (s): 1800.08
CPU user time (s): 1799.71
CPU system time (s): 0.373943
CPU usage (%): 99.4067
Max. virtual memory (cumulated for all children) (KiB): 119084

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

runsolver used 2.6516 second user time and 5.54716 second system time

The end

Launcher Data 

Begin job on node34 at 2009-07-16 04:49:54
IDJOB=2075003
IDBENCH=56216
IDSOLVER=733
FILE ID=node34/2075003-1247712593
PBS_JOBID= 9521418
Free space on /tmp= 66284 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/rand-3-24-24-fcd/normalized-rand-3-24-24-76-632-fcd-19_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2075003-1247712593/watcher-2075003-1247712593 -o /tmp/evaluation-result-2075003-1247712593/solver-2075003-1247712593 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 403447751 HOME/instance-2075003-1247712593.xml

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

MD5SUM BENCH= 12fa9991c3edb6406160dfe2c7e35ac1
RANDOM SEED=403447751

node34.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.232
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.232
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:       1238136 kB
Buffers:        101076 kB
Cached:         550228 kB
SwapCached:          0 kB
Active:         209276 kB
Inactive:       512272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1238136 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           28372 kB
Writeback:           0 kB
Mapped:          81732 kB
Slab:            81436 kB
Committed_AS:   581268 kB
PageTables:       1888 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= 66300 MiB
End job on node34 at 2009-07-16 05:20:07