Trace number 2080602

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.12 1805.28

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.18/0.23	c Seed is 2132591534
0.18/0.23	c Constructing HOME/instance-2080602-1247717909.xml 
0.18/0.23	c deduced all_different(V2,V4,V6,V0)
0.18/0.23	c deduced all_different(V3,V5,V7,V1)
0.18/0.23	c deduced all_different(V1,V3,V5,V8)
0.18/0.23	c  with 273 constraints
0.18/0.23	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-2080602-1247717909/watcher-2080602-1247717909 -o /tmp/evaluation-result-2080602-1247717909/solver-2080602-1247717909 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2132591534 HOME/instance-2080602-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.27 2.10 2.02 4/72 7483
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=18576 CPUtime=0
/proc/7483/stat : 7483 (runsolver) R 7481 7483 5643 0 -1 4194368 15 0 0 0 0 0 0 0 22 0 1 0 58857261 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 253307186471 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7483/statm: 4644 284 249 26 0 2626 0

[startup+0.0713371 s]
/proc/loadavg: 2.27 2.10 2.02 4/72 7483
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=4792 CPUtime=0.05
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 918 643 0 0 5 0 0 0 18 0 1 0 58857261 4907008 549 996147200 134512640 135215973 4294956304 18446744073709551615 134585491 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 1198 549 420 171 0 123 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4792

[startup+0.10134 s]
/proc/loadavg: 2.27 2.10 2.02 4/72 7483
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=5048 CPUtime=0.08
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 965 643 0 0 8 0 0 0 18 0 1 0 58857261 5169152 596 996147200 134512640 135215973 4294956304 18446744073709551615 134599856 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 1262 596 420 171 0 187 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5048

[startup+0.301361 s]
/proc/loadavg: 2.27 2.10 2.02 4/72 7483
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=6140 CPUtime=0.28
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 1241 643 0 0 28 0 0 0 19 0 1 0 58857261 6287360 872 996147200 134512640 135215973 4294956304 18446744073709551615 134604841 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 1535 872 420 171 0 460 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6140

[startup+0.701394 s]
/proc/loadavg: 2.27 2.10 2.02 4/72 7483
/proc/meminfo: memFree=1375800/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=7192 CPUtime=0.68
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 1515 643 0 0 68 0 0 0 23 0 1 0 58857261 7364608 1146 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 1798 1146 420 171 0 723 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7192

[startup+1.50147 s]
/proc/loadavg: 2.27 2.10 2.02 3/73 7488
/proc/meminfo: memFree=1371120/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=11672 CPUtime=1.47
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 2620 643 0 0 146 1 0 0 25 0 1 0 58857261 11952128 2251 996147200 134512640 135215973 4294956304 18446744073709551615 4158960148 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 2918 2251 420 171 0 1843 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 11672

[startup+3.10161 s]
/proc/loadavg: 2.25 2.10 2.02 3/73 7488
/proc/meminfo: memFree=1365040/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=20108 CPUtime=3.05
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 4733 643 0 0 304 1 0 0 25 0 1 0 58857261 20590592 4364 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 5027 4364 420 171 0 3952 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 20108

[startup+6.30191 s]
/proc/loadavg: 2.25 2.10 2.02 3/73 7488
/proc/meminfo: memFree=1348208/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=33284 CPUtime=6.23
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 8034 643 0 0 620 3 0 0 25 0 1 0 58857261 34082816 7547 996147200 134512640 135215973 4294956304 18446744073709551615 134902472 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 8321 7547 420 171 0 7246 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 33284

[startup+12.7015 s]
/proc/loadavg: 2.21 2.10 2.02 3/73 7488
/proc/meminfo: memFree=1345392/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=35784 CPUtime=12.58
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 8808 643 0 0 1255 3 0 0 25 0 1 0 58857261 36642816 8216 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 8946 8216 420 171 0 7871 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 35784

[startup+25.5016 s]
/proc/loadavg: 2.17 2.09 2.02 3/73 7488
/proc/meminfo: memFree=1280816/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=101072 CPUtime=25.28
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 25105 643 0 0 2518 10 0 0 25 0 1 0 58857261 103497728 24351 996147200 134512640 135215973 4294956304 18446744073709551615 134532941 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 25268 24351 420 171 0 24193 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 101072

[startup+51.102 s]
/proc/loadavg: 2.11 2.08 2.02 3/73 7488
/proc/meminfo: memFree=1156400/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=226428 CPUtime=50.67
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 56463 643 0 0 5045 22 0 0 25 0 1 0 58857261 231862272 55709 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 56607 55709 420 171 0 55532 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 226428

[startup+102.306 s]
/proc/loadavg: 2.04 2.07 2.01 3/73 7488
/proc/meminfo: memFree=987952/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=392988 CPUtime=101.47
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 99797 643 0 0 10108 39 0 0 25 0 1 0 58857261 402419712 96926 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 98247 96926 423 171 0 97172 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 392988

[startup+162.301 s]
/proc/loadavg: 2.02 2.05 2.01 3/73 7488
/proc/meminfo: memFree=978928/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=401672 CPUtime=160.98
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 102012 643 0 0 16057 41 0 0 25 0 1 0 58857261 411312128 99027 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 100418 99027 423 171 0 99343 0
Current children cumulated CPU time (s) 160.98
Current children cumulated vsize (KiB) 401672

[startup+222.302 s]
/proc/loadavg: 2.00 2.04 2.00 3/73 7488
/proc/meminfo: memFree=925360/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=454176 CPUtime=220.45
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 115308 643 0 0 21999 46 0 0 25 0 1 0 58857261 465076224 112323 996147200 134512640 135215973 4294956304 18446744073709551615 134532701 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 113544 112323 423 171 0 112469 0
Current children cumulated CPU time (s) 220.45
Current children cumulated vsize (KiB) 454176

[startup+282.302 s]
/proc/loadavg: 2.00 2.03 2.00 3/73 7488
/proc/meminfo: memFree=875888/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=501460 CPUtime=279.97
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 127188 643 0 0 27946 51 0 0 25 0 1 0 58857261 513495040 124203 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 125365 124203 423 171 0 124290 0
Current children cumulated CPU time (s) 279.97
Current children cumulated vsize (KiB) 501460

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 7488
/proc/meminfo: memFree=873008/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=503336 CPUtime=339.47
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 127662 643 0 0 33895 52 0 0 25 0 1 0 58857261 515416064 124659 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 125834 124659 423 171 0 124759 0
Current children cumulated CPU time (s) 339.47
Current children cumulated vsize (KiB) 503336

[startup+402.302 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 7488
/proc/meminfo: memFree=870960/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=504156 CPUtime=398.99
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 127938 643 0 0 39846 53 0 0 25 0 1 0 58857261 516255744 124915 996147200 134512640 135215973 4294956304 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 126039 124915 423 171 0 124964 0
Current children cumulated CPU time (s) 398.99
Current children cumulated vsize (KiB) 504156

[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 7488
/proc/meminfo: memFree=869360/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=504704 CPUtime=458.46
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128138 643 0 0 45793 53 0 0 25 0 1 0 58857261 516816896 125075 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 126176 125075 423 171 0 125101 0
Current children cumulated CPU time (s) 458.46
Current children cumulated vsize (KiB) 504704

[startup+522.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 7488
/proc/meminfo: memFree=868080/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=504704 CPUtime=517.9
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128182 643 0 0 51737 53 0 0 25 0 1 0 58857261 516816896 125119 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 1 0 0
/proc/7483/statm: 126176 125119 423 171 0 125101 0
Current children cumulated CPU time (s) 517.9
Current children cumulated vsize (KiB) 504704

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=879272/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=504832 CPUtime=577.59
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128224 643 0 0 57705 54 0 0 25 0 1 0 58857261 516947968 125161 996147200 134512640 135215973 4294956304 18446744073709551615 134599842 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126208 125161 423 171 0 125133 0
Current children cumulated CPU time (s) 577.59
Current children cumulated vsize (KiB) 504832

[startup+642.302 s]
/proc/loadavg: 2.19 2.05 2.01 3/82 7530
/proc/meminfo: memFree=879016/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=505088 CPUtime=637.58
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128267 643 0 0 63704 54 0 0 25 0 1 0 58857261 517210112 125204 996147200 134512640 135215973 4294956304 18446744073709551615 134581701 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126272 125204 423 171 0 125197 0
Current children cumulated CPU time (s) 637.58
Current children cumulated vsize (KiB) 505088

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 2.01 2.02 2.00 4/82 7530
/proc/meminfo: memFree=878248/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=505604 CPUtime=817.51
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128410 643 0 0 81696 55 0 0 25 0 1 0 58857261 517738496 125347 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126401 125347 423 171 0 125326 0
Current children cumulated CPU time (s) 817.51
Current children cumulated vsize (KiB) 505604

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 7530
/proc/meminfo: memFree=877928/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=505860 CPUtime=877.49
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128487 643 0 0 87694 55 0 0 25 0 1 0 58857261 518000640 125424 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126465 125424 423 171 0 125390 0
Current children cumulated CPU time (s) 877.49
Current children cumulated vsize (KiB) 505860

[startup+942.302 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 7530
/proc/meminfo: memFree=877608/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506096 CPUtime=937.46
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128551 643 0 0 93691 55 0 0 25 0 1 0 58857261 518242304 125488 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126524 125488 423 171 0 125449 0
Current children cumulated CPU time (s) 937.46
Current children cumulated vsize (KiB) 506096

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=877416/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506224 CPUtime=997.44
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128603 643 0 0 99689 55 0 0 25 0 1 0 58857261 518373376 125540 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126556 125540 423 171 0 125481 0
Current children cumulated CPU time (s) 997.44
Current children cumulated vsize (KiB) 506224

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=877288/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506356 CPUtime=1057.41
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128639 643 0 0 105686 55 0 0 25 0 1 0 58857261 518508544 125576 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126589 125576 423 171 0 125514 0
Current children cumulated CPU time (s) 1057.41
Current children cumulated vsize (KiB) 506356

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=877096/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506484 CPUtime=1117.38
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128689 643 0 0 111683 55 0 0 25 0 1 0 58857261 518639616 125626 996147200 134512640 135215973 4294956304 18446744073709551615 134591071 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126621 125626 423 171 0 125546 0
Current children cumulated CPU time (s) 1117.38
Current children cumulated vsize (KiB) 506484

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=876968/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506612 CPUtime=1177.37
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128722 643 0 0 117681 56 0 0 25 0 1 0 58857261 518770688 125659 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126653 125659 423 171 0 125578 0
Current children cumulated CPU time (s) 1177.37
Current children cumulated vsize (KiB) 506612

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=876584/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=506872 CPUtime=1237.34
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128768 643 0 0 123678 56 0 0 25 0 1 0 58857261 519036928 125705 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126718 125705 423 171 0 125643 0
Current children cumulated CPU time (s) 1237.34
Current children cumulated vsize (KiB) 506872

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=876328/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507136 CPUtime=1297.32
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128837 643 0 0 129676 56 0 0 25 0 1 0 58857261 519307264 125774 996147200 134512640 135215973 4294956304 18446744073709551615 134590016 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126784 125774 423 171 0 125709 0
Current children cumulated CPU time (s) 1297.32
Current children cumulated vsize (KiB) 507136

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=876136/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507260 CPUtime=1357.29
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128887 643 0 0 135673 56 0 0 25 0 1 0 58857261 519434240 125824 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126815 125824 423 171 0 125740 0
Current children cumulated CPU time (s) 1357.29
Current children cumulated vsize (KiB) 507260

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=875944/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507392 CPUtime=1417.28
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128935 643 0 0 141672 56 0 0 25 0 1 0 58857261 519569408 125872 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126848 125872 423 171 0 125773 0
Current children cumulated CPU time (s) 1417.28
Current children cumulated vsize (KiB) 507392

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=875752/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507676 CPUtime=1477.24
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 128991 643 0 0 147668 56 0 0 25 0 1 0 58857261 519860224 125928 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126919 125928 423 171 0 125844 0
Current children cumulated CPU time (s) 1477.24
Current children cumulated vsize (KiB) 507676

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=875560/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507676 CPUtime=1537.23
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 129035 643 0 0 153666 57 0 0 25 0 1 0 58857261 519860224 125972 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126919 125972 423 171 0 125844 0
Current children cumulated CPU time (s) 1537.23
Current children cumulated vsize (KiB) 507676

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=875368/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=507936 CPUtime=1597.2
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 129091 643 0 0 159663 57 0 0 25 0 1 0 58857261 520126464 126028 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 126984 126028 423 171 0 125909 0
Current children cumulated CPU time (s) 1597.2
Current children cumulated vsize (KiB) 507936

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=874344/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=508856 CPUtime=1657.18
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 129349 643 0 0 165660 58 0 0 25 0 1 0 58857261 521068544 126286 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 127214 126286 423 171 0 126139 0
Current children cumulated CPU time (s) 1657.18
Current children cumulated vsize (KiB) 508856

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=872424/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=516924 CPUtime=1717.16
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 131446 643 0 0 171657 59 0 0 25 0 1 0 58857261 529330176 127358 996147200 134512640 135215973 4294956304 18446744073709551615 4158961004 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 129231 127358 423 171 0 128156 0
Current children cumulated CPU time (s) 1717.16
Current children cumulated vsize (KiB) 516924

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=868904/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=517564 CPUtime=1777.14
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 131687 643 0 0 177654 60 0 0 25 0 1 0 58857261 529985536 127599 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 129391 127599 423 171 0 128316 0
Current children cumulated CPU time (s) 1777.14
Current children cumulated vsize (KiB) 517564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 7530
/proc/meminfo: memFree=868712/2055920 swapFree=4192812/4192956
[pid=7483] ppid=7481 vsize=517820 CPUtime=1800.03
/proc/7483/stat : 7483 (pcs.big) R 7481 7483 5643 0 -1 4194304 131745 643 0 0 179943 60 0 0 25 0 1 0 58857261 530247680 127657 996147200 134512640 135215973 4294956304 18446744073709551615 134590036 0 0 4096 0 0 0 0 17 0 0 0
/proc/7483/statm: 129455 127657 423 171 0 128380 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 517820

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): 1805.28
CPU time (s): 1800.12
CPU user time (s): 1799.44
CPU system time (s): 0.683896
CPU usage (%): 99.7142
Max. virtual memory (cumulated for all children) (KiB): 520496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.683896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132388
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= 18
involuntary context switches= 16178

runsolver used 1.80073 second user time and 5.03024 second system time

The end

Launcher Data 

Begin job on node25 at 2009-07-16 06:18:29
IDJOB=2080602
IDBENCH=57114
IDSOLVER=733
FILE ID=node25/2080602-1247717909
PBS_JOBID= 9521476
Free space on /tmp= 66312 MiB

SOLVER NAME= pcs 0.2
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-2080602-1247717909/watcher-2080602-1247717909 -o /tmp/evaluation-result-2080602-1247717909/solver-2080602-1247717909 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2132591534 HOME/instance-2080602-1247717909.xml

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

MD5SUM BENCH= e3d61a77ece532324ef1261b9e5f0982
RANDOM SEED=2132591534

node25.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.231
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.231
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:       1376280 kB
Buffers:         83404 kB
Cached:         480860 kB
SwapCached:          0 kB
Active:         122372 kB
Inactive:       481464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1376280 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1952 kB
Writeback:           0 kB
Mapped:          51032 kB
Slab:            61176 kB
Committed_AS:   468140 kB
PageTables:       1900 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= 66312 MiB
End job on node25 at 2009-07-16 06:48:36