Trace number 2080569

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
pcs 0.3.2? (TO) 1800.1 1813.37

General information on the benchmark

Namecsp/knights/
normalized-knights-15-5.xml
MD5SUM5adf39f1e7ca1e197ff110a6f8efa516
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.729888
Satisfiable
(Un)Satisfiability was proved
Number of variables5
Number of constraints10
Maximum constraint arity2
Maximum domain size225
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.18/0.21	c Seed is 1228037606
0.18/0.21	c Constructing HOME/instance-2080569-1247717883.xml  with 140 constraints
0.18/0.21	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-2080569-1247717883/watcher-2080569-1247717883 -o /tmp/evaluation-result-2080569-1247717883/solver-2080569-1247717883 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1228037606 HOME/instance-2080569-1247717883.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.08 2.08 2.05 4/72 16633
/proc/meminfo: memFree=1390576/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=5356 CPUtime=0
/proc/16633/stat : 16633 (pcssolve) R 16631 16633 13226 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 58854932 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 255236565663 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16633/statm: 1339 241 200 169 0 50 0
[pid=16634] ppid=16633 vsize=5356 CPUtime=0
/proc/16634/stat : 16634 (pcssolve) R 16633 16633 13226 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 58854933 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 255236565663 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16634/statm: 1339 241 200 169 0 50 0

[startup+0.0953331 s]
/proc/loadavg: 2.08 2.08 2.05 4/72 16633
/proc/meminfo: memFree=1390576/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=4900 CPUtime=0.08
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 926 640 0 0 8 0 0 0 18 0 1 0 58854932 5017600 557 996147200 134512640 135215973 4294956304 18446744073709551615 4158960045 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 1225 557 416 171 0 150 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4900

[startup+0.101331 s]
/proc/loadavg: 2.08 2.08 2.05 4/72 16633
/proc/meminfo: memFree=1390576/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=4900 CPUtime=0.08
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 935 640 0 0 8 0 0 0 18 0 1 0 58854932 5017600 566 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 1225 566 416 171 0 150 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4900

[startup+0.301355 s]
/proc/loadavg: 2.08 2.08 2.05 4/72 16633
/proc/meminfo: memFree=1390576/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=5204 CPUtime=0.28
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 1025 640 0 0 28 0 0 0 19 0 1 0 58854932 5328896 656 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 1301 656 416 171 0 226 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5204

[startup+0.7014 s]
/proc/loadavg: 2.08 2.08 2.05 4/72 16633
/proc/meminfo: memFree=1390576/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=5732 CPUtime=0.68
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 1143 640 0 0 68 0 0 0 23 0 1 0 58854932 5869568 774 996147200 134512640 135215973 4294956304 18446744073709551615 134532976 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 1433 774 416 171 0 358 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5732

[startup+1.50148 s]
/proc/loadavg: 2.08 2.08 2.05 3/73 16638
/proc/meminfo: memFree=1388648/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=6776 CPUtime=1.47
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 1392 640 0 0 147 0 0 0 25 0 1 0 58854932 6938624 1023 996147200 134512640 135215973 4294956304 18446744073709551615 134582282 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 1694 1023 416 171 0 619 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6776

[startup+3.10166 s]
/proc/loadavg: 2.08 2.08 2.05 3/73 16638
/proc/meminfo: memFree=1387048/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=7940 CPUtime=3.05
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 1721 640 0 0 305 0 0 0 25 0 1 0 58854932 8130560 1319 996147200 134512640 135215973 4294956304 18446744073709551615 134533259 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 1985 1319 416 171 0 910 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7940

[startup+6.303 s]
/proc/loadavg: 2.08 2.08 2.05 3/73 16638
/proc/meminfo: memFree=1385256/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=10292 CPUtime=6.23
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 2299 640 0 0 622 1 0 0 25 0 1 0 58854932 10539008 1832 996147200 134512640 135215973 4294956304 18446744073709551615 4158961222 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 2573 1832 416 171 0 1498 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 10292

[startup+12.7017 s]
/proc/loadavg: 2.07 2.07 2.05 3/73 16638
/proc/meminfo: memFree=1381104/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=13828 CPUtime=12.58
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 3256 640 0 0 1256 2 0 0 25 0 1 0 58854932 14159872 2756 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 3457 2756 416 171 0 2382 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 13828

[startup+25.5011 s]
/proc/loadavg: 2.06 2.07 2.04 3/73 16638
/proc/meminfo: memFree=1375728/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=19292 CPUtime=25.28
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 4668 640 0 0 2525 3 0 0 25 0 1 0 58854932 19755008 4039 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 4823 4039 416 171 0 3748 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 19292

[startup+51.1018 s]
/proc/loadavg: 2.04 2.06 2.04 3/73 16638
/proc/meminfo: memFree=1371376/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=23604 CPUtime=50.65
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 5813 640 0 0 5061 4 0 0 25 0 1 0 58854932 24170496 5119 996147200 134512640 135215973 4294956304 18446744073709551615 4158960001 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 5901 5119 416 171 0 4826 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 23604

[startup+102.306 s]
/proc/loadavg: 2.01 2.05 2.04 3/73 16638
/proc/meminfo: memFree=1350768/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=46324 CPUtime=101.43
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 12087 640 0 0 10135 8 0 0 25 0 1 0 58854932 47435776 10237 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 11581 10237 416 171 0 10506 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 46324

[startup+162.302 s]
/proc/loadavg: 2.00 2.04 2.03 3/73 16638
/proc/meminfo: memFree=1328688/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=66140 CPUtime=160.95
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 17623 640 0 0 16080 15 0 0 25 0 1 0 58854932 67727360 15773 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 16535 15773 416 171 0 15460 0
Current children cumulated CPU time (s) 160.95
Current children cumulated vsize (KiB) 66140

[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.02 3/73 16638
/proc/meminfo: memFree=1311344/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=88152 CPUtime=220.46
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 23444 640 0 0 22026 20 0 0 25 0 1 0 58854932 90267648 20056 996147200 134512640 135215973 4294956304 18446744073709551615 134591112 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 22038 20056 416 171 0 20963 0
Current children cumulated CPU time (s) 220.46
Current children cumulated vsize (KiB) 88152

[startup+282.302 s]
/proc/loadavg: 2.00 2.02 2.02 3/73 16638
/proc/meminfo: memFree=1298160/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=100120 CPUtime=279.99
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 26731 640 0 0 27975 24 0 0 25 0 1 0 58854932 102522880 23343 996147200 134512640 135215973 4294956304 18446744073709551615 4158960112 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 25030 23343 416 171 0 23955 0
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (KiB) 100120

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.01 3/73 16638
/proc/meminfo: memFree=1276784/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=111536 CPUtime=339.5
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 29852 640 0 0 33923 27 0 0 25 0 1 0 58854932 114212864 26464 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 27884 26464 416 171 0 26809 0
Current children cumulated CPU time (s) 339.5
Current children cumulated vsize (KiB) 111536

[startup+402.302 s]
/proc/loadavg: 2.00 2.01 2.01 3/73 16638
/proc/meminfo: memFree=1247728/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=123608 CPUtime=399.02
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 33140 640 0 0 39872 30 0 0 25 0 1 0 58854932 126574592 29752 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 30902 29752 416 171 0 29827 0
Current children cumulated CPU time (s) 399.02
Current children cumulated vsize (KiB) 123608

[startup+462.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16638
/proc/meminfo: memFree=1219440/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=134644 CPUtime=458.55
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 36207 640 0 0 45820 35 0 0 25 0 1 0 58854932 137875456 32819 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 33661 32819 416 171 0 32586 0
Current children cumulated CPU time (s) 458.55
Current children cumulated vsize (KiB) 134644

[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16638
/proc/meminfo: memFree=1192304/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=153064 CPUtime=518.07
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 41123 640 0 0 51768 39 0 0 25 0 1 0 58854932 156737536 35686 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 38266 35686 416 171 0 37191 0
Current children cumulated CPU time (s) 518.07
Current children cumulated vsize (KiB) 153064

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16638
/proc/meminfo: memFree=1165296/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=162932 CPUtime=577.59
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 43851 640 0 0 57717 42 0 0 25 0 1 0 58854932 166842368 38414 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 40733 38414 416 171 0 39658 0
Current children cumulated CPU time (s) 577.59
Current children cumulated vsize (KiB) 162932

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16638
/proc/meminfo: memFree=1134448/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=180204 CPUtime=637.12
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 48459 640 0 0 63667 45 0 0 25 0 1 0 58854932 184528896 41997 996147200 134512640 135215973 4294956304 18446744073709551615 134599856 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 45051 41997 416 171 0 43976 0
Current children cumulated CPU time (s) 637.12

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

[startup+882.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/73 16638
/proc/meminfo: memFree=1055088/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=220968 CPUtime=875.12
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 59849 640 0 0 87453 59 0 0 25 0 1 0 58854932 226271232 53387 996147200 134512640 135215973 4294956304 18446744073709551615 134648399 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 55242 53387 416 171 0 54167 0
Current children cumulated CPU time (s) 875.12
Current children cumulated vsize (KiB) 220968

[startup+942.302 s]
/proc/loadavg: 2.05 2.02 2.00 3/73 16638
/proc/meminfo: memFree=1040432/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=231228 CPUtime=934.6
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 62689 640 0 0 93397 63 0 0 25 0 1 0 58854932 236777472 56227 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 57807 56227 416 171 0 56732 0
Current children cumulated CPU time (s) 934.6
Current children cumulated vsize (KiB) 231228

[startup+1002.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/73 16638
/proc/meminfo: memFree=1025072/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=257204 CPUtime=994.09
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 69483 640 0 0 99340 69 0 0 25 0 1 0 58854932 263376896 58924 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 64301 58924 416 171 0 63226 0
Current children cumulated CPU time (s) 994.09
Current children cumulated vsize (KiB) 257204

[startup+1062.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/73 16638
/proc/meminfo: memFree=1014128/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=266940 CPUtime=1053.56
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 72224 640 0 0 105283 73 0 0 25 0 1 0 58854932 273346560 61665 996147200 134512640 135215973 4294956304 18446744073709551615 134591110 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 66735 61665 416 171 0 65660 0
Current children cumulated CPU time (s) 1053.56
Current children cumulated vsize (KiB) 266940

[startup+1122.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/73 16638
/proc/meminfo: memFree=1003312/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=276272 CPUtime=1113.04
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 74829 640 0 0 111228 76 0 0 25 0 1 0 58854932 282902528 64270 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 69068 64270 416 171 0 67993 0
Current children cumulated CPU time (s) 1113.04
Current children cumulated vsize (KiB) 276272

[startup+1182.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/73 16638
/proc/meminfo: memFree=992560/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=285952 CPUtime=1172.56
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 77516 640 0 0 117177 79 0 0 25 0 1 0 58854932 292814848 66957 996147200 134512640 135215973 4294956304 18446744073709551615 134594116 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 71488 66957 416 171 0 70413 0
Current children cumulated CPU time (s) 1172.56
Current children cumulated vsize (KiB) 285952

[startup+1242.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/73 16638
/proc/meminfo: memFree=981168/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=295944 CPUtime=1232.09
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 80326 640 0 0 123126 83 0 0 25 0 1 0 58854932 303046656 69767 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 73986 69767 416 171 0 72911 0
Current children cumulated CPU time (s) 1232.09
Current children cumulated vsize (KiB) 295944

[startup+1302.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/73 16638
/proc/meminfo: memFree=970736/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=304992 CPUtime=1291.62
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 82894 640 0 0 129075 87 0 0 25 0 1 0 58854932 312311808 72335 996147200 134512640 135215973 4294956304 18446744073709551615 4158960208 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 76248 72335 416 171 0 75173 0
Current children cumulated CPU time (s) 1291.62
Current children cumulated vsize (KiB) 304992

[startup+1362.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/73 16638
/proc/meminfo: memFree=959984/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=314700 CPUtime=1351.14
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 85603 640 0 0 135023 91 0 0 25 0 1 0 58854932 322252800 75044 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 78675 75044 416 171 0 77600 0
Current children cumulated CPU time (s) 1351.14
Current children cumulated vsize (KiB) 314700

[startup+1422.31 s]
/proc/loadavg: 2.03 2.06 2.00 3/73 16638
/proc/meminfo: memFree=948016/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=325200 CPUtime=1410.68
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 88533 640 0 0 140973 95 0 0 25 0 1 0 58854932 333004800 77974 996147200 134512640 135215973 4294956304 18446744073709551615 134591088 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 81300 77974 416 171 0 80225 0
Current children cumulated CPU time (s) 1410.68
Current children cumulated vsize (KiB) 325200

[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/73 16638
/proc/meminfo: memFree=937328/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=334644 CPUtime=1470.2
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 91203 640 0 0 146923 97 0 0 25 0 1 0 58854932 342675456 80644 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 83661 80644 416 171 0 82586 0
Current children cumulated CPU time (s) 1470.2
Current children cumulated vsize (KiB) 334644

[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 16638
/proc/meminfo: memFree=927472/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=343304 CPUtime=1529.72
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 93620 640 0 0 152872 100 0 0 25 0 1 0 58854932 351543296 83061 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 85826 83061 416 171 0 84751 0
Current children cumulated CPU time (s) 1529.72
Current children cumulated vsize (KiB) 343304

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 16638
/proc/meminfo: memFree=916848/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=352648 CPUtime=1589.25
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 96258 640 0 0 158822 103 0 0 25 0 1 0 58854932 361111552 85699 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 1 0 0
/proc/16633/statm: 88162 85699 416 171 0 87087 0
Current children cumulated CPU time (s) 1589.25
Current children cumulated vsize (KiB) 352648

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 16670
/proc/meminfo: memFree=1133552/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=361592 CPUtime=1649.08
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 98738 640 0 0 164802 106 0 0 25 0 1 0 58854932 370270208 88179 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 0 0 0
/proc/16633/statm: 90398 88179 416 171 0 89323 0
Current children cumulated CPU time (s) 1649.08
Current children cumulated vsize (KiB) 361592

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16670
/proc/meminfo: memFree=1114032/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=371304 CPUtime=1709.05
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 101443 640 0 0 170796 109 0 0 25 0 1 0 58854932 380215296 90884 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/16633/statm: 92826 90884 416 171 0 91751 0
Current children cumulated CPU time (s) 1709.05
Current children cumulated vsize (KiB) 371304

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16670
/proc/meminfo: memFree=1088240/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=381024 CPUtime=1769.04
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 104158 640 0 0 176791 113 0 0 25 0 1 0 58854932 390168576 93599 996147200 134512640 135215973 4294956304 18446744073709551615 134590912 0 0 4096 0 0 0 0 17 0 0 0
/proc/16633/statm: 95256 93599 416 171 0 94181 0
Current children cumulated CPU time (s) 1769.04
Current children cumulated vsize (KiB) 381024



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16670
/proc/meminfo: memFree=1075952/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=385752 CPUtime=1800.03
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 105433 640 0 0 179889 114 0 0 25 0 1 0 58854932 395010048 94874 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/16633/statm: 96438 94874 416 171 0 95363 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 385752

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

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

[startup+1813.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16670
/proc/meminfo: memFree=1075952/2055920 swapFree=4192812/4192956
[pid=16633] ppid=16631 vsize=385752 CPUtime=1800.03
/proc/16633/stat : 16633 (pcs.big) R 16631 16633 13226 0 -1 4194304 105433 640 0 0 179889 114 0 0 25 0 1 0 58854932 395010048 94874 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/16633/statm: 96438 94874 416 171 0 95363 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 385752

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1813.37
CPU time (s): 1800.1
CPU user time (s): 1798.89
CPU system time (s): 1.21081
CPU usage (%): 99.2686
Max. virtual memory (cumulated for all children) (KiB): 385752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.21081
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106073
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= 20
involuntary context switches= 35829

runsolver used 1.9597 second user time and 5.32419 second system time

The end

Launcher Data 

Begin job on node19 at 2009-07-16 06:18:03
IDJOB=2080569
IDBENCH=57108
IDSOLVER=733
FILE ID=node19/2080569-1247717883
PBS_JOBID= 9521369
Free space on /tmp= 66392 MiB

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

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

MD5SUM BENCH= 5adf39f1e7ca1e197ff110a6f8efa516
RANDOM SEED=1228037606

node19.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.211
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.211
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:       1391056 kB
Buffers:         69992 kB
Cached:         405600 kB
SwapCached:          0 kB
Active:         172072 kB
Inactive:       424576 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1391056 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1984 kB
Writeback:           0 kB
Mapped:         132656 kB
Slab:            53404 kB
Committed_AS:   686736 kB
PageTables:       2072 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 node19 at 2009-07-16 06:48:18