Trace number 2077864

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.06 1813.63

General information on the benchmark

Namecsp/primes-15/
normalized-primes-15-20-3-7.xml
MD5SUM5a9755a4ca72128afdbeb99b36b30378
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 benchmark0.044992
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Maximum constraint arity10
Maximum domain size46
Number of constraints which are defined in extension0
Number of constraints which are defined in intension20
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 1959379040
0.18/0.21	c Constructing HOME/instance-2077864-1247715678.xml  with 281 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-2077864-1247715678/watcher-2077864-1247715678 -o /tmp/evaluation-result-2077864-1247715678/solver-2077864-1247715678 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1959379040 HOME/instance-2077864-1247715678.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.33 2.28 2.19 4/82 11687
/proc/meminfo: memFree=278912/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=5356 CPUtime=0
/proc/11687/stat : 11687 (pcssolve) R 11685 11687 10520 0 -1 4194304 290 0 0 0 0 0 0 0 21 0 1 0 58631890 5484544 241 996147200 4194304 4889804 548682068800 18446744073709551615 266890439327 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/11687/statm: 1339 241 200 169 0 50 0
[pid=11688] ppid=11687 vsize=0 CPUtime=0
/proc/11688/stat : 11688 (fgrep) Z 11687 11687 10520 0 -1 4194316 150 0 0 0 0 0 0 0 22 0 1 0 58631891 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/11688/statm: 0 0 0 0 0 0 0

[startup+0.068534 s]
/proc/loadavg: 2.33 2.28 2.19 4/82 11687
/proc/meminfo: memFree=278912/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=4972 CPUtime=0.05
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 934 646 0 0 5 0 0 0 18 0 1 0 58631890 5091328 565 996147200 134512640 135215973 4294956304 18446744073709551615 134587297 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 1243 565 415 171 0 168 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4972

[startup+0.101536 s]
/proc/loadavg: 2.33 2.28 2.19 4/82 11687
/proc/meminfo: memFree=278912/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=4972 CPUtime=0.08
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 934 646 0 0 8 0 0 0 18 0 1 0 58631890 5091328 565 996147200 134512640 135215973 4294956304 18446744073709551615 134533327 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 1243 565 415 171 0 168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4972

[startup+0.301558 s]
/proc/loadavg: 2.33 2.28 2.19 4/82 11687
/proc/meminfo: memFree=278912/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=5368 CPUtime=0.28
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 1040 646 0 0 28 0 0 0 19 0 1 0 58631890 5496832 671 996147200 134512640 135215973 4294956304 18446744073709551615 134585576 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 1342 671 415 171 0 267 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5368

[startup+0.701607 s]
/proc/loadavg: 2.33 2.28 2.19 4/82 11687
/proc/meminfo: memFree=278912/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=5844 CPUtime=0.67
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 1129 646 0 0 67 0 0 0 23 0 1 0 58631890 5984256 760 996147200 134512640 135215973 4294956304 18446744073709551615 134597640 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 1461 760 415 171 0 386 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5844

[startup+1.5017 s]
/proc/loadavg: 2.33 2.28 2.19 3/83 11692
/proc/meminfo: memFree=277432/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=5844 CPUtime=1.46
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 1137 646 0 0 146 0 0 0 25 0 1 0 58631890 5984256 768 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 1461 768 415 171 0 386 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 5844

[startup+3.10187 s]
/proc/loadavg: 2.33 2.28 2.19 3/83 11692
/proc/meminfo: memFree=277112/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=6896 CPUtime=3.05
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 1428 646 0 0 305 0 0 0 25 0 1 0 58631890 7061504 1059 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 1724 1059 415 171 0 649 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 6896

[startup+6.30223 s]
/proc/loadavg: 2.30 2.27 2.19 3/83 11692
/proc/meminfo: memFree=275000/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=8080 CPUtime=6.22
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 1721 646 0 0 622 0 0 0 25 0 1 0 58631890 8273920 1352 996147200 134512640 135215973 4294956304 18446744073709551615 134585628 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 2020 1352 415 171 0 945 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 8080

[startup+12.702 s]
/proc/loadavg: 2.28 2.27 2.19 3/83 11692
/proc/meminfo: memFree=273856/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=9000 CPUtime=12.56
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 1946 646 0 0 1256 0 0 0 25 0 1 0 58631890 9216000 1577 996147200 134512640 135215973 4294956304 18446744073709551615 134591081 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 2250 1577 415 171 0 1175 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 9000

[startup+25.5014 s]
/proc/loadavg: 2.22 2.25 2.19 3/83 11692
/proc/meminfo: memFree=272320/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=10572 CPUtime=25.24
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 2338 646 0 0 2523 1 0 0 25 0 1 0 58631890 10825728 1969 996147200 134512640 135215973 4294956304 18446744073709551615 134590690 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 2643 1969 415 171 0 1568 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 10572

[startup+51.1013 s]
/proc/loadavg: 2.33 2.28 2.20 3/83 11692
/proc/meminfo: memFree=269952/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=13332 CPUtime=50.59
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 3045 646 0 0 5058 1 0 0 25 0 1 0 58631890 13651968 2643 996147200 134512640 135215973 4294956304 18446744073709551615 134585736 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 3333 2643 415 171 0 2258 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 13332

[startup+102.307 s]
/proc/loadavg: 2.25 2.26 2.19 3/83 11693
/proc/meminfo: memFree=324088/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=25292 CPUtime=101.31
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 6070 646 0 0 10128 3 0 0 25 0 1 0 58631890 25899008 5603 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 6323 5603 415 171 0 5248 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 25292

[startup+162.302 s]
/proc/loadavg: 2.15 2.23 2.18 3/83 11693
/proc/meminfo: memFree=316664/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=32732 CPUtime=160.74
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 7954 646 0 0 16070 4 0 0 25 0 1 0 58631890 33517568 7434 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 8183 7434 415 171 0 7108 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 32732

[startup+222.301 s]
/proc/loadavg: 2.19 2.22 2.18 3/83 11693
/proc/meminfo: memFree=312248/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=37064 CPUtime=220.18
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 9050 646 0 0 22013 5 0 0 25 0 1 0 58631890 37953536 8530 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 9266 8530 415 171 0 8191 0
Current children cumulated CPU time (s) 220.18
Current children cumulated vsize (KiB) 37064

[startup+282.301 s]
/proc/loadavg: 2.12 2.19 2.17 3/83 11693
/proc/meminfo: memFree=309688/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=39560 CPUtime=279.61
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 9679 646 0 0 27956 5 0 0 25 0 1 0 58631890 40509440 9159 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 9890 9159 415 171 0 8815 0
Current children cumulated CPU time (s) 279.61
Current children cumulated vsize (KiB) 39560

[startup+342.302 s]
/proc/loadavg: 2.09 2.17 2.17 3/83 11693
/proc/meminfo: memFree=306680/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=42456 CPUtime=339.06
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 10431 646 0 0 33900 6 0 0 25 0 1 0 58631890 43474944 9911 996147200 134512640 135215973 4294956304 18446744073709551615 4158960162 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 10614 9911 415 171 0 9539 0
Current children cumulated CPU time (s) 339.06
Current children cumulated vsize (KiB) 42456

[startup+402.302 s]
/proc/loadavg: 2.08 2.15 2.16 3/83 11693
/proc/meminfo: memFree=304376/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=44688 CPUtime=398.49
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 11003 646 0 0 39843 6 0 0 25 0 1 0 58631890 45760512 10483 996147200 134512640 135215973 4294956304 18446744073709551615 134594422 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 11172 10483 415 171 0 10097 0
Current children cumulated CPU time (s) 398.49
Current children cumulated vsize (KiB) 44688

[startup+462.301 s]
/proc/loadavg: 2.07 2.13 2.15 3/83 11693
/proc/meminfo: memFree=302392/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=47040 CPUtime=457.93
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 11612 646 0 0 45786 7 0 0 25 0 1 0 58631890 48168960 10963 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 11760 10963 415 171 0 10685 0
Current children cumulated CPU time (s) 457.93
Current children cumulated vsize (KiB) 47040

[startup+522.302 s]
/proc/loadavg: 2.06 2.12 2.15 3/83 11693
/proc/meminfo: memFree=299064/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=50328 CPUtime=517.36
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 12444 646 0 0 51729 7 0 0 25 0 1 0 58631890 51535872 11795 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 12582 11795 415 171 0 11507 0
Current children cumulated CPU time (s) 517.36
Current children cumulated vsize (KiB) 50328

[startup+582.302 s]
/proc/loadavg: 2.06 2.11 2.14 3/83 11693
/proc/meminfo: memFree=296504/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=52828 CPUtime=576.8
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 13078 646 0 0 57672 8 0 0 25 0 1 0 58631890 54095872 12429 996147200 134512640 135215973 4294956304 18446744073709551615 4158960578 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 13207 12429 415 171 0 12132 0
Current children cumulated CPU time (s) 576.8
Current children cumulated vsize (KiB) 52828

[startup+642.302 s]
/proc/loadavg: 2.18 2.13 2.14 3/83 11695
/proc/meminfo: memFree=294968/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=54140 CPUtime=636.24
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 13412 646 0 0 63616 8 0 0 25 0 1 0 58631890 55439360 12763 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 13535 12763 415 171 0 12460 0
Current children cumulated CPU time (s) 636.24

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

[startup+822.302 s]
/proc/loadavg: 2.48 2.23 2.18 3/83 11695
/proc/meminfo: memFree=412472/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=64264 CPUtime=814.55
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 15986 646 0 0 81445 10 0 0 25 0 1 0 58631890 65806336 15337 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 16066 15337 415 171 0 14991 0
Current children cumulated CPU time (s) 814.55
Current children cumulated vsize (KiB) 64264

[startup+882.302 s]
/proc/loadavg: 2.51 2.29 2.20 3/83 11695
/proc/meminfo: memFree=409016/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=67804 CPUtime=873.98
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 16853 646 0 0 87388 10 0 0 25 0 1 0 58631890 69431296 16204 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 16951 16204 415 171 0 15876 0
Current children cumulated CPU time (s) 873.98
Current children cumulated vsize (KiB) 67804

[startup+942.301 s]
/proc/loadavg: 2.59 2.36 2.22 3/83 11695
/proc/meminfo: memFree=402360/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=74384 CPUtime=933.41
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 18502 646 0 0 93331 10 0 0 25 0 1 0 58631890 76169216 17853 996147200 134512640 135215973 4294956304 18446744073709551615 134591420 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 18596 17853 415 171 0 17521 0
Current children cumulated CPU time (s) 933.41
Current children cumulated vsize (KiB) 74384

[startup+1002.3 s]
/proc/loadavg: 2.51 2.38 2.24 3/83 11695
/proc/meminfo: memFree=396984/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=79776 CPUtime=992.85
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 19852 646 0 0 99274 11 0 0 25 0 1 0 58631890 81690624 19203 996147200 134512640 135215973 4294956304 18446744073709551615 134583616 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 19944 19203 415 171 0 18869 0
Current children cumulated CPU time (s) 992.85
Current children cumulated vsize (KiB) 79776

[startup+1062.3 s]
/proc/loadavg: 2.22 2.32 2.22 3/83 11695
/proc/meminfo: memFree=391608/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=85172 CPUtime=1052.29
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 21208 646 0 0 105217 12 0 0 25 0 1 0 58631890 87216128 20559 996147200 134512640 135215973 4294956304 18446744073709551615 4158960095 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 21293 20559 415 171 0 20218 0
Current children cumulated CPU time (s) 1052.29
Current children cumulated vsize (KiB) 85172

[startup+1122.3 s]
/proc/loadavg: 2.12 2.28 2.21 3/83 11695
/proc/meminfo: memFree=386168/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=90440 CPUtime=1111.73
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 22550 646 0 0 111160 13 0 0 25 0 1 0 58631890 92610560 21901 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 22610 21901 415 171 0 21535 0
Current children cumulated CPU time (s) 1111.73
Current children cumulated vsize (KiB) 90440

[startup+1182.3 s]
/proc/loadavg: 2.04 2.22 2.19 3/83 11695
/proc/meminfo: memFree=380920/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=95840 CPUtime=1171.17
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 23883 646 0 0 117102 15 0 0 25 0 1 0 58631890 98140160 23234 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 23960 23234 415 171 0 22885 0
Current children cumulated CPU time (s) 1171.17
Current children cumulated vsize (KiB) 95840

[startup+1242.3 s]
/proc/loadavg: 2.07 2.19 2.18 3/83 11701
/proc/meminfo: memFree=375408/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=101112 CPUtime=1230.58
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 25230 646 0 0 123043 15 0 0 25 0 1 0 58631890 103538688 24581 996147200 134512640 135215973 4294956304 18446744073709551615 134590055 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 25278 24581 415 171 0 24203 0
Current children cumulated CPU time (s) 1230.58
Current children cumulated vsize (KiB) 101112

[startup+1302.3 s]
/proc/loadavg: 2.02 2.15 2.17 3/83 11701
/proc/meminfo: memFree=368368/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=108092 CPUtime=1290.03
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 26954 646 0 0 128987 16 0 0 25 0 1 0 58631890 110686208 26305 996147200 134512640 135215973 4294956304 18446744073709551615 135094894 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 27023 26305 415 171 0 25948 0
Current children cumulated CPU time (s) 1290.03
Current children cumulated vsize (KiB) 108092

[startup+1362.3 s]
/proc/loadavg: 2.01 2.13 2.16 3/83 11701
/proc/meminfo: memFree=366064/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=110460 CPUtime=1349.45
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 27568 646 0 0 134929 16 0 0 25 0 1 0 58631890 113111040 26919 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 27615 26919 415 171 0 26540 0
Current children cumulated CPU time (s) 1349.45
Current children cumulated vsize (KiB) 110460

[startup+1422.31 s]
/proc/loadavg: 2.00 2.10 2.15 3/83 11701
/proc/meminfo: memFree=360880/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=115592 CPUtime=1408.9
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 28840 646 0 0 140873 17 0 0 25 0 1 0 58631890 118366208 28191 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/11687/statm: 28898 28191 415 171 0 27823 0
Current children cumulated CPU time (s) 1408.9
Current children cumulated vsize (KiB) 115592

[startup+1482.3 s]
/proc/loadavg: 2.00 2.08 2.13 3/83 11817
/proc/meminfo: memFree=751088/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=120448 CPUtime=1468.84
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 30072 646 0 0 146864 20 0 0 25 0 1 0 58631890 123338752 29423 996147200 134512640 135215973 4294956304 18446744073709551615 4158960112 0 0 4096 0 0 0 0 17 0 0 0
/proc/11687/statm: 30112 29423 415 171 0 29037 0
Current children cumulated CPU time (s) 1468.84
Current children cumulated vsize (KiB) 120448

[startup+1542.3 s]
/proc/loadavg: 1.95 2.05 2.12 3/73 11849
/proc/meminfo: memFree=910472/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=125328 CPUtime=1528.81
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 31291 646 0 0 152860 21 0 0 25 0 1 0 58631890 128335872 30642 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/11687/statm: 31332 30642 415 171 0 30257 0
Current children cumulated CPU time (s) 1528.81
Current children cumulated vsize (KiB) 125328

[startup+1602.3 s]
/proc/loadavg: 1.98 2.04 2.11 3/73 11849
/proc/meminfo: memFree=902024/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=132452 CPUtime=1588.8
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 33076 646 0 0 158858 22 0 0 25 0 1 0 58631890 135630848 32427 996147200 134512640 135215973 4294956304 18446744073709551615 134591703 0 0 4096 0 0 0 0 17 0 0 0
/proc/11687/statm: 33113 32427 415 171 0 32038 0
Current children cumulated CPU time (s) 1588.8
Current children cumulated vsize (KiB) 132452

[startup+1662.3 s]
/proc/loadavg: 1.99 2.03 2.09 3/73 11849
/proc/meminfo: memFree=894344/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=138512 CPUtime=1648.78
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 34596 646 0 0 164855 23 0 0 25 0 1 0 58631890 141836288 33947 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/11687/statm: 34628 33947 415 171 0 33553 0
Current children cumulated CPU time (s) 1648.78
Current children cumulated vsize (KiB) 138512

[startup+1722.3 s]
/proc/loadavg: 1.99 2.02 2.09 3/73 11849
/proc/meminfo: memFree=886728/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=145732 CPUtime=1708.75
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 36429 646 0 0 170851 24 0 0 25 0 1 0 58631890 149229568 35523 996147200 134512640 135215973 4294956304 18446744073709551615 134532667 0 0 4096 0 0 0 0 17 0 0 0
/proc/11687/statm: 36433 35523 415 171 0 35358 0
Current children cumulated CPU time (s) 1708.75
Current children cumulated vsize (KiB) 145732

[startup+1782.3 s]
/proc/loadavg: 1.99 2.01 2.08 3/73 11849
/proc/meminfo: memFree=879816/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=151124 CPUtime=1768.73
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 37763 646 0 0 176849 24 0 0 25 0 1 0 58631890 154750976 36857 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 0 0 0
/proc/11687/statm: 37781 36857 415 171 0 36706 0
Current children cumulated CPU time (s) 1768.73
Current children cumulated vsize (KiB) 151124



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1813.6 s]
/proc/loadavg: 1.99 2.01 2.08 3/73 11849
/proc/meminfo: memFree=874440/2055920 swapFree=4192812/4192956
[pid=11687] ppid=11685 vsize=155472 CPUtime=1800.02
/proc/11687/stat : 11687 (pcs.big) R 11685 11687 10520 0 -1 4194304 38868 646 0 0 179977 25 0 0 25 0 1 0 58631890 159203328 37962 996147200 134512640 135215973 4294956304 18446744073709551615 134600035 0 0 4096 0 0 0 0 17 0 0 0
/proc/11687/statm: 38868 37962 415 171 0 37793 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 155472

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): 1813.63
CPU time (s): 1800.06
CPU user time (s): 1799.78
CPU system time (s): 0.285956
CPU usage (%): 99.2519
Max. virtual memory (cumulated for all children) (KiB): 155472

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

runsolver used 2.50362 second user time and 5.45517 second system time

The end

Launcher Data 

Begin job on node38 at 2009-07-16 05:41:18
IDJOB=2077864
IDBENCH=56682
IDSOLVER=734
FILE ID=node38/2077864-1247715678
PBS_JOBID= 9521353
Free space on /tmp= 66228 MiB

SOLVER NAME= pcs-restart 0.2.restart
BENCH NAME= CPAI08/csp/primes-15/normalized-primes-15-20-3-7.xml
COMMAND LINE= HOME/pcssolve -s RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2077864-1247715678/watcher-2077864-1247715678 -o /tmp/evaluation-result-2077864-1247715678/solver-2077864-1247715678 -C 1800 -W 2000 -M 900  HOME/pcssolve -s 1959379040 HOME/instance-2077864-1247715678.xml

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

MD5SUM BENCH= 5a9755a4ca72128afdbeb99b36b30378
RANDOM SEED=1959379040

node38.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.229
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.229
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:        279392 kB
Buffers:        100292 kB
Cached:         803836 kB
SwapCached:          0 kB
Active:        1140280 kB
Inactive:       534108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        279392 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1732 kB
Writeback:           0 kB
Mapped:         790716 kB
Slab:            85704 kB
Committed_AS:  1298480 kB
PageTables:       3396 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= 66228 MiB
End job on node38 at 2009-07-16 06:11:34