Trace number 2080591

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.06 1804.84

General information on the benchmark

Namecsp/knights/
normalized-knights-25-9.xml
MD5SUM2c2a315f78e02a36f39cc2b3c6ab1a62
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 benchmark2.34964
Satisfiable
(Un)Satisfiability was proved
Number of variables9
Number of constraints36
Maximum constraint arity2
Maximum domain size625
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.21	c Seed is 397076208
0.00/0.21	c Constructing HOME/instance-2080591-1247717902.xml 
0.00/0.21	c deduced all_different(V2,V4,V6,V0)
0.00/0.21	c deduced all_different(V3,V5,V7,V1)
0.00/0.21	c deduced all_different(V1,V3,V5,V8)
0.00/0.21	c  with 273 constraints
0.00/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-2080591-1247717902/watcher-2080591-1247717902 -o /tmp/evaluation-result-2080591-1247717902/solver-2080591-1247717902 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 397076208 HOME/instance-2080591-1247717902.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.09 2.06 2.05 4/81 13018
/proc/meminfo: memFree=669072/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=5356 CPUtime=0
/proc/13018/stat : 13018 (pcssolve) R 13016 13018 10876 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58857678 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 259913214623 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13018/statm: 1339 241 200 169 0 50 0
[pid=13019] ppid=13018 vsize=0 CPUtime=0
/proc/13019/stat : 13019 (pcssolve) R 13018 13018 10876 0 -1 4194368 22 0 0 0 0 0 0 0 22 0 1 0 58857679 0 0 996147200 0 0 0 18446744073709551615 259913215271 0 0 4096 0 0 0 0 17 1 0 0
/proc/13019/statm: 0 0 0 0 0 0 0
[pid=13020] ppid=13018 vsize=5356 CPUtime=0
/proc/13020/stat : 13020 (pcssolve) R 13018 13018 10876 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58857679 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 259913214623 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13020/statm: 1339 241 200 169 0 50 0

[startup+0.211326 s]
/proc/loadavg: 2.09 2.06 2.05 4/81 13018
/proc/meminfo: memFree=669072/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=5740 CPUtime=0.19
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 1138 643 0 0 19 0 0 0 19 0 1 0 58857678 5877760 769 996147200 134512640 135215973 4294956320 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 1435 769 420 171 0 360 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5740

[startup+0.301217 s]
/proc/loadavg: 2.09 2.06 2.05 4/81 13018
/proc/meminfo: memFree=669072/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=5892 CPUtime=0.28
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 1185 643 0 0 28 0 0 0 19 0 1 0 58857678 6033408 816 996147200 134512640 135215973 4294956320 18446744073709551615 134988288 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 1473 816 423 171 0 398 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5892

[startup+0.401223 s]
/proc/loadavg: 2.09 2.06 2.05 4/81 13018
/proc/meminfo: memFree=669072/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=6156 CPUtime=0.38
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 1228 643 0 0 38 0 0 0 20 0 1 0 58857678 6303744 859 996147200 134512640 135215973 4294956320 18446744073709551615 4158851964 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 1539 859 423 171 0 464 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 6156

[startup+0.701255 s]
/proc/loadavg: 2.09 2.06 2.05 4/81 13018
/proc/meminfo: memFree=669072/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=6420 CPUtime=0.68
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 1323 643 0 0 68 0 0 0 23 0 1 0 58857678 6574080 954 996147200 134512640 135215973 4294956320 18446744073709551615 4158960244 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 1605 954 423 171 0 530 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6420

[startup+1.50133 s]
/proc/loadavg: 2.24 2.09 2.06 3/82 13023
/proc/meminfo: memFree=665608/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=7860 CPUtime=1.47
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 1676 643 0 0 147 0 0 0 25 0 1 0 58857678 8048640 1307 996147200 134512640 135215973 4294956320 18446744073709551615 134590080 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 1965 1307 423 171 0 890 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 7860

[startup+3.10148 s]
/proc/loadavg: 2.24 2.09 2.06 3/82 13023
/proc/meminfo: memFree=664904/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=8764 CPUtime=3.05
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 1940 643 0 0 305 0 0 0 25 0 1 0 58857678 8974336 1538 996147200 134512640 135215973 4294956320 18446744073709551615 4158960071 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 2191 1538 423 171 0 1116 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8764

[startup+6.30279 s]
/proc/loadavg: 2.22 2.09 2.06 3/82 13023
/proc/meminfo: memFree=662664/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=10864 CPUtime=6.22
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 2499 643 0 0 622 0 0 0 25 0 1 0 58857678 11124736 2032 996147200 134512640 135215973 4294956320 18446744073709551615 134591911 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 2716 2032 423 171 0 1641 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 10864

[startup+12.7014 s]
/proc/loadavg: 2.20 2.09 2.06 3/82 13023
/proc/meminfo: memFree=658120/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=15424 CPUtime=12.57
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 3674 643 0 0 1256 1 0 0 25 0 1 0 58857678 15794176 3078 996147200 134512640 135215973 4294956320 18446744073709551615 4158960064 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 3856 3078 423 171 0 2781 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 15424

[startup+25.5066 s]
/proc/loadavg: 2.16 2.08 2.06 3/82 13023
/proc/meminfo: memFree=656008/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=17496 CPUtime=25.24
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 4260 643 0 0 2523 1 0 0 25 0 1 0 58857678 17915904 3664 996147200 134512640 135215973 4294956320 18446744073709551615 134590020 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 4374 3664 423 171 0 3299 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 17496

[startup+51.1011 s]
/proc/loadavg: 2.10 2.08 2.06 3/82 13023
/proc/meminfo: memFree=648392/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=25656 CPUtime=50.61
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 6421 643 0 0 5058 3 0 0 25 0 1 0 58857678 26271744 5568 996147200 134512640 135215973 4294956320 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 6414 5568 423 171 0 5339 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 25656

[startup+102.302 s]
/proc/loadavg: 2.11 2.08 2.06 3/82 13023
/proc/meminfo: memFree=640264/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=33444 CPUtime=101.33
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 8458 643 0 0 10128 5 0 0 25 0 1 0 58857678 34246656 7605 996147200 134512640 135215973 4294956320 18446744073709551615 134533266 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 8361 7605 423 171 0 7286 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 33444

[startup+162.302 s]
/proc/loadavg: 2.12 2.08 2.06 3/82 13023
/proc/meminfo: memFree=631432/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=43604 CPUtime=160.76
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 11083 643 0 0 16070 6 0 0 25 0 1 0 58857678 44650496 9717 996147200 134512640 135215973 4294956320 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 10901 9717 423 171 0 9826 0
Current children cumulated CPU time (s) 160.76
Current children cumulated vsize (KiB) 43604

[startup+222.301 s]
/proc/loadavg: 2.08 2.08 2.06 3/82 13023
/proc/meminfo: memFree=626504/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=48584 CPUtime=220.21
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 12369 643 0 0 22013 8 0 0 25 0 1 0 58857678 49750016 11003 996147200 134512640 135215973 4294956320 18446744073709551615 135094718 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 12146 11003 423 171 0 11071 0
Current children cumulated CPU time (s) 220.21
Current children cumulated vsize (KiB) 48584

[startup+282.301 s]
/proc/loadavg: 2.03 2.06 2.05 3/82 13023
/proc/meminfo: memFree=621512/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=53284 CPUtime=279.64
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 13594 643 0 0 27955 9 0 0 25 0 1 0 58857678 54562816 12228 996147200 134512640 135215973 4294956320 18446744073709551615 134590128 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 13321 12228 423 171 0 12246 0
Current children cumulated CPU time (s) 279.64
Current children cumulated vsize (KiB) 53284

[startup+342.307 s]
/proc/loadavg: 2.08 2.07 2.06 3/82 13023
/proc/meminfo: memFree=618696/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=55884 CPUtime=339.09
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 14286 643 0 0 33899 10 0 0 25 0 1 0 58857678 57225216 12920 996147200 134512640 135215973 4294956320 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 13971 12920 423 171 0 12896 0
Current children cumulated CPU time (s) 339.09
Current children cumulated vsize (KiB) 55884

[startup+402.302 s]
/proc/loadavg: 2.03 2.06 2.05 3/82 13023
/proc/meminfo: memFree=614728/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=59664 CPUtime=398.52
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 15276 643 0 0 39841 11 0 0 25 0 1 0 58857678 61095936 13910 996147200 134512640 135215973 4294956320 18446744073709551615 134591001 0 0 4096 0 0 0 0 17 1 0 0
/proc/13018/statm: 14916 13910 423 171 0 13841 0
Current children cumulated CPU time (s) 398.52
Current children cumulated vsize (KiB) 59664

[startup+462.301 s]
/proc/loadavg: 2.04 2.06 2.05 3/73 13056
/proc/meminfo: memFree=1249184/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=62528 CPUtime=458.02
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 16030 643 0 0 45790 12 0 0 25 0 1 0 58857678 64028672 14664 996147200 134512640 135215973 4294956320 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 15632 14664 423 171 0 14557 0
Current children cumulated CPU time (s) 458.02
Current children cumulated vsize (KiB) 62528

[startup+522.302 s]
/proc/loadavg: 2.01 2.05 2.04 3/73 13056
/proc/meminfo: memFree=955616/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=65420 CPUtime=517.99
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 16765 643 0 0 51786 13 0 0 25 0 1 0 58857678 66990080 15399 996147200 134512640 135215973 4294956320 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 16355 15399 423 171 0 15280 0
Current children cumulated CPU time (s) 517.99
Current children cumulated vsize (KiB) 65420

[startup+582.302 s]
/proc/loadavg: 2.00 2.04 2.04 3/73 13056
/proc/meminfo: memFree=951648/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=68956 CPUtime=577.98
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 17708 643 0 0 57784 14 0 0 25 0 1 0 58857678 70610944 16342 996147200 134512640 135215973 4294956320 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 17239 16342 423 171 0 16164 0
Current children cumulated CPU time (s) 577.98
Current children cumulated vsize (KiB) 68956

[startup+642.301 s]
/proc/loadavg: 2.00 2.03 2.03 3/73 13056
/proc/meminfo: memFree=948512/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=71968 CPUtime=637.95

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.01 2.02 3/73 13056
/proc/meminfo: memFree=926048/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=93812 CPUtime=817.88
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 24099 643 0 0 81768 20 0 0 25 0 1 0 58857678 96063488 22733 996147200 134512640 135215973 4294956320 18446744073709551615 134648240 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 23453 22733 423 171 0 22378 0
Current children cumulated CPU time (s) 817.88
Current children cumulated vsize (KiB) 93812

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.01 3/73 13056
/proc/meminfo: memFree=915104/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=108548 CPUtime=877.86
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 27853 643 0 0 87763 23 0 0 25 0 1 0 58857678 111153152 25462 996147200 134512640 135215973 4294956320 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 27137 25462 423 171 0 26062 0
Current children cumulated CPU time (s) 877.86
Current children cumulated vsize (KiB) 108548

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=907296/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=116268 CPUtime=937.83
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 29835 643 0 0 93758 25 0 0 25 0 1 0 58857678 119058432 27411 996147200 134512640 135215973 4294956320 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 29067 27411 423 171 0 27992 0
Current children cumulated CPU time (s) 937.83
Current children cumulated vsize (KiB) 116268

[startup+1002.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=899488/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=123824 CPUtime=997.82
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 31777 643 0 0 99754 28 0 0 25 0 1 0 58857678 126795776 29353 996147200 134512640 135215973 4294956320 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 30956 29353 423 171 0 29881 0
Current children cumulated CPU time (s) 997.82
Current children cumulated vsize (KiB) 123824

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=891552/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=131788 CPUtime=1057.79
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 33837 643 0 0 105749 30 0 0 25 0 1 0 58857678 134950912 31348 996147200 134512640 135215973 4294956320 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 32947 31348 423 171 0 31872 0
Current children cumulated CPU time (s) 1057.79
Current children cumulated vsize (KiB) 131788

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=884640/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=138464 CPUtime=1117.77
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 35538 643 0 0 111746 31 0 0 25 0 1 0 58857678 141787136 33049 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 34616 33049 423 171 0 33541 0
Current children cumulated CPU time (s) 1117.77
Current children cumulated vsize (KiB) 138464

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=876832/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=146024 CPUtime=1177.74
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 37493 643 0 0 117741 33 0 0 25 0 1 0 58857678 149528576 35004 996147200 134512640 135215973 4294956320 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 36506 35004 423 171 0 35431 0
Current children cumulated CPU time (s) 1177.74
Current children cumulated vsize (KiB) 146024

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=870368/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=152328 CPUtime=1237.72
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 39101 643 0 0 123736 36 0 0 25 0 1 0 58857678 155983872 36612 996147200 134512640 135215973 4294956320 18446744073709551615 134598586 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 38082 36612 423 171 0 37007 0
Current children cumulated CPU time (s) 1237.72
Current children cumulated vsize (KiB) 152328

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=864480/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=158220 CPUtime=1297.7
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 40588 643 0 0 129732 38 0 0 25 0 1 0 58857678 162017280 38099 996147200 134512640 135215973 4294956320 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 39555 38099 423 171 0 38480 0
Current children cumulated CPU time (s) 1297.7
Current children cumulated vsize (KiB) 158220

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=858400/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=164108 CPUtime=1357.68
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 42109 643 0 0 135729 39 0 0 25 0 1 0 58857678 168046592 39620 996147200 134512640 135215973 4294956320 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 41027 39620 423 171 0 39952 0
Current children cumulated CPU time (s) 1357.68
Current children cumulated vsize (KiB) 164108

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=852064/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=170932 CPUtime=1417.65
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 43840 643 0 0 141725 40 0 0 25 0 1 0 58857678 175034368 41351 996147200 134512640 135215973 4294956320 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 42733 41351 423 171 0 41658 0
Current children cumulated CPU time (s) 1417.65
Current children cumulated vsize (KiB) 170932

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=844576/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=177748 CPUtime=1477.63
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 45567 643 0 0 147721 42 0 0 25 0 1 0 58857678 182013952 43078 996147200 134512640 135215973 4294956320 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 44437 43078 423 171 0 43362 0
Current children cumulated CPU time (s) 1477.63
Current children cumulated vsize (KiB) 177748

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=838048/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=184020 CPUtime=1537.61
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 47179 643 0 0 153717 44 0 0 25 0 1 0 58857678 188436480 44690 996147200 134512640 135215973 4294956320 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 46005 44690 423 171 0 44930 0
Current children cumulated CPU time (s) 1537.61
Current children cumulated vsize (KiB) 184020

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=831200/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=190680 CPUtime=1597.59
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 48868 643 0 0 159714 45 0 0 25 0 1 0 58857678 195256320 46379 996147200 134512640 135215973 4294956320 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 47670 46379 423 171 0 46595 0
Current children cumulated CPU time (s) 1597.59
Current children cumulated vsize (KiB) 190680

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=824480/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=197220 CPUtime=1657.56
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 50543 643 0 0 165710 46 0 0 25 0 1 0 58857678 201953280 48054 996147200 134512640 135215973 4294956320 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 49305 48054 423 171 0 48230 0
Current children cumulated CPU time (s) 1657.56
Current children cumulated vsize (KiB) 197220

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=817056/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=204568 CPUtime=1717.53
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 52387 643 0 0 171705 48 0 0 25 0 1 0 58857678 209477632 49898 996147200 134512640 135215973 4294956320 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 51142 49898 423 171 0 50067 0
Current children cumulated CPU time (s) 1717.53
Current children cumulated vsize (KiB) 204568

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=809632/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=211640 CPUtime=1777.51
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 54188 643 0 0 177702 49 0 0 25 0 1 0 58857678 216719360 51699 996147200 134512640 135215973 4294956320 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 52910 51699 423 171 0 51835 0
Current children cumulated CPU time (s) 1777.51
Current children cumulated vsize (KiB) 211640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 13056
/proc/meminfo: memFree=807648/2055920 swapFree=4192812/4192956
[pid=13018] ppid=13016 vsize=213588 CPUtime=1800.01
/proc/13018/stat : 13018 (pcs.big) R 13016 13018 10876 0 -1 4194304 54708 643 0 0 179951 50 0 0 25 0 1 0 58857678 218714112 52219 996147200 134512640 135215973 4294956320 18446744073709551615 134591097 0 0 4096 0 0 0 0 17 0 0 0
/proc/13018/statm: 53397 52219 423 171 0 52322 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 213588

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.84
CPU time (s): 1800.06
CPU user time (s): 1799.52
CPU system time (s): 0.539917
CPU usage (%): 99.7352
Max. virtual memory (cumulated for all children) (KiB): 213588

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

runsolver used 2.6516 second user time and 5.54216 second system time

The end

Launcher Data 

Begin job on node4 at 2009-07-16 06:18:22
IDJOB=2080591
IDBENCH=57112
IDSOLVER=733
FILE ID=node4/2080591-1247717902
PBS_JOBID= 9521335
Free space on /tmp= 66412 MiB

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

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

MD5SUM BENCH= 2c2a315f78e02a36f39cc2b3c6ab1a62
RANDOM SEED=397076208

node4.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.213
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.213
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:        669552 kB
Buffers:         86888 kB
Cached:         499272 kB
SwapCached:          0 kB
Active:         898748 kB
Inactive:       408680 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        669552 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1760 kB
Writeback:           0 kB
Mapped:         741760 kB
Slab:            62488 kB
Committed_AS:  1242364 kB
PageTables:       3432 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= 66408 MiB
End job on node4 at 2009-07-16 06:48:29