Trace number 2080493

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.16 1803.07

General information on the benchmark

Namecsp/queensKnights/
normalized-queensKnights-15-5-add.xml
MD5SUMf79a29efc9f65a8d195d10c1647254fc
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 benchmark1.00785
Satisfiable
(Un)Satisfiability was proved
Number of variables20
Number of constraints115
Maximum constraint arity2
Maximum domain size225
Number of constraints which are defined in extension0
Number of constraints which are defined in intension115
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 2072190291
0.00/0.02	c Constructing HOME/instance-2080493-1247717802.xml 
0.00/0.03	c deduced all_different(V1,V2,V3,V4,V5,V6,V7,V8,V9,V10,V11,V12,V13,V14,V0)
0.00/0.03	c  with 561 constraints
0.00/0.03	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-2080493-1247717802/watcher-2080493-1247717802 -o /tmp/evaluation-result-2080493-1247717802/solver-2080493-1247717802 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2072190291 HOME/instance-2080493-1247717802.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.35 2.10 2.03 4/82 18748
/proc/meminfo: memFree=1301464/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=5356 CPUtime=0
/proc/18748/stat : 18748 (pcssolve) R 18746 18748 17970 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58842902 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 233402067615 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18748/statm: 1339 241 200 169 0 50 0
[pid=18749] ppid=18748 vsize=3676 CPUtime=0
/proc/18749/stat : 18749 (fgrep) R 18748 18748 17970 0 -1 4194304 140 0 0 0 0 0 0 0 22 0 1 0 58842902 3764224 107 996147200 4194304 4274172 548682068976 18446744073709551615 233402237010 0 0 4096 0 0 0 0 17 1 0 0
/proc/18749/statm: 919 107 85 19 0 43 0
[pid=18750] ppid=18748 vsize=5356 CPUtime=0
/proc/18750/stat : 18750 (pcssolve) R 18748 18748 17970 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 58842902 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 233402067615 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18750/statm: 1339 241 200 169 0 50 0

[startup+0.014122 s]
/proc/loadavg: 2.35 2.10 2.03 4/82 18748
/proc/meminfo: memFree=1301464/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=5356 CPUtime=0
/proc/18748/stat : 18748 (pcssolve) S 18746 18748 17970 0 -1 4194304 339 464 0 0 0 0 0 0 23 0 1 0 58842902 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18748/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101119 s]
/proc/loadavg: 2.35 2.10 2.03 4/82 18748
/proc/meminfo: memFree=1301464/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=5188 CPUtime=0.08
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 1010 647 0 0 8 0 0 0 23 0 1 0 58842902 5312512 641 996147200 134512640 135215973 4294956304 18446744073709551615 134589787 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 1297 641 422 171 0 222 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5188

[startup+0.301138 s]
/proc/loadavg: 2.35 2.10 2.03 4/82 18748
/proc/meminfo: memFree=1301464/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=5500 CPUtime=0.28
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 1067 647 0 0 28 0 0 0 25 0 1 0 58842902 5632000 698 996147200 134512640 135215973 4294956304 18446744073709551615 134583191 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 1375 698 422 171 0 300 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5500

[startup+0.70118 s]
/proc/loadavg: 2.35 2.10 2.03 4/82 18748
/proc/meminfo: memFree=1301464/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=5888 CPUtime=0.67
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 1152 647 0 0 67 0 0 0 25 0 1 0 58842902 6029312 783 996147200 134512640 135215973 4294956304 18446744073709551615 134583653 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 1472 783 422 171 0 397 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5888

[startup+1.50126 s]
/proc/loadavg: 2.33 2.10 2.03 3/83 18753
/proc/meminfo: memFree=1299592/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=6920 CPUtime=1.46
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 1436 647 0 0 146 0 0 0 25 0 1 0 58842902 7086080 1067 996147200 134512640 135215973 4294956304 18446744073709551615 134678866 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 1730 1067 422 171 0 655 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6920

[startup+3.10242 s]
/proc/loadavg: 2.33 2.10 2.03 3/83 18753
/proc/meminfo: memFree=1297928/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=8596 CPUtime=3.05
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 1860 647 0 0 305 0 0 0 25 0 1 0 58842902 8802304 1458 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 2149 1458 422 171 0 1074 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 8596

[startup+6.30174 s]
/proc/loadavg: 2.30 2.10 2.03 3/83 18753
/proc/meminfo: memFree=1295240/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=11204 CPUtime=6.22
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 2518 647 0 0 621 1 0 0 25 0 1 0 58842902 11472896 2051 996147200 134512640 135215973 4294956304 18446744073709551615 4158960258 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 2801 2051 422 171 0 1726 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 11204

[startup+12.7014 s]
/proc/loadavg: 2.27 2.10 2.03 3/83 18753
/proc/meminfo: memFree=1291224/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=14712 CPUtime=12.56
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 3478 647 0 0 1254 2 0 0 25 0 1 0 58842902 15065088 2978 996147200 134512640 135215973 4294956304 18446744073709551615 134648267 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 3678 2978 422 171 0 2603 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 14712

[startup+25.5017 s]
/proc/loadavg: 2.23 2.09 2.03 3/83 18753
/proc/meminfo: memFree=1286104/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=19904 CPUtime=25.24
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 4810 647 0 0 2522 2 0 0 25 0 1 0 58842902 20381696 4181 996147200 134512640 135215973 4294956304 18446744073709551615 134589125 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 4976 4181 422 171 0 3901 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 19904

[startup+51.1012 s]
/proc/loadavg: 2.14 2.08 2.02 3/83 18753
/proc/meminfo: memFree=1279448/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=26924 CPUtime=50.6
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 6711 647 0 0 5055 5 0 0 25 0 1 0 58842902 27570176 5888 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 6731 5888 422 171 0 5656 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 26924

[startup+102.306 s]
/proc/loadavg: 2.06 2.07 2.02 3/83 18753
/proc/meminfo: memFree=1261272/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=45052 CPUtime=101.32
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 11694 647 0 0 10122 10 0 0 25 0 1 0 58842902 46133248 10357 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 11263 10357 422 171 0 10188 0
Current children cumulated CPU time (s) 101.32
Current children cumulated vsize (KiB) 45052

[startup+162.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/83 18753
/proc/meminfo: memFree=1241240/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=65212 CPUtime=160.75
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 17224 647 0 0 16061 14 0 0 25 0 1 0 58842902 66777088 15374 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 16303 15374 422 171 0 15228 0
Current children cumulated CPU time (s) 160.75
Current children cumulated vsize (KiB) 65212

[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.01 3/83 18753
/proc/meminfo: memFree=1223704/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=85260 CPUtime=220.19
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 22597 647 0 0 21999 20 0 0 25 0 1 0 58842902 87306240 19722 996147200 134512640 135215973 4294956304 18446744073709551615 134609871 0 0 4096 0 0 0 0 17 1 0 0
/proc/18748/statm: 21315 19722 422 171 0 20240 0
Current children cumulated CPU time (s) 220.19
Current children cumulated vsize (KiB) 85260

[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 18795
/proc/meminfo: memFree=1344472/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=103556 CPUtime=279.93
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 27479 647 0 0 27967 26 0 0 25 0 1 0 58842902 106041344 24091 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 25889 24091 422 171 0 24814 0
Current children cumulated CPU time (s) 279.93
Current children cumulated vsize (KiB) 103556

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 18795
/proc/meminfo: memFree=1331608/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=114944 CPUtime=339.9
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 30535 647 0 0 33962 28 0 0 25 0 1 0 58842902 117702656 27147 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 28736 27147 422 171 0 27661 0
Current children cumulated CPU time (s) 339.9
Current children cumulated vsize (KiB) 114944

[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 18795
/proc/meminfo: memFree=1321880/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=124088 CPUtime=399.89
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 32892 647 0 0 39960 29 0 0 25 0 1 0 58842902 127066112 29504 996147200 134512640 135215973 4294956304 18446744073709551615 134589885 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 31022 29504 422 171 0 29947 0
Current children cumulated CPU time (s) 399.89
Current children cumulated vsize (KiB) 124088

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 18795
/proc/meminfo: memFree=1312600/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=132732 CPUtime=459.86
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 35159 647 0 0 45955 31 0 0 25 0 1 0 58842902 135917568 31771 996147200 134512640 135215973 4294956304 18446744073709551615 134609800 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 33183 31771 422 171 0 32108 0
Current children cumulated CPU time (s) 459.86
Current children cumulated vsize (KiB) 132732

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 18795
/proc/meminfo: memFree=1302040/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=142820 CPUtime=519.84
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 37842 647 0 0 51950 34 0 0 25 0 1 0 58842902 146247680 34454 996147200 134512640 135215973 4294956304 18446744073709551615 4158960683 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 35705 34454 422 171 0 34630 0
Current children cumulated CPU time (s) 519.84
Current children cumulated vsize (KiB) 142820

[startup+582.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18795
/proc/meminfo: memFree=1291744/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=152468 CPUtime=579.82
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 40468 647 0 0 57946 36 0 0 25 0 1 0 58842902 156127232 37080 996147200 134512640 135215973 4294956304 18446744073709551615 134605712 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 38117 37080 422 171 0 37042 0
Current children cumulated CPU time (s) 579.82
Current children cumulated vsize (KiB) 152468

[startup+642.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18795
/proc/meminfo: memFree=1278624/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=172164 CPUtime=639.8

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

[startup+822.302 s]
/proc/loadavg: 2.06 2.02 2.00 3/82 18795
/proc/meminfo: memFree=1237920/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=213672 CPUtime=819.73
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 56929 647 0 0 81923 50 0 0 25 0 1 0 58842902 218800128 50467 996147200 134512640 135215973 4294956304 18446744073709551615 134591031 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 53418 50467 422 171 0 52343 0
Current children cumulated CPU time (s) 819.73
Current children cumulated vsize (KiB) 213672

[startup+882.302 s]
/proc/loadavg: 2.06 2.03 2.00 3/82 18795
/proc/meminfo: memFree=1224416/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=226116 CPUtime=879.71
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 60289 647 0 0 87919 52 0 0 25 0 1 0 58842902 231542784 53827 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 56529 53827 422 171 0 55454 0
Current children cumulated CPU time (s) 879.71
Current children cumulated vsize (KiB) 226116

[startup+942.302 s]
/proc/loadavg: 2.22 2.08 2.02 3/82 18795
/proc/meminfo: memFree=1211936/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=237352 CPUtime=939.69
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 63392 647 0 0 93914 55 0 0 25 0 1 0 58842902 243048448 56930 996147200 134512640 135215973 4294956304 18446744073709551615 134533029 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 59338 56930 422 171 0 58263 0
Current children cumulated CPU time (s) 939.69
Current children cumulated vsize (KiB) 237352

[startup+1002.3 s]
/proc/loadavg: 2.11 2.08 2.02 3/82 18795
/proc/meminfo: memFree=1200032/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=247960 CPUtime=999.67
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 66308 647 0 0 99909 58 0 0 25 0 1 0 58842902 253911040 59846 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 61990 59846 422 171 0 60915 0
Current children cumulated CPU time (s) 999.67
Current children cumulated vsize (KiB) 247960

[startup+1062.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/82 18795
/proc/meminfo: memFree=1186464/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=260532 CPUtime=1059.65
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 69761 647 0 0 105904 61 0 0 25 0 1 0 58842902 266784768 63299 996147200 134512640 135215973 4294956304 18446744073709551615 134583418 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 65133 63299 422 171 0 64058 0
Current children cumulated CPU time (s) 1059.65
Current children cumulated vsize (KiB) 260532

[startup+1122.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/82 18795
/proc/meminfo: memFree=1172128/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=273228 CPUtime=1119.63
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 73266 647 0 0 111899 64 0 0 25 0 1 0 58842902 279785472 66804 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 68307 66804 422 171 0 67232 0
Current children cumulated CPU time (s) 1119.63
Current children cumulated vsize (KiB) 273228

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/82 18795
/proc/meminfo: memFree=1159392/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=301396 CPUtime=1179.61
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 80598 647 0 0 117891 70 0 0 25 0 1 0 58842902 308629504 70039 996147200 134512640 135215973 4294956304 18446744073709551615 135097798 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 75349 70039 422 171 0 74274 0
Current children cumulated CPU time (s) 1179.61
Current children cumulated vsize (KiB) 301396

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 18795
/proc/meminfo: memFree=1145760/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=313572 CPUtime=1239.58
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 83950 647 0 0 123885 73 0 0 25 0 1 0 58842902 321097728 73391 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 78393 73391 422 171 0 77318 0
Current children cumulated CPU time (s) 1239.58
Current children cumulated vsize (KiB) 313572

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 18795
/proc/meminfo: memFree=1134112/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=324180 CPUtime=1299.56
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 86849 647 0 0 129881 75 0 0 25 0 1 0 58842902 331960320 76290 996147200 134512640 135215973 4294956304 18446744073709551615 134999875 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 81045 76290 422 171 0 79970 0
Current children cumulated CPU time (s) 1299.56
Current children cumulated vsize (KiB) 324180

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 18795
/proc/meminfo: memFree=1122144/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=335068 CPUtime=1359.54
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 89858 647 0 0 135875 79 0 0 25 0 1 0 58842902 343109632 79299 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 83767 79299 422 171 0 82692 0
Current children cumulated CPU time (s) 1359.54
Current children cumulated vsize (KiB) 335068

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 18795
/proc/meminfo: memFree=1110496/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=345380 CPUtime=1419.52
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 92752 647 0 0 141871 81 0 0 25 0 1 0 58842902 353669120 82193 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 86345 82193 422 171 0 85270 0
Current children cumulated CPU time (s) 1419.52
Current children cumulated vsize (KiB) 345380

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18795
/proc/meminfo: memFree=1099808/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=354792 CPUtime=1479.49
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 95408 647 0 0 147865 84 0 0 25 0 1 0 58842902 363307008 84849 996147200 134512640 135215973 4294956304 18446744073709551615 4158960064 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 88698 84849 422 171 0 87623 0
Current children cumulated CPU time (s) 1479.49
Current children cumulated vsize (KiB) 354792

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18795
/proc/meminfo: memFree=1088544/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=364860 CPUtime=1539.48
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 98200 647 0 0 153861 87 0 0 25 0 1 0 58842902 373616640 87641 996147200 134512640 135215973 4294956304 18446744073709551615 134680644 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 91215 87641 422 171 0 90140 0
Current children cumulated CPU time (s) 1539.48
Current children cumulated vsize (KiB) 364860

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18795
/proc/meminfo: memFree=1076896/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=375464 CPUtime=1599.46
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 101127 647 0 0 159856 90 0 0 25 0 1 0 58842902 384475136 90568 996147200 134512640 135215973 4294956304 18446744073709551615 4158960249 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 93866 90568 422 171 0 92791 0
Current children cumulated CPU time (s) 1599.46
Current children cumulated vsize (KiB) 375464

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 18795
/proc/meminfo: memFree=1066208/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=385252 CPUtime=1659.43
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 103786 647 0 0 165851 92 0 0 25 0 1 0 58842902 394498048 93227 996147200 134512640 135215973 4294956304 18446744073709551615 134584959 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 96313 93227 422 171 0 95238 0
Current children cumulated CPU time (s) 1659.43
Current children cumulated vsize (KiB) 385252

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/82 18795
/proc/meminfo: memFree=1055776/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=394784 CPUtime=1719.4
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 106419 647 0 0 171845 95 0 0 25 0 1 0 58842902 404258816 95860 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 98696 95860 422 171 0 97621 0
Current children cumulated CPU time (s) 1719.4
Current children cumulated vsize (KiB) 394784

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/82 18795
/proc/meminfo: memFree=1042400/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=406964 CPUtime=1779.38
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 109719 647 0 0 177840 98 0 0 25 0 1 0 58842902 416731136 99160 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 101741 99160 422 171 0 100666 0
Current children cumulated CPU time (s) 1779.38
Current children cumulated vsize (KiB) 406964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803 s]
/proc/loadavg: 2.01 2.00 2.00 3/82 18795
/proc/meminfo: memFree=1037024/2055920 swapFree=4192812/4192956
[pid=18748] ppid=18746 vsize=411952 CPUtime=1800.09
/proc/18748/stat : 18748 (pcs.big) R 18746 18748 17970 0 -1 4194304 111056 647 0 0 179909 100 0 0 25 0 1 0 58842902 421838848 100497 996147200 134512640 135215973 4294956304 18446744073709551615 4158961423 0 0 4096 0 0 0 0 17 0 0 0
/proc/18748/statm: 102988 100497 422 171 0 101913 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 411952

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): 1803.07
CPU time (s): 1800.16
CPU user time (s): 1799.09
CPU system time (s): 1.06984
CPU usage (%): 99.8389
Max. virtual memory (cumulated for all children) (KiB): 411952

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

runsolver used 1.60476 second user time and 5.22621 second system time

The end

Launcher Data 

Begin job on node70 at 2009-07-16 06:16:42
IDJOB=2080493
IDBENCH=57096
IDSOLVER=734
FILE ID=node70/2080493-1247717802
PBS_JOBID= 9521442
Free space on /tmp= 66432 MiB

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

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

MD5SUM BENCH= f79a29efc9f65a8d195d10c1647254fc
RANDOM SEED=2072190291

node70.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.214
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.214
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:       1301944 kB
Buffers:         84508 kB
Cached:         410192 kB
SwapCached:          0 kB
Active:         329412 kB
Inactive:       342640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1301944 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1724 kB
Writeback:           0 kB
Mapped:         197756 kB
Slab:            66908 kB
Committed_AS:   965720 kB
PageTables:       2128 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= 66432 MiB
End job on node70 at 2009-07-16 06:46:47