Trace number 2085399

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.2 1815.34

General information on the benchmark

Namecsp/graphColoring/sgb/
miles/normalized-miles1500-72.xml
MD5SUM6b9f5310a6fc5cbdc233441298f62b93
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.18797
Satisfiable
(Un)Satisfiability was proved
Number of variables128
Number of constraints5198
Maximum constraint arity2
Maximum domain size72
Number of constraints which are defined in extension0
Number of constraints which are defined in intension5198
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.21	c Seed is 2060156472
0.18/0.21	c Constructing HOME/instance-2085399-1247725760.xml 
0.18/0.21	c deduced all_different(V1,V5,V6,V7,V9,V12,V13,V18,V19,V22,V23,V24,V26,V27,V29,V37,V38,V40,V42,V44,V45,V51,V52,V54,V56,V57,V59,V61,V63,V65,V66,V67,V68,V69,V70,V72,V73,V74,V75,V77,V78,V79,V82,V83,V87,V88,V89,V90,V91,V92,V93,V95,V98,V99,V100,V101,V106,V107,V108,V109,V110,V112,V113,V114,V115,V121,V122,V125,V126,V127,V0)
0.18/0.21	c deduced all_different(V0,V4,V11,V15,V28,V30,V31,V32,V34,V36,V46,V47,V53,V76,V79,V86,V97,V101,V108,V111,V119,V2)
0.18/0.21	c deduced all_different(V2,V4,V8,V10,V14,V15,V16,V17,V20,V25,V28,V34,V39,V41,V47,V48,V49,V53,V58,V62,V76,V80,V84,V86,V103,V123,V3)
0.18/0.21	c deduced all_different(V1,V5,V6,V7,V9,V12,V13,V18,V19,V22,V23,V24,V26,V27,V29,V35,V37,V38,V40,V42,V44,V45,V51,V52,V57,V59,V60,V61,V63,V65,V67,V68,V69,V70,V72,V73,V74,V75,V77,V78,V81,V82,V83,V85,V87,V88,V90,V91,V92,V93,V95,V98,V99,V100,V106,V107,V109,V110,V112,V113,V114,V115,V117,V121,V122,V125,V126,V127,V21)
0.18/0.21	c deduced all_different(V0,V2,V4,V11,V15,V30,V31,V32,V34,V36,V38,V46,V47,V50,V64,V73,V77,V78,V79,V86,V89,V96,V101,V104,V107,V108,V109,V113,V116,V120,V124,V33)
0.18/0.21	c deduced all_different(V0,V1,V5,V6,V7,V9,V12,V18,V22,V26,V27,V30,V38,V42,V44,V51,V54,V55,V56,V59,V61,V63,V65,V66,V67,V68,V69,V70,V72,V74,V75,V78,V79,V83,V87,V88,V89,V90,V91,V92,V95,V97,V98,V99,V101,V102,V106,V107,V108,V109,V110,V112,V113,V114,V121,V122,V125,V126,V127,V43)
0.18/0.21	c deduced all_different(V0,V1,V5,V7,V12,V18,V22,V26,V27,V30,V38,V42,V43,V51,V54,V55,V56,V59,V61,V63,V65,V66,V67,V69,V70,V72,V74,V75,V78,V79,V83,V87,V88,V89,V90,V91,V95,V97,V98,V99,V101,V102,V106,V107,V108,V109,V113,V114,V118,V121,V122,V125,V126,V127,V71)
0.18/0.21	c deduced all_different(V0,V1,V5,V6,V7,V9,V12,V19,V22,V23,V24,V26,V27,V29,V37,V40,V42,V44,V45,V51,V52,V54,V55,V56,V57,V59,V61,V63,V65,V66,V67,V68,V69,V70,V72,V74,V75,V78,V79,V82,V83,V87,V88,V89,V90,V91,V92,V93,V95,V98,V99,V106,V107,V108,V109,V110,V112,V113,V114,V115,V121,V122,V125,V126,V127,V94)
0.18/0.21	c deduced all_different(V0,V1,V5,V7,V9,V12,V19,V22,V23,V24,V26,V27,V29,V37,V40,V42,V44,V45,V51,V52,V54,V55,V56,V57,V59,V61,V63,V65,V66,V67,V68,V69,V70,V74,V75,V78,V83,V87,V88,V90,V91,V92,V93,V94,V95,V98,V106,V107,V108,V109,V110,V112,V114,V115,V121,V122,V125,V126,V127,V105)
0.18/0.21	c  with 5207 constraints
0.18/0.21	c Solving

Verifier Data 

ERROR: Unexpected answer ! ('s SATISFIABLE'/'s UNSATISFIABLE' expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2085399-1247725760/watcher-2085399-1247725760 -o /tmp/evaluation-result-2085399-1247725760/solver-2085399-1247725760 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2060156472 HOME/instance-2085399-1247725760.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.84 1.97 1.98 4/72 16956
/proc/meminfo: memFree=1466896/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=5356 CPUtime=0
/proc/16956/stat : 16956 (pcssolve) R 16954 16956 16919 0 -1 4194304 273 0 0 0 0 0 0 0 22 0 1 0 59642965 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 269757246111 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16956/statm: 1339 241 200 169 0 50 0
[pid=16957] ppid=16956 vsize=5356 CPUtime=0
/proc/16957/stat : 16957 (pcssolve) R 16956 16956 16919 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 59642966 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 269757246111 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16957/statm: 1339 241 200 169 0 50 0

[startup+0.111363 s]
/proc/loadavg: 1.84 1.97 1.98 4/72 16956
/proc/meminfo: memFree=1466896/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=5136 CPUtime=0.09
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 939 656 0 0 9 0 0 0 18 0 1 0 59642965 5259264 570 996147200 134512640 135215973 4294956304 18446744073709551615 134689532 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 1284 570 382 171 0 209 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5136

[startup+0.201376 s]
/proc/loadavg: 1.84 1.97 1.98 4/72 16956
/proc/meminfo: memFree=1466896/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=5652 CPUtime=0.18
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 1099 656 0 0 18 0 0 0 18 0 1 0 59642965 5787648 697 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 1413 697 394 171 0 338 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5652

[startup+0.301391 s]
/proc/loadavg: 1.84 1.97 1.98 4/72 16956
/proc/meminfo: memFree=1466896/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=5884 CPUtime=0.27
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 1195 656 0 0 27 0 0 0 19 0 1 0 59642965 6025216 776 996147200 134512640 135215973 4294956304 18446744073709551615 12312060 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 1471 776 403 171 0 396 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5884

[startup+0.701444 s]
/proc/loadavg: 1.84 1.97 1.98 4/72 16956
/proc/meminfo: memFree=1466896/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=7344 CPUtime=0.67
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 1557 656 0 0 67 0 0 0 23 0 1 0 59642965 7520256 1085 996147200 134512640 135215973 4294956304 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 1836 1085 403 171 0 761 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 7344

[startup+1.50155 s]
/proc/loadavg: 1.84 1.97 1.98 3/73 16961
/proc/meminfo: memFree=1463296/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=7784 CPUtime=1.46
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 1684 656 0 0 146 0 0 0 25 0 1 0 59642965 7970816 1212 996147200 134512640 135215973 4294956304 18446744073709551615 134932240 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 1946 1212 403 171 0 871 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 7784

[startup+3.10277 s]
/proc/loadavg: 1.84 1.97 1.98 3/73 16961
/proc/meminfo: memFree=1461760/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=9552 CPUtime=3.05
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 2126 656 0 0 305 0 0 0 25 0 1 0 59642965 9781248 1654 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 2388 1654 403 171 0 1313 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 9552

[startup+6.30118 s]
/proc/loadavg: 1.93 1.98 1.99 3/73 16961
/proc/meminfo: memFree=1459848/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=10088 CPUtime=6.23
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 2266 656 0 0 622 1 0 0 25 0 1 0 59642965 10330112 1794 996147200 134512640 135215973 4294956304 18446744073709551615 12320418 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 2522 1794 403 171 0 1447 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 10088

[startup+12.702 s]
/proc/loadavg: 1.94 1.98 1.99 3/73 16961
/proc/meminfo: memFree=1453776/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=14652 CPUtime=12.58
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 3431 656 0 0 1257 1 0 0 25 0 1 0 59642965 15003648 2894 996147200 134512640 135215973 4294956304 18446744073709551615 134923810 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 3663 2894 403 171 0 2588 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 14652

[startup+25.5017 s]
/proc/loadavg: 2.02 2.00 1.99 3/73 16961
/proc/meminfo: memFree=1443280/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=21368 CPUtime=25.28
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 5154 656 0 0 2526 2 0 0 25 0 1 0 59642965 21880832 4584 996147200 134512640 135215973 4294956304 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 5342 4584 403 171 0 4267 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 21368

[startup+51.1011 s]
/proc/loadavg: 2.02 2.00 1.99 3/73 16961
/proc/meminfo: memFree=1400720/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=46844 CPUtime=50.65
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 11621 656 0 0 5058 7 0 0 25 0 1 0 59642965 47968256 10857 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 11711 10857 403 171 0 10636 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 46844

[startup+102.302 s]
/proc/loadavg: 2.06 2.01 2.00 3/73 16961
/proc/meminfo: memFree=1367824/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=75760 CPUtime=101.39
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 19063 656 0 0 10125 14 0 0 25 0 1 0 59642965 77578240 17913 996147200 134512640 135215973 4294956304 18446744073709551615 12312726 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 18940 17913 403 171 0 17865 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 75760

[startup+162.302 s]
/proc/loadavg: 2.07 2.02 2.00 3/73 16961
/proc/meminfo: memFree=1327952/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=102456 CPUtime=160.83
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 26045 656 0 0 16063 20 0 0 25 0 1 0 59642965 104914944 24638 996147200 134512640 135215973 4294956304 18446744073709551615 134739672 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 25614 24638 403 171 0 24539 0
Current children cumulated CPU time (s) 160.83
Current children cumulated vsize (KiB) 102456

[startup+222.307 s]
/proc/loadavg: 2.07 2.03 2.00 3/73 16961
/proc/meminfo: memFree=1282064/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=135156 CPUtime=220.28
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 34590 656 0 0 22001 27 0 0 25 0 1 0 59642965 138399744 32670 996147200 134512640 135215973 4294956304 18446744073709551615 12312060 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 33789 32670 403 171 0 32714 0
Current children cumulated CPU time (s) 220.28
Current children cumulated vsize (KiB) 135156

[startup+282.302 s]
/proc/loadavg: 2.06 2.04 2.00 3/73 16961
/proc/meminfo: memFree=1211856/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=167692 CPUtime=279.72
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 43016 656 0 0 27939 33 0 0 25 0 1 0 59642965 171716608 40583 996147200 134512640 135215973 4294956304 18446744073709551615 134627172 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 41923 40583 403 171 0 40848 0
Current children cumulated CPU time (s) 279.72
Current children cumulated vsize (KiB) 167692

[startup+342.302 s]
/proc/loadavg: 2.02 2.03 2.00 3/73 16961
/proc/meminfo: memFree=1184984/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=189136 CPUtime=339.17
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 48674 656 0 0 33878 39 0 0 25 0 1 0 59642965 193675264 46241 996147200 134512640 135215973 4294956304 18446744073709551615 12314235 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 47284 46241 403 171 0 46209 0
Current children cumulated CPU time (s) 339.17
Current children cumulated vsize (KiB) 189136

[startup+402.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/73 16961
/proc/meminfo: memFree=1160088/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=217068 CPUtime=398.61
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 56025 656 0 0 39816 45 0 0 25 0 1 0 59642965 222277632 51542 996147200 134512640 135215973 4294956304 18446744073709551615 134741724 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 54267 51542 403 171 0 53192 0
Current children cumulated CPU time (s) 398.61
Current children cumulated vsize (KiB) 217068

[startup+462.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/73 16961
/proc/meminfo: memFree=1136280/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=233436 CPUtime=458.05
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 60448 656 0 0 45755 50 0 0 25 0 1 0 59642965 239038464 55965 996147200 134512640 135215973 4294956304 18446744073709551615 12344966 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 58359 55965 403 171 0 57284 0
Current children cumulated CPU time (s) 458.05
Current children cumulated vsize (KiB) 233436

[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/73 16961
/proc/meminfo: memFree=1094552/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=262572 CPUtime=517.5
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 68103 656 0 0 51692 58 0 0 25 0 1 0 59642965 268873728 63620 996147200 134512640 135215973 4294956304 18446744073709551615 134591470 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 65643 63620 403 171 0 64568 0
Current children cumulated CPU time (s) 517.5
Current children cumulated vsize (KiB) 262572

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16961
/proc/meminfo: memFree=1035736/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=306928 CPUtime=576.96
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 79663 656 0 0 57628 68 0 0 25 0 1 0 59642965 314294272 75180 996147200 134512640 135215973 4294956304 18446744073709551615 134939424 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 76732 75180 403 171 0 75657 0
Current children cumulated CPU time (s) 576.96
Current children cumulated vsize (KiB) 306928

[startup+642.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16961
/proc/meminfo: memFree=984920/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=343780 CPUtime=636.4
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 89293 656 0 0 63563 77 0 0 25 0 1 0 59642965 352030720 84810 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 85945 84810 403 171 0 84870 0
Current children cumulated CPU time (s) 636.4

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16961
/proc/meminfo: memFree=789144/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=455064 CPUtime=874.18
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 118451 656 0 0 87318 100 0 0 25 0 1 0 59642965 465985536 109870 996147200 134512640 135215973 4294956304 18446744073709551615 12344966 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 113766 109870 403 171 0 112691 0
Current children cumulated CPU time (s) 874.18
Current children cumulated vsize (KiB) 455064

[startup+942.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16961
/proc/meminfo: memFree=767512/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=473008 CPUtime=933.62
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 123251 656 0 0 93257 105 0 0 25 0 1 0 59642965 484360192 114670 996147200 134512640 135215973 4294956304 18446744073709551615 134583227 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 118252 114670 403 171 0 117177 0
Current children cumulated CPU time (s) 933.62
Current children cumulated vsize (KiB) 473008

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16961
/proc/meminfo: memFree=745752/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=490840 CPUtime=993.09
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 128038 656 0 0 99199 110 0 0 25 0 1 0 59642965 502620160 119457 996147200 134512640 135215973 4294956304 18446744073709551615 134584990 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 122710 119457 403 171 0 121635 0
Current children cumulated CPU time (s) 993.09
Current children cumulated vsize (KiB) 490840

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16961
/proc/meminfo: memFree=724120/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=508868 CPUtime=1052.55
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 132835 656 0 0 105140 115 0 0 25 0 1 0 59642965 521080832 124254 996147200 134512640 135215973 4294956304 18446744073709551615 4158960912 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 127217 124254 403 171 0 126142 0
Current children cumulated CPU time (s) 1052.55
Current children cumulated vsize (KiB) 508868

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16961
/proc/meminfo: memFree=702104/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=526384 CPUtime=1111.99
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 137521 656 0 0 111079 120 0 0 25 0 1 0 59642965 539017216 128940 996147200 134512640 135215973 4294956304 18446744073709551615 4158960547 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 131596 128940 403 171 0 130521 0
Current children cumulated CPU time (s) 1111.99
Current children cumulated vsize (KiB) 526384

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16961
/proc/meminfo: memFree=654552/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=569512 CPUtime=1171.45
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 148644 656 0 0 117015 130 0 0 25 0 1 0 59642965 583180288 140063 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 142378 140063 403 171 0 141303 0
Current children cumulated CPU time (s) 1171.45
Current children cumulated vsize (KiB) 569512

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16961
/proc/meminfo: memFree=604760/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=614244 CPUtime=1230.89
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 160167 656 0 0 122949 140 0 0 25 0 1 0 59642965 628985856 151586 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 153561 151586 403 171 0 152486 0
Current children cumulated CPU time (s) 1230.89
Current children cumulated vsize (KiB) 614244

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16961
/proc/meminfo: memFree=566296/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=648272 CPUtime=1290.33
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 168989 656 0 0 128885 148 0 0 25 0 1 0 59642965 663830528 160408 996147200 134512640 135215973 4294956304 18446744073709551615 12312417 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 162068 160408 403 171 0 160993 0
Current children cumulated CPU time (s) 1290.33
Current children cumulated vsize (KiB) 648272

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16963
/proc/meminfo: memFree=539736/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=686580 CPUtime=1349.76
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 178876 656 0 0 134821 155 0 0 25 0 1 0 59642965 703057920 166198 996147200 134512640 135215973 4294956304 18446744073709551615 12312417 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 171645 166198 403 171 0 170570 0
Current children cumulated CPU time (s) 1349.76
Current children cumulated vsize (KiB) 686580

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16963
/proc/meminfo: memFree=503960/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=713184 CPUtime=1409.21
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 185857 656 0 0 140759 162 0 0 25 0 1 0 59642965 730300416 173179 996147200 134512640 135215973 4294956304 18446744073709551615 134533363 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 178296 173179 403 171 0 177221 0
Current children cumulated CPU time (s) 1409.21
Current children cumulated vsize (KiB) 713184

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16963
/proc/meminfo: memFree=469976/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=735824 CPUtime=1468.67
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 191838 656 0 0 146698 169 0 0 25 0 1 0 59642965 753483776 179160 996147200 134512640 135215973 4294956304 18446744073709551615 134944337 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 183956 179160 403 171 0 182881 0
Current children cumulated CPU time (s) 1468.67
Current children cumulated vsize (KiB) 735824

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16963
/proc/meminfo: memFree=430808/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=762396 CPUtime=1528.13
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 198783 656 0 0 152638 175 0 0 25 0 1 0 59642965 780693504 186105 996147200 134512640 135215973 4294956304 18446744073709551615 134939529 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 190599 186105 403 171 0 189524 0
Current children cumulated CPU time (s) 1528.13
Current children cumulated vsize (KiB) 762396

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16963
/proc/meminfo: memFree=397656/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=783688 CPUtime=1587.57
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 204394 656 0 0 158576 181 0 0 25 0 1 0 59642965 802496512 191716 996147200 134512640 135215973 4294956304 18446744073709551615 134590188 0 0 4096 0 0 0 0 17 1 0 0
/proc/16956/statm: 195922 191716 403 171 0 194847 0
Current children cumulated CPU time (s) 1587.57
Current children cumulated vsize (KiB) 783688

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=592408/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=841032 CPUtime=1647.24
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 218986 656 0 0 164532 192 0 0 25 0 1 0 59642965 861216768 202211 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/16956/statm: 210258 202211 403 171 0 209183 0
Current children cumulated CPU time (s) 1647.24
Current children cumulated vsize (KiB) 841032

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=577688/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=854576 CPUtime=1707.2
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 222626 656 0 0 170525 195 0 0 25 0 1 0 59642965 875085824 205851 996147200 134512640 135215973 4294956304 18446744073709551615 134583247 0 0 4096 0 0 0 0 17 0 0 0
/proc/16956/statm: 213644 205851 403 171 0 212569 0
Current children cumulated CPU time (s) 1707.2
Current children cumulated vsize (KiB) 854576

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=558872/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=870608 CPUtime=1767.17
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 226916 656 0 0 176515 202 0 0 25 0 1 0 59642965 891502592 210141 996147200 134512640 135215973 4294956304 18446744073709551615 12312268 0 0 4096 0 0 0 0 17 0 0 0
/proc/16956/statm: 217652 210141 403 171 0 216577 0
Current children cumulated CPU time (s) 1767.17
Current children cumulated vsize (KiB) 870608



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=547544/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=879148 CPUtime=1800.06
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4194304 229230 656 0 0 179800 206 0 0 25 0 1 0 59642965 900247552 212455 996147200 134512640 135215973 4294956304 18446744073709551615 12312726 0 0 4096 0 0 0 0 17 0 0 0
/proc/16956/statm: 219787 212455 403 171 0 218712 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 879148

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

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

[startup+1815.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 16996
/proc/meminfo: memFree=547544/2055920 swapFree=4192812/4192956
[pid=16956] ppid=16954 vsize=0 CPUtime=1800.16
/proc/16956/stat : 16956 (pcs.big) R 16954 16956 16919 0 -1 4195332 229230 656 0 0 179800 216 0 0 25 0 1 0 59642965 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/16956/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.34
CPU time (s): 1800.2
CPU user time (s): 1798.01
CPU system time (s): 2.19467
CPU usage (%): 99.1664
Max. virtual memory (cumulated for all children) (KiB): 879148

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

runsolver used 2.6036 second user time and 5.31819 second system time

The end

Launcher Data 

Begin job on node13 at 2009-07-16 08:29:21
IDJOB=2085399
IDBENCH=58406
IDSOLVER=734
FILE ID=node13/2085399-1247725760
PBS_JOBID= 9521589
Free space on /tmp= 66308 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/graphColoring/sgb/miles/normalized-miles1500-72.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2085399-1247725760/watcher-2085399-1247725760 -o /tmp/evaluation-result-2085399-1247725760/solver-2085399-1247725760 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 2060156472 HOME/instance-2085399-1247725760.xml

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

MD5SUM BENCH= 6b9f5310a6fc5cbdc233441298f62b93
RANDOM SEED=2060156472

node13.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.241
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.241
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:       1467376 kB
Buffers:         85244 kB
Cached:         364576 kB
SwapCached:          0 kB
Active:         229552 kB
Inactive:       277348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1467376 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2512 kB
Writeback:           0 kB
Mapped:          68556 kB
Slab:            67052 kB
Committed_AS:   547096 kB
PageTables:       1920 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= 66280 MiB
End job on node13 at 2009-07-16 08:59:38