Trace number 2070559

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? (MO) 1034.16 1041.25

General information on the benchmark

Namecsp/golombRulerArity3/
normalized-ruler-67-11-a3.xml
MD5SUM485c8fe818a9857f587d4656422ed032
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables66
Number of constraints1595
Maximum constraint arity3
Maximum domain size68
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1595
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.17/0.21	c Seed is 679273401
0.17/0.21	c Constructing HOME/instance-2070559-1247708950.xml 
0.17/0.21	c deduced all_different(V12,V13,V14,V15,V16,V17,V18,V19,V20,V21,V22,V23,V24,V25,V26,V27,V28,V29,V30,V31,V32,V33,V34,V35,V36,V37,V38,V39,V40,V41,V42,V43,V44,V45,V46,V47,V48,V49,V50,V51,V52,V53,V54,V55,V56,V57,V58,V59,V60,V61,V62,V63,V64,V65,V11)
0.17/0.21	c  with 1596 constraints
0.17/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-2070559-1247708950/watcher-2070559-1247708950 -o /tmp/evaluation-result-2070559-1247708950/solver-2070559-1247708950 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 679273401 HOME/instance-2070559-1247708950.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.30 2.18 2.12 4/82 16824
/proc/meminfo: memFree=946592/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=5356 CPUtime=0
/proc/16824/stat : 16824 (pcssolve) R 16822 16824 16577 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 57962620 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 233632754335 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16824/statm: 1339 241 200 169 0 50 0
[pid=16825] ppid=16824 vsize=5356 CPUtime=0
/proc/16825/stat : 16825 (pcssolve) R 16824 16824 16577 0 -1 4194368 21 0 0 0 0 0 0 0 21 0 1 0 57962620 5484544 243 996147200 4194304 4889804 548682068800 18446744073709551615 233632922213 0 0 4100 65536 0 0 0 17 1 0 0
/proc/16825/statm: 1339 243 202 169 0 50 0
[pid=16826] ppid=16824 vsize=5356 CPUtime=0
/proc/16826/stat : 16826 (pcssolve) R 16824 16824 16577 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 57962621 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 233632754335 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/16826/statm: 1339 241 200 169 0 50 0

[startup+0.0991471 s]
/proc/loadavg: 2.30 2.18 2.12 4/82 16824
/proc/meminfo: memFree=946592/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=5156 CPUtime=0.07
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 987 656 0 0 7 0 0 0 18 0 1 0 57962620 5279744 618 996147200 134512640 135215973 4294956320 18446744073709551615 4158961420 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 1289 618 410 171 0 214 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5156

[startup+0.102142 s]
/proc/loadavg: 2.30 2.18 2.12 4/82 16824
/proc/meminfo: memFree=946592/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=5156 CPUtime=0.07
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 987 656 0 0 7 0 0 0 18 0 1 0 57962620 5279744 618 996147200 134512640 135215973 4294956320 18446744073709551615 134591047 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 1289 618 410 171 0 214 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5156

[startup+0.301174 s]
/proc/loadavg: 2.30 2.18 2.12 4/82 16824
/proc/meminfo: memFree=946592/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=5284 CPUtime=0.27
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 1002 656 0 0 27 0 0 0 19 0 1 0 57962620 5410816 633 996147200 134512640 135215973 4294956320 18446744073709551615 134908221 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 1321 633 412 171 0 246 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 5284

[startup+0.701241 s]
/proc/loadavg: 2.30 2.18 2.12 4/82 16824
/proc/meminfo: memFree=946592/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=5672 CPUtime=0.67
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 1101 656 0 0 67 0 0 0 23 0 1 0 57962620 5808128 732 996147200 134512640 135215973 4294956320 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 1418 732 412 171 0 343 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5672

[startup+1.50137 s]
/proc/loadavg: 2.30 2.18 2.12 4/83 16829
/proc/meminfo: memFree=945112/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=6176 CPUtime=1.46
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 1210 656 0 0 146 0 0 0 25 0 1 0 57962620 6324224 841 996147200 134512640 135215973 4294956320 18446744073709551615 11390549 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 1544 841 412 171 0 469 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 6176

[startup+3.10163 s]
/proc/loadavg: 2.30 2.18 2.12 4/83 16829
/proc/meminfo: memFree=944280/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=7156 CPUtime=3.05
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 1475 656 0 0 305 0 0 0 25 0 1 0 57962620 7327744 1073 996147200 134512640 135215973 4294956320 18446744073709551615 134589887 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 1789 1073 412 171 0 714 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 7156

[startup+6.30115 s]
/proc/loadavg: 2.28 2.18 2.12 4/83 16829
/proc/meminfo: memFree=942424/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=8960 CPUtime=6.23
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 1966 656 0 0 622 1 0 0 25 0 1 0 57962620 9175040 1499 996147200 134512640 135215973 4294956320 18446744073709551615 134923746 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 2240 1499 412 171 0 1165 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 8960

[startup+12.7012 s]
/proc/loadavg: 2.33 2.19 2.12 3/83 16829
/proc/meminfo: memFree=938520/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=12912 CPUtime=12.56
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 3059 656 0 0 1255 1 0 0 25 0 1 0 57962620 13221888 2430 996147200 134512640 135215973 4294956320 18446744073709551615 134591843 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 3228 2430 412 171 0 2153 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 12912

[startup+25.5013 s]
/proc/loadavg: 2.34 2.20 2.13 4/83 16829
/proc/meminfo: memFree=931224/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=20344 CPUtime=25.24
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 5122 656 0 0 2521 3 0 0 25 0 1 0 57962620 20832256 4236 996147200 134512640 135215973 4294956320 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 5086 4236 412 171 0 4011 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 20344

[startup+51.1014 s]
/proc/loadavg: 2.28 2.19 2.13 3/83 16829
/proc/meminfo: memFree=914072/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=38096 CPUtime=50.6
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 10043 656 0 0 5054 6 0 0 25 0 1 0 57962620 39010304 8579 996147200 134512640 135215973 4294956320 18446744073709551615 134943627 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 9524 8579 412 171 0 8449 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 38096

[startup+102.307 s]
/proc/loadavg: 2.12 2.16 2.12 3/83 16831
/proc/meminfo: memFree=872792/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=80116 CPUtime=101.31
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 21392 656 0 0 10118 13 0 0 25 0 1 0 57962620 82038784 18774 996147200 134512640 135215973 4294956320 18446744073709551615 4158853399 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 20029 18774 412 171 0 18954 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 80116

[startup+162.301 s]
/proc/loadavg: 2.12 2.16 2.12 4/83 16831
/proc/meminfo: memFree=837592/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=119776 CPUtime=160.74
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 32293 656 0 0 16053 21 0 0 25 0 1 0 57962620 122650624 27626 996147200 134512640 135215973 4294956320 18446744073709551615 134585697 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 29944 27626 412 171 0 28869 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 119776

[startup+222.301 s]
/proc/loadavg: 2.04 2.13 2.11 4/83 16831
/proc/meminfo: memFree=794904/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=158696 CPUtime=220.17
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 43113 656 0 0 21989 28 0 0 25 0 1 0 57962620 162504704 38189 996147200 134512640 135215973 4294956320 18446744073709551615 134739651 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 39674 38189 412 171 0 38599 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 158696

[startup+282.302 s]
/proc/loadavg: 2.18 2.16 2.12 3/83 16872
/proc/meminfo: memFree=1486808/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=219340 CPUtime=279.79
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 59362 656 0 0 27940 39 0 0 25 0 1 0 57962620 224604160 50341 996147200 134512640 135215973 4294956320 18446744073709551615 11356062 0 0 4096 0 0 0 0 17 0 0 0
/proc/16824/statm: 54835 50341 412 171 0 53760 0
Current children cumulated CPU time (s) 279.79
Current children cumulated vsize (KiB) 219340

[startup+342.303 s]
/proc/loadavg: 2.06 2.13 2.10 3/83 16872
/proc/meminfo: memFree=1421848/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=269040 CPUtime=339.77
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 72782 656 0 0 33931 46 0 0 25 0 1 0 57962620 275496960 63761 996147200 134512640 135215973 4294956320 18446744073709551615 134600790 0 0 4096 0 0 0 0 17 0 0 0
/proc/16824/statm: 67260 63761 412 171 0 66185 0
Current children cumulated CPU time (s) 339.77
Current children cumulated vsize (KiB) 269040

[startup+402.301 s]
/proc/loadavg: 2.06 2.12 2.10 3/83 16872
/proc/meminfo: memFree=1358488/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=316660 CPUtime=399.74
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 85869 656 0 0 39921 53 0 0 25 0 1 0 57962620 324259840 76335 996147200 134512640 135215973 4294956320 18446744073709551615 134600356 0 0 4096 0 0 0 0 17 0 0 0
/proc/16824/statm: 79165 76335 412 171 0 78090 0
Current children cumulated CPU time (s) 399.74
Current children cumulated vsize (KiB) 316660

[startup+462.302 s]
/proc/loadavg: 2.02 2.09 2.09 3/83 16872
/proc/meminfo: memFree=1302424/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=358980 CPUtime=459.71
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 97458 656 0 0 45910 61 0 0 25 0 1 0 57962620 367595520 87924 996147200 134512640 135215973 4294956320 18446744073709551615 134590106 0 0 4096 0 0 0 0 17 0 0 0
/proc/16824/statm: 89745 87924 412 171 0 88670 0
Current children cumulated CPU time (s) 459.71
Current children cumulated vsize (KiB) 358980

[startup+522.302 s]
/proc/loadavg: 2.01 2.07 2.08 3/83 16872
/proc/meminfo: memFree=1234840/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=437400 CPUtime=519.69
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 118060 656 0 0 51897 72 0 0 25 0 1 0 57962620 447897600 100333 996147200 134512640 135215973 4294956320 18446744073709551615 135096268 0 0 4096 0 0 0 0 17 0 0 0
/proc/16824/statm: 109350 100333 412 171 0 108275 0
Current children cumulated CPU time (s) 519.69
Current children cumulated vsize (KiB) 437400

[startup+582.301 s]
/proc/loadavg: 2.00 2.06 2.08 3/83 16872
/proc/meminfo: memFree=1178776/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=487424 CPUtime=579.66
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 131584 656 0 0 57886 80 0 0 25 0 1 0 57962620 499122176 113857 996147200 134512640 135215973 4294956320 18446744073709551615 134616505 0 0 4096 0 0 0 0 17 0 0 0
/proc/16824/statm: 121856 113857 412 171 0 120781 0
Current children cumulated CPU time (s) 579.66
Current children cumulated vsize (KiB) 487424

[startup+642.301 s]
/proc/loadavg: 2.00 2.04 2.07 3/83 16872
/proc/meminfo: memFree=1115608/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=528272 CPUtime=639.63
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 142851 656 0 0 63877 86 0 0 25 0 1 0 57962620 540950528 125124 996147200 134512640 135215973 4294956320 18446744073709551615 11358588 0 0 4096 0 0 0 0 17 0 0 0
/proc/16824/statm: 132068 125124 412 171 0 130993 0
Current children cumulated CPU time (s) 639.63
Current children cumulated vsize (KiB) 528272

[startup+702.303 s]
/proc/loadavg: 2.00 2.03 2.06 3/83 16873
/proc/meminfo: memFree=1051536/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=567040 CPUtime=699.61
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 153561 656 0 0 69868 93 0 0 25 0 1 0 57962620 580648960 135834 996147200 134512640 135215973 4294956320 18446744073709551615 134585671 0 0 4096 0 0 0 0 17 0 0 0
/proc/16824/statm: 141760 135834 412 171 0 140685 0
Current children cumulated CPU time (s) 699.61
Current children cumulated vsize (KiB) 567040

[startup+762.306 s]
/proc/loadavg: 2.00 2.03 2.06 3/83 16879
/proc/meminfo: memFree=996488/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=621340 CPUtime=759.58
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 168166 656 0 0 75858 100 0 0 25 0 1 0 57962620 636252160 149414 996147200 134512640 135215973 4294956320 18446744073709551615 134923818 0 0 4096 0 0 0 0 17 0 0 0
/proc/16824/statm: 155335 149414 412 171 0 154260 0
Current children cumulated CPU time (s) 759.58
Current children cumulated vsize (KiB) 621340

[startup+822.301 s]
/proc/loadavg: 2.08 2.05 2.06 3/83 17355
/proc/meminfo: memFree=952968/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=660492 CPUtime=817.27
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 178857 656 0 0 81620 107 0 0 25 0 1 0 57962620 676343808 160105 996147200 134512640 135215973 4294956320 18446744073709551615 134599870 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 165123 160105 412 171 0 164048 0
Current children cumulated CPU time (s) 817.27
Current children cumulated vsize (KiB) 660492

[startup+882.302 s]
/proc/loadavg: 2.07 2.05 2.06 3/83 17355
/proc/meminfo: memFree=907400/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=701380 CPUtime=876.71
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 190056 656 0 0 87558 113 0 0 25 0 1 0 57962620 718213120 171304 996147200 134512640 135215973 4294956320 18446744073709551615 134923244 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 175345 171304 412 171 0 174270 0
Current children cumulated CPU time (s) 876.71
Current children cumulated vsize (KiB) 701380

[startup+942.302 s]
/proc/loadavg: 2.02 2.04 2.06 3/83 17355
/proc/meminfo: memFree=861384/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=744160 CPUtime=936.14
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 201647 656 0 0 93495 119 0 0 25 0 1 0 57962620 762019840 182895 996147200 134512640 135215973 4294956320 18446744073709551615 134533372 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 186040 182895 412 171 0 184965 0
Current children cumulated CPU time (s) 936.14
Current children cumulated vsize (KiB) 744160

[startup+1002.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/83 17355
/proc/meminfo: memFree=814600/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=786032 CPUtime=995.57
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 213242 656 0 0 99431 126 0 0 25 0 1 0 57962620 804896768 194490 996147200 134512640 135215973 4294956320 18446744073709551615 134600183 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 196508 194490 412 171 0 195433 0
Current children cumulated CPU time (s) 995.57
Current children cumulated vsize (KiB) 786032



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1041.1 s]
/proc/loadavg: 2.05 2.04 2.05 3/83 17355
/proc/meminfo: memFree=760840/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=945348 CPUtime=1034.01
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4194304 226597 656 0 0 103268 133 0 0 25 0 1 0 57962620 968036352 207845 996147200 134512640 135215973 4294956320 18446744073709551615 11390547 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 236337 207845 412 171 0 235262 0
Current children cumulated CPU time (s) 1034.01
Current children cumulated vsize (KiB) 945348

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

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

[startup+1041.21 s]
/proc/loadavg: 2.05 2.04 2.05 3/83 17355
/proc/meminfo: memFree=760840/2055920 swapFree=4192812/4192956
[pid=16824] ppid=16822 vsize=0 CPUtime=1034.11
/proc/16824/stat : 16824 (pcs.big) R 16822 16824 16577 0 -1 4195332 226597 656 0 0 103268 143 0 0 25 0 1 0 57962620 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/16824/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1034.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1041.25
CPU time (s): 1034.16
CPU user time (s): 1032.68
CPU system time (s): 1.47878
CPU usage (%): 99.3198
Max. virtual memory (cumulated for all children) (KiB): 945348

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

runsolver used 1.17582 second user time and 3.21151 second system time

The end

Launcher Data 

Begin job on node3 at 2009-07-16 03:49:10
IDJOB=2070559
IDBENCH=55369
IDSOLVER=733
FILE ID=node3/2070559-1247708950
PBS_JOBID= 9521332
Free space on /tmp= 66400 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/golombRulerArity3/normalized-ruler-67-11-a3.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2070559-1247708950/watcher-2070559-1247708950 -o /tmp/evaluation-result-2070559-1247708950/solver-2070559-1247708950 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 679273401 HOME/instance-2070559-1247708950.xml

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

MD5SUM BENCH= 485c8fe818a9857f587d4656422ed032
RANDOM SEED=679273401

node3.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.259
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.259
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:        947072 kB
Buffers:         62528 kB
Cached:         205732 kB
SwapCached:          0 kB
Active:         811040 kB
Inactive:       226520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        947072 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2800 kB
Writeback:           0 kB
Mapped:         789768 kB
Slab:            54932 kB
Committed_AS:  1397228 kB
PageTables:       3280 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= 66400 MiB
End job on node3 at 2009-07-16 04:06:34