Trace number 2078535

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.2SAT 1711.61 1717.96

DiagnosticValue
ASSIGNMENTS498815

General information on the benchmark

Namecsp/rand-3-20-20-fcd/
normalized-rand-3-20-20-60-632-fcd-22_ext.xml
MD5SUM21316f2ce59332b2cb74e388e33c06f4
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark42.9335
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints59
Maximum constraint arity3
Maximum domain size20
Number of constraints which are defined in extension59
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.02	c small-domain mode
0.00/0.05	c Seed is 386977614
0.00/0.05	c Constructing HOME/instance-2078535-1247716412.xml  with 59 constraints
0.36/0.47	c Solving 498815 backtracks 23 restarts
1711.53/1717.95	s SATISFIABLE
1711.53/1717.95	c V0=2, V1=0, V2=12, V3=1, V4=19, V5=4, V6=7, V7=13, V8=1, V9=1, V10=2, V11=11, V12=6, V13=13, V14=14, V15=16, V16=15, V17=12, V18=6, V19=16, 
1711.53/1717.95	v 2 0 12 1 19 4 7 13 1 1 2 11 6 13 14 16 15 12 6 16 
1711.53/1717.95	d ASSIGNMENTS 498815

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2078535-1247716412/watcher-2078535-1247716412 -o /tmp/evaluation-result-2078535-1247716412/solver-2078535-1247716412 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 386977614 HOME/instance-2078535-1247716412.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.92 1.98 1.99 4/72 14391
/proc/meminfo: memFree=1729744/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=5356 CPUtime=0
/proc/14391/stat : 14391 (pcssolve) R 14389 14391 13366 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58703804 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14391/statm: 1339 241 200 169 0 50 0
[pid=14392] ppid=14391 vsize=3676 CPUtime=0
/proc/14392/stat : 14392 (fgrep) R 14391 14391 13366 0 -1 4194304 135 0 0 0 0 0 0 0 22 0 1 0 58703805 3764224 102 996147200 4194304 4274172 548682068976 18446744073709551615 4239811 0 0 4096 0 0 0 0 17 1 0 0
/proc/14392/statm: 919 102 83 19 0 43 0
[pid=14393] ppid=14391 vsize=5356 CPUtime=0
/proc/14393/stat : 14393 (pcssolve) R 14391 14391 13366 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58703805 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14393/statm: 1339 241 200 169 0 50 0

[startup+0.018568 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14391
/proc/meminfo: memFree=1729744/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=5356 CPUtime=0
/proc/14391/stat : 14391 (pcssolve) S 14389 14391 13366 0 -1 4194304 339 317 0 0 0 0 0 0 21 0 1 0 58703804 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14391/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101576 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14391
/proc/meminfo: memFree=1729744/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=5220 CPUtime=0.07
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 936 822 0 0 6 0 1 0 18 0 1 0 58703804 5345280 545 996147200 134512640 135095119 4294956304 18446744073709551615 134741458 0 0 4096 0 0 0 0 17 1 0 0
/proc/14391/statm: 1305 545 375 142 0 259 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5220

[startup+0.301602 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14391
/proc/meminfo: memFree=1729744/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=7896 CPUtime=0.27
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 1279 822 0 0 26 0 1 0 19 0 1 0 58703804 8085504 888 996147200 134512640 135095119 4294956304 18446744073709551615 134944720 0 0 4096 0 0 0 0 17 1 0 0
/proc/14391/statm: 1974 888 375 142 0 928 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 7896

[startup+0.701659 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 14391
/proc/meminfo: memFree=1729744/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=10328 CPUtime=0.67
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 1594 822 0 0 65 1 1 0 23 0 1 0 58703804 10575872 1203 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/14391/statm: 2582 1203 389 142 0 1536 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 10328

[startup+1.50177 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 14397
/proc/meminfo: memFree=1726408/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=10328 CPUtime=1.46
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 1605 822 0 0 144 1 1 0 25 0 1 0 58703804 10575872 1214 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/14391/statm: 2582 1214 389 142 0 1536 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10328

[startup+3.10298 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 14397
/proc/meminfo: memFree=1726152/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=10460 CPUtime=3.05
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 1639 822 0 0 303 1 1 0 25 0 1 0 58703804 10711040 1248 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 1 0 0
/proc/14391/statm: 2615 1248 389 142 0 1569 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 10460

[startup+6.30142 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 14397
/proc/meminfo: memFree=1725832/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=10588 CPUtime=6.22
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 1713 822 0 0 620 1 1 0 25 0 1 0 58703804 10842112 1289 996147200 134512640 135095119 4294956304 18446744073709551615 134926999 0 0 4096 0 0 0 0 17 1 0 0
/proc/14391/statm: 2647 1289 389 142 0 1601 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10588

[startup+12.7013 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 14397
/proc/meminfo: memFree=1725192/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=10976 CPUtime=12.57
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 1888 822 0 0 1255 1 1 0 25 0 1 0 58703804 11239424 1399 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/14391/statm: 2744 1399 389 142 0 1698 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 10976

[startup+25.501 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 14397
/proc/meminfo: memFree=1724552/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=11616 CPUtime=25.28
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 2265 822 0 0 2525 2 1 0 25 0 1 0 58703804 11894784 1614 996147200 134512640 135095119 4294956304 18446744073709551615 134918136 0 0 4096 0 0 0 0 17 1 0 0
/proc/14391/statm: 2904 1614 389 142 0 1858 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 11616

[startup+51.1015 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 14397
/proc/meminfo: memFree=1722952/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=12896 CPUtime=50.68
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 3000 822 0 0 5065 2 1 0 25 0 1 0 58703804 13205504 2027 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/14391/statm: 3224 2027 389 142 0 2178 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 12896

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 14397
/proc/meminfo: memFree=1718984/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=15852 CPUtime=101.48
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 4524 822 0 0 10143 4 1 0 25 0 1 0 58703804 16232448 2909 996147200 134512640 135095119 4294956304 18446744073709551615 134918117 0 0 4096 0 0 0 0 17 1 0 0
/proc/14391/statm: 3963 2909 389 142 0 2917 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 15852

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 14397
/proc/meminfo: memFree=1714312/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=23332 CPUtime=161
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 6935 822 0 0 16093 6 1 0 25 0 1 0 58703804 23891968 4005 996147200 134512640 135095119 4294956304 18446744073709551615 134918251 0 0 4096 0 0 0 0 17 1 0 0
/proc/14391/statm: 5833 4005 389 142 0 4787 0
Current children cumulated CPU time (s) 161
Current children cumulated vsize (KiB) 23332

[startup+222.302 s]
/proc/loadavg: 2.21 2.03 2.01 4/83 14438
/proc/meminfo: memFree=1204152/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=25808 CPUtime=220.65
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 8085 822 0 0 22056 8 1 0 25 0 1 0 58703804 26427392 5155 996147200 134512640 135095119 4294956304 18446744073709551615 134918159 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 6452 5155 389 142 0 5406 0
Current children cumulated CPU time (s) 220.65
Current children cumulated vsize (KiB) 25808

[startup+282.302 s]
/proc/loadavg: 2.15 2.05 2.02 3/73 14472
/proc/meminfo: memFree=1713928/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=30892 CPUtime=280.61
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 9999 822 0 0 28051 9 1 0 25 0 1 0 58703804 31633408 6491 996147200 134512640 135095119 4294956304 18446744073709551615 134617057 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 7723 6491 389 142 0 6677 0
Current children cumulated CPU time (s) 280.61
Current children cumulated vsize (KiB) 30892

[startup+342.301 s]
/proc/loadavg: 2.13 2.06 2.01 3/82 14513
/proc/meminfo: memFree=1692856/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=41440 CPUtime=340.59
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 13196 822 0 0 34046 12 1 0 25 0 1 0 58703804 42434560 7639 996147200 134512640 135095119 4294956304 18446744073709551615 134927049 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 10360 7639 389 142 0 9314 0
Current children cumulated CPU time (s) 340.59
Current children cumulated vsize (KiB) 41440

[startup+402.301 s]
/proc/loadavg: 2.05 2.05 2.01 3/73 14578
/proc/meminfo: memFree=1699144/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=44188 CPUtime=400.55
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 14424 822 0 0 40039 15 1 0 25 0 1 0 58703804 45248512 8867 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 11047 8867 389 142 0 10001 0
Current children cumulated CPU time (s) 400.55
Current children cumulated vsize (KiB) 44188

[startup+462.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 14584
/proc/meminfo: memFree=1685576/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=55932 CPUtime=460.52
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 17955 822 0 0 46034 17 1 0 25 0 1 0 58703804 57274368 11373 996147200 134512640 135095119 4294956304 18446744073709551615 134918241 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 13983 11373 389 142 0 12937 0
Current children cumulated CPU time (s) 460.52
Current children cumulated vsize (KiB) 55932

[startup+522.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 14616
/proc/meminfo: memFree=1685000/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=55932 CPUtime=520.49
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 18516 822 0 0 52030 18 1 0 25 0 1 0 58703804 57274368 11934 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 13983 11934 389 142 0 12937 0
Current children cumulated CPU time (s) 520.49
Current children cumulated vsize (KiB) 55932

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 14616
/proc/meminfo: memFree=1676680/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=56588 CPUtime=580.47
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 19213 822 0 0 58027 19 1 0 25 0 1 0 58703804 57946112 12631 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 14147 12631 389 142 0 13101 0
Current children cumulated CPU time (s) 580.47
Current children cumulated vsize (KiB) 56588

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 14616
/proc/meminfo: memFree=1668104/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=75588 CPUtime=640.3

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

/proc/meminfo: memFree=1597000/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=105580 CPUtime=1058.6
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 35796 822 0 0 105828 31 1 0 25 0 1 0 58703804 108113920 23068 996147200 134512640 135095119 4294956304 18446744073709551615 134926990 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 26395 23068 389 142 0 25349 0
Current children cumulated CPU time (s) 1058.6
Current children cumulated vsize (KiB) 105580

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1590152/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=105580 CPUtime=1118.36
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 36350 822 0 0 111803 32 1 0 25 0 1 0 58703804 108113920 23622 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 26395 23622 389 142 0 25349 0
Current children cumulated CPU time (s) 1118.36
Current children cumulated vsize (KiB) 105580

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1582024/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=107272 CPUtime=1178.11
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 37308 822 0 0 117777 33 1 0 25 0 1 0 58703804 109846528 24580 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 26818 24580 389 142 0 25772 0
Current children cumulated CPU time (s) 1178.11
Current children cumulated vsize (KiB) 107272

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1572936/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=142384 CPUtime=1237.87
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 46602 822 0 0 123748 38 1 0 25 0 1 0 58703804 145801216 25681 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 35596 25681 389 142 0 34550 0
Current children cumulated CPU time (s) 1237.87
Current children cumulated vsize (KiB) 142384

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1555336/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=144608 CPUtime=1297.62
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 47616 822 0 0 129723 38 1 0 25 0 1 0 58703804 148078592 26695 996147200 134512640 135095119 4294956304 18446744073709551615 134927088 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 36152 26695 389 142 0 35106 0
Current children cumulated CPU time (s) 1297.62
Current children cumulated vsize (KiB) 144608

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1549320/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=146828 CPUtime=1357.38
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 48646 822 0 0 135697 40 1 0 25 0 1 0 58703804 150351872 27725 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 36707 27725 389 142 0 35661 0
Current children cumulated CPU time (s) 1357.38
Current children cumulated vsize (KiB) 146828

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1543112/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=149044 CPUtime=1417.13
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 49661 822 0 0 141671 41 1 0 25 0 1 0 58703804 152621056 28740 996147200 134512640 135095119 4294956304 18446744073709551615 134583955 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 37261 28740 389 142 0 36215 0
Current children cumulated CPU time (s) 1417.13
Current children cumulated vsize (KiB) 149044

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1537096/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=151264 CPUtime=1476.89
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 50689 822 0 0 147646 42 1 0 25 0 1 0 58703804 154894336 29768 996147200 134512640 135095119 4294956304 18446744073709551615 134927103 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 37816 29768 389 142 0 36770 0
Current children cumulated CPU time (s) 1476.89
Current children cumulated vsize (KiB) 151264

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1528968/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=153756 CPUtime=1536.64
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 51819 822 0 0 153621 42 1 0 25 0 1 0 58703804 157446144 30898 996147200 134512640 135095119 4294956304 18446744073709551615 134918249 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 38439 30898 389 142 0 37393 0
Current children cumulated CPU time (s) 1536.64
Current children cumulated vsize (KiB) 153756

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1520200/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=156240 CPUtime=1596.4
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 52952 822 0 0 159595 44 1 0 25 0 1 0 58703804 159989760 32031 996147200 134512640 135095119 4294956304 18446744073709551615 134916512 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 39060 32031 389 142 0 38014 0
Current children cumulated CPU time (s) 1596.4
Current children cumulated vsize (KiB) 156240

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1511432/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=158588 CPUtime=1656.15
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 54047 822 0 0 165569 45 1 0 25 0 1 0 58703804 162394112 33126 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 39647 33126 389 142 0 38601 0
Current children cumulated CPU time (s) 1656.15
Current children cumulated vsize (KiB) 158588

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

[startup+1689.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1507336/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=159636 CPUtime=1683.25
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 54536 822 0 0 168278 46 1 0 25 0 1 0 58703804 163467264 33615 996147200 134512640 135095119 4294956304 18446744073709551615 134918238 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 39909 33615 389 142 0 38863 0
Current children cumulated CPU time (s) 1683.25
Current children cumulated vsize (KiB) 159636

[startup+1702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1505608/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=160156 CPUtime=1695.99
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 54768 822 0 0 169552 46 1 0 25 0 1 0 58703804 163999744 33847 996147200 134512640 135095119 4294956304 18446744073709551615 134916512 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 40039 33847 389 142 0 38993 0
Current children cumulated CPU time (s) 1695.99
Current children cumulated vsize (KiB) 160156

[startup+1708.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1504776/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=160420 CPUtime=1702.36
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 54890 822 0 0 170189 46 1 0 25 0 1 0 58703804 164270080 33969 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 40105 33969 389 142 0 39059 0
Current children cumulated CPU time (s) 1702.36
Current children cumulated vsize (KiB) 160420

[startup+1711.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1504328/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=160548 CPUtime=1705.55
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 54946 822 0 0 170507 47 1 0 25 0 1 0 58703804 164401152 34025 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 40137 34025 389 142 0 39091 0
Current children cumulated CPU time (s) 1705.55
Current children cumulated vsize (KiB) 160548

[startup+1715.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1503816/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=160680 CPUtime=1708.74
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 55005 822 0 0 170826 47 1 0 25 0 1 0 58703804 164536320 34084 996147200 134512640 135095119 4294956304 18446744073709551615 134918192 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 40170 34084 389 142 0 39124 0
Current children cumulated CPU time (s) 1708.74
Current children cumulated vsize (KiB) 160680

[startup+1716.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 14616
/proc/meminfo: memFree=1503688/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=160680 CPUtime=1710.33
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 55033 822 0 0 170985 47 1 0 25 0 1 0 58703804 164536320 34112 996147200 134512640 135095119 4294956304 18446744073709551615 134927036 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 40170 34112 389 142 0 39124 0
Current children cumulated CPU time (s) 1710.33
Current children cumulated vsize (KiB) 160680

[startup+1717.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1503560/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=160812 CPUtime=1711.13
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 55047 822 0 0 171065 47 1 0 25 0 1 0 58703804 164671488 34126 996147200 134512640 135095119 4294956304 18446744073709551615 7636821 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 40203 34126 389 142 0 39157 0
Current children cumulated CPU time (s) 1711.13
Current children cumulated vsize (KiB) 160812

[startup+1717.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14616
/proc/meminfo: memFree=1503560/2055920 swapFree=4192812/4192956
[pid=14391] ppid=14389 vsize=78884 CPUtime=1711.53
/proc/14391/stat : 14391 (pcs.small) R 14389 14391 13366 0 -1 4194304 55047 822 0 0 171104 48 1 0 25 0 1 0 58703804 80777216 19053 996147200 134512640 135095119 4294956304 18446744073709551615 7635013 0 0 4096 0 0 0 0 17 0 0 0
/proc/14391/statm: 19721 19053 389 142 0 18675 0
Current children cumulated CPU time (s) 1711.53
Current children cumulated vsize (KiB) 78884

Child status: 0
Real time (s): 1717.96
CPU time (s): 1711.61
CPU user time (s): 1711.1
CPU system time (s): 0.508922
CPU usage (%): 99.6301
Max. virtual memory (cumulated for all children) (KiB): 160812

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

runsolver used 1.56576 second user time and 4.86726 second system time

The end

Launcher Data 

Begin job on node71 at 2009-07-16 05:53:32
IDJOB=2078535
IDBENCH=56770
IDSOLVER=734
FILE ID=node71/2078535-1247716412
PBS_JOBID= 9521428
Free space on /tmp= 66392 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-22_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2078535-1247716412/watcher-2078535-1247716412 -o /tmp/evaluation-result-2078535-1247716412/solver-2078535-1247716412 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 386977614 HOME/instance-2078535-1247716412.xml

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

MD5SUM BENCH= 21316f2ce59332b2cb74e388e33c06f4
RANDOM SEED=386977614

node71.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.222
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.222
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:       1730224 kB
Buffers:         66484 kB
Cached:         145540 kB
SwapCached:          0 kB
Active:          98368 kB
Inactive:       137620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1730224 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3052 kB
Writeback:           0 kB
Mapped:          35396 kB
Slab:            75052 kB
Committed_AS:   536856 kB
PageTables:       1808 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 node71 at 2009-07-16 06:22:10