Trace number 2080603

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.2? (TO) 1800.12 1814.97

General information on the benchmark

Namecsp/knights/
normalized-knights-100-9.xml
MD5SUMe3d61a77ece532324ef1261b9e5f0982
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 benchmark84.9191
Satisfiable
(Un)Satisfiability was proved
Number of variables9
Number of constraints36
Maximum constraint arity2
Maximum domain size10000
Number of constraints which are defined in extension0
Number of constraints which are defined in intension36
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.00/0.02	c Seed is 911722216
0.00/0.02	c Constructing HOME/instance-2080603-1247717909.xml 
0.00/0.02	c deduced all_different(V2,V4,V6,V0)
0.00/0.02	c deduced all_different(V3,V5,V7,V1)
0.00/0.02	c deduced all_different(V1,V3,V5,V8)
0.00/0.02	c  with 273 constraints
0.00/0.02	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-2080603-1247717909/watcher-2080603-1247717909 -o /tmp/evaluation-result-2080603-1247717909/solver-2080603-1247717909 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 911722216 HOME/instance-2080603-1247717909.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.12 2.07 2.15 4/72 17095
/proc/meminfo: memFree=1562392/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=18576 CPUtime=0
/proc/17095/stat : 17095 (runsolver) R 17093 17095 16098 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 58858690 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 259353275687 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17095/statm: 4644 284 249 26 0 2626 0

[startup+0.027978 s]
/proc/loadavg: 2.12 2.07 2.15 4/72 17095
/proc/meminfo: memFree=1562392/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=4632 CPUtime=0.01
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 862 643 0 0 1 0 0 0 23 0 1 0 58858690 4743168 493 996147200 134512640 135215973 4294956320 18446744073709551615 134604550 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 1158 493 418 171 0 83 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4632

[startup+0.102985 s]
/proc/loadavg: 2.12 2.07 2.15 4/72 17095
/proc/meminfo: memFree=1562392/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=5024 CPUtime=0.08
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 960 643 0 0 8 0 0 0 24 0 1 0 58858690 5144576 591 996147200 134512640 135215973 4294956320 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 1256 591 420 171 0 181 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5024

[startup+0.302013 s]
/proc/loadavg: 2.12 2.07 2.15 4/72 17095
/proc/meminfo: memFree=1562392/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=6076 CPUtime=0.28
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 1238 643 0 0 28 0 0 0 25 0 1 0 58858690 6221824 869 996147200 134512640 135215973 4294956320 18446744073709551615 134532922 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 1519 869 420 171 0 444 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6076

[startup+0.701054 s]
/proc/loadavg: 2.12 2.07 2.15 4/72 17095
/proc/meminfo: memFree=1562392/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=7096 CPUtime=0.67
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 1486 643 0 0 67 0 0 0 25 0 1 0 58858690 7266304 1117 996147200 134512640 135215973 4294956320 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 1774 1117 420 171 0 699 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 7096

[startup+1.50216 s]
/proc/loadavg: 2.12 2.07 2.15 3/73 17100
/proc/meminfo: memFree=1557776/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=11572 CPUtime=1.47
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 2603 643 0 0 146 1 0 0 25 0 1 0 58858690 11849728 2234 996147200 134512640 135215973 4294956320 18446744073709551615 4158960185 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 2893 2234 420 171 0 1818 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11572

[startup+3.10134 s]
/proc/loadavg: 2.12 2.07 2.15 3/73 17100
/proc/meminfo: memFree=1551696/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=20008 CPUtime=3.05
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 4709 643 0 0 303 2 0 0 25 0 1 0 58858690 20488192 4340 996147200 134512640 135215973 4294956320 18446744073709551615 134532964 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 5002 4340 420 171 0 3927 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 20008

[startup+6.30171 s]
/proc/loadavg: 2.11 2.07 2.14 3/73 17100
/proc/meminfo: memFree=1535184/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=32848 CPUtime=6.22
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 7961 643 0 0 619 3 0 0 25 0 1 0 58858690 33636352 7441 996147200 134512640 135215973 4294956320 18446744073709551615 134902458 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 8212 7441 420 171 0 7137 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 32848

[startup+12.7015 s]
/proc/loadavg: 2.10 2.07 2.14 3/73 17100
/proc/meminfo: memFree=1532560/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=37592 CPUtime=12.57
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 9274 643 0 0 1254 3 0 0 25 0 1 0 58858690 38494208 8649 996147200 134512640 135215973 4294956320 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 9398 8649 420 171 0 8323 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 37592

[startup+25.502 s]
/proc/loadavg: 2.08 2.07 2.14 3/73 17100
/proc/meminfo: memFree=1466192/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=102600 CPUtime=25.26
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 25502 643 0 0 2517 9 0 0 25 0 1 0 58858690 105062400 24715 996147200 134512640 135215973 4294956320 18446744073709551615 134533023 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 25650 24715 420 171 0 24575 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 102600

[startup+51.102 s]
/proc/loadavg: 2.05 2.06 2.14 3/73 17100
/proc/meminfo: memFree=1341456/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=228352 CPUtime=50.63
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 56969 643 0 0 5043 20 0 0 25 0 1 0 58858690 233832448 56182 996147200 134512640 135215973 4294956320 18446744073709551615 134533076 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 57088 56182 420 171 0 56013 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 228352

[startup+102.307 s]
/proc/loadavg: 2.02 2.05 2.13 3/73 17100
/proc/meminfo: memFree=1173392/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=394632 CPUtime=101.41
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 98941 643 0 0 10103 38 0 0 25 0 1 0 58858690 404103168 97361 996147200 134512640 135215973 4294956320 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 98658 97361 423 171 0 97583 0
Current children cumulated CPU time (s) 101.41
Current children cumulated vsize (KiB) 394632

[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.11 3/73 17100
/proc/meminfo: memFree=1171472/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=396212 CPUtime=160.85
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 99399 643 0 0 16047 38 0 0 25 0 1 0 58858690 405721088 97819 996147200 134512640 135215973 4294956320 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 99053 97819 423 171 0 97978 0
Current children cumulated CPU time (s) 160.85
Current children cumulated vsize (KiB) 396212

[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.10 3/73 17100
/proc/meminfo: memFree=1169872/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=397756 CPUtime=220.3
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 99781 643 0 0 21992 38 0 0 25 0 1 0 58858690 407302144 98201 996147200 134512640 135215973 4294956320 18446744073709551615 4158960050 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 99439 98201 423 171 0 98364 0
Current children cumulated CPU time (s) 220.3
Current children cumulated vsize (KiB) 397756

[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.09 3/73 17100
/proc/meminfo: memFree=1169040/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=398456 CPUtime=279.75
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 99961 643 0 0 27936 39 0 0 25 0 1 0 58858690 408018944 98381 996147200 134512640 135215973 4294956320 18446744073709551615 4158960028 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 99614 98381 423 171 0 98539 0
Current children cumulated CPU time (s) 279.75
Current children cumulated vsize (KiB) 398456

[startup+342.302 s]
/proc/loadavg: 2.00 2.02 2.08 3/73 17100
/proc/meminfo: memFree=1167376/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=399008 CPUtime=339.19
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 100198 643 0 0 33880 39 0 0 25 0 1 0 58858690 408584192 98595 996147200 134512640 135215973 4294956320 18446744073709551615 4158960048 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 99752 98595 423 171 0 98677 0
Current children cumulated CPU time (s) 339.19
Current children cumulated vsize (KiB) 399008

[startup+402.302 s]
/proc/loadavg: 2.00 2.01 2.08 3/73 17100
/proc/meminfo: memFree=1167056/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=399288 CPUtime=398.63
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 100255 643 0 0 39824 39 0 0 25 0 1 0 58858690 408870912 98652 996147200 134512640 135215973 4294956320 18446744073709551615 134591040 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 99822 98652 423 171 0 98747 0
Current children cumulated CPU time (s) 398.63
Current children cumulated vsize (KiB) 399288

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.07 3/73 17100
/proc/meminfo: memFree=1166736/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=399416 CPUtime=458.08
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 100294 643 0 0 45769 39 0 0 25 0 1 0 58858690 409001984 98691 996147200 134512640 135215973 4294956320 18446744073709551615 134533135 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 99854 98691 423 171 0 98779 0
Current children cumulated CPU time (s) 458.08
Current children cumulated vsize (KiB) 399416

[startup+522.302 s]
/proc/loadavg: 2.00 2.00 2.07 3/73 17100
/proc/meminfo: memFree=1165648/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=400620 CPUtime=517.53
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 100704 643 0 0 51713 40 0 0 25 0 1 0 58858690 410234880 98907 996147200 134512640 135215973 4294956320 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 100155 98907 423 171 0 99080 0
Current children cumulated CPU time (s) 517.53
Current children cumulated vsize (KiB) 400620

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.06 3/73 17100
/proc/meminfo: memFree=1164240/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=401520 CPUtime=576.98
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 100998 643 0 0 57658 40 0 0 25 0 1 0 58858690 411156480 99201 996147200 134512640 135215973 4294956320 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 100380 99201 423 171 0 99305 0
Current children cumulated CPU time (s) 576.98
Current children cumulated vsize (KiB) 401520

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.06 3/73 17100
/proc/meminfo: memFree=1161680/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=402072 CPUtime=636.42
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 101152 643 0 0 63602 40 0 0 25 0 1 0 58858690 411721728 99355 996147200 134512640 135215973 4294956320 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 100518 99355 423 171 0 99443 0
Current children cumulated CPU time (s) 636.42
Current children cumulated vsize (KiB) 402072

[startup+702.302 s]

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

[startup+882.303 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 17100
/proc/meminfo: memFree=1146704/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=403572 CPUtime=874.18
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 101545 643 0 0 87377 41 0 0 25 0 1 0 58858690 413257728 99748 996147200 134512640 135215973 4294956320 18446744073709551615 134523588 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 100893 99748 423 171 0 99818 0
Current children cumulated CPU time (s) 874.18
Current children cumulated vsize (KiB) 403572

[startup+942.303 s]
/proc/loadavg: 2.00 2.00 2.03 3/73 17100
/proc/meminfo: memFree=1132048/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=403828 CPUtime=933.62
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 101632 643 0 0 93321 41 0 0 25 0 1 0 58858690 413519872 99835 996147200 134512640 135215973 4294956320 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 100957 99835 423 171 0 99882 0
Current children cumulated CPU time (s) 933.62
Current children cumulated vsize (KiB) 403828

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/73 17100
/proc/meminfo: memFree=1119312/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=404084 CPUtime=993.06
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 101731 643 0 0 99265 41 0 0 25 0 1 0 58858690 413782016 99934 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 101021 99934 423 171 0 99946 0
Current children cumulated CPU time (s) 993.06
Current children cumulated vsize (KiB) 404084

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 17100
/proc/meminfo: memFree=1119056/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=404344 CPUtime=1052.5
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 101776 643 0 0 105209 41 0 0 25 0 1 0 58858690 414048256 99979 996147200 134512640 135215973 4294956320 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 101086 99979 423 171 0 100011 0
Current children cumulated CPU time (s) 1052.5
Current children cumulated vsize (KiB) 404344

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 17100
/proc/meminfo: memFree=1118736/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=404344 CPUtime=1111.94
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 101799 643 0 0 111153 41 0 0 25 0 1 0 58858690 414048256 100002 996147200 134512640 135215973 4294956320 18446744073709551615 134599830 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 101086 100002 423 171 0 100011 0
Current children cumulated CPU time (s) 1111.94
Current children cumulated vsize (KiB) 404344

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1118608/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=404472 CPUtime=1171.37
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 101823 643 0 0 117096 41 0 0 25 0 1 0 58858690 414179328 100026 996147200 134512640 135215973 4294956320 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 101118 100026 423 171 0 100043 0
Current children cumulated CPU time (s) 1171.37
Current children cumulated vsize (KiB) 404472

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1118352/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=404472 CPUtime=1230.81
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 101846 643 0 0 123040 41 0 0 25 0 1 0 58858690 414179328 100049 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 101118 100049 423 171 0 100043 0
Current children cumulated CPU time (s) 1230.81
Current children cumulated vsize (KiB) 404472

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1117968/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=404776 CPUtime=1290.26
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 101928 643 0 0 128984 42 0 0 25 0 1 0 58858690 414490624 100131 996147200 134512640 135215973 4294956320 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 101194 100131 423 171 0 100119 0
Current children cumulated CPU time (s) 1290.26
Current children cumulated vsize (KiB) 404776

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1117328/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=405476 CPUtime=1349.69
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 102115 643 0 0 134927 42 0 0 25 0 1 0 58858690 415207424 100318 996147200 134512640 135215973 4294956320 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 101369 100318 423 171 0 100294 0
Current children cumulated CPU time (s) 1349.69
Current children cumulated vsize (KiB) 405476

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1116304/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=406184 CPUtime=1409.13
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 102354 643 0 0 140871 42 0 0 25 0 1 0 58858690 415932416 100557 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 101546 100557 423 171 0 100471 0
Current children cumulated CPU time (s) 1409.13
Current children cumulated vsize (KiB) 406184

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1115024/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=407432 CPUtime=1468.58
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 102716 643 0 0 146815 43 0 0 25 0 1 0 58858690 417210368 100899 996147200 134512640 135215973 4294956320 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 101858 100899 423 171 0 100783 0
Current children cumulated CPU time (s) 1468.58
Current children cumulated vsize (KiB) 407432

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 17100
/proc/meminfo: memFree=1113488/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=408584 CPUtime=1528.01
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 103072 643 0 0 152758 43 0 0 25 0 1 0 58858690 418390016 101255 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/17095/statm: 102146 101255 423 171 0 101071 0
Current children cumulated CPU time (s) 1528.01
Current children cumulated vsize (KiB) 408584

[startup+1602.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/73 17132
/proc/meminfo: memFree=1262160/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=408584 CPUtime=1587.52
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 103087 643 0 0 158708 44 0 0 25 0 1 0 58858690 418390016 101270 996147200 134512640 135215973 4294956320 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/17095/statm: 102146 101270 423 171 0 101071 0
Current children cumulated CPU time (s) 1587.52
Current children cumulated vsize (KiB) 408584

[startup+1662.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/73 17132
/proc/meminfo: memFree=1249616/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=408584 CPUtime=1647.49
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 103098 643 0 0 164705 44 0 0 25 0 1 0 58858690 418390016 101281 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/17095/statm: 102146 101281 423 171 0 101071 0
Current children cumulated CPU time (s) 1647.49
Current children cumulated vsize (KiB) 408584

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 17132
/proc/meminfo: memFree=1238416/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=408712 CPUtime=1707.46
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 103113 643 0 0 170702 44 0 0 25 0 1 0 58858690 418521088 101296 996147200 134512640 135215973 4294956320 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/17095/statm: 102178 101296 423 171 0 101103 0
Current children cumulated CPU time (s) 1707.46
Current children cumulated vsize (KiB) 408712

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 17132
/proc/meminfo: memFree=1222480/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=408712 CPUtime=1767.45
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 103131 643 0 0 176700 45 0 0 25 0 1 0 58858690 418521088 101314 996147200 134512640 135215973 4294956320 18446744073709551615 134533175 0 0 4096 0 0 0 0 17 0 0 0
/proc/17095/statm: 102178 101314 423 171 0 101103 0
Current children cumulated CPU time (s) 1767.45
Current children cumulated vsize (KiB) 408712



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1814.9 s]
/proc/loadavg: 2.00 2.01 2.00 4/73 17132
/proc/meminfo: memFree=1214480/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=408712 CPUtime=1800.05
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 103140 643 0 0 179960 45 0 0 25 0 1 0 58858690 418521088 101323 996147200 134512640 135215973 4294956320 18446744073709551615 134532672 0 0 4096 0 0 0 0 17 0 0 0
/proc/17095/statm: 102178 101323 423 171 0 101103 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 408712

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

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

[startup+1814.9 s]
/proc/loadavg: 2.00 2.01 2.00 4/73 17132
/proc/meminfo: memFree=1214480/2055920 swapFree=4192812/4192956
[pid=17095] ppid=17093 vsize=408712 CPUtime=1800.05
/proc/17095/stat : 17095 (pcs.big) R 17093 17095 16098 0 -1 4194304 103140 643 0 0 179960 45 0 0 25 0 1 0 58858690 418521088 101323 996147200 134512640 135215973 4294956320 18446744073709551615 134532672 0 0 4096 0 0 0 0 17 0 0 0
/proc/17095/statm: 102178 101323 423 171 0 101103 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 408712

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1814.97
CPU time (s): 1800.12
CPU user time (s): 1799.6
CPU system time (s): 0.516921
CPU usage (%): 99.1816
Max. virtual memory (cumulated for all children) (KiB): 408712

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

runsolver used 2.45963 second user time and 5.67814 second system time

The end

Launcher Data 

Begin job on node1 at 2009-07-16 06:18:29
IDJOB=2080603
IDBENCH=57114
IDSOLVER=734
FILE ID=node1/2080603-1247717909
PBS_JOBID= 9521413
Free space on /tmp= 66388 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/knights/normalized-knights-100-9.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2080603-1247717909/watcher-2080603-1247717909 -o /tmp/evaluation-result-2080603-1247717909/solver-2080603-1247717909 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 911722216 HOME/instance-2080603-1247717909.xml

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

MD5SUM BENCH= e3d61a77ece532324ef1261b9e5f0982
RANDOM SEED=911722216

node1.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.216
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.216
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:       1562872 kB
Buffers:         65976 kB
Cached:         239344 kB
SwapCached:          0 kB
Active:         192432 kB
Inactive:       235816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1562872 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1996 kB
Writeback:           0 kB
Mapped:         134556 kB
Slab:            49900 kB
Committed_AS:   759672 kB
PageTables:       2044 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= 66384 MiB
End job on node1 at 2009-07-16 06:48:46