Trace number 2080558

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.14 1805.07

General information on the benchmark

Namecsp/knights/
normalized-knights-12-9.xml
MD5SUM88a8a34b19289d35e9ed9938496c3815
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.945856
Satisfiable
(Un)Satisfiability was proved
Number of variables9
Number of constraints36
Maximum constraint arity2
Maximum domain size144
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.01	c Seed is 1405203021
0.00/0.01	c Constructing HOME/instance-2080558-1247717862.xml 
0.00/0.01	c deduced all_different(V2,V4,V6,V0)
0.00/0.01	c deduced all_different(V3,V5,V7,V1)
0.00/0.01	c deduced all_different(V1,V3,V5,V8)
0.00/0.01	c  with 273 constraints
0.00/0.01	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-2080558-1247717862/watcher-2080558-1247717862 -o /tmp/evaluation-result-2080558-1247717862/solver-2080558-1247717862 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1405203021 HOME/instance-2080558-1247717862.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: 1.98 2.07 2.02 4/83 14250
/proc/meminfo: memFree=1173032/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=5356 CPUtime=0
/proc/14250/stat : 14250 (pcssolve) S 14248 14250 13887 0 -1 4194304 305 0 0 0 0 0 0 0 18 0 1 0 58851413 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14250/statm: 1339 242 201 169 0 50 0
[pid=14251] ppid=14250 vsize=5356 CPUtime=0
/proc/14251/stat : 14251 (pcssolve) R 14250 14250 13887 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 58851413 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 270187162919 0 0 4096 0 0 0 0 17 1 0 0
/proc/14251/statm: 1339 243 202 169 0 50 0
[pid=14252] ppid=14250 vsize=3676 CPUtime=0
/proc/14252/stat : 14252 (grep) S 14250 14250 13887 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 58851413 3764224 121 996147200 4194304 4274172 548682069040 18446744073709551615 270187331666 0 0 4096 0 18446744071563648864 0 0 17 0 0 0
/proc/14252/statm: 919 121 99 19 0 43 0

[startup+0.042309 s]
/proc/loadavg: 1.98 2.07 2.02 4/83 14250
/proc/meminfo: memFree=1173032/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=4632 CPUtime=0.03
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 887 642 0 0 3 0 0 0 22 0 1 0 58851413 4743168 518 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 1158 518 420 171 0 83 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4632

[startup+0.101314 s]
/proc/loadavg: 1.98 2.07 2.02 4/83 14250
/proc/meminfo: memFree=1173032/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=4792 CPUtime=0.08
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 917 642 0 0 8 0 0 0 22 0 1 0 58851413 4907008 548 996147200 134512640 135215973 4294956304 18446744073709551615 134583604 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 1198 548 423 171 0 123 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4792

[startup+0.301338 s]
/proc/loadavg: 1.98 2.07 2.02 4/83 14250
/proc/meminfo: memFree=1173032/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=5096 CPUtime=0.28
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 997 642 0 0 28 0 0 0 23 0 1 0 58851413 5218304 628 996147200 134512640 135215973 4294956304 18446744073709551615 134974016 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 1274 628 423 171 0 199 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5096

[startup+0.701386 s]
/proc/loadavg: 1.98 2.07 2.02 4/83 14250
/proc/meminfo: memFree=1173032/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=5748 CPUtime=0.68
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 1133 642 0 0 68 0 0 0 25 0 1 0 58851413 5885952 764 996147200 134512640 135215973 4294956304 18446744073709551615 134532680 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 1437 764 423 171 0 362 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 5748

[startup+1.50148 s]
/proc/loadavg: 1.98 2.07 2.02 3/84 14255
/proc/meminfo: memFree=1171168/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=6660 CPUtime=1.47
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 1367 642 0 0 147 0 0 0 25 0 1 0 58851413 6819840 965 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 1665 965 423 171 0 590 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6660

[startup+3.10166 s]
/proc/loadavg: 1.98 2.07 2.02 3/84 14255
/proc/meminfo: memFree=1170272/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=7836 CPUtime=3.07
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 1699 642 0 0 306 1 0 0 25 0 1 0 58851413 8024064 1297 996147200 134512640 135215973 4294956304 18446744073709551615 134989845 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 1959 1297 423 171 0 884 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 7836

[startup+6.30103 s]
/proc/loadavg: 1.98 2.07 2.02 3/84 14255
/proc/meminfo: memFree=1167456/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=10128 CPUtime=6.23
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 2285 642 0 0 622 1 0 0 25 0 1 0 58851413 10371072 1818 996147200 134512640 135215973 4294956304 18446744073709551615 134680659 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 2532 1818 423 171 0 1457 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 10128

[startup+12.7018 s]
/proc/loadavg: 1.98 2.06 2.02 3/84 14255
/proc/meminfo: memFree=1164960/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=12204 CPUtime=12.58
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 2852 642 0 0 1256 2 0 0 25 0 1 0 58851413 12496896 2385 996147200 134512640 135215973 4294956304 18446744073709551615 134599824 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 3051 2385 423 171 0 1976 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 12204

[startup+25.5012 s]
/proc/loadavg: 1.99 2.06 2.02 3/84 14255
/proc/meminfo: memFree=1161952/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=15592 CPUtime=25.27
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 3718 642 0 0 2525 2 0 0 25 0 1 0 58851413 15966208 3122 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 3898 3122 423 171 0 2823 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 15592

[startup+51.1012 s]
/proc/loadavg: 1.99 2.05 2.02 3/84 14255
/proc/meminfo: memFree=1156512/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=20920 CPUtime=50.65
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 5114 642 0 0 5061 4 0 0 25 0 1 0 58851413 21422080 4518 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 5230 4518 423 171 0 4155 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 20920

[startup+102.305 s]
/proc/loadavg: 1.99 2.04 2.01 3/84 14255
/proc/meminfo: memFree=1129568/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=40660 CPUtime=101.42
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 10183 642 0 0 10135 7 0 0 25 0 1 0 58851413 41635840 9330 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 10165 9330 423 171 0 9090 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 40660

[startup+162.302 s]
/proc/loadavg: 1.99 2.03 2.01 3/84 14255
/proc/meminfo: memFree=1096096/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=58832 CPUtime=160.9
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 14871 642 0 0 16079 11 0 0 25 0 1 0 58851413 60243968 13985 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 14708 13985 423 171 0 13633 0
Current children cumulated CPU time (s) 160.9
Current children cumulated vsize (KiB) 58832

[startup+222.302 s]
/proc/loadavg: 1.99 2.03 2.00 3/84 14255
/proc/meminfo: memFree=1060896/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=75588 CPUtime=220.4
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 19140 642 0 0 22025 15 0 0 25 0 1 0 58851413 77402112 17741 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 18897 17741 423 171 0 17822 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 75588

[startup+282.302 s]
/proc/loadavg: 1.99 2.02 2.00 3/84 14255
/proc/meminfo: memFree=1035872/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=84624 CPUtime=279.88
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 21481 642 0 0 27972 16 0 0 25 0 1 0 58851413 86654976 20082 996147200 134512640 135215973 4294956304 18446744073709551615 134999676 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 21156 20082 423 171 0 20081 0
Current children cumulated CPU time (s) 279.88
Current children cumulated vsize (KiB) 84624

[startup+342.302 s]
/proc/loadavg: 1.99 2.01 2.00 3/84 14255
/proc/meminfo: memFree=1006568/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=93772 CPUtime=339.37
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 23826 642 0 0 33919 18 0 0 25 0 1 0 58851413 96022528 22427 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 23443 22427 423 171 0 22368 0
Current children cumulated CPU time (s) 339.37
Current children cumulated vsize (KiB) 93772

[startup+402.301 s]
/proc/loadavg: 1.99 2.01 2.00 3/84 14255
/proc/meminfo: memFree=982568/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=102416 CPUtime=398.86
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 26069 642 0 0 39866 20 0 0 25 0 1 0 58851413 104873984 24670 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 25604 24670 423 171 0 24529 0
Current children cumulated CPU time (s) 398.86
Current children cumulated vsize (KiB) 102416

[startup+462.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/84 14255
/proc/meminfo: memFree=952808/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=112612 CPUtime=458.35
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 28697 642 0 0 45812 23 0 0 25 0 1 0 58851413 115314688 27298 996147200 134512640 135215973 4294956304 18446744073709551615 10355267 0 0 4096 0 0 0 0 17 1 0 0
/proc/14250/statm: 28153 27298 423 171 0 27078 0
Current children cumulated CPU time (s) 458.35
Current children cumulated vsize (KiB) 112612

[startup+522.301 s]
/proc/loadavg: 1.99 2.00 2.00 3/83 14296
/proc/meminfo: memFree=1511544/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=126040 CPUtime=517.85
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 32159 642 0 0 51758 27 0 0 25 0 1 0 58851413 129064960 30760 996147200 134512640 135215973 4294956304 18446744073709551615 134589874 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 31510 30760 423 171 0 30435 0
Current children cumulated CPU time (s) 517.85
Current children cumulated vsize (KiB) 126040

[startup+582.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/83 14298
/proc/meminfo: memFree=1437544/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=147428 CPUtime=577.82
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 37606 642 0 0 57749 33 0 0 25 0 1 0 58851413 150966272 35117 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 36857 35117 423 171 0 35782 0
Current children cumulated CPU time (s) 577.82
Current children cumulated vsize (KiB) 147428

[startup+642.302 s]
/proc/loadavg: 2.01 2.01 2.00 3/83 14298
/proc/meminfo: memFree=1421480/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=160488 CPUtime=637.81

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

[startup+822.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1376168/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=202980 CPUtime=817.73
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 51913 642 0 0 81724 49 0 0 25 0 1 0 58851413 207851520 49295 996147200 134512640 135215973 4294956304 18446744073709551615 4158960587 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 50745 49295 423 171 0 49670 0
Current children cumulated CPU time (s) 817.73
Current children cumulated vsize (KiB) 202980

[startup+882.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1361128/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=216980 CPUtime=877.71
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 55481 642 0 0 87718 53 0 0 25 0 1 0 58851413 222187520 52863 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 54245 52863 423 171 0 53170 0
Current children cumulated CPU time (s) 877.71
Current children cumulated vsize (KiB) 216980

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1346472/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=231392 CPUtime=937.68
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 59156 642 0 0 93711 57 0 0 25 0 1 0 58851413 236945408 56538 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 57848 56538 423 171 0 56773 0
Current children cumulated CPU time (s) 937.68
Current children cumulated vsize (KiB) 231392

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 14298
/proc/meminfo: memFree=1332648/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=244744 CPUtime=997.66
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 62591 642 0 0 99706 60 0 0 25 0 1 0 58851413 250617856 59973 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 61186 59973 423 171 0 60111 0
Current children cumulated CPU time (s) 997.66
Current children cumulated vsize (KiB) 244744

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 14298
/proc/meminfo: memFree=1319336/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=258608 CPUtime=1057.64
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 66187 642 0 0 105700 64 0 0 25 0 1 0 58851413 264814592 63312 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 64652 63312 423 171 0 63577 0
Current children cumulated CPU time (s) 1057.64
Current children cumulated vsize (KiB) 258608

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1307624/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=269964 CPUtime=1117.61
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 69071 642 0 0 111694 67 0 0 25 0 1 0 58851413 276443136 66196 996147200 134512640 135215973 4294956304 18446744073709551615 4158960484 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 67491 66196 423 171 0 66416 0
Current children cumulated CPU time (s) 1117.61
Current children cumulated vsize (KiB) 269964

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1292392/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=284652 CPUtime=1177.6
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 72880 642 0 0 117688 72 0 0 25 0 1 0 58851413 291483648 70005 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 71163 70005 423 171 0 70088 0
Current children cumulated CPU time (s) 1177.6
Current children cumulated vsize (KiB) 284652

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1276904/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=299204 CPUtime=1237.57
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 76660 642 0 0 123682 75 0 0 25 0 1 0 58851413 306384896 73785 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 74801 73785 423 171 0 73726 0
Current children cumulated CPU time (s) 1237.57
Current children cumulated vsize (KiB) 299204

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1264616/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=310964 CPUtime=1297.55
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 79683 642 0 0 129676 79 0 0 25 0 1 0 58851413 318427136 76808 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 77741 76808 423 171 0 76666 0
Current children cumulated CPU time (s) 1297.55
Current children cumulated vsize (KiB) 310964

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1252456/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=323016 CPUtime=1357.53
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 82752 642 0 0 135671 82 0 0 25 0 1 0 58851413 330768384 79877 996147200 134512640 135215973 4294956304 18446744073709551615 134648240 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 80754 79877 423 171 0 79679 0
Current children cumulated CPU time (s) 1357.53
Current children cumulated vsize (KiB) 323016

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1242728/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=332440 CPUtime=1417.51
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 85164 642 0 0 141666 85 0 0 25 0 1 0 58851413 340418560 82289 996147200 134512640 135215973 4294956304 18446744073709551615 4158960028 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 83110 82289 423 171 0 82035 0
Current children cumulated CPU time (s) 1417.51
Current children cumulated vsize (KiB) 332440

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1233576/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=341444 CPUtime=1477.48
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 87476 642 0 0 147660 88 0 0 25 0 1 0 58851413 349638656 84601 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 85361 84601 423 171 0 84286 0
Current children cumulated CPU time (s) 1477.48
Current children cumulated vsize (KiB) 341444

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1216488/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=364516 CPUtime=1537.45
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 93292 642 0 0 153654 91 0 0 25 0 1 0 58851413 373264384 88368 996147200 134512640 135215973 4294956304 18446744073709551615 134533363 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 91129 88368 423 171 0 90054 0
Current children cumulated CPU time (s) 1537.45
Current children cumulated vsize (KiB) 364516

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1208872/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=371968 CPUtime=1597.44
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 95238 642 0 0 159650 94 0 0 25 0 1 0 58851413 380895232 90314 996147200 134512640 135215973 4294956304 18446744073709551615 134591407 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 92992 90314 423 171 0 91917 0
Current children cumulated CPU time (s) 1597.44
Current children cumulated vsize (KiB) 371968

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1201128/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=379276 CPUtime=1657.41
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 97119 642 0 0 165645 96 0 0 25 0 1 0 58851413 388378624 92195 996147200 134512640 135215973 4294956304 18446744073709551615 4158960181 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 94819 92195 423 171 0 93744 0
Current children cumulated CPU time (s) 1657.41
Current children cumulated vsize (KiB) 379276

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1193256/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=386984 CPUtime=1717.39
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 99106 642 0 0 171641 98 0 0 25 0 1 0 58851413 396271616 94182 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 96746 94182 423 171 0 95671 0
Current children cumulated CPU time (s) 1717.39
Current children cumulated vsize (KiB) 386984

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 14298
/proc/meminfo: memFree=1185576/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=394180 CPUtime=1777.36
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 100937 642 0 0 177636 100 0 0 25 0 1 0 58851413 403640320 96013 996147200 134512640 135215973 4294956304 18446744073709551615 4158960670 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 98545 96013 423 171 0 97470 0
Current children cumulated CPU time (s) 1777.36
Current children cumulated vsize (KiB) 394180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1805 s]
/proc/loadavg: 2.00 2.00 2.00 4/83 14298
/proc/meminfo: memFree=1182440/2055920 swapFree=4192812/4192956
[pid=14250] ppid=14248 vsize=397068 CPUtime=1800.06
/proc/14250/stat : 14250 (pcs.big) R 14248 14250 13887 0 -1 4194304 101699 642 0 0 179905 101 0 0 25 0 1 0 58851413 406597632 96775 996147200 134512640 135215973 4294956304 18446744073709551615 134590927 0 0 4096 0 0 0 0 17 0 0 0
/proc/14250/statm: 99267 96775 423 171 0 98192 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 397068

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.07
CPU time (s): 1800.14
CPU user time (s): 1799.06
CPU system time (s): 1.08183
CPU usage (%): 99.7267
Max. virtual memory (cumulated for all children) (KiB): 397068

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

runsolver used 1.81572 second user time and 4.78827 second system time

The end

Launcher Data 

Begin job on node88 at 2009-07-16 06:17:42
IDJOB=2080558
IDBENCH=57107
IDSOLVER=733
FILE ID=node88/2080558-1247717862
PBS_JOBID= 9521480
Free space on /tmp= 66076 MiB

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

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

MD5SUM BENCH= 88a8a34b19289d35e9ed9938496c3815
RANDOM SEED=1405203021

node88.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.222
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.222
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1173512 kB
Buffers:         47432 kB
Cached:         251428 kB
SwapCached:          0 kB
Active:         593936 kB
Inactive:       204396 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1173512 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1744 kB
Writeback:           0 kB
Mapped:         519932 kB
Slab:            68252 kB
Committed_AS:  1279936 kB
PageTables:       2876 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= 66072 MiB
End job on node88 at 2009-07-16 06:47:49