Trace number 2070790

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.15 1816.54

General information on the benchmark

Namecsp/primes-20/
normalized-primes-20-80-3-5.xml
MD5SUM07a44e1cfeebba994ced5ca515590998
Bench CategoryN-ARY-INT (n-ary constraints in intension)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark9.1926
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints80
Maximum constraint arity8
Maximum domain size70
Number of constraints which are defined in extension0
Number of constraints which are defined in intension80
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.02	c Seed is 971247637
0.00/0.02	c Constructing HOME/instance-2070790-1247709185.xml  with 896 constraints
0.00/0.04	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-2070790-1247709185/watcher-2070790-1247709185 -o /tmp/evaluation-result-2070790-1247709185/solver-2070790-1247709185 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 971247637 HOME/instance-2070790-1247709185.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.15 2.37 2.39 4/81 13155
/proc/meminfo: memFree=1597024/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=5356 CPUtime=0
/proc/13155/stat : 13155 (pcssolve) R 13153 13155 13118 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 57982644 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 255539604127 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13155/statm: 1339 241 200 169 0 50 0
[pid=13156] ppid=13155 vsize=5356 CPUtime=0
/proc/13156/stat : 13156 (pcssolve) R 13155 13155 13118 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 57982645 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 255539604127 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/13156/statm: 1339 241 200 169 0 50 0

[startup+0.209837 s]
/proc/loadavg: 2.15 2.37 2.39 4/81 13155
/proc/meminfo: memFree=1597024/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=6388 CPUtime=0.19
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 1391 656 2 0 19 0 0 0 19 0 1 0 57982644 6541312 866 996147200 134512640 135215973 4294956304 18446744073709551615 134591876 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 1597 866 415 171 0 522 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6388

[startup+0.306359 s]
/proc/loadavg: 2.15 2.37 2.39 4/81 13155
/proc/meminfo: memFree=1597024/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=6516 CPUtime=0.28
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 1398 656 2 0 28 0 0 0 19 0 1 0 57982644 6672384 873 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 1629 873 415 171 0 554 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6516

[startup+0.400857 s]
/proc/loadavg: 2.15 2.37 2.39 4/81 13155
/proc/meminfo: memFree=1597024/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=6516 CPUtime=0.37
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 1409 656 2 0 37 0 0 0 20 0 1 0 57982644 6672384 884 996147200 134512640 135215973 4294956304 18446744073709551615 134587268 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 1629 884 415 171 0 554 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 6516

[startup+0.701882 s]
/proc/loadavg: 2.15 2.37 2.39 4/81 13155
/proc/meminfo: memFree=1597024/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=6952 CPUtime=0.67
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 1575 656 2 0 67 0 0 0 23 0 1 0 57982644 7118848 1050 996147200 134512640 135215973 4294956304 18446744073709551615 135094648 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 1738 1050 415 171 0 663 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6952

[startup+1.50196 s]
/proc/loadavg: 2.15 2.37 2.39 3/82 13160
/proc/meminfo: memFree=1593432/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=8568 CPUtime=1.46
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 2047 656 2 0 146 0 0 0 25 0 1 0 57982644 8773632 1280 996147200 134512640 135215973 4294956304 18446744073709551615 135096481 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 2142 1280 415 171 0 1067 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8568

[startup+3.10111 s]
/proc/loadavg: 2.15 2.37 2.39 3/82 13160
/proc/meminfo: memFree=1592728/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=9884 CPUtime=3.05
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 2425 656 2 0 304 1 0 0 25 0 1 0 57982644 10121216 1593 996147200 134512640 135215973 4294956304 18446744073709551615 134532717 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 2471 1593 415 171 0 1396 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 9884

[startup+6.30241 s]
/proc/loadavg: 2.14 2.36 2.39 4/82 13160
/proc/meminfo: memFree=1589720/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=12904 CPUtime=6.23
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 3252 656 2 0 621 2 0 0 25 0 1 0 57982644 13213696 2291 996147200 134512640 135215973 4294956304 18446744073709551615 134648240 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 3226 2291 415 171 0 2151 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 12904

[startup+12.702 s]
/proc/loadavg: 2.13 2.35 2.38 4/82 13160
/proc/meminfo: memFree=1584600/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=18324 CPUtime=12.56
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 4769 656 2 0 1253 3 0 0 25 0 1 0 57982644 18763776 3551 996147200 134512640 135215973 4294956304 18446744073709551615 4158960134 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 4581 3551 415 171 0 3506 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 18324

[startup+25.5062 s]
/proc/loadavg: 2.10 2.33 2.38 4/82 13160
/proc/meminfo: memFree=1574040/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=29140 CPUtime=25.24
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 7812 656 2 0 2519 5 0 0 25 0 1 0 57982644 29839360 6081 996147200 134512640 135215973 4294956304 18446744073709551615 134532941 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 7285 6081 415 171 0 6210 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 29140

[startup+51.1016 s]
/proc/loadavg: 2.06 2.31 2.36 3/82 13160
/proc/meminfo: memFree=1553816/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=51776 CPUtime=50.6
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 14010 656 2 0 5051 9 0 0 25 0 1 0 57982644 53018624 11221 996147200 134512640 135215973 4294956304 18446744073709551615 3962444 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 12944 11221 415 171 0 11869 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 51776

[startup+102.301 s]
/proc/loadavg: 2.03 2.26 2.34 3/82 13202
/proc/meminfo: memFree=1521632/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=91600 CPUtime=101.43
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 25080 656 2 0 10127 16 0 0 25 0 1 0 57982644 93798400 20242 996147200 134512640 135215973 4294956304 18446744073709551615 4158960529 0 0 4096 0 0 0 0 17 0 0 0
/proc/13155/statm: 22900 20242 415 171 0 21825 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 91600

[startup+162.302 s]
/proc/loadavg: 2.01 2.21 2.32 3/82 13202
/proc/meminfo: memFree=1477152/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=130352 CPUtime=161.4
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 36118 656 2 0 16118 22 0 0 25 0 1 0 57982644 133480448 31215 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 0 0 0
/proc/13155/statm: 32588 31215 415 171 0 31513 0
Current children cumulated CPU time (s) 161.4
Current children cumulated vsize (KiB) 130352

[startup+222.302 s]
/proc/loadavg: 2.00 2.17 2.30 4/82 13202
/proc/meminfo: memFree=1438496/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=180508 CPUtime=221.38
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 49738 656 2 0 22109 29 0 0 25 0 1 0 57982644 184840192 40738 996147200 134512640 135215973 4294956304 18446744073709551615 134989265 0 0 4096 0 0 0 0 17 0 0 0
/proc/13155/statm: 45127 40738 415 171 0 44052 0
Current children cumulated CPU time (s) 221.38
Current children cumulated vsize (KiB) 180508

[startup+282.301 s]
/proc/loadavg: 2.00 2.13 2.27 3/82 13202
/proc/meminfo: memFree=1403680/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=211908 CPUtime=281.35
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 58565 656 2 0 28101 34 0 0 25 0 1 0 57982644 216993792 49565 996147200 134512640 135215973 4294956304 18446744073709551615 4158960080 0 0 4096 0 0 0 0 17 0 0 0
/proc/13155/statm: 52977 49565 415 171 0 51902 0
Current children cumulated CPU time (s) 281.35
Current children cumulated vsize (KiB) 211908

[startup+342.307 s]
/proc/loadavg: 2.00 2.11 2.26 3/82 13202
/proc/meminfo: memFree=1367136/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=243984 CPUtime=341.34
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 67546 656 2 0 34094 40 0 0 25 0 1 0 57982644 249839616 58546 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/13155/statm: 60996 58546 415 171 0 59921 0
Current children cumulated CPU time (s) 341.34
Current children cumulated vsize (KiB) 243984

[startup+402.301 s]
/proc/loadavg: 2.00 2.08 2.24 3/82 13202
/proc/meminfo: memFree=1332448/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=276028 CPUtime=401.32
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 76367 656 2 0 40087 45 0 0 25 0 1 0 57982644 282652672 67238 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/13155/statm: 69007 67238 415 171 0 67932 0
Current children cumulated CPU time (s) 401.32
Current children cumulated vsize (KiB) 276028

[startup+462.301 s]
/proc/loadavg: 2.00 2.07 2.22 3/82 13202
/proc/meminfo: memFree=1302624/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=302956 CPUtime=461.29
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 83807 656 2 0 46081 48 0 0 25 0 1 0 57982644 310226944 74678 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/13155/statm: 75739 74678 415 171 0 74664 0
Current children cumulated CPU time (s) 461.29
Current children cumulated vsize (KiB) 302956

[startup+522.302 s]
/proc/loadavg: 2.00 2.05 2.20 4/82 13208
/proc/meminfo: memFree=1272280/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=362788 CPUtime=521.26
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 99488 656 2 0 52070 56 0 0 25 0 1 0 57982644 371494912 82166 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/13155/statm: 90697 82166 415 171 0 89622 0
Current children cumulated CPU time (s) 521.26
Current children cumulated vsize (KiB) 362788

[startup+582.301 s]
/proc/loadavg: 2.08 2.07 2.20 3/82 13684
/proc/meminfo: memFree=1246872/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=384640 CPUtime=577.44
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 105571 656 2 0 57685 59 0 0 25 0 1 0 57982644 393871360 88249 996147200 134512640 135215973 4294956304 18446744073709551615 134533294 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 96160 88249 415 171 0 95085 0
Current children cumulated CPU time (s) 577.44
Current children cumulated vsize (KiB) 384640

[startup+642.302 s]
/proc/loadavg: 2.03 2.05 2.18 3/82 13684
/proc/meminfo: memFree=1222040/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=407064 CPUtime=636.89
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 111846 656 2 0 63626 63 0 0 25 0 1 0 57982644 416833536 94524 996147200 134512640 135215973 4294956304 18446744073709551615 4159347503 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 101766 94524 415 171 0 100691 0
Current children cumulated CPU time (s) 636.89

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.02 2.13 3/82 13684
/proc/meminfo: memFree=1126304/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=492596 CPUtime=874.65
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 135632 656 2 0 87388 77 0 0 25 0 1 0 57982644 504418304 118310 996147200 134512640 135215973 4294956304 18446744073709551615 134902469 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 123149 118310 415 171 0 122074 0
Current children cumulated CPU time (s) 874.65
Current children cumulated vsize (KiB) 492596

[startup+942.302 s]
/proc/loadavg: 2.00 2.01 2.12 3/82 13684
/proc/meminfo: memFree=1104800/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=512396 CPUtime=934.08
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 141190 656 2 0 93328 80 0 0 25 0 1 0 57982644 524693504 123868 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 128099 123868 415 171 0 127024 0
Current children cumulated CPU time (s) 934.08
Current children cumulated vsize (KiB) 512396

[startup+1002.31 s]
/proc/loadavg: 2.00 2.01 2.11 3/82 13684
/proc/meminfo: memFree=1081440/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=532872 CPUtime=993.52
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 146858 656 2 0 99270 82 0 0 25 0 1 0 57982644 545660928 129536 996147200 134512640 135215973 4294956304 18446744073709551615 134583387 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 133218 129536 415 171 0 132143 0
Current children cumulated CPU time (s) 993.52
Current children cumulated vsize (KiB) 532872

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/82 13684
/proc/meminfo: memFree=1060192/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=552008 CPUtime=1052.96
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 152285 656 2 0 105210 86 0 0 25 0 1 0 57982644 565256192 134963 996147200 134512640 135215973 4294956304 18446744073709551615 134600799 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 138002 134963 415 171 0 136927 0
Current children cumulated CPU time (s) 1052.96
Current children cumulated vsize (KiB) 552008

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.09 4/82 13684
/proc/meminfo: memFree=1029984/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=580292 CPUtime=1112.4
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 159919 656 2 0 111150 90 0 0 25 0 1 0 57982644 594219008 142340 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 145073 142340 415 171 0 143998 0
Current children cumulated CPU time (s) 1112.4
Current children cumulated vsize (KiB) 580292

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/82 13684
/proc/meminfo: memFree=1015712/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=592944 CPUtime=1171.84
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 163642 656 2 0 117091 93 0 0 25 0 1 0 57982644 607174656 146063 996147200 134512640 135215973 4294956304 18446744073709551615 134902043 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 148236 146063 415 171 0 147161 0
Current children cumulated CPU time (s) 1171.84
Current children cumulated vsize (KiB) 592944

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/82 13684
/proc/meminfo: memFree=992672/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=613076 CPUtime=1231.27
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 169221 656 2 0 123032 95 0 0 25 0 1 0 57982644 627789824 151642 996147200 134512640 135215973 4294956304 18446744073709551615 134617690 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 153269 151642 415 171 0 152194 0
Current children cumulated CPU time (s) 1231.27
Current children cumulated vsize (KiB) 613076

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/82 13684
/proc/meminfo: memFree=969952/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=633652 CPUtime=1290.71
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 174942 656 2 0 128972 99 0 0 25 0 1 0 57982644 648859648 157363 996147200 134512640 135215973 4294956304 18446744073709551615 4158960084 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 158413 157363 415 171 0 157338 0
Current children cumulated CPU time (s) 1290.71
Current children cumulated vsize (KiB) 633652

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/82 13684
/proc/meminfo: memFree=948512/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=718408 CPUtime=1350.16
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 196591 656 2 0 134906 110 0 0 25 0 1 0 57982644 735649792 162627 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 179602 162627 415 171 0 178527 0
Current children cumulated CPU time (s) 1350.16
Current children cumulated vsize (KiB) 718408

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/82 13684
/proc/meminfo: memFree=927520/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=737560 CPUtime=1409.6
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 201888 656 2 0 140848 112 0 0 25 0 1 0 57982644 755261440 167924 996147200 134512640 135215973 4294956304 18446744073709551615 4158960140 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 184390 167924 415 171 0 183315 0
Current children cumulated CPU time (s) 1409.6
Current children cumulated vsize (KiB) 737560

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/82 13684
/proc/meminfo: memFree=905824/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=756824 CPUtime=1469.03
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 207229 656 2 0 146788 115 0 0 25 0 1 0 57982644 774987776 173265 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 189206 173265 415 171 0 188131 0
Current children cumulated CPU time (s) 1469.03
Current children cumulated vsize (KiB) 756824

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/82 13684
/proc/meminfo: memFree=886432/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=774248 CPUtime=1528.47
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 212045 656 2 0 152729 118 0 0 25 0 1 0 57982644 792829952 178081 996147200 134512640 135215973 4294956304 18446744073709551615 134583456 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 193562 178081 415 171 0 192487 0
Current children cumulated CPU time (s) 1528.47
Current children cumulated vsize (KiB) 774248

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/82 13684
/proc/meminfo: memFree=864096/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=794672 CPUtime=1587.91
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 217631 656 2 0 158669 122 0 0 25 0 1 0 57982644 813744128 183667 996147200 134512640 135215973 4294956304 18446744073709551615 134982800 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 198668 183667 415 171 0 197593 0
Current children cumulated CPU time (s) 1587.91
Current children cumulated vsize (KiB) 794672

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/82 13684
/proc/meminfo: memFree=843616/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=813264 CPUtime=1647.35
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 222709 656 2 0 164610 125 0 0 25 0 1 0 57982644 832782336 188745 996147200 134512640 135215973 4294956304 18446744073709551615 134902573 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 203316 188745 415 171 0 202241 0
Current children cumulated CPU time (s) 1647.35
Current children cumulated vsize (KiB) 813264

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/82 13684
/proc/meminfo: memFree=825504/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=830064 CPUtime=1706.79
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 227341 656 2 0 170551 128 0 0 25 0 1 0 57982644 849985536 193377 996147200 134512640 135215973 4294956304 18446744073709551615 134585720 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 207516 193377 415 171 0 206441 0
Current children cumulated CPU time (s) 1706.79
Current children cumulated vsize (KiB) 830064

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 13684
/proc/meminfo: memFree=804384/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=848768 CPUtime=1766.22
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 232473 656 2 0 176492 130 0 0 25 0 1 0 57982644 869138432 198509 996147200 134512640 135215973 4294956304 18446744073709551615 134997607 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 212192 198509 415 171 0 211117 0
Current children cumulated CPU time (s) 1766.22
Current children cumulated vsize (KiB) 848768



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1816.4 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 13684
/proc/meminfo: memFree=790816/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=861228 CPUtime=1800
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4194304 235853 656 2 0 179868 132 0 0 25 0 1 0 57982644 881897472 201889 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 215307 201889 415 171 0 214232 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 861228

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

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

[startup+1816.51 s]
/proc/loadavg: 2.00 2.00 2.02 3/82 13684
/proc/meminfo: memFree=790816/2055920 swapFree=4192812/4192956
[pid=13155] ppid=13153 vsize=0 CPUtime=1800.1
/proc/13155/stat : 13155 (pcs.big) R 13153 13155 13118 0 -1 4195332 235853 656 2 0 179868 142 0 0 25 0 1 0 57982644 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/13155/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1816.54
CPU time (s): 1800.15
CPU user time (s): 1798.69
CPU system time (s): 1.46278
CPU usage (%): 99.098
Max. virtual memory (cumulated for all children) (KiB): 861236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.46278
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236509
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 55192

runsolver used 2.55761 second user time and 5.34819 second system time

The end

Launcher Data 

Begin job on node48 at 2009-07-16 03:53:05
IDJOB=2070790
IDBENCH=55403
IDSOLVER=733
FILE ID=node48/2070790-1247709185
PBS_JOBID= 9521345
Free space on /tmp= 66372 MiB

SOLVER NAME= pcs 0.2
BENCH NAME= CPAI08/csp/primes-20/normalized-primes-20-80-3-5.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2070790-1247709185/watcher-2070790-1247709185 -o /tmp/evaluation-result-2070790-1247709185/solver-2070790-1247709185 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 971247637 HOME/instance-2070790-1247709185.xml

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

MD5SUM BENCH= 07a44e1cfeebba994ced5ca515590998
RANDOM SEED=971247637

node48.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.237
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.237
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:       1597504 kB
Buffers:         67360 kB
Cached:         280800 kB
SwapCached:          0 kB
Active:          71308 kB
Inactive:       311012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1597504 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1908 kB
Writeback:           0 kB
Mapped:          54540 kB
Slab:            61140 kB
Committed_AS:   614700 kB
PageTables:       1840 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= 66372 MiB
End job on node48 at 2009-07-16 04:23:23