Trace number 2087873

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.2UNSAT 1471.4 1474.08

DiagnosticValue
ASSIGNMENTS61319

General information on the benchmark

Namecsp/dag-rand/
normalized-rand-n23-d3-e16-r15-t150000-23.xml
MD5SUM54c50e62a2a63d603d03a30992cbb3d6
Bench CategoryN-ARY-EXT (n-ary constraints in extension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark110.566
Satisfiable
(Un)Satisfiability was proved
Number of variables23
Number of constraints16
Maximum constraint arity15
Maximum domain size3
Number of constraints which are defined in extension16
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.49/0.95	c small-domain mode
0.49/0.96	c Seed is 1002310572
0.49/0.96	c Constructing HOME/instance-2087873-1247728526.xml  with 16 constraints
25.54/25.83	c Solving 61319 backtracks 18 restarts
1471.31/1474.07	s UNSATISFIABLE
1471.31/1474.07	d ASSIGNMENTS 61319

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2087873-1247728526/watcher-2087873-1247728526 -o /tmp/evaluation-result-2087873-1247728526/solver-2087873-1247728526 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1002310572 HOME/instance-2087873-1247728526.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 19944
/proc/meminfo: memFree=969128/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=5356 CPUtime=0
/proc/19944/stat : 19944 (pcssolve) R 19942 19944 18850 0 -1 4194304 269 0 0 0 0 0 0 0 20 0 1 0 59916838 5484544 237 996147200 4194304 4889804 548682068800 18446744073709551615 240577317559 0 0 4100 65536 0 0 0 17 1 0 0
/proc/19944/statm: 1339 237 197 169 0 50 0

[startup+0.019677 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 19944
/proc/meminfo: memFree=969128/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=5356 CPUtime=0
/proc/19944/stat : 19944 (pcssolve) S 19942 19944 18850 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 59916838 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19944/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101681 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 19944
/proc/meminfo: memFree=969128/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=5356 CPUtime=0
/proc/19944/stat : 19944 (pcssolve) S 19942 19944 18850 0 -1 4194304 305 0 0 0 0 0 0 0 20 0 1 0 59916838 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19944/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301698 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 19944
/proc/meminfo: memFree=969128/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=5356 CPUtime=0.25
/proc/19944/stat : 19944 (pcssolve) S 19942 19944 18850 0 -1 4194304 339 4406 0 0 0 0 17 8 15 0 1 0 59916838 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19944/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 5356

[startup+0.701732 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 19944
/proc/meminfo: memFree=969128/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=5356 CPUtime=0.49
/proc/19944/stat : 19944 (pcssolve) S 19942 19944 18850 0 -1 4194304 367 8826 0 0 0 0 33 16 15 0 1 0 59916838 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 240577471300 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19944/statm: 1339 243 202 169 0 50 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 5356

[startup+1.5018 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 19950
/proc/meminfo: memFree=966944/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=15508 CPUtime=1.46
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 3576 13088 0 0 51 2 69 24 22 0 1 0 59916838 15880192 3185 996147200 134512640 135095119 4294956304 18446744073709551615 134741548 0 0 4096 0 0 0 0 17 1 0 0
/proc/19944/statm: 3877 3185 361 142 0 2831 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 15508

[startup+3.10294 s]
/proc/loadavg: 1.92 1.98 1.99 3/73 19950
/proc/meminfo: memFree=947040/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=29412 CPUtime=3.03
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 8378 13088 0 0 206 4 69 24 25 0 1 0 59916838 30117888 5814 996147200 134512640 135095119 4294956304 18446744073709551615 134681664 0 0 4096 0 0 0 0 17 1 0 0
/proc/19944/statm: 7353 5814 375 142 0 6307 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 29412

[startup+6.30123 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 19950
/proc/meminfo: memFree=922592/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=57308 CPUtime=6.21
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 17065 13088 0 0 520 8 69 24 25 0 1 0 59916838 58683392 11035 996147200 134512640 135095119 4294956304 18446744073709551615 8384098 0 0 4096 0 0 0 0 17 1 0 0
/proc/19944/statm: 14327 11035 375 142 0 13281 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 57308

[startup+12.7018 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 19950
/proc/meminfo: memFree=873312/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=116476 CPUtime=12.56
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 35905 13088 0 0 1147 16 69 24 25 0 1 0 59916838 119271424 22246 996147200 134512640 135095119 4294956304 18446744073709551615 134934151 0 0 4096 0 0 0 0 17 1 0 0
/proc/19944/statm: 29119 22246 375 142 0 28073 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 116476

[startup+25.5019 s]
/proc/loadavg: 1.95 1.98 1.99 3/73 19950
/proc/meminfo: memFree=768480/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=233352 CPUtime=25.24
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 72640 13088 0 0 2400 31 69 24 25 0 1 0 59916838 238952448 44451 996147200 134512640 135095119 4294956304 18446744073709551615 134945089 0 0 4096 0 0 0 0 17 1 0 0
/proc/19944/statm: 58338 44451 375 142 0 57292 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 233352

[startup+51.1012 s]
/proc/loadavg: 1.96 1.98 1.99 3/73 19950
/proc/meminfo: memFree=739424/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182376 CPUtime=50.56
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73540 13088 0 0 4932 31 69 24 25 0 1 0 59916838 186753024 44949 996147200 134512640 135095119 4294956304 18446744073709551615 134918253 0 0 4096 0 0 0 0 17 1 0 0
/proc/19944/statm: 45594 44949 389 142 0 44548 0
Current children cumulated CPU time (s) 50.56
Current children cumulated vsize (KiB) 182376

[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/73 19950
/proc/meminfo: memFree=689056/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182376 CPUtime=101.33
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73540 13088 0 0 10009 31 69 24 25 0 1 0 59916838 186753024 44949 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 1 0 0
/proc/19944/statm: 45594 44949 389 142 0 44548 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 182376

[startup+162.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19950
/proc/meminfo: memFree=630816/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182376 CPUtime=160.82
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73540 13088 0 0 15958 31 69 24 25 0 1 0 59916838 186753024 44949 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 1 0 0
/proc/19944/statm: 45594 44949 389 142 0 44548 0
Current children cumulated CPU time (s) 160.82
Current children cumulated vsize (KiB) 182376

[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 19950
/proc/meminfo: memFree=571168/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182376 CPUtime=220.3
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73540 13088 0 0 21906 31 69 24 25 0 1 0 59916838 186753024 44949 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 1 0 0
/proc/19944/statm: 45594 44949 389 142 0 44548 0
Current children cumulated CPU time (s) 220.3
Current children cumulated vsize (KiB) 182376

[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20013
/proc/meminfo: memFree=1387104/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182376 CPUtime=280.06
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73540 13088 0 0 27881 32 69 24 25 0 1 0 59916838 186753024 44949 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45594 44949 389 142 0 44548 0
Current children cumulated CPU time (s) 280.06
Current children cumulated vsize (KiB) 182376

[startup+342.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20013
/proc/meminfo: memFree=1376864/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182376 CPUtime=340.03
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73540 13088 0 0 33878 32 69 24 25 0 1 0 59916838 186753024 44949 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45594 44949 389 142 0 44548 0
Current children cumulated CPU time (s) 340.03
Current children cumulated vsize (KiB) 182376

[startup+402.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20013
/proc/meminfo: memFree=1365792/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182376 CPUtime=400.01
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73540 13088 0 0 39876 32 69 24 25 0 1 0 59916838 186753024 44949 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45594 44949 389 142 0 44548 0
Current children cumulated CPU time (s) 400.01
Current children cumulated vsize (KiB) 182376

[startup+462.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/73 20013
/proc/meminfo: memFree=1358880/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182376 CPUtime=459.99
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73540 13088 0 0 45874 32 69 24 25 0 1 0 59916838 186753024 44949 996147200 134512640 135095119 4294956304 18446744073709551615 134918268 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45594 44949 389 142 0 44548 0
Current children cumulated CPU time (s) 459.99
Current children cumulated vsize (KiB) 182376

[startup+522.302 s]
/proc/loadavg: 2.06 2.00 1.99 3/73 20013
/proc/meminfo: memFree=1351712/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182376 CPUtime=519.96
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73540 13088 0 0 51871 32 69 24 25 0 1 0 59916838 186753024 44949 996147200 134512640 135095119 4294956304 18446744073709551615 134927080 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45594 44949 389 142 0 44548 0
Current children cumulated CPU time (s) 519.96
Current children cumulated vsize (KiB) 182376

[startup+582.302 s]
/proc/loadavg: 2.08 2.01 2.00 3/73 20013
/proc/meminfo: memFree=1338976/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182376 CPUtime=579.94
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73540 13088 0 0 57869 32 69 24 25 0 1 0 59916838 186753024 44949 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45594 44949 389 142 0 44548 0
Current children cumulated CPU time (s) 579.94
Current children cumulated vsize (KiB) 182376

[startup+642.301 s]
/proc/loadavg: 2.08 2.02 2.00 3/73 20013
/proc/meminfo: memFree=1332192/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182376 CPUtime=639.92
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73540 13088 0 0 63867 32 69 24 25 0 1 0 59916838 186753024 44949 996147200 134512640 135095119 4294956304 18446744073709551615 134927029 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45594 44949 389 142 0 44548 0
Current children cumulated CPU time (s) 639.92
Current children cumulated vsize (KiB) 182376

[startup+702.301 s]

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

/proc/meminfo: memFree=1298336/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182640 CPUtime=879.83
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73587 13088 0 0 87857 33 69 24 25 0 1 0 59916838 187023360 44996 996147200 134512640 135095119 4294956304 18446744073709551615 134918187 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45660 44996 389 142 0 44614 0
Current children cumulated CPU time (s) 879.83
Current children cumulated vsize (KiB) 182640

[startup+942.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 20013
/proc/meminfo: memFree=1288352/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182640 CPUtime=939.81
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73587 13088 0 0 93855 33 69 24 25 0 1 0 59916838 187023360 44996 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45660 44996 389 142 0 44614 0
Current children cumulated CPU time (s) 939.81
Current children cumulated vsize (KiB) 182640

[startup+1002.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/73 20045
/proc/meminfo: memFree=1394592/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182640 CPUtime=999.79
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73587 13088 0 0 99853 33 69 24 25 0 1 0 59916838 187023360 44996 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45660 44996 389 142 0 44614 0
Current children cumulated CPU time (s) 999.79
Current children cumulated vsize (KiB) 182640

[startup+1062.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/73 20045
/proc/meminfo: memFree=1379872/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182640 CPUtime=1059.76
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73587 13088 0 0 105850 33 69 24 25 0 1 0 59916838 187023360 44996 996147200 134512640 135095119 4294956304 18446744073709551615 134918190 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45660 44996 389 142 0 44614 0
Current children cumulated CPU time (s) 1059.76
Current children cumulated vsize (KiB) 182640

[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/73 20045
/proc/meminfo: memFree=1372384/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=182640 CPUtime=1119.74
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 73587 13088 0 0 111848 33 69 24 25 0 1 0 59916838 187023360 44996 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 45660 44996 389 142 0 44614 0
Current children cumulated CPU time (s) 1119.74
Current children cumulated vsize (KiB) 182640

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 20045
/proc/meminfo: memFree=1363168/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1179.71
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74125 13088 0 0 117845 33 69 24 25 0 1 0 59916838 191221760 45534 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45534 389 142 0 45639 0
Current children cumulated CPU time (s) 1179.71
Current children cumulated vsize (KiB) 186740

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 20045
/proc/meminfo: memFree=1352608/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1239.69
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74152 13088 0 0 123843 33 69 24 25 0 1 0 59916838 191221760 45561 996147200 134512640 135095119 4294956304 18446744073709551615 134918166 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45561 389 142 0 45639 0
Current children cumulated CPU time (s) 1239.69
Current children cumulated vsize (KiB) 186740

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 20045
/proc/meminfo: memFree=1349856/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1299.67
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74180 13088 0 0 129841 33 69 24 25 0 1 0 59916838 191221760 45589 996147200 134512640 135095119 4294956304 18446744073709551615 134918211 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45589 389 142 0 45639 0
Current children cumulated CPU time (s) 1299.67
Current children cumulated vsize (KiB) 186740

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20045
/proc/meminfo: memFree=1344416/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1359.64
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74207 13088 0 0 135838 33 69 24 25 0 1 0 59916838 191221760 45616 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45616 389 142 0 45639 0
Current children cumulated CPU time (s) 1359.64
Current children cumulated vsize (KiB) 186740

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20045
/proc/meminfo: memFree=1339040/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1419.62
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74234 13088 0 0 141836 33 69 24 25 0 1 0 59916838 191221760 45643 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45643 389 142 0 45639 0
Current children cumulated CPU time (s) 1419.62
Current children cumulated vsize (KiB) 186740

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

[startup+1433.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20045
/proc/meminfo: memFree=1338144/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1430.82
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74239 13088 0 0 142955 34 69 24 25 0 1 0 59916838 191221760 45648 996147200 134512640 135095119 4294956304 18446744073709551615 134918136 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45648 389 142 0 45639 0
Current children cumulated CPU time (s) 1430.82
Current children cumulated vsize (KiB) 186740

[startup+1459.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20045
/proc/meminfo: memFree=1336160/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1456.41
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74251 13088 0 0 145514 34 69 24 25 0 1 0 59916838 191221760 45660 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45660 389 142 0 45639 0
Current children cumulated CPU time (s) 1456.41
Current children cumulated vsize (KiB) 186740

[startup+1465.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20045
/proc/meminfo: memFree=1335520/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1462.81
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74254 13088 0 0 146154 34 69 24 25 0 1 0 59916838 191221760 45663 996147200 134512640 135095119 4294956304 18446744073709551615 134918203 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45663 389 142 0 45639 0
Current children cumulated CPU time (s) 1462.81
Current children cumulated vsize (KiB) 186740

[startup+1468.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20045
/proc/meminfo: memFree=1335328/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1466
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74255 13088 0 0 146473 34 69 24 25 0 1 0 59916838 191221760 45664 996147200 134512640 135095119 4294956304 18446744073709551615 134918178 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45664 389 142 0 45639 0
Current children cumulated CPU time (s) 1466
Current children cumulated vsize (KiB) 186740

[startup+1471.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20045
/proc/meminfo: memFree=1335008/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1469.2
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74257 13088 0 0 146793 34 69 24 25 0 1 0 59916838 191221760 45666 996147200 134512640 135095119 4294956304 18446744073709551615 134918192 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45666 389 142 0 45639 0
Current children cumulated CPU time (s) 1469.2
Current children cumulated vsize (KiB) 186740

[startup+1472.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20045
/proc/meminfo: memFree=1335008/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1470
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74257 13088 0 0 146873 34 69 24 25 0 1 0 59916838 191221760 45666 996147200 134512640 135095119 4294956304 18446744073709551615 134918220 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45666 389 142 0 45639 0
Current children cumulated CPU time (s) 1470
Current children cumulated vsize (KiB) 186740

[startup+1473.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20045
/proc/meminfo: memFree=1334944/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1470.8
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74258 13088 0 0 146953 34 69 24 25 0 1 0 59916838 191221760 45667 996147200 134512640 135095119 4294956304 18446744073709551615 134918185 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45667 389 142 0 45639 0
Current children cumulated CPU time (s) 1470.8
Current children cumulated vsize (KiB) 186740

[startup+1473.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20045
/proc/meminfo: memFree=1334816/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1471.21
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74258 13088 0 0 146994 34 69 24 25 0 1 0 59916838 191221760 45667 996147200 134512640 135095119 4294956304 18446744073709551615 134918271 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45667 389 142 0 45639 0
Current children cumulated CPU time (s) 1471.21
Current children cumulated vsize (KiB) 186740

[startup+1474.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 20045
/proc/meminfo: memFree=1334816/2055920 swapFree=4192812/4192956
[pid=19944] ppid=19942 vsize=186740 CPUtime=1471.31
/proc/19944/stat : 19944 (pcs.small) R 19942 19944 18850 0 -1 4194304 74258 13088 0 0 147004 34 69 24 25 0 1 0 59916838 191221760 45667 996147200 134512640 135095119 4294956304 18446744073709551615 134587131 0 0 4096 0 0 0 0 17 0 0 0
/proc/19944/statm: 46685 45667 389 142 0 45639 0
Current children cumulated CPU time (s) 1471.31
Current children cumulated vsize (KiB) 186740

Child status: 0
Real time (s): 1474.08
CPU time (s): 1471.4
CPU user time (s): 1470.78
CPU system time (s): 0.617906
CPU usage (%): 99.8182
Max. virtual memory (cumulated for all children) (KiB): 238632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1470.78
system time used= 0.617906
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87349
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= 26
involuntary context switches= 9724

runsolver used 1.79073 second user time and 4.25135 second system time

The end

Launcher Data 

Begin job on node50 at 2009-07-16 09:15:32
IDJOB=2087873
IDBENCH=58815
IDSOLVER=733
FILE ID=node50/2087873-1247728526
PBS_JOBID= 9521528
Free space on /tmp= 66328 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-23.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2087873-1247728526/watcher-2087873-1247728526 -o /tmp/evaluation-result-2087873-1247728526/solver-2087873-1247728526 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1002310572 HOME/instance-2087873-1247728526.xml

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

MD5SUM BENCH= 54c50e62a2a63d603d03a30992cbb3d6
RANDOM SEED=1002310572

node50.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.231
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.231
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:        969608 kB
Buffers:         76232 kB
Cached:         307492 kB
SwapCached:          0 kB
Active:         774292 kB
Inactive:       236896 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        969608 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:           72148 kB
Writeback:           0 kB
Mapped:         639004 kB
Slab:            59316 kB
Committed_AS:  1114880 kB
PageTables:       3112 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= 66324 MiB
End job on node50 at 2009-07-16 09:40:06