Trace number 2063585

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.1 1807.83

General information on the benchmark

Namecsp/primes-25/
normalized-primes-25-20-3-7.xml
MD5SUM31f2dbf14a0adbda0db668286d90192e
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.028995
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Maximum constraint arity10
Maximum domain size96
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.00	c has big domains
0.00/0.00	c big-domain mode
0.19/0.20	c Seed is 1540836428
0.19/0.20	c Constructing HOME/instance-2063585-1247696063.xml  with 282 constraints
0.19/0.20	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-2063585-1247696063/watcher-2063585-1247696063 -o /tmp/evaluation-result-2063585-1247696063/solver-2063585-1247696063 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1540836428 HOME/instance-2063585-1247696063.xml 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.96 2.04 1.72 4/72 15977
/proc/meminfo: memFree=975676/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=5356 CPUtime=0
/proc/15977/stat : 15977 (pcssolve) R 15975 15977 15632 0 -1 4194304 343 646 0 0 0 0 0 0 16 0 1 0 56670951 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 256364705438 0 0 4100 65536 0 0 0 17 1 0 0
/proc/15977/statm: 1340 243 201 169 0 51 0

[startup+0.105354 s]
/proc/loadavg: 1.96 2.04 1.72 4/72 15977
/proc/meminfo: memFree=975676/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=5192 CPUtime=0.09
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 991 646 0 0 9 0 0 0 18 0 1 0 56670951 5316608 622 996147200 134512640 135215973 4294956304 18446744073709551615 134533259 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 1298 622 415 171 0 223 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5192

[startup+0.20136 s]
/proc/loadavg: 1.96 2.04 1.72 4/72 15977
/proc/meminfo: memFree=975676/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=5192 CPUtime=0.19
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 1003 646 0 0 19 0 0 0 18 0 1 0 56670951 5316608 634 996147200 134512640 135215973 4294956304 18446744073709551615 4158512667 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 1298 634 415 171 0 223 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5192

[startup+0.301372 s]
/proc/loadavg: 1.96 2.04 1.72 4/72 15977
/proc/meminfo: memFree=975676/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=5324 CPUtime=0.29
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 1029 646 0 0 29 0 0 0 19 0 1 0 56670951 5451776 660 996147200 134512640 135215973 4294956304 18446744073709551615 134585694 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 1331 660 415 171 0 256 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5324

[startup+0.701413 s]
/proc/loadavg: 1.96 2.04 1.72 4/72 15977
/proc/meminfo: memFree=975676/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=5712 CPUtime=0.69
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 1135 646 0 0 69 0 0 0 23 0 1 0 56670951 5849088 766 996147200 134512640 135215973 4294956304 18446744073709551615 134583202 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 1428 766 415 171 0 353 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5712

[startup+1.5015 s]
/proc/loadavg: 1.96 2.04 1.72 3/73 15982
/proc/meminfo: memFree=973364/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=6356 CPUtime=1.48
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 1298 646 0 0 148 0 0 0 25 0 1 0 56670951 6508544 929 996147200 134512640 135215973 4294956304 18446744073709551615 4158960014 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 1589 929 415 171 0 514 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6356

[startup+3.10167 s]
/proc/loadavg: 1.96 2.04 1.72 3/73 15982
/proc/meminfo: memFree=972340/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=7276 CPUtime=3.07
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 1511 646 0 0 307 0 0 0 25 0 1 0 56670951 7450624 1142 996147200 134512640 135215973 4294956304 18446744073709551615 134583364 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 1819 1142 415 171 0 744 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 7276

[startup+6.302 s]
/proc/loadavg: 1.97 2.04 1.72 3/73 15982
/proc/meminfo: memFree=971124/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=8404 CPUtime=6.03
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 1814 646 0 0 602 1 0 0 25 0 1 0 56670951 8605696 1392 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 2101 1392 415 171 0 1026 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 8404

[startup+12.7017 s]
/proc/loadavg: 1.97 2.04 1.72 3/73 15982
/proc/meminfo: memFree=967740/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=10232 CPUtime=12.41
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 2280 646 0 0 1240 1 0 0 25 0 1 0 56670951 10477568 1825 996147200 134512640 135215973 4294956304 18446744073709551615 134680642 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 2558 1825 415 171 0 1483 0
Current children cumulated CPU time (s) 12.41
Current children cumulated vsize (KiB) 10232

[startup+25.502 s]
/proc/loadavg: 1.98 2.04 1.72 3/73 15982
/proc/meminfo: memFree=961148/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=13692 CPUtime=25.15
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 3152 646 0 0 2514 1 0 0 25 0 1 0 56670951 14020608 2697 996147200 134512640 135215973 4294956304 18446744073709551615 134594087 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 3423 2697 415 171 0 2348 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 13692

[startup+51.1016 s]
/proc/loadavg: 1.98 2.03 1.73 3/73 15982
/proc/meminfo: memFree=946236/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=22996 CPUtime=50.64
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 5631 646 0 0 5062 2 0 0 25 0 1 0 56670951 23547904 5013 996147200 134512640 135215973 4294956304 18446744073709551615 134585445 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 5749 5013 415 171 0 4674 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 22996

[startup+102.302 s]
/proc/loadavg: 1.99 2.02 1.74 3/73 15982
/proc/meminfo: memFree=935932/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=29028 CPUtime=101.64
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 7139 646 0 0 10161 3 0 0 25 0 1 0 56670951 29724672 6521 996147200 134512640 135215973 4294956304 18446744073709551615 134600482 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 7257 6521 415 171 0 6182 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 29028

[startup+162.301 s]
/proc/loadavg: 1.99 2.02 1.75 3/73 15982
/proc/meminfo: memFree=925308/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=34960 CPUtime=161.4
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 8689 646 0 0 16136 4 0 0 25 0 1 0 56670951 35799040 7966 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 8740 7966 415 171 0 7665 0
Current children cumulated CPU time (s) 161.4
Current children cumulated vsize (KiB) 34960

[startup+222.306 s]
/proc/loadavg: 1.99 2.01 1.76 3/73 15982
/proc/meminfo: memFree=916092/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=40872 CPUtime=221.16
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 10178 646 0 0 22111 5 0 0 25 0 1 0 56670951 41852928 9326 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 10218 9326 415 171 0 9143 0
Current children cumulated CPU time (s) 221.16
Current children cumulated vsize (KiB) 40872

[startup+282.301 s]
/proc/loadavg: 1.99 2.01 1.78 3/73 15982
/proc/meminfo: memFree=906748/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=45480 CPUtime=280.91
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 11334 646 0 0 28086 5 0 0 25 0 1 0 56670951 46571520 10482 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 11370 10482 415 171 0 10295 0
Current children cumulated CPU time (s) 280.91
Current children cumulated vsize (KiB) 45480

[startup+342.302 s]
/proc/loadavg: 1.99 2.00 1.79 3/73 15982
/proc/meminfo: memFree=897916/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=49560 CPUtime=340.67
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 12381 646 0 0 34062 5 0 0 25 0 1 0 56670951 50749440 11529 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 12390 11529 415 171 0 11315 0
Current children cumulated CPU time (s) 340.67
Current children cumulated vsize (KiB) 49560

[startup+402.302 s]
/proc/loadavg: 1.99 2.00 1.80 3/73 15982
/proc/meminfo: memFree=889788/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=50468 CPUtime=400.43
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 12620 646 0 0 40037 6 0 0 25 0 1 0 56670951 51679232 11768 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 12617 11768 415 171 0 11542 0
Current children cumulated CPU time (s) 400.43
Current children cumulated vsize (KiB) 50468

[startup+462.302 s]
/proc/loadavg: 1.99 2.00 1.81 3/73 15982
/proc/meminfo: memFree=875068/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=58100 CPUtime=460.18
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 14534 646 0 0 46011 7 0 0 25 0 1 0 56670951 59494400 13682 996147200 134512640 135215973 4294956304 18446744073709551615 134590052 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 14525 13682 415 171 0 13450 0
Current children cumulated CPU time (s) 460.18
Current children cumulated vsize (KiB) 58100

[startup+522.301 s]
/proc/loadavg: 1.99 2.00 1.82 3/73 15982
/proc/meminfo: memFree=864252/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=61776 CPUtime=519.95
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 15466 646 0 0 51987 8 0 0 25 0 1 0 56670951 63258624 14614 996147200 134512640 135215973 4294956304 18446744073709551615 4158960028 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 15444 14614 415 171 0 14369 0
Current children cumulated CPU time (s) 519.95
Current children cumulated vsize (KiB) 61776

[startup+582.301 s]
/proc/loadavg: 1.99 2.00 1.83 3/73 15982
/proc/meminfo: memFree=852028/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=65312 CPUtime=579.7
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 16354 646 0 0 57962 8 0 0 25 0 1 0 56670951 66879488 15502 996147200 134512640 135215973 4294956304 18446744073709551615 134532714 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 16328 15502 415 171 0 15253 0
Current children cumulated CPU time (s) 579.7
Current children cumulated vsize (KiB) 65312

[startup+642.301 s]
/proc/loadavg: 1.99 2.00 1.83 3/73 15982
/proc/meminfo: memFree=840956/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=69392 CPUtime=639.46
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 17405 646 0 0 63937 9 0 0 25 0 1 0 56670951 71057408 16553 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 17348 16553 415 171 0 16273 0
Current children cumulated CPU time (s) 639.46
Current children cumulated vsize (KiB) 69392

[startup+702.302 s]

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

[startup+882.306 s]
/proc/loadavg: 1.99 2.00 1.86 3/73 15982
/proc/meminfo: memFree=781372/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=99892 CPUtime=878.48
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 25076 646 0 0 87834 14 0 0 25 0 1 0 56670951 102289408 23967 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 24973 23967 415 171 0 23898 0
Current children cumulated CPU time (s) 878.48
Current children cumulated vsize (KiB) 99892

[startup+942.301 s]
/proc/loadavg: 1.99 2.00 1.86 3/73 15982
/proc/meminfo: memFree=768252/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=104352 CPUtime=938.23
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 26205 646 0 0 93808 15 0 0 25 0 1 0 56670951 106856448 25096 996147200 134512640 135215973 4294956304 18446744073709551615 134600006 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 26088 25096 415 171 0 25013 0
Current children cumulated CPU time (s) 938.23
Current children cumulated vsize (KiB) 104352

[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 1.87 3/73 15982
/proc/meminfo: memFree=755836/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=110280 CPUtime=997.99
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 27705 646 0 0 99783 16 0 0 25 0 1 0 56670951 112926720 26596 996147200 134512640 135215973 4294956304 18446744073709551615 134590260 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 27570 26596 415 171 0 26495 0
Current children cumulated CPU time (s) 997.99
Current children cumulated vsize (KiB) 110280

[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 1.87 3/73 15982
/proc/meminfo: memFree=745340/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=115660 CPUtime=1057.76
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 29062 646 0 0 105759 17 0 0 25 0 1 0 56670951 118435840 27953 996147200 134512640 135215973 4294956304 18446744073709551615 134585391 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 28915 27953 415 171 0 27840 0
Current children cumulated CPU time (s) 1057.76
Current children cumulated vsize (KiB) 115660

[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 1.88 3/73 15982
/proc/meminfo: memFree=736956/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=120520 CPUtime=1117.51
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 30298 646 0 0 111734 17 0 0 25 0 1 0 56670951 123412480 29189 996147200 134512640 135215973 4294956304 18446744073709551615 134585549 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 30130 29189 415 171 0 29055 0
Current children cumulated CPU time (s) 1117.51
Current children cumulated vsize (KiB) 120520

[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 1.88 3/73 15982
/proc/meminfo: memFree=723196/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=126708 CPUtime=1177.27
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 31836 646 0 0 117709 18 0 0 25 0 1 0 56670951 129748992 30727 996147200 134512640 135215973 4294956304 18446744073709551615 134609771 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 31677 30727 415 171 0 30602 0
Current children cumulated CPU time (s) 1177.27
Current children cumulated vsize (KiB) 126708

[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 1.89 3/73 15982
/proc/meminfo: memFree=714876/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=128952 CPUtime=1237.02
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 32452 646 0 0 123684 18 0 0 25 0 1 0 56670951 132046848 31343 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 32238 31343 415 171 0 31163 0
Current children cumulated CPU time (s) 1237.02
Current children cumulated vsize (KiB) 128952

[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 1.90 3/73 15982
/proc/meminfo: memFree=702908/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=138044 CPUtime=1296.78
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 34720 646 0 0 129659 19 0 0 25 0 1 0 56670951 141357056 33611 996147200 134512640 135215973 4294956304 18446744073709551615 134599865 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 34511 33611 415 171 0 33436 0
Current children cumulated CPU time (s) 1296.78
Current children cumulated vsize (KiB) 138044

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 1.90 3/73 15982
/proc/meminfo: memFree=696316/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=139084 CPUtime=1356.54
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 34996 646 0 0 135634 20 0 0 25 0 1 0 56670951 142422016 33887 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 34771 33887 415 171 0 33696 0
Current children cumulated CPU time (s) 1356.54
Current children cumulated vsize (KiB) 139084

[startup+1422.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/73 15982
/proc/meminfo: memFree=692668/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=139724 CPUtime=1416.3
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 35155 646 0 0 141610 20 0 0 25 0 1 0 56670951 143077376 34046 996147200 134512640 135215973 4294956304 18446744073709551615 4158960146 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 34931 34046 415 171 0 33856 0
Current children cumulated CPU time (s) 1416.3
Current children cumulated vsize (KiB) 139724

[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/73 15982
/proc/meminfo: memFree=683964/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=144192 CPUtime=1476.06
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 36282 646 0 0 147585 21 0 0 25 0 1 0 56670951 147652608 35173 996147200 134512640 135215973 4294956304 18446744073709551615 4158960074 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 36048 35173 415 171 0 34973 0
Current children cumulated CPU time (s) 1476.06
Current children cumulated vsize (KiB) 144192

[startup+1542.31 s]
/proc/loadavg: 1.99 2.00 1.91 3/73 15982
/proc/meminfo: memFree=675580/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=146828 CPUtime=1535.81
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 36962 646 0 0 153560 21 0 0 25 0 1 0 56670951 150351872 35853 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 36707 35853 415 171 0 35632 0
Current children cumulated CPU time (s) 1535.81
Current children cumulated vsize (KiB) 146828

[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/73 15982
/proc/meminfo: memFree=666428/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=149072 CPUtime=1595.57
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 37501 646 0 0 159536 21 0 0 25 0 1 0 56670951 152649728 36392 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 37268 36392 415 171 0 36193 0
Current children cumulated CPU time (s) 1595.57
Current children cumulated vsize (KiB) 149072

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/73 15982
/proc/meminfo: memFree=654780/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=153032 CPUtime=1655.33
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 38516 646 0 0 165511 22 0 0 25 0 1 0 56670951 156704768 37407 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 38258 37407 415 171 0 37183 0
Current children cumulated CPU time (s) 1655.33
Current children cumulated vsize (KiB) 153032

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/73 15982
/proc/meminfo: memFree=648572/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=155000 CPUtime=1715.09
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 39017 646 0 0 171487 22 0 0 25 0 1 0 56670951 158720000 37908 996147200 134512640 135215973 4294956304 18446744073709551615 4158961112 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 38750 37908 415 171 0 37675 0
Current children cumulated CPU time (s) 1715.09
Current children cumulated vsize (KiB) 155000

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 1.91 3/73 15982
/proc/meminfo: memFree=642108/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=158288 CPUtime=1774.85
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 39829 646 0 0 177462 23 0 0 25 0 1 0 56670951 162086912 38720 996147200 134512640 135215973 4294956304 18446744073709551615 134581366 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 39572 38720 415 171 0 38497 0
Current children cumulated CPU time (s) 1774.85
Current children cumulated vsize (KiB) 158288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1807.8 s]
/proc/loadavg: 1.92 1.98 1.90 3/82 16024
/proc/meminfo: memFree=804596/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=158288 CPUtime=1800.06
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 39847 646 0 0 179983 23 0 0 25 0 1 0 56670951 162086912 38738 996147200 134512640 135215973 4294956304 18446744073709551615 134581366 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 39572 38738 415 171 0 38497 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 158288

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

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

[startup+1807.8 s]
/proc/loadavg: 1.92 1.98 1.90 3/82 16024
/proc/meminfo: memFree=804596/2055920 swapFree=4192812/4192956
[pid=15977] ppid=15975 vsize=158288 CPUtime=1800.06
/proc/15977/stat : 15977 (pcs.big) R 15975 15977 15632 0 -1 4194304 39847 646 0 0 179983 23 0 0 25 0 1 0 56670951 162086912 38738 996147200 134512640 135215973 4294956304 18446744073709551615 134581366 0 0 4096 0 0 0 0 17 0 0 0
/proc/15977/statm: 39572 38738 415 171 0 38497 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 158288

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1807.83
CPU time (s): 1800.1
CPU user time (s): 1799.84
CPU system time (s): 0.263959
CPU usage (%): 99.5725
Max. virtual memory (cumulated for all children) (KiB): 158288

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.263959
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40493
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= 17
involuntary context switches= 24494

runsolver used 1.90171 second user time and 4.77027 second system time

The end

Launcher Data 

Begin job on node90 at 2009-07-16 00:14:23
IDJOB=2063585
IDBENCH=54046
IDSOLVER=733
FILE ID=node90/2063585-1247696063
PBS_JOBID= 9521138
Free space on /tmp= 66096 MiB

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

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

MD5SUM BENCH= 31f2dbf14a0adbda0db668286d90192e
RANDOM SEED=1540836428

node90.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.212
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.212
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:        976156 kB
Buffers:         99344 kB
Cached:         848848 kB
SwapCached:          0 kB
Active:         360752 kB
Inactive:       612956 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        976156 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3760 kB
Writeback:           0 kB
Mapped:          30912 kB
Slab:            91540 kB
Committed_AS:   623248 kB
PageTables:       1776 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= 66096 MiB
End job on node90 at 2009-07-16 00:44:33