Trace number 2091394

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.08 1804.23

General information on the benchmark

Namecsp/rand-2-40-19-fcd/
normalized-rand-2-40-19-443-230-fcd-7_ext.xml
MD5SUM9a41dd9b53191791c805019802bafde1
Bench Category2-ARY-EXT (binary constraints in extension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark15.7726
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints333
Maximum constraint arity2
Maximum domain size19
Number of constraints which are defined in extension333
Number of constraints which are defined in intension0
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c small-domain mode
0.00/0.02	c Seed is 1077206045
0.00/0.02	c Constructing HOME/instance-2091394-1247732527.xml  with 6301 constraints
0.07/0.11	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-2091394-1247732527/watcher-2091394-1247732527 -o /tmp/evaluation-result-2091394-1247732527/solver-2091394-1247732527 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1077206045 HOME/instance-2091394-1247732527.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.07 1.99 1.99 4/72 14962
/proc/meminfo: memFree=997680/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=5356 CPUtime=0
/proc/14962/stat : 14962 (pcssolve) R 14960 14962 14693 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 60315924 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 218076080799 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14962/statm: 1339 241 200 169 0 50 0
[pid=14963] ppid=14962 vsize=3676 CPUtime=0
/proc/14963/stat : 14963 (fgrep) R 14962 14962 14693 0 -1 4194304 147 0 0 0 0 0 0 0 22 0 1 0 60315925 3764224 114 996147200 4194304 4274172 548682068976 18446744073709551615 4243333 0 0 4096 0 0 0 0 17 1 0 0
/proc/14963/statm: 919 114 86 19 0 43 0
[pid=14964] ppid=14962 vsize=5356 CPUtime=0
/proc/14964/stat : 14964 (pcssolve) R 14962 14962 14693 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 60315925 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 218076080799 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/14964/statm: 1339 241 200 169 0 50 0

[startup+0.0584309 s]
/proc/loadavg: 2.07 1.99 1.99 4/72 14962
/proc/meminfo: memFree=997680/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=4904 CPUtime=0.03
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 952 822 0 0 3 0 0 0 24 0 1 0 60315924 5021696 561 996147200 134512640 135095119 4294956304 18446744073709551615 7859810 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 1226 561 364 142 0 180 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4904

[startup+0.102438 s]
/proc/loadavg: 2.07 1.99 1.99 4/72 14962
/proc/meminfo: memFree=997680/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=5968 CPUtime=0.07
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 1209 822 0 0 7 0 0 0 24 0 1 0 60315924 6111232 818 996147200 134512640 135095119 4294956304 18446744073709551615 7825312 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 1492 818 367 142 0 446 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5968

[startup+0.30147 s]
/proc/loadavg: 2.07 1.99 1.99 4/72 14962
/proc/meminfo: memFree=997680/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=6360 CPUtime=0.27
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 1344 822 0 0 27 0 0 0 25 0 1 0 60315924 6512640 920 996147200 134512640 135095119 4294956304 18446744073709551615 134591815 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 1590 920 378 142 0 544 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 6360

[startup+0.702536 s]
/proc/loadavg: 2.07 1.99 1.99 4/72 14962
/proc/meminfo: memFree=997680/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=6360 CPUtime=0.67
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 1352 822 0 0 67 0 0 0 25 0 1 0 60315924 6512640 928 996147200 134512640 135095119 4294956304 18446744073709551615 134570829 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 1590 928 378 142 0 544 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6360

[startup+1.50167 s]
/proc/loadavg: 2.07 1.99 1.99 3/73 14968
/proc/meminfo: memFree=995368/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=6616 CPUtime=1.46
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 1429 822 0 0 146 0 0 0 25 0 1 0 60315924 6774784 940 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 1654 940 378 142 0 608 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6616

[startup+3.10194 s]
/proc/loadavg: 2.07 1.99 1.99 3/73 14968
/proc/meminfo: memFree=994536/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=7132 CPUtime=3.05
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 1564 822 0 0 305 0 0 0 25 0 1 0 60315924 7303168 1075 996147200 134512640 135095119 4294956304 18446744073709551615 134617066 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 1783 1075 378 142 0 737 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7132

[startup+6.30148 s]
/proc/loadavg: 2.15 2.01 2.00 3/73 14968
/proc/meminfo: memFree=993192/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=9336 CPUtime=6.22
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 2236 822 0 0 622 0 0 0 25 0 1 0 60315924 9560064 1489 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 2334 1489 378 142 0 1288 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 9336

[startup+12.7016 s]
/proc/loadavg: 2.14 2.01 2.00 3/73 14968
/proc/meminfo: memFree=990376/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=11012 CPUtime=12.57
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 2857 822 0 0 1256 1 0 0 25 0 1 0 60315924 11276288 1853 996147200 134512640 135095119 4294956304 18446744073709551615 134636931 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 2753 1853 378 142 0 1707 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 11012

[startup+25.5017 s]
/proc/loadavg: 2.10 2.00 2.00 3/73 14968
/proc/meminfo: memFree=985192/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=16592 CPUtime=25.26
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 4582 822 0 0 2524 2 0 0 25 0 1 0 60315924 16990208 2775 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 4148 2775 378 142 0 3102 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 16592

[startup+51.103 s]
/proc/loadavg: 2.07 2.00 2.00 3/73 14968
/proc/meminfo: memFree=979240/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=18304 CPUtime=50.64
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 5452 822 0 0 5061 3 0 0 25 0 1 0 60315924 18743296 3645 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 4576 3645 378 142 0 3530 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 18304

[startup+102.307 s]
/proc/loadavg: 2.03 2.00 2.00 3/73 14968
/proc/meminfo: memFree=964584/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=29728 CPUtime=101.4
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 8946 822 0 0 10135 5 0 0 25 0 1 0 60315924 30441472 5601 996147200 134512640 135095119 4294956304 18446744073709551615 134637435 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 7432 5601 378 142 0 6386 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 29728

[startup+162.302 s]
/proc/loadavg: 2.01 2.00 2.00 3/73 14968
/proc/meminfo: memFree=954664/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=31312 CPUtime=160.91
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 9911 822 0 0 16084 7 0 0 25 0 1 0 60315924 32063488 6566 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 7828 6566 378 142 0 6782 0
Current children cumulated CPU time (s) 160.91
Current children cumulated vsize (KiB) 31312

[startup+222.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14968
/proc/meminfo: memFree=943400/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=42268 CPUtime=220.4
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 13167 822 0 0 22030 10 0 0 25 0 1 0 60315924 43282432 7773 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 10567 7773 378 142 0 9521 0
Current children cumulated CPU time (s) 220.4
Current children cumulated vsize (KiB) 42268

[startup+282.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14968
/proc/meminfo: memFree=933032/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=44892 CPUtime=279.9
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 14270 822 0 0 27979 11 0 0 25 0 1 0 60315924 45969408 8876 996147200 134512640 135095119 4294956304 18446744073709551615 134589654 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 11223 8876 378 142 0 10177 0
Current children cumulated CPU time (s) 279.9
Current children cumulated vsize (KiB) 44892

[startup+342.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14968
/proc/meminfo: memFree=916968/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=56640 CPUtime=339.4
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 17639 822 0 0 33926 14 0 0 25 0 1 0 60315924 57999360 11220 996147200 134512640 135095119 4294956304 18446744073709551615 134616967 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 14160 11220 378 142 0 13114 0
Current children cumulated CPU time (s) 339.4
Current children cumulated vsize (KiB) 56640

[startup+402.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/73 14968
/proc/meminfo: memFree=908968/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=56640 CPUtime=398.89
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 18029 822 0 0 39875 14 0 0 25 0 1 0 60315924 57999360 11610 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 1 0 0
/proc/14962/statm: 14160 11610 378 142 0 13114 0
Current children cumulated CPU time (s) 398.89
Current children cumulated vsize (KiB) 56640

[startup+462.302 s]
/proc/loadavg: 1.96 1.98 1.99 3/82 15010
/proc/meminfo: memFree=1087776/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=56640 CPUtime=458.75
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 18419 822 0 0 45859 16 0 0 25 0 1 0 60315924 57999360 12000 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 14160 12000 378 142 0 13114 0
Current children cumulated CPU time (s) 458.75
Current children cumulated vsize (KiB) 56640

[startup+522.302 s]
/proc/loadavg: 1.98 1.98 1.99 3/82 15010
/proc/meminfo: memFree=1084640/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=58088 CPUtime=518.72
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 19163 822 0 0 51855 17 0 0 25 0 1 0 60315924 59482112 12744 996147200 134512640 135095119 4294956304 18446744073709551615 134617066 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 14522 12744 378 142 0 13476 0
Current children cumulated CPU time (s) 518.72
Current children cumulated vsize (KiB) 58088

[startup+582.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15010
/proc/meminfo: memFree=1081184/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=59920 CPUtime=578.69
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 19994 822 0 0 57851 18 0 0 25 0 1 0 60315924 61358080 13575 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 14980 13575 378 142 0 13934 0
Current children cumulated CPU time (s) 578.69
Current children cumulated vsize (KiB) 59920

[startup+642.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15010
/proc/meminfo: memFree=1077984/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=78136 CPUtime=638.67

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15010
/proc/meminfo: memFree=1069152/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=83136 CPUtime=818.58
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 27098 822 0 0 81834 24 0 0 25 0 1 0 60315924 85131264 16582 996147200 134512640 135095119 4294956304 18446744073709551615 134589560 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 20784 16582 378 142 0 19738 0
Current children cumulated CPU time (s) 818.58
Current children cumulated vsize (KiB) 83136

[startup+882.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15010
/proc/meminfo: memFree=1066208/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=84840 CPUtime=878.56
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 27830 822 0 0 87831 25 0 0 25 0 1 0 60315924 86876160 17314 996147200 134512640 135095119 4294956304 18446744073709551615 134617043 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 21210 17314 378 142 0 20164 0
Current children cumulated CPU time (s) 878.56
Current children cumulated vsize (KiB) 84840

[startup+942.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15010
/proc/meminfo: memFree=1063392/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=86420 CPUtime=938.53
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 28536 822 0 0 93827 26 0 0 25 0 1 0 60315924 88494080 18020 996147200 134512640 135095119 4294956304 18446744073709551615 134642864 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 21605 18020 378 142 0 20559 0
Current children cumulated CPU time (s) 938.53
Current children cumulated vsize (KiB) 86420

[startup+1002.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15010
/proc/meminfo: memFree=1060704/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=87992 CPUtime=998.5
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 29203 822 0 0 99824 26 0 0 25 0 1 0 60315924 90103808 18687 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 21998 18687 378 142 0 20952 0
Current children cumulated CPU time (s) 998.5
Current children cumulated vsize (KiB) 87992

[startup+1062.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 15010
/proc/meminfo: memFree=1058016/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=89568 CPUtime=1058.47
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 29876 822 0 0 105820 27 0 0 25 0 1 0 60315924 91717632 19360 996147200 134512640 135095119 4294956304 18446744073709551615 134642950 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 22392 19360 378 142 0 21346 0
Current children cumulated CPU time (s) 1058.47
Current children cumulated vsize (KiB) 89568

[startup+1122.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/82 15010
/proc/meminfo: memFree=1042272/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=112148 CPUtime=1118.45
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 35829 822 0 0 111815 30 0 0 25 0 1 0 60315924 114839552 23264 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28037 23264 378 142 0 26991 0
Current children cumulated CPU time (s) 1118.45
Current children cumulated vsize (KiB) 112148

[startup+1182.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 15010
/proc/meminfo: memFree=1041184/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=112148 CPUtime=1178.42
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 36099 822 0 0 117812 30 0 0 25 0 1 0 60315924 114839552 23534 996147200 134512640 135095119 4294956304 18446744073709551615 134607021 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28037 23534 378 142 0 26991 0
Current children cumulated CPU time (s) 1178.42
Current children cumulated vsize (KiB) 112148

[startup+1242.3 s]
/proc/loadavg: 2.25 2.07 2.02 3/82 15010
/proc/meminfo: memFree=1040160/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=112148 CPUtime=1238.39
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 36369 822 0 0 123809 30 0 0 25 0 1 0 60315924 114839552 23804 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28037 23804 378 142 0 26991 0
Current children cumulated CPU time (s) 1238.39
Current children cumulated vsize (KiB) 112148

[startup+1302.3 s]
/proc/loadavg: 2.13 2.07 2.02 3/82 15010
/proc/meminfo: memFree=1039072/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=112148 CPUtime=1298.36
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 36626 822 0 0 129806 30 0 0 25 0 1 0 60315924 114839552 24061 996147200 134512640 135095119 4294956304 18446744073709551615 134636912 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28037 24061 378 142 0 26991 0
Current children cumulated CPU time (s) 1298.36
Current children cumulated vsize (KiB) 112148

[startup+1362.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/82 15010
/proc/meminfo: memFree=1037984/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=112148 CPUtime=1358.34
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 36890 822 0 0 135803 31 0 0 25 0 1 0 60315924 114839552 24325 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28037 24325 378 142 0 26991 0
Current children cumulated CPU time (s) 1358.34
Current children cumulated vsize (KiB) 112148

[startup+1422.31 s]
/proc/loadavg: 2.01 2.04 2.01 3/82 15010
/proc/meminfo: memFree=1036960/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=112148 CPUtime=1418.32
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 37144 822 0 0 141801 31 0 0 25 0 1 0 60315924 114839552 24579 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28037 24579 378 142 0 26991 0
Current children cumulated CPU time (s) 1418.32
Current children cumulated vsize (KiB) 112148

[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 15010
/proc/meminfo: memFree=1035936/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=112148 CPUtime=1478.28
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 37399 822 0 0 147797 31 0 0 25 0 1 0 60315924 114839552 24834 996147200 134512640 135095119 4294956304 18446744073709551615 134607029 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28037 24834 378 142 0 26991 0
Current children cumulated CPU time (s) 1478.28
Current children cumulated vsize (KiB) 112148

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 15010
/proc/meminfo: memFree=1034976/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=112148 CPUtime=1538.26
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 37644 822 0 0 153794 32 0 0 25 0 1 0 60315924 114839552 25079 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28037 25079 378 142 0 26991 0
Current children cumulated CPU time (s) 1538.26
Current children cumulated vsize (KiB) 112148

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/82 15010
/proc/meminfo: memFree=1034016/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=112148 CPUtime=1598.23
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 37887 822 0 0 159791 32 0 0 25 0 1 0 60315924 114839552 25322 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28037 25322 378 142 0 26991 0
Current children cumulated CPU time (s) 1598.23
Current children cumulated vsize (KiB) 112148

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 15010
/proc/meminfo: memFree=1032352/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=112804 CPUtime=1658.2
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 38284 822 0 0 165788 32 0 0 25 0 1 0 60315924 115511296 25719 996147200 134512640 135095119 4294956304 18446744073709551615 134617027 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28201 25719 378 142 0 27155 0
Current children cumulated CPU time (s) 1658.2
Current children cumulated vsize (KiB) 112804

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 15010
/proc/meminfo: memFree=1030240/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=114120 CPUtime=1718.17
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 38825 822 0 0 171784 33 0 0 25 0 1 0 60315924 116858880 26260 996147200 134512640 135095119 4294956304 18446744073709551615 134607196 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28530 26260 378 142 0 27484 0
Current children cumulated CPU time (s) 1718.17
Current children cumulated vsize (KiB) 114120

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15012
/proc/meminfo: memFree=1027872/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=115308 CPUtime=1778.15
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 39362 822 0 0 177781 34 0 0 25 0 1 0 60315924 118075392 26797 996147200 134512640 135095119 4294956304 18446744073709551615 134589545 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 28827 26797 378 142 0 27781 0
Current children cumulated CPU time (s) 1778.15
Current children cumulated vsize (KiB) 115308



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1804.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 15012
/proc/meminfo: memFree=1027104/2055920 swapFree=4192812/4192956
[pid=14962] ppid=14960 vsize=148472 CPUtime=1800.04
/proc/14962/stat : 14962 (pcs.small) R 14960 14962 14693 0 -1 4194304 47730 822 0 0 179966 38 0 0 25 0 1 0 60315924 152035328 26972 996147200 134512640 135095119 4294956304 18446744073709551615 134589562 0 0 4096 0 0 0 0 17 0 0 0
/proc/14962/statm: 37118 26972 378 142 0 36072 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 148472

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1804.23
CPU time (s): 1800.08
CPU user time (s): 1799.67
CPU system time (s): 0.409937
CPU usage (%): 99.7704
Max. virtual memory (cumulated for all children) (KiB): 180848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.67
system time used= 0.409937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48552
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= 21
involuntary context switches= 14215

runsolver used 1.67874 second user time and 5.08023 second system time

The end

Launcher Data 

Begin job on node57 at 2009-07-16 10:22:07
IDJOB=2091394
IDBENCH=60055
IDSOLVER=734
FILE ID=node57/2091394-1247732527
PBS_JOBID= 9521640
Free space on /tmp= 66356 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/rand-2-40-19-fcd/normalized-rand-2-40-19-443-230-fcd-7_ext.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2091394-1247732527/watcher-2091394-1247732527 -o /tmp/evaluation-result-2091394-1247732527/solver-2091394-1247732527 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1077206045 HOME/instance-2091394-1247732527.xml

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

MD5SUM BENCH= 9a41dd9b53191791c805019802bafde1
RANDOM SEED=1077206045

node57.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.261
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.261
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:        998160 kB
Buffers:         89176 kB
Cached:         726008 kB
SwapCached:          0 kB
Active:         367908 kB
Inactive:       616968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        998160 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1932 kB
Writeback:           0 kB
Mapped:         181252 kB
Slab:            58116 kB
Committed_AS:   659168 kB
PageTables:       2028 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= 66356 MiB
End job on node57 at 2009-07-16 10:52:13