Trace number 2080635

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 1666.95 1678.38

DiagnosticValue
ASSIGNMENTS282203

General information on the benchmark

Namecsp/knights/
normalized-knights-12-5.xml
MD5SUM3e07c67836725db23817dc963b7a8aaa
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.78088
Satisfiable
(Un)Satisfiability was proved
Number of variables5
Number of constraints10
Maximum constraint arity2
Maximum domain size144
Number of constraints which are defined in extension0
Number of constraints which are defined in intension10
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.17/0.21	c Seed is 82081830
0.17/0.21	c Constructing HOME/instance-2080635-1247717971.xml  with 140 constraints
0.17/0.21	c Solving 282203 backtracks 22 restarts
1666.85/1678.31	s UNSATISFIABLE
1666.85/1678.31	d ASSIGNMENTS 282203

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-2080635-1247717971/watcher-2080635-1247717971 -o /tmp/evaluation-result-2080635-1247717971/solver-2080635-1247717971 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 82081830 HOME/instance-2080635-1247717971.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.06 2.10 2.03 4/82 15658
/proc/meminfo: memFree=936192/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=5356 CPUtime=0
/proc/15658/stat : 15658 (pcssolve) R 15656 15658 14344 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 58864203 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15658/statm: 1339 241 200 169 0 50 0
[pid=15659] ppid=15658 vsize=5356 CPUtime=0
/proc/15659/stat : 15659 (pcssolve) R 15658 15658 14344 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 58864203 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 214919867039 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15659/statm: 1339 241 200 169 0 50 0

[startup+0.114714 s]
/proc/loadavg: 2.06 2.10 2.03 4/82 15658
/proc/meminfo: memFree=936192/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=4776 CPUtime=0.09
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 907 640 0 0 9 0 0 0 18 0 1 0 58864203 4890624 538 996147200 134512640 135215973 4294956320 18446744073709551615 134589807 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1194 538 416 171 0 119 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4776

[startup+0.20173 s]
/proc/loadavg: 2.06 2.10 2.03 4/82 15658
/proc/meminfo: memFree=936192/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=4908 CPUtime=0.17
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 953 640 0 0 17 0 0 0 18 0 1 0 58864203 5025792 584 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1227 584 416 171 0 152 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 4908

[startup+0.301751 s]
/proc/loadavg: 2.06 2.10 2.03 4/82 15658
/proc/meminfo: memFree=936192/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=5192 CPUtime=0.27
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 992 640 0 0 27 0 0 0 19 0 1 0 58864203 5316608 623 996147200 134512640 135215973 4294956320 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1298 623 416 171 0 223 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5192

[startup+0.701838 s]
/proc/loadavg: 2.06 2.10 2.03 4/82 15658
/proc/meminfo: memFree=936192/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=5840 CPUtime=0.67
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 1141 640 0 0 67 0 0 0 23 0 1 0 58864203 5980160 772 996147200 134512640 135215973 4294956320 18446744073709551615 134648513 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1460 772 416 171 0 385 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5840

[startup+1.50201 s]
/proc/loadavg: 2.06 2.10 2.03 3/83 15663
/proc/meminfo: memFree=934008/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=6624 CPUtime=1.46
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 1349 640 0 0 146 0 0 0 25 0 1 0 58864203 6782976 980 996147200 134512640 135215973 4294956320 18446744073709551615 135097160 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1656 980 416 171 0 581 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6624

[startup+3.10136 s]
/proc/loadavg: 2.06 2.10 2.03 3/83 15663
/proc/meminfo: memFree=932856/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=7928 CPUtime=3.05
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 1717 640 0 0 304 1 0 0 25 0 1 0 58864203 8118272 1315 996147200 134512640 135215973 4294956320 18446744073709551615 4158960272 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 1982 1315 416 171 0 907 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7928

[startup+6.30105 s]
/proc/loadavg: 2.05 2.10 2.03 3/83 15663
/proc/meminfo: memFree=930360/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=10676 CPUtime=6.22
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 2415 640 0 0 621 1 0 0 25 0 1 0 58864203 10932224 1948 996147200 134512640 135215973 4294956320 18446744073709551615 134609894 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 2669 1948 416 171 0 1594 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10676

[startup+12.7024 s]
/proc/loadavg: 2.05 2.10 2.03 3/83 15663
/proc/meminfo: memFree=925752/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=14956 CPUtime=12.56
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 3532 640 0 0 1254 2 0 0 25 0 1 0 58864203 15314944 3032 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 3739 3032 416 171 0 2664 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 14956

[startup+25.5012 s]
/proc/loadavg: 2.04 2.09 2.03 3/83 15663
/proc/meminfo: memFree=919992/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=20436 CPUtime=25.23
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 4945 640 0 0 2521 2 0 0 25 0 1 0 58864203 20926464 4316 996147200 134512640 135215973 4294956320 18446744073709551615 4158960547 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 5109 4316 416 171 0 4034 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 20436

[startup+51.1017 s]
/proc/loadavg: 2.02 2.08 2.03 3/83 15663
/proc/meminfo: memFree=911480/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=29212 CPUtime=50.59
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 7360 640 0 0 5055 4 0 0 25 0 1 0 58864203 29913088 6537 996147200 134512640 135215973 4294956320 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 7303 6537 416 171 0 6228 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 29212

[startup+102.302 s]
/proc/loadavg: 2.01 2.07 2.02 3/83 15663
/proc/meminfo: memFree=889016/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=53300 CPUtime=101.31
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 13903 640 0 0 10122 9 0 0 25 0 1 0 58864203 54579200 12053 996147200 134512640 135215973 4294956320 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 13325 12053 416 171 0 12250 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 53300

[startup+162.302 s]
/proc/loadavg: 2.00 2.05 2.02 3/83 15663
/proc/meminfo: memFree=866232/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=74296 CPUtime=160.74
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 19652 640 0 0 16060 14 0 0 25 0 1 0 58864203 76079104 17802 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 18574 17802 416 171 0 17499 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 74296

[startup+222.306 s]
/proc/loadavg: 2.00 2.04 2.01 3/83 15663
/proc/meminfo: memFree=846008/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=98940 CPUtime=220.17
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 26170 640 0 0 21996 21 0 0 25 0 1 0 58864203 101314560 22782 996147200 134512640 135215973 4294956320 18446744073709551615 134533353 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 24735 22782 416 171 0 23660 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 98940

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.01 3/83 15663
/proc/meminfo: memFree=832760/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=111144 CPUtime=279.6
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 29493 640 0 0 27935 25 0 0 25 0 1 0 58864203 113811456 26105 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 27786 26105 416 171 0 26711 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 111144

[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 15663
/proc/meminfo: memFree=819512/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=123340 CPUtime=339.03
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 32772 640 0 0 33874 29 0 0 25 0 1 0 58864203 126300160 29384 996147200 134512640 135215973 4294956320 18446744073709551615 4158960089 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 30835 29384 416 171 0 29760 0
Current children cumulated CPU time (s) 339.03
Current children cumulated vsize (KiB) 123340

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/83 15663
/proc/meminfo: memFree=806648/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=135180 CPUtime=398.47
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 35974 640 0 0 39814 33 0 0 25 0 1 0 58864203 138424320 32586 996147200 134512640 135215973 4294956320 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 33795 32586 416 171 0 32720 0
Current children cumulated CPU time (s) 398.47
Current children cumulated vsize (KiB) 135180

[startup+462.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 15663
/proc/meminfo: memFree=794104/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=146360 CPUtime=457.89
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 39088 640 0 0 45753 36 0 0 25 0 1 0 58864203 149872640 35700 996147200 134512640 135215973 4294956320 18446744073709551615 134585688 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 36590 35700 416 171 0 35515 0
Current children cumulated CPU time (s) 457.89
Current children cumulated vsize (KiB) 146360

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/83 15663
/proc/meminfo: memFree=780088/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=167452 CPUtime=517.33
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 44685 640 0 0 51691 42 0 0 25 0 1 0 58864203 171470848 39248 996147200 134512640 135215973 4294956320 18446744073709551615 134587796 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 41863 39248 416 171 0 40788 0
Current children cumulated CPU time (s) 517.33
Current children cumulated vsize (KiB) 167452

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15663
/proc/meminfo: memFree=760568/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=189200 CPUtime=576.75
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 50454 640 0 0 57629 46 0 0 25 0 1 0 58864203 193740800 43992 996147200 134512640 135215973 4294956320 18446744073709551615 134591047 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 47300 43992 416 171 0 46225 0
Current children cumulated CPU time (s) 576.75
Current children cumulated vsize (KiB) 189200

[startup+642.303 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15663
/proc/meminfo: memFree=749496/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=199592 CPUtime=636.19
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 53288 640 0 0 63570 49 0 0 25 0 1 0 58864203 204382208 46826 996147200 134512640 135215973 4294956320 18446744073709551615 134616941 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 49898 46826 416 171 0 48823 0
Current children cumulated CPU time (s) 636.19

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

/proc/meminfo: memFree=652280/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=304208 CPUtime=1052.21
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 81640 640 0 0 105142 79 0 0 25 0 1 0 58864203 311508992 71081 996147200 134512640 135215973 4294956320 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 76052 71081 416 171 0 74977 0
Current children cumulated CPU time (s) 1052.21
Current children cumulated vsize (KiB) 304208

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 15663
/proc/meminfo: memFree=638200/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=316848 CPUtime=1111.63
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 85109 640 0 0 111080 83 0 0 25 0 1 0 58864203 324452352 74550 996147200 134512640 135215973 4294956320 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/15658/statm: 79212 74550 416 171 0 78137 0
Current children cumulated CPU time (s) 1111.63
Current children cumulated vsize (KiB) 316848

[startup+1182.3 s]
/proc/loadavg: 1.92 1.98 1.99 4/83 15705
/proc/meminfo: memFree=1341312/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=329996 CPUtime=1171.1
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 88736 640 0 0 117022 88 0 0 25 0 1 0 58864203 337915904 78177 996147200 134512640 135215973 4294956320 18446744073709551615 134585101 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 82499 78177 416 171 0 81424 0
Current children cumulated CPU time (s) 1171.1
Current children cumulated vsize (KiB) 329996

[startup+1242.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1308920/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=344696 CPUtime=1231.07
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 92762 640 0 0 123014 93 0 0 25 0 1 0 58864203 352968704 82203 996147200 134512640 135215973 4294956320 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 86174 82203 416 171 0 85099 0
Current children cumulated CPU time (s) 1231.07
Current children cumulated vsize (KiB) 344696

[startup+1302.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1293944/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=358472 CPUtime=1291.04
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 96539 640 0 0 129007 97 0 0 25 0 1 0 58864203 367075328 85980 996147200 134512640 135215973 4294956320 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 89618 85980 416 171 0 88543 0
Current children cumulated CPU time (s) 1291.04
Current children cumulated vsize (KiB) 358472

[startup+1362.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1276408/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=373864 CPUtime=1351.01
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 100769 640 0 0 135000 101 0 0 25 0 1 0 58864203 382836736 90210 996147200 134512640 135215973 4294956320 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 93466 90210 416 171 0 92391 0
Current children cumulated CPU time (s) 1351.01
Current children cumulated vsize (KiB) 373864

[startup+1422.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1260088/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=388424 CPUtime=1410.98
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 104792 640 0 0 140992 106 0 0 25 0 1 0 58864203 397746176 94233 996147200 134512640 135215973 4294956320 18446744073709551615 134650912 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 97106 94233 416 171 0 96031 0
Current children cumulated CPU time (s) 1410.98
Current children cumulated vsize (KiB) 388424

[startup+1482.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1243640/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=403556 CPUtime=1470.95
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 108929 640 0 0 146984 111 0 0 25 0 1 0 58864203 413241344 98370 996147200 134512640 135215973 4294956320 18446744073709551615 4158960170 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 100889 98370 416 171 0 99814 0
Current children cumulated CPU time (s) 1470.95
Current children cumulated vsize (KiB) 403556

[startup+1542.31 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1216760/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=436252 CPUtime=1530.93
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 117416 640 0 0 152978 115 0 0 25 0 1 0 58864203 446722048 104808 996147200 134512640 135215973 4294956320 18446744073709551615 4158960587 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 109063 104808 416 171 0 107988 0
Current children cumulated CPU time (s) 1530.93
Current children cumulated vsize (KiB) 436252

[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1203640/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=448236 CPUtime=1590.89
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 120724 640 0 0 158970 119 0 0 25 0 1 0 58864203 458993664 108116 996147200 134512640 135215973 4294956320 18446744073709551615 134584470 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 112059 108116 416 171 0 110984 0
Current children cumulated CPU time (s) 1590.89
Current children cumulated vsize (KiB) 448236

[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1188536/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=461772 CPUtime=1650.86
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 124466 640 0 0 164963 123 0 0 25 0 1 0 58864203 472854528 111858 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 115443 111858 416 171 0 114368 0
Current children cumulated CPU time (s) 1650.86
Current children cumulated vsize (KiB) 461772

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

[startup+1664 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1188280/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=462168 CPUtime=1652.55
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 124580 640 0 0 165132 123 0 0 25 0 1 0 58864203 473260032 111972 996147200 134512640 135215973 4294956320 18446744073709551615 134585304 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 115542 111972 416 171 0 114467 0
Current children cumulated CPU time (s) 1652.55
Current children cumulated vsize (KiB) 462168

[startup+1670.4 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1186616/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=463612 CPUtime=1658.95
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 124964 640 0 0 165772 123 0 0 25 0 1 0 58864203 474738688 112356 996147200 134512640 135215973 4294956320 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 115903 112356 416 171 0 114828 0
Current children cumulated CPU time (s) 1658.95
Current children cumulated vsize (KiB) 463612

[startup+1673.6 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1185720/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=464400 CPUtime=1662.16
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125188 640 0 0 166092 124 0 0 25 0 1 0 58864203 475545600 112580 996147200 134512640 135215973 4294956320 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 116100 112580 416 171 0 115025 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 464400

[startup+1676.8 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1184888/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=465192 CPUtime=1665.35
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125392 640 0 0 166411 124 0 0 25 0 1 0 58864203 476356608 112784 996147200 134512640 135215973 4294956320 18446744073709551615 134609874 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 116298 112784 416 171 0 115223 0
Current children cumulated CPU time (s) 1665.35
Current children cumulated vsize (KiB) 465192

[startup+1677.61 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1184504/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=449068 CPUtime=1666.16
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125453 640 0 0 166492 124 0 0 25 0 1 0 58864203 459845632 110639 996147200 134512640 135215973 4294956320 18446744073709551615 9334853 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 112267 110639 416 171 0 111192 0
Current children cumulated CPU time (s) 1666.16
Current children cumulated vsize (KiB) 449068

[startup+1678 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1184504/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=449068 CPUtime=1666.55
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125453 640 0 0 166531 124 0 0 25 0 1 0 58864203 459845632 110639 996147200 134512640 135215973 4294956320 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 112267 110639 416 171 0 111192 0
Current children cumulated CPU time (s) 1666.55
Current children cumulated vsize (KiB) 449068

[startup+1678.2 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1184504/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=449068 CPUtime=1666.75
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125453 640 0 0 166551 124 0 0 25 0 1 0 58864203 459845632 110639 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 112267 110639 416 171 0 111192 0
Current children cumulated CPU time (s) 1666.75
Current children cumulated vsize (KiB) 449068

[startup+1678.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15706
/proc/meminfo: memFree=1184504/2055920 swapFree=4192812/4192956
[pid=15658] ppid=15656 vsize=449068 CPUtime=1666.85
/proc/15658/stat : 15658 (pcs.big) R 15656 15658 14344 0 -1 4194304 125453 640 0 0 166561 124 0 0 25 0 1 0 58864203 459845632 110639 996147200 134512640 135215973 4294956320 18446744073709551615 9334893 0 0 4096 0 0 0 0 17 0 0 0
/proc/15658/statm: 112267 110639 416 171 0 111192 0
Current children cumulated CPU time (s) 1666.85
Current children cumulated vsize (KiB) 449068

Child status: 0
Real time (s): 1678.38
CPU time (s): 1666.95
CPU user time (s): 1665.62
CPU system time (s): 1.3238
CPU usage (%): 99.3188
Max. virtual memory (cumulated for all children) (KiB): 465456

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

runsolver used 1.9407 second user time and 5.69113 second system time

The end

Launcher Data 

Begin job on node10 at 2009-07-16 06:19:32
IDJOB=2080635
IDBENCH=57120
IDSOLVER=733
FILE ID=node10/2080635-1247717971
PBS_JOBID= 9521355
Free space on /tmp= 66364 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/knights/normalized-knights-12-5.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080635-1247717971/watcher-2080635-1247717971 -o /tmp/evaluation-result-2080635-1247717971/solver-2080635-1247717971 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 82081830 HOME/instance-2080635-1247717971.xml

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

MD5SUM BENCH= 3e07c67836725db23817dc963b7a8aaa
RANDOM SEED=82081830

node10.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.279
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.279
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:        936672 kB
Buffers:         72996 kB
Cached:         222600 kB
SwapCached:          0 kB
Active:         815844 kB
Inactive:       229452 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        936672 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1712 kB
Writeback:           0 kB
Mapped:         770140 kB
Slab:            57820 kB
Committed_AS:  1353052 kB
PageTables:       3256 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= 66360 MiB
End job on node10 at 2009-07-16 06:47:30