Trace number 2063520

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.2 1808.21

General information on the benchmark

Namecsp/primes-25/
normalized-primes-25-80-3-5.xml
MD5SUMc3b3a68ace92b9a3e2f2e99b84357c33
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 benchmark1.3348
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints80
Maximum constraint arity8
Maximum domain size96
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.08/0.12	c Seed is 392828394
0.08/0.12	c Constructing HOME/instance-2063520-1247696057.xml  with 896 constraints
0.08/0.12	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-2063520-1247696057/watcher-2063520-1247696057 -o /tmp/evaluation-result-2063520-1247696057/solver-2063520-1247696057 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 392828394 HOME/instance-2063520-1247696057.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.84 1.94 1.67 4/72 9472
/proc/meminfo: memFree=932776/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=18576 CPUtime=0
/proc/9472/stat : 9472 (runsolver) R 9470 9472 9082 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 56668715 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 271894244647 0 0 4096 24578 0 0 0 17 1 0 0
/proc/9472/statm: 4644 284 249 26 0 2626 0

[startup+0.0749149 s]
/proc/loadavg: 1.84 1.94 1.67 4/72 9472
/proc/meminfo: memFree=932776/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=5712 CPUtime=0.05
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 1152 656 0 0 5 0 0 0 18 0 1 0 56668715 5849088 730 996147200 134512640 135215973 4294956304 18446744073709551615 134532941 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 1428 730 415 171 0 353 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 5712

[startup+0.101915 s]
/proc/loadavg: 1.84 1.94 1.67 4/72 9472
/proc/meminfo: memFree=932776/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=5712 CPUtime=0.08
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 1154 656 0 0 8 0 0 0 18 0 1 0 56668715 5849088 732 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 1428 732 415 171 0 353 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5712

[startup+0.301936 s]
/proc/loadavg: 1.84 1.94 1.67 4/72 9472
/proc/meminfo: memFree=932776/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=6524 CPUtime=0.28
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 1433 656 0 0 28 0 0 0 19 0 1 0 56668715 6680576 906 996147200 134512640 135215973 4294956304 18446744073709551615 134648297 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 1631 906 415 171 0 556 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6524

[startup+0.701978 s]
/proc/loadavg: 1.84 1.94 1.67 4/72 9472
/proc/meminfo: memFree=932776/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=6932 CPUtime=0.67
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 1572 656 0 0 67 0 0 0 23 0 1 0 56668715 7098368 1045 996147200 134512640 135215973 4294956304 18446744073709551615 134902073 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 1733 1045 415 171 0 658 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 6932

[startup+1.50106 s]
/proc/loadavg: 1.84 1.94 1.67 3/73 9477
/proc/meminfo: memFree=929248/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=9080 CPUtime=1.47
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 2142 656 0 0 146 1 0 0 25 0 1 0 56668715 9297920 1406 996147200 134512640 135215973 4294956304 18446744073709551615 134902477 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 2270 1406 415 171 0 1195 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 9080

[startup+3.10222 s]
/proc/loadavg: 1.84 1.94 1.67 3/73 9477
/proc/meminfo: memFree=926944/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=10132 CPUtime=3.06
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 2525 656 0 0 305 1 0 0 25 0 1 0 56668715 10375168 1691 996147200 134512640 135215973 4294956304 18446744073709551615 134641051 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 2533 1691 415 171 0 1458 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 10132

[startup+6.30153 s]
/proc/loadavg: 1.85 1.94 1.67 3/73 9477
/proc/meminfo: memFree=923176/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=12624 CPUtime=6.22
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 3264 656 0 0 621 1 0 0 25 0 1 0 56668715 12926976 2301 996147200 134512640 135215973 4294956304 18446744073709551615 134617702 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 3156 2301 415 171 0 2081 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 12624

[startup+12.7012 s]
/proc/loadavg: 1.87 1.94 1.67 3/73 9477
/proc/meminfo: memFree=914216/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=18812 CPUtime=12.57
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 4910 656 0 0 1255 2 0 0 25 0 1 0 56668715 19263488 3690 996147200 134512640 135215973 4294956304 18446744073709551615 134603528 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 4703 3690 415 171 0 3628 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 18812

[startup+25.5014 s]
/proc/loadavg: 1.89 1.94 1.67 3/73 9477
/proc/meminfo: memFree=897832/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=29600 CPUtime=25.26
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 7929 656 0 0 2522 4 0 0 25 0 1 0 56668715 30310400 6196 996147200 134512640 135215973 4294956304 18446744073709551615 134532901 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 7400 6196 415 171 0 6325 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 29600

[startup+51.102 s]
/proc/loadavg: 1.93 1.94 1.68 3/73 9477
/proc/meminfo: memFree=869416/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=45336 CPUtime=50.63
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 12285 656 0 0 5057 6 0 0 25 0 1 0 56668715 46424064 10519 996147200 134512640 135215973 4294956304 18446744073709551615 134590104 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 11334 10519 415 171 0 10259 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 45336

[startup+102.306 s]
/proc/loadavg: 1.97 1.95 1.69 3/73 9477
/proc/meminfo: memFree=816232/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=75216 CPUtime=101.4
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 20702 656 0 0 10128 12 0 0 25 0 1 0 56668715 77021184 17846 996147200 134512640 135215973 4294956304 18446744073709551615 134902562 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 18804 17846 415 171 0 17729 0
Current children cumulated CPU time (s) 101.4
Current children cumulated vsize (KiB) 75216

[startup+162.301 s]
/proc/loadavg: 1.99 1.96 1.71 3/73 9477
/proc/meminfo: memFree=757288/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=110332 CPUtime=160.89
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 30388 656 0 0 16070 19 0 0 25 0 1 0 56668715 112979968 25483 996147200 134512640 135215973 4294956304 18446744073709551615 134600082 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 27583 25483 415 171 0 26508 0
Current children cumulated CPU time (s) 160.89
Current children cumulated vsize (KiB) 110332

[startup+222.302 s]
/proc/loadavg: 2.06 1.98 1.73 3/73 9477
/proc/meminfo: memFree=692520/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=131744 CPUtime=220.38
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 36477 656 0 0 22016 22 0 0 25 0 1 0 56668715 134905856 31572 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 32936 31572 415 171 0 31861 0
Current children cumulated CPU time (s) 220.38
Current children cumulated vsize (KiB) 131744

[startup+282.302 s]
/proc/loadavg: 2.07 1.99 1.75 3/73 9477
/proc/meminfo: memFree=638376/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=156528 CPUtime=279.86
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 43167 656 0 0 27961 25 0 0 25 0 1 0 56668715 160284672 38133 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 39132 38133 415 171 0 38057 0
Current children cumulated CPU time (s) 279.86
Current children cumulated vsize (KiB) 156528

[startup+342.302 s]
/proc/loadavg: 2.07 2.01 1.77 3/73 9477
/proc/meminfo: memFree=582888/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=186904 CPUtime=339.32
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 51223 656 0 0 33903 29 0 0 25 0 1 0 56668715 191389696 42092 996147200 134512640 135215973 4294956304 18446744073709551615 134589885 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 46726 42092 415 171 0 45651 0
Current children cumulated CPU time (s) 339.32
Current children cumulated vsize (KiB) 186904

[startup+402.302 s]
/proc/loadavg: 2.07 2.02 1.79 3/73 9477
/proc/meminfo: memFree=546408/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=202964 CPUtime=398.8
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 55636 656 0 0 39848 32 0 0 25 0 1 0 56668715 207835136 46505 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 50741 46505 415 171 0 49666 0
Current children cumulated CPU time (s) 398.8
Current children cumulated vsize (KiB) 202964

[startup+462.302 s]
/proc/loadavg: 2.11 2.04 1.81 3/73 9477
/proc/meminfo: memFree=504168/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=221172 CPUtime=458.28
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 60622 656 0 0 45793 35 0 0 25 0 1 0 56668715 226480128 51491 996147200 134512640 135215973 4294956304 18446744073709551615 134603523 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 55293 51491 415 171 0 54218 0
Current children cumulated CPU time (s) 458.28
Current children cumulated vsize (KiB) 221172

[startup+522.302 s]
/proc/loadavg: 2.08 2.05 1.82 3/73 9477
/proc/meminfo: memFree=464744/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=239256 CPUtime=517.77
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 65665 656 0 0 51739 38 0 0 25 0 1 0 56668715 244998144 56117 996147200 134512640 135215973 4294956304 18446744073709551615 4158961211 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 59814 56117 415 171 0 58739 0
Current children cumulated CPU time (s) 517.77
Current children cumulated vsize (KiB) 239256

[startup+582.302 s]
/proc/loadavg: 2.08 2.05 1.83 3/73 9477
/proc/meminfo: memFree=424296/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=255800 CPUtime=577.25
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 70289 656 0 0 57683 42 0 0 25 0 1 0 56668715 261939200 60741 996147200 134512640 135215973 4294956304 18446744073709551615 134583281 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 63950 60741 415 171 0 62875 0
Current children cumulated CPU time (s) 577.25
Current children cumulated vsize (KiB) 255800

[startup+642.302 s]
/proc/loadavg: 2.03 2.04 1.84 3/73 9477
/proc/meminfo: memFree=387048/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=271680 CPUtime=636.73
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 74599 656 0 0 63629 44 0 0 25 0 1 0 56668715 278200320 65051 996147200 134512640 135215973 4294956304 18446744073709551615 135095118 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 67920 65051 415 171 0 66845 0
Current children cumulated CPU time (s) 636.73
Current children cumulated vsize (KiB) 271680

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 2.00 2.01 1.86 3/73 9477
/proc/meminfo: memFree=202024/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=375064 CPUtime=874.68
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 102662 656 0 0 87408 60 0 0 25 0 1 0 56668715 384065536 84921 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/9472/statm: 93766 84921 415 171 0 92691 0
Current children cumulated CPU time (s) 874.68
Current children cumulated vsize (KiB) 375064

[startup+942.301 s]
/proc/loadavg: 2.25 2.08 1.89 3/82 9517
/proc/meminfo: memFree=560032/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=394440 CPUtime=934.59
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 107945 656 0 0 93393 66 0 0 25 0 1 0 56668715 403906560 89947 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 98610 89947 415 171 0 97535 0
Current children cumulated CPU time (s) 934.59
Current children cumulated vsize (KiB) 394440

[startup+1002.3 s]
/proc/loadavg: 2.13 2.08 1.91 3/70 9523
/proc/meminfo: memFree=400320/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=411780 CPUtime=994.56
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 112672 656 0 0 99388 68 0 0 25 0 1 0 56668715 421662720 94674 996147200 134512640 135215973 4294956304 18446744073709551615 4158960007 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 102945 94674 415 171 0 101870 0
Current children cumulated CPU time (s) 994.56
Current children cumulated vsize (KiB) 411780

[startup+1062.3 s]
/proc/loadavg: 2.05 2.06 1.91 3/82 9561
/proc/meminfo: memFree=934432/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=430540 CPUtime=1054.54
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 117852 656 0 0 105382 72 0 0 25 0 1 0 56668715 440872960 99854 996147200 134512640 135215973 4294956304 18446744073709551615 135094972 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 107635 99854 415 171 0 106560 0
Current children cumulated CPU time (s) 1054.54
Current children cumulated vsize (KiB) 430540

[startup+1122.3 s]
/proc/loadavg: 2.02 2.05 1.91 3/82 9561
/proc/meminfo: memFree=914592/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=448384 CPUtime=1114.52
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 122769 656 0 0 111376 76 0 0 25 0 1 0 56668715 459145216 104771 996147200 134512640 135215973 4294956304 18446744073709551615 134532661 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 112096 104771 415 171 0 111021 0
Current children cumulated CPU time (s) 1114.52
Current children cumulated vsize (KiB) 448384

[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 1.91 3/82 9561
/proc/meminfo: memFree=893472/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=467392 CPUtime=1174.5
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 128044 656 0 0 117372 78 0 0 25 0 1 0 56668715 478609408 110046 996147200 134512640 135215973 4294956304 18446744073709551615 134591100 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 116848 110046 415 171 0 115773 0
Current children cumulated CPU time (s) 1174.5
Current children cumulated vsize (KiB) 467392

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 1.91 3/82 9561
/proc/meminfo: memFree=871904/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=486544 CPUtime=1234.48
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 133316 656 0 0 123366 82 0 0 25 0 1 0 56668715 498221056 115318 996147200 134512640 135215973 4294956304 18446744073709551615 134590086 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 121636 115318 415 171 0 120561 0
Current children cumulated CPU time (s) 1234.48
Current children cumulated vsize (KiB) 486544

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/82 9561
/proc/meminfo: memFree=850400/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=505532 CPUtime=1294.47
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 138660 656 0 0 129363 84 0 0 25 0 1 0 56668715 517664768 120662 996147200 134512640 135215973 4294956304 18446744073709551615 4158960000 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 126383 120662 415 171 0 125308 0
Current children cumulated CPU time (s) 1294.47
Current children cumulated vsize (KiB) 505532

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.91 3/82 9561
/proc/meminfo: memFree=830624/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=523668 CPUtime=1354.44
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 143641 656 0 0 135357 87 0 0 25 0 1 0 56668715 536236032 125643 996147200 134512640 135215973 4294956304 18446744073709551615 134583274 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 130917 125643 415 171 0 129842 0
Current children cumulated CPU time (s) 1354.44
Current children cumulated vsize (KiB) 523668

[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 1.91 3/82 9561
/proc/meminfo: memFree=809312/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=542828 CPUtime=1414.42
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 148912 656 0 0 141352 90 0 0 25 0 1 0 56668715 555855872 130914 996147200 134512640 135215973 4294956304 18446744073709551615 134687020 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 135707 130914 415 171 0 134632 0
Current children cumulated CPU time (s) 1414.42
Current children cumulated vsize (KiB) 542828

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 9561
/proc/meminfo: memFree=788064/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=562388 CPUtime=1474.39
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 154244 656 0 0 147346 93 0 0 25 0 1 0 56668715 575885312 136246 996147200 134512640 135215973 4294956304 18446744073709551615 4158960431 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 140597 136246 415 171 0 139522 0
Current children cumulated CPU time (s) 1474.39
Current children cumulated vsize (KiB) 562388

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 9561
/proc/meminfo: memFree=765728/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=582900 CPUtime=1534.37
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 159799 656 0 0 153340 97 0 0 25 0 1 0 56668715 596889600 141801 996147200 134512640 135215973 4294956304 18446744073709551615 135095379 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 145725 141801 415 171 0 144650 0
Current children cumulated CPU time (s) 1534.37
Current children cumulated vsize (KiB) 582900

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 9561
/proc/meminfo: memFree=745184/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=602320 CPUtime=1594.35
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 165053 656 0 0 159336 99 0 0 25 0 1 0 56668715 616775680 147055 996147200 134512640 135215973 4294956304 18446744073709551615 135096596 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 150580 147055 415 171 0 149505 0
Current children cumulated CPU time (s) 1594.35
Current children cumulated vsize (KiB) 602320

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 9561
/proc/meminfo: memFree=722784/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=622488 CPUtime=1654.33
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 170500 656 0 0 165330 103 0 0 25 0 1 0 56668715 637427712 152502 996147200 134512640 135215973 4294956304 18446744073709551615 134590995 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 155622 152502 415 171 0 154547 0
Current children cumulated CPU time (s) 1654.33
Current children cumulated vsize (KiB) 622488

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 9561
/proc/meminfo: memFree=700896/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=642712 CPUtime=1714.3
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 175975 656 0 0 171323 107 0 0 25 0 1 0 56668715 658137088 157977 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 160678 157977 415 171 0 159603 0
Current children cumulated CPU time (s) 1714.3
Current children cumulated vsize (KiB) 642712

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 9561
/proc/meminfo: memFree=679008/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=662688 CPUtime=1774.29
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 181480 656 0 0 177318 111 0 0 25 0 1 0 56668715 678592512 163482 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 165672 163482 415 171 0 164597 0
Current children cumulated CPU time (s) 1774.29
Current children cumulated vsize (KiB) 662688



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 9561
/proc/meminfo: memFree=669344/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=671144 CPUtime=1800.08
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4194304 183819 656 0 0 179896 112 0 0 25 0 1 0 56668715 687251456 165821 996147200 134512640 135215973 4294956304 18446744073709551615 134524388 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 167786 165821 415 171 0 166711 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 671144

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

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

[startup+1808.21 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 9561
/proc/meminfo: memFree=669344/2055920 swapFree=4192812/4192956
[pid=9472] ppid=9470 vsize=0 CPUtime=1800.19
/proc/9472/stat : 9472 (pcs.big) R 9470 9472 9082 0 -1 4195332 183819 656 0 0 179897 122 0 0 25 0 1 0 56668715 0 0 996147200 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/9472/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.21
CPU time (s): 1800.2
CPU user time (s): 1798.97
CPU system time (s): 1.23181
CPU usage (%): 99.5573
Max. virtual memory (cumulated for all children) (KiB): 671144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.97
system time used= 1.23181
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184475
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= 19
involuntary context switches= 22327

runsolver used 1.9947 second user time and 5.12022 second system time

The end

Launcher Data 

Begin job on node60 at 2009-07-16 00:14:17
IDJOB=2063520
IDBENCH=54038
IDSOLVER=734
FILE ID=node60/2063520-1247696057
PBS_JOBID= 9521193
Free space on /tmp= 66428 MiB

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

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

MD5SUM BENCH= c3b3a68ace92b9a3e2f2e99b84357c33
RANDOM SEED=392828394

node60.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.232
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.232
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:        933256 kB
Buffers:         81088 kB
Cached:         518196 kB
SwapCached:          0 kB
Active:         604144 kB
Inactive:       432532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        933256 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2016 kB
Writeback:           0 kB
Mapped:         448916 kB
Slab:            70524 kB
Committed_AS:   970616 kB
PageTables:       2672 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= 66428 MiB
End job on node60 at 2009-07-16 00:44:27