Trace number 2063464

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.11 1808.65

General information on the benchmark

Namecsp/primes-25/
normalized-primes-25-40-3-3.xml
MD5SUM731de278672e01032a698d5eefd6377a
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 benchmark215.761
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints40
Maximum constraint arity6
Maximum domain size96
Number of constraints which are defined in extension0
Number of constraints which are defined in intension40
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.01	c Seed is 2053275108
0.00/0.02	c Constructing HOME/instance-2063464-1247696056.xml  with 373 constraints
0.00/0.03	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-2063464-1247696056/watcher-2063464-1247696056 -o /tmp/evaluation-result-2063464-1247696056/solver-2063464-1247696056 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 2053275108 HOME/instance-2063464-1247696056.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.99 1.97 1.68 4/72 12214
/proc/meminfo: memFree=1023584/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=18576 CPUtime=0
/proc/12214/stat : 12214 (runsolver) R 12212 12214 12029 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 56671588 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 210824129831 0 0 4096 24578 0 0 0 17 1 0 0
/proc/12214/statm: 4644 284 249 26 0 2626 0

[startup+0.0442161 s]
/proc/loadavg: 1.99 1.97 1.68 4/72 12214
/proc/meminfo: memFree=1023584/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=4940 CPUtime=0.02
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 951 648 0 0 2 0 0 0 24 0 1 0 56671588 5058560 582 996147200 134512640 135215973 4294956304 18446744073709551615 134591240 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 1235 582 415 171 0 160 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 4940

[startup+0.101222 s]
/proc/loadavg: 1.99 1.97 1.68 4/72 12214
/proc/meminfo: memFree=1023584/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=5136 CPUtime=0.08
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 1002 648 0 0 8 0 0 0 25 0 1 0 56671588 5259264 633 996147200 134512640 135215973 4294956304 18446744073709551615 134590163 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 1284 633 415 171 0 209 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5136

[startup+0.301247 s]
/proc/loadavg: 1.99 1.97 1.68 4/72 12214
/proc/meminfo: memFree=1023584/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=5740 CPUtime=0.28
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 1137 648 0 0 28 0 0 0 25 0 1 0 56671588 5877760 715 996147200 134512640 135215973 4294956304 18446744073709551615 134585491 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 1435 715 415 171 0 360 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5740

[startup+0.701297 s]
/proc/loadavg: 1.99 1.97 1.68 4/72 12214
/proc/meminfo: memFree=1023584/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=6044 CPUtime=0.68
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 1217 648 0 0 68 0 0 0 25 0 1 0 56671588 6189056 795 996147200 134512640 135215973 4294956304 18446744073709551615 134590063 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 1511 795 415 171 0 436 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 6044

[startup+1.50139 s]
/proc/loadavg: 1.99 1.97 1.68 3/73 12219
/proc/meminfo: memFree=1020952/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=6348 CPUtime=1.47
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 1296 648 0 0 147 0 0 0 25 0 1 0 56671588 6500352 874 996147200 134512640 135215973 4294956304 18446744073709551615 134600385 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 1587 874 415 171 0 512 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 6348

[startup+3.10259 s]
/proc/loadavg: 1.99 1.97 1.68 3/73 12219
/proc/meminfo: memFree=1019672/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=7260 CPUtime=3.06
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 1530 648 0 0 306 0 0 0 25 0 1 0 56671588 7434240 1108 996147200 134512640 135215973 4294956304 18446744073709551615 4158960261 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 1815 1108 415 171 0 740 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 7260

[startup+6.30197 s]
/proc/loadavg: 1.99 1.97 1.68 3/73 12219
/proc/meminfo: memFree=1016472/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=8312 CPUtime=6.24
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 1785 648 0 0 623 1 0 0 25 0 1 0 56671588 8511488 1363 996147200 134512640 135215973 4294956304 18446744073709551615 4158960012 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 2078 1363 415 171 0 1003 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 8312

[startup+12.7017 s]
/proc/loadavg: 1.99 1.97 1.68 3/73 12219
/proc/meminfo: memFree=1009880/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=11452 CPUtime=12.57
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 2648 648 0 0 1256 1 0 0 25 0 1 0 56671588 11726848 2160 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 2863 2160 415 171 0 1788 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 11452

[startup+25.5013 s]
/proc/loadavg: 1.99 1.97 1.68 3/73 12219
/proc/meminfo: memFree=998488/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=14872 CPUtime=25.26
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 3579 648 0 0 2524 2 0 0 25 0 1 0 56671588 15228928 2986 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 3718 2986 415 171 0 2643 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 14872

[startup+51.1013 s]
/proc/loadavg: 1.99 1.97 1.69 3/73 12219
/proc/meminfo: memFree=976024/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=22580 CPUtime=50.62
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 5595 648 0 0 5059 3 0 0 25 0 1 0 56671588 23121920 4743 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 5645 4743 415 171 0 4570 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 22580

[startup+102.306 s]
/proc/loadavg: 1.99 1.97 1.71 3/73 12219
/proc/meminfo: memFree=933656/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=32392 CPUtime=101.36
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 8195 648 0 0 10131 5 0 0 25 0 1 0 56671588 33169408 7343 996147200 134512640 135215973 4294956304 18446744073709551615 4158961172 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 8098 7343 415 171 0 7023 0
Current children cumulated CPU time (s) 101.36
Current children cumulated vsize (KiB) 32392

[startup+162.302 s]
/proc/loadavg: 1.99 1.97 1.72 3/73 12219
/proc/meminfo: memFree=895128/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=44708 CPUtime=160.81
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 11404 648 0 0 16074 7 0 0 25 0 1 0 56671588 45780992 10166 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 11177 10166 415 171 0 10102 0
Current children cumulated CPU time (s) 160.81
Current children cumulated vsize (KiB) 44708

[startup+222.302 s]
/proc/loadavg: 1.99 1.97 1.74 3/73 12219
/proc/meminfo: memFree=850520/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=52972 CPUtime=220.24
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 13645 648 0 0 22016 8 0 0 25 0 1 0 56671588 54243328 12407 996147200 134512640 135215973 4294956304 18446744073709551615 134590027 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 13243 12407 415 171 0 12168 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 52972

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.75 3/73 12219
/proc/meminfo: memFree=818584/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=65672 CPUtime=279.7
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 16964 648 0 0 27959 11 0 0 25 0 1 0 56671588 67248128 15213 996147200 134512640 135215973 4294956304 18446744073709551615 134599837 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 16418 15213 415 171 0 15343 0
Current children cumulated CPU time (s) 279.7
Current children cumulated vsize (KiB) 65672

[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.76 3/73 12219
/proc/meminfo: memFree=790560/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=74080 CPUtime=339.14
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 19187 648 0 0 33902 12 0 0 25 0 1 0 56671588 75857920 17436 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 18520 17436 415 171 0 17445 0
Current children cumulated CPU time (s) 339.14
Current children cumulated vsize (KiB) 74080

[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.77 3/73 12219
/proc/meminfo: memFree=762144/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=80248 CPUtime=398.59
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 20806 648 0 0 39846 13 0 0 25 0 1 0 56671588 82173952 19055 996147200 134512640 135215973 4294956304 18446744073709551615 134597350 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 20062 19055 415 171 0 18987 0
Current children cumulated CPU time (s) 398.59
Current children cumulated vsize (KiB) 80248

[startup+462.302 s]
/proc/loadavg: 1.99 1.97 1.78 3/73 12219
/proc/meminfo: memFree=734304/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=87228 CPUtime=458.04
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 22635 648 0 0 45790 14 0 0 25 0 1 0 56671588 89321472 20884 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 21807 20884 415 171 0 20732 0
Current children cumulated CPU time (s) 458.04
Current children cumulated vsize (KiB) 87228

[startup+522.302 s]
/proc/loadavg: 1.99 1.97 1.80 3/73 12219
/proc/meminfo: memFree=706464/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=96444 CPUtime=517.48
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 25054 648 0 0 51732 16 0 0 25 0 1 0 56671588 98758656 23303 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 24111 23303 415 171 0 23036 0
Current children cumulated CPU time (s) 517.48
Current children cumulated vsize (KiB) 96444

[startup+582.302 s]
/proc/loadavg: 1.99 1.97 1.81 3/73 12219
/proc/meminfo: memFree=671072/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=106340 CPUtime=576.93
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 27684 648 0 0 57674 19 0 0 25 0 1 0 56671588 108892160 24908 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 26585 24908 415 171 0 25510 0
Current children cumulated CPU time (s) 576.93
Current children cumulated vsize (KiB) 106340

[startup+642.301 s]
/proc/loadavg: 1.99 1.97 1.82 3/73 12219
/proc/meminfo: memFree=643552/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=116864 CPUtime=636.37
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 30433 648 0 0 63617 20 0 0 25 0 1 0 56671588 119668736 27400 996147200 134512640 135215973 4294956304 18446744073709551615 134532677 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 29216 27400 415 171 0 28141 0
Current children cumulated CPU time (s) 636.37
Current children cumulated vsize (KiB) 116864

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 1.99 1.97 1.84 3/73 12219
/proc/meminfo: memFree=577056/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=136096 CPUtime=814.72
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 35490 648 0 0 81449 23 0 0 25 0 1 0 56671588 139362304 32457 996147200 134512640 135215973 4294956304 18446744073709551615 134589800 0 0 4096 0 0 0 0 17 1 0 0
/proc/12214/statm: 34024 32457 415 171 0 32949 0
Current children cumulated CPU time (s) 814.72
Current children cumulated vsize (KiB) 136096

[startup+882.302 s]
/proc/loadavg: 1.99 1.97 1.84 2/71 12220
/proc/meminfo: memFree=1272240/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=142416 CPUtime=874.17
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 37151 648 0 0 87394 23 0 0 25 0 1 0 56671588 145833984 34118 996147200 134512640 135215973 4294956304 18446744073709551615 134599858 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 35604 34118 415 171 0 34529 0
Current children cumulated CPU time (s) 874.17
Current children cumulated vsize (KiB) 142416

[startup+942.302 s]
/proc/loadavg: 2.16 2.02 1.86 3/82 12259
/proc/meminfo: memFree=813840/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=150044 CPUtime=934.08
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 39152 648 0 0 93379 29 0 0 25 0 1 0 56671588 153645056 36119 996147200 134512640 135215973 4294956304 18446744073709551615 134533067 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 37511 36119 415 171 0 36436 0
Current children cumulated CPU time (s) 934.08
Current children cumulated vsize (KiB) 150044

[startup+1002.3 s]
/proc/loadavg: 2.09 2.03 1.88 3/83 12261
/proc/meminfo: memFree=683392/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=157676 CPUtime=994.06
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 41154 648 0 0 99376 30 0 0 25 0 1 0 56671588 161460224 38121 996147200 134512640 135215973 4294956304 18446744073709551615 134590416 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 39419 38121 415 171 0 38344 0
Current children cumulated CPU time (s) 994.06
Current children cumulated vsize (KiB) 157676

[startup+1062.3 s]
/proc/loadavg: 2.03 2.02 1.88 3/70 12265
/proc/meminfo: memFree=910960/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=163872 CPUtime=1054.03
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 42819 648 0 0 105372 31 0 0 25 0 1 0 56671588 167804928 39786 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 40968 39786 415 171 0 39893 0
Current children cumulated CPU time (s) 1054.03
Current children cumulated vsize (KiB) 163872

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.89 3/82 12303
/proc/meminfo: memFree=1219408/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=172148 CPUtime=1114.01
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 45003 648 0 0 111366 35 0 0 25 0 1 0 56671588 176279552 41970 996147200 134512640 135215973 4294956304 18446744073709551615 134597380 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 43037 41970 415 171 0 41962 0
Current children cumulated CPU time (s) 1114.01
Current children cumulated vsize (KiB) 172148

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/82 12303
/proc/meminfo: memFree=1213712/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=177680 CPUtime=1173.99
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 46441 648 0 0 117363 36 0 0 25 0 1 0 56671588 181944320 43408 996147200 134512640 135215973 4294956304 18446744073709551615 4158960056 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 44420 43408 415 171 0 43345 0
Current children cumulated CPU time (s) 1173.99
Current children cumulated vsize (KiB) 177680

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/82 12303
/proc/meminfo: memFree=1207248/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=183732 CPUtime=1233.96
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 48013 648 0 0 123360 36 0 0 25 0 1 0 56671588 188141568 44980 996147200 134512640 135215973 4294956304 18446744073709551615 4158960064 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 45933 44980 415 171 0 44858 0
Current children cumulated CPU time (s) 1233.96
Current children cumulated vsize (KiB) 183732

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/82 12303
/proc/meminfo: memFree=1199824/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=198644 CPUtime=1293.94
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 51876 648 0 0 129356 38 0 0 25 0 1 0 56671588 203411456 46794 996147200 134512640 135215973 4294956304 18446744073709551615 4158960027 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 49661 46794 415 171 0 48586 0
Current children cumulated CPU time (s) 1293.94
Current children cumulated vsize (KiB) 198644

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12303
/proc/meminfo: memFree=1189840/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=208136 CPUtime=1353.92
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 54368 648 0 0 135353 39 0 0 25 0 1 0 56671588 213131264 49286 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 52034 49286 415 171 0 50959 0
Current children cumulated CPU time (s) 1353.92
Current children cumulated vsize (KiB) 208136

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12303
/proc/meminfo: memFree=1182608/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=215116 CPUtime=1413.9
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 56164 648 0 0 141350 40 0 0 25 0 1 0 56671588 220278784 51082 996147200 134512640 135215973 4294956304 18446744073709551615 4158961618 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 53779 51082 415 171 0 52704 0
Current children cumulated CPU time (s) 1413.9
Current children cumulated vsize (KiB) 215116

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12303
/proc/meminfo: memFree=1177424/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=219984 CPUtime=1473.87
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 57446 648 0 0 147346 41 0 0 25 0 1 0 56671588 225263616 52364 996147200 134512640 135215973 4294956304 18446744073709551615 4158961087 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 54996 52364 415 171 0 53921 0
Current children cumulated CPU time (s) 1473.87
Current children cumulated vsize (KiB) 219984

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12303
/proc/meminfo: memFree=1170320/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=226700 CPUtime=1533.86
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 59225 648 0 0 153344 42 0 0 25 0 1 0 56671588 232140800 54143 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 56675 54143 415 171 0 55600 0
Current children cumulated CPU time (s) 1533.86
Current children cumulated vsize (KiB) 226700

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12303
/proc/meminfo: memFree=1162768/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=233944 CPUtime=1593.83
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 61120 648 0 0 159340 43 0 0 25 0 1 0 56671588 239558656 56038 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 58486 56038 415 171 0 57411 0
Current children cumulated CPU time (s) 1593.83
Current children cumulated vsize (KiB) 233944

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12303
/proc/meminfo: memFree=1155088/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=241324 CPUtime=1653.81
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 63026 648 0 0 165337 44 0 0 25 0 1 0 56671588 247115776 57944 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 60331 57944 415 171 0 59256 0
Current children cumulated CPU time (s) 1653.81
Current children cumulated vsize (KiB) 241324

[startup+1722.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12303
/proc/meminfo: memFree=1149392/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=246724 CPUtime=1713.78
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 64438 648 0 0 171334 44 0 0 25 0 1 0 56671588 252645376 59356 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 61681 59356 415 171 0 60606 0
Current children cumulated CPU time (s) 1713.78
Current children cumulated vsize (KiB) 246724

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 12303
/proc/meminfo: memFree=1143184/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=252528 CPUtime=1773.76
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 65967 648 0 0 177331 45 0 0 25 0 1 0 56671588 258588672 60885 996147200 134512640 135215973 4294956304 18446744073709551615 134590396 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 63132 60885 415 171 0 62057 0
Current children cumulated CPU time (s) 1773.76
Current children cumulated vsize (KiB) 252528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.6 s]
/proc/loadavg: 2.00 2.00 1.91 4/82 12303
/proc/meminfo: memFree=1140432/2055920 swapFree=4192812/4192956
[pid=12214] ppid=12212 vsize=255164 CPUtime=1800.05
/proc/12214/stat : 12214 (pcs.big) R 12212 12214 12029 0 -1 4194304 66645 648 0 0 179960 45 0 0 25 0 1 0 56671588 261287936 61563 996147200 134512640 135215973 4294956304 18446744073709551615 134590017 0 0 4096 0 0 0 0 17 0 0 0
/proc/12214/statm: 63791 61563 415 171 0 62716 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 255164

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): 1808.65
CPU time (s): 1800.11
CPU user time (s): 1799.61
CPU system time (s): 0.501923
CPU usage (%): 99.5281
Max. virtual memory (cumulated for all children) (KiB): 255164

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

runsolver used 2.43663 second user time and 5.08423 second system time

The end

Launcher Data 

Begin job on node33 at 2009-07-16 00:14:16
IDJOB=2063464
IDBENCH=54028
IDSOLVER=733
FILE ID=node33/2063464-1247696056
PBS_JOBID= 9521244
Free space on /tmp= 66424 MiB

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

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

MD5SUM BENCH= 731de278672e01032a698d5eefd6377a
RANDOM SEED=2053275108

node33.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:       1024064 kB
Buffers:         74500 kB
Cached:         490172 kB
SwapCached:          0 kB
Active:         545020 kB
Inactive:       419144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1024064 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1724 kB
Writeback:           0 kB
Mapped:         410948 kB
Slab:            52452 kB
Committed_AS:   943740 kB
PageTables:       2524 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= 66424 MiB
End job on node33 at 2009-07-16 00:44:27