Trace number 2063509

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

General information on the benchmark

Namecsp/primes-25/
normalized-primes-25-80-3-7.xml
MD5SUMed23ca702094b42d6858a9ee6167f2fb
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 benchmark3.9494
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints80
Maximum constraint arity10
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.00/0.20	c Seed is 1060255323
0.00/0.20	c Constructing HOME/instance-2063509-1247696056.xml  with 1047 constraints
0.00/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-2063509-1247696056/watcher-2063509-1247696056 -o /tmp/evaluation-result-2063509-1247696056/solver-2063509-1247696056 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1060255323 HOME/instance-2063509-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.85 1.94 1.68 4/72 10390
/proc/meminfo: memFree=1252472/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=18576 CPUtime=0
/proc/10390/stat : 10390 (runsolver) R 10388 10390 10192 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 56668770 19021824 284 996147200 4194304 4302564 548682068496 18446744073709551615 217051622695 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10390/statm: 4644 284 249 26 0 2626 0

[startup+0.0177301 s]
/proc/loadavg: 1.85 1.94 1.68 4/72 10390
/proc/meminfo: memFree=1252472/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=3076 CPUtime=0
/proc/10390/stat : 10390 (pcs.big) D 10388 10390 10192 0 -1 4194304 400 656 0 0 0 0 0 0 18 0 1 0 56668770 3149824 46 996147200 134512640 135215973 4294956304 18446744073709551615 9286436 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/10390/statm: 1650 956 415 171 0 575 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3076

[startup+0.339159 s]
/proc/loadavg: 1.85 1.94 1.68 4/72 10390
/proc/meminfo: memFree=1252472/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=6600 CPUtime=0.31
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 1483 656 0 0 31 0 0 0 19 0 1 0 56668770 6758400 956 996147200 134512640 135215973 4294956304 18446744073709551615 134582251 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 1650 956 415 171 0 575 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 6600

[startup+0.401171 s]
/proc/loadavg: 1.85 1.94 1.68 4/72 10390
/proc/meminfo: memFree=1252472/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=6600 CPUtime=0.38
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 1500 656 0 0 38 0 0 0 20 0 1 0 56668770 6758400 973 996147200 134512640 135215973 4294956304 18446744073709551615 134590017 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 1650 973 415 171 0 575 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 6600

[startup+0.701227 s]
/proc/loadavg: 1.85 1.94 1.68 4/72 10390
/proc/meminfo: memFree=1252472/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=8112 CPUtime=0.67
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 1986 656 0 0 67 0 0 0 23 0 1 0 56668770 8306688 1250 996147200 134512640 135215973 4294956304 18446744073709551615 134617693 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 2028 1250 415 171 0 953 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 8112

[startup+1.50138 s]
/proc/loadavg: 1.85 1.94 1.68 3/73 10395
/proc/meminfo: memFree=1248560/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=8376 CPUtime=1.46
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 2100 656 0 0 146 0 0 0 25 0 1 0 56668770 8577024 1364 996147200 134512640 135215973 4294956304 18446744073709551615 134589874 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 2094 1364 415 171 0 1019 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8376

[startup+3.10169 s]
/proc/loadavg: 1.85 1.94 1.68 3/73 10395
/proc/meminfo: memFree=1248048/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=9084 CPUtime=3.05
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 2293 656 0 0 305 0 0 0 25 0 1 0 56668770 9302016 1524 996147200 134512640 135215973 4294956304 18446744073709551615 134600683 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 2271 1524 415 171 0 1196 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 9084

[startup+6.3013 s]
/proc/loadavg: 1.86 1.94 1.68 3/73 10395
/proc/meminfo: memFree=1245296/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=14728 CPUtime=6.22
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 3833 656 0 0 621 1 0 0 25 0 1 0 56668770 15081472 2582 996147200 134512640 135215973 4294956304 18446744073709551615 134584968 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 3682 2582 415 171 0 2607 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 14728

[startup+12.7015 s]
/proc/loadavg: 1.87 1.94 1.68 3/73 10395
/proc/meminfo: memFree=1240688/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=17188 CPUtime=12.56
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 4513 656 0 0 1255 1 0 0 25 0 1 0 56668770 17600512 3133 996147200 134512640 135215973 4294956304 18446744073709551615 134590078 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 4297 3133 415 171 0 3222 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 17188

[startup+25.507 s]
/proc/loadavg: 1.90 1.94 1.69 3/73 10395
/proc/meminfo: memFree=1233840/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=23616 CPUtime=25.26
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 6358 656 0 0 2524 2 0 0 25 0 1 0 56668770 24182784 4688 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 5904 4688 415 171 0 4829 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 23616

[startup+51.1018 s]
/proc/loadavg: 1.93 1.94 1.70 3/73 10395
/proc/meminfo: memFree=1220208/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=35944 CPUtime=50.63
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 9948 656 0 0 5059 4 0 0 25 0 1 0 56668770 36806656 7765 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 8986 7765 415 171 0 7911 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 35944

[startup+102.302 s]
/proc/loadavg: 1.97 1.95 1.71 3/73 10395
/proc/meminfo: memFree=1191216/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=63000 CPUtime=101.38
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 17633 656 0 0 10130 8 0 0 25 0 1 0 56668770 64512000 14360 996147200 134512640 135215973 4294956304 18446744073709551615 134581797 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 15750 14360 415 171 0 14675 0
Current children cumulated CPU time (s) 101.38
Current children cumulated vsize (KiB) 63000

[startup+162.301 s]
/proc/loadavg: 1.99 1.96 1.73 3/73 10395
/proc/meminfo: memFree=1159728/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=95944 CPUtime=160.86
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 26856 656 0 0 16072 14 0 0 25 0 1 0 56668770 98246656 21534 996147200 134512640 135215973 4294956304 18446744073709551615 4158960041 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 23986 21534 415 171 0 22911 0
Current children cumulated CPU time (s) 160.86
Current children cumulated vsize (KiB) 95944

[startup+222.302 s]
/proc/loadavg: 1.99 1.96 1.74 3/73 10395
/proc/meminfo: memFree=1131056/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=118272 CPUtime=220.34
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 33162 656 0 0 22017 17 0 0 25 0 1 0 56668770 121110528 27840 996147200 134512640 135215973 4294956304 18446744073709551615 134902038 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 29568 27840 415 171 0 28493 0
Current children cumulated CPU time (s) 220.34
Current children cumulated vsize (KiB) 118272

[startup+282.302 s]
/proc/loadavg: 1.99 1.97 1.75 3/73 10395
/proc/meminfo: memFree=1106416/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=138232 CPUtime=279.82
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 38712 656 0 0 27962 20 0 0 25 0 1 0 56668770 141549568 33390 996147200 134512640 135215973 4294956304 18446744073709551615 134599865 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 34558 33390 415 171 0 33483 0
Current children cumulated CPU time (s) 279.82
Current children cumulated vsize (KiB) 138232

[startup+342.306 s]
/proc/loadavg: 1.99 1.97 1.76 3/73 10395
/proc/meminfo: memFree=1081392/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=175752 CPUtime=339.3
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 48677 656 0 0 33905 25 0 0 25 0 1 0 56668770 179970048 39129 996147200 134512640 135215973 4294956304 18446744073709551615 134617684 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 43938 39129 415 171 0 42863 0
Current children cumulated CPU time (s) 339.3
Current children cumulated vsize (KiB) 175752

[startup+402.302 s]
/proc/loadavg: 1.99 1.97 1.78 3/73 10395
/proc/meminfo: memFree=1055856/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=193252 CPUtime=398.77
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 53493 656 0 0 39848 29 0 0 25 0 1 0 56668770 197890048 43945 996147200 134512640 135215973 4294956304 18446744073709551615 134617684 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 48313 43945 415 171 0 47238 0
Current children cumulated CPU time (s) 398.77
Current children cumulated vsize (KiB) 193252

[startup+462.301 s]
/proc/loadavg: 1.99 1.97 1.79 3/73 10395
/proc/meminfo: memFree=1037424/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=208408 CPUtime=458.24
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 57690 656 0 0 45792 32 0 0 25 0 1 0 56668770 213409792 48142 996147200 134512640 135215973 4294956304 18446744073709551615 134902073 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 52102 48142 415 171 0 51027 0
Current children cumulated CPU time (s) 458.24
Current children cumulated vsize (KiB) 208408

[startup+522.303 s]
/proc/loadavg: 1.99 1.97 1.80 3/73 10395
/proc/meminfo: memFree=1017008/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=224628 CPUtime=517.73
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 62195 656 0 0 51737 36 0 0 25 0 1 0 56668770 230019072 52647 996147200 134512640 135215973 4294956304 18446744073709551615 4158960516 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 56157 52647 415 171 0 55082 0
Current children cumulated CPU time (s) 517.73
Current children cumulated vsize (KiB) 224628

[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.81 3/73 10395
/proc/meminfo: memFree=997872/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=238796 CPUtime=577.21
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 66146 656 0 0 57682 39 0 0 25 0 1 0 56668770 244527104 56598 996147200 134512640 135215973 4294956304 18446744073709551615 134583647 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 59699 56598 415 171 0 58624 0
Current children cumulated CPU time (s) 577.21
Current children cumulated vsize (KiB) 238796

[startup+642.302 s]
/proc/loadavg: 1.99 1.97 1.82 3/73 10395
/proc/meminfo: memFree=978352/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=253972 CPUtime=636.69
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 70300 656 0 0 63628 41 0 0 25 0 1 0 56668770 260067328 60752 996147200 134512640 135215973 4294956304 18446744073709551615 134590993 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 63493 60752 415 171 0 62418 0
Current children cumulated CPU time (s) 636.69
Current children cumulated vsize (KiB) 253972

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.99 1.97 1.84 3/73 10395
/proc/meminfo: memFree=898928/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=312532 CPUtime=874.62
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 86488 656 0 0 87411 51 0 0 25 0 1 0 56668770 320032768 76940 996147200 134512640 135215973 4294956304 18446744073709551615 134648275 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 78133 76940 415 171 0 77058 0
Current children cumulated CPU time (s) 874.62
Current children cumulated vsize (KiB) 312532

[startup+942.302 s]
/proc/loadavg: 1.99 1.97 1.85 3/73 10395
/proc/meminfo: memFree=879472/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=361028 CPUtime=934.09
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 99070 656 0 0 93352 57 0 0 25 0 1 0 56668770 369692672 81329 996147200 134512640 135215973 4294956304 18446744073709551615 134583640 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 90257 81329 415 171 0 89182 0
Current children cumulated CPU time (s) 934.09
Current children cumulated vsize (KiB) 361028

[startup+1002.31 s]
/proc/loadavg: 1.99 1.97 1.86 3/73 10395
/proc/meminfo: memFree=860528/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=375128 CPUtime=993.58
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 102956 656 0 0 99299 59 0 0 25 0 1 0 56668770 384131072 85215 996147200 134512640 135215973 4294956304 18446744073709551615 134911253 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 93782 85215 415 171 0 92707 0
Current children cumulated CPU time (s) 993.58
Current children cumulated vsize (KiB) 375128

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.86 3/73 10395
/proc/meminfo: memFree=839664/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=391392 CPUtime=1053.06
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 107466 656 0 0 105243 63 0 0 25 0 1 0 56668770 400785408 89725 996147200 134512640 135215973 4294956304 18446744073709551615 134599873 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 97848 89725 415 171 0 96773 0
Current children cumulated CPU time (s) 1053.06
Current children cumulated vsize (KiB) 391392

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.87 3/73 10395
/proc/meminfo: memFree=820528/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=406036 CPUtime=1112.55
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 111518 656 0 0 111189 66 0 0 25 0 1 0 56668770 415780864 93777 996147200 134512640 135215973 4294956304 18446744073709551615 4158960018 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 101509 93777 415 171 0 100434 0
Current children cumulated CPU time (s) 1112.55
Current children cumulated vsize (KiB) 406036

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.87 3/73 10395
/proc/meminfo: memFree=801712/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=420616 CPUtime=1172.04
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 115521 656 0 0 117136 68 0 0 25 0 1 0 56668770 430710784 97780 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 105154 97780 415 171 0 104079 0
Current children cumulated CPU time (s) 1172.04
Current children cumulated vsize (KiB) 420616

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.88 3/73 10395
/proc/meminfo: memFree=777456/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=440960 CPUtime=1231.52
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 121028 656 0 0 123082 70 0 0 25 0 1 0 56668770 451543040 103030 996147200 134512640 135215973 4294956304 18446744073709551615 134586812 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 110240 103030 415 171 0 109165 0
Current children cumulated CPU time (s) 1231.52
Current children cumulated vsize (KiB) 440960

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.88 3/73 10395
/proc/meminfo: memFree=762608/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=452096 CPUtime=1291.01
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 124107 656 0 0 129028 73 0 0 25 0 1 0 56668770 462946304 106109 996147200 134512640 135215973 4294956304 18446744073709551615 4158960153 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 113024 106109 415 171 0 111949 0
Current children cumulated CPU time (s) 1291.01
Current children cumulated vsize (KiB) 452096

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.89 3/73 10395
/proc/meminfo: memFree=745840/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=464440 CPUtime=1350.47
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 127474 656 0 0 134973 74 0 0 25 0 1 0 56668770 475586560 109476 996147200 134512640 135215973 4294956304 18446744073709551615 4158960021 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 116110 109476 415 171 0 115035 0
Current children cumulated CPU time (s) 1350.47
Current children cumulated vsize (KiB) 464440

[startup+1422.3 s]
/proc/loadavg: 1.99 1.97 1.90 3/73 10395
/proc/meminfo: memFree=727728/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=478056 CPUtime=1409.98
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 131188 656 0 0 140922 76 0 0 25 0 1 0 56668770 489529344 113190 996147200 134512640 135215973 4294956304 18446744073709551615 4158960136 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 119514 113190 415 171 0 118439 0
Current children cumulated CPU time (s) 1409.98
Current children cumulated vsize (KiB) 478056

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.90 3/73 10395
/proc/meminfo: memFree=696496/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=491936 CPUtime=1469.47
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 134972 656 0 0 146868 79 0 0 25 0 1 0 56668770 503742464 116974 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 122984 116974 415 171 0 121909 0
Current children cumulated CPU time (s) 1469.47
Current children cumulated vsize (KiB) 491936

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 10395
/proc/meminfo: memFree=679600/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=505724 CPUtime=1528.97
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 138676 656 0 0 152816 81 0 0 25 0 1 0 56668770 517861376 120678 996147200 134512640 135215973 4294956304 18446744073709551615 135094891 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 126431 120678 415 171 0 125356 0
Current children cumulated CPU time (s) 1528.97
Current children cumulated vsize (KiB) 505724

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 10395
/proc/meminfo: memFree=664240/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=518660 CPUtime=1588.45
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 142213 656 0 0 158762 83 0 0 25 0 1 0 56668770 531107840 124215 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 129665 124215 415 171 0 128590 0
Current children cumulated CPU time (s) 1588.45
Current children cumulated vsize (KiB) 518660

[startup+1662.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 10395
/proc/meminfo: memFree=643952/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=536372 CPUtime=1647.95
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 146884 656 0 0 164709 86 0 0 25 0 1 0 56668770 549244928 128886 996147200 134512640 135215973 4294956304 18446744073709551615 4158960010 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 134093 128886 415 171 0 133018 0
Current children cumulated CPU time (s) 1647.95
Current children cumulated vsize (KiB) 536372

[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 10395
/proc/meminfo: memFree=628592/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=549248 CPUtime=1707.42
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 150417 656 0 0 170654 88 0 0 25 0 1 0 56668770 562429952 132419 996147200 134512640 135215973 4294956304 18446744073709551615 4158960272 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 137312 132419 415 171 0 136237 0
Current children cumulated CPU time (s) 1707.42
Current children cumulated vsize (KiB) 549248

[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/73 10395
/proc/meminfo: memFree=612592/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=562356 CPUtime=1766.9
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 153966 656 0 0 176600 90 0 0 25 0 1 0 56668770 575852544 135968 996147200 134512640 135215973 4294956304 18446744073709551615 134599868 0 0 4096 0 0 0 0 17 1 0 0
/proc/10390/statm: 140589 135968 415 171 0 139514 0
Current children cumulated CPU time (s) 1766.9
Current children cumulated vsize (KiB) 562356



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1815.5 s]
/proc/loadavg: 1.98 1.97 1.91 3/82 10479
/proc/meminfo: memFree=689896/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=570840 CPUtime=1800
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 156280 656 0 0 179906 94 0 0 25 0 1 0 56668770 584540160 138282 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/10390/statm: 142710 138282 415 171 0 141635 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 570840

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

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

[startup+1815.5 s]
/proc/loadavg: 1.98 1.97 1.91 3/82 10479
/proc/meminfo: memFree=689896/2055920 swapFree=4192812/4192956
[pid=10390] ppid=10388 vsize=570840 CPUtime=1800
/proc/10390/stat : 10390 (pcs.big) R 10388 10390 10192 0 -1 4194304 156280 656 0 0 179906 94 0 0 25 0 1 0 56668770 584540160 138282 996147200 134512640 135215973 4294956304 18446744073709551615 134599879 0 0 4096 0 0 0 0 17 0 0 0
/proc/10390/statm: 142710 138282 415 171 0 141635 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 570840

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1815.59
CPU time (s): 1800.1
CPU user time (s): 1799.07
CPU system time (s): 1.02684
CPU usage (%): 99.147
Max. virtual memory (cumulated for all children) (KiB): 570840

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

runsolver used 2.45363 second user time and 5.2852 second system time

The end

Launcher Data 

Begin job on node59 at 2009-07-16 00:14:16
IDJOB=2063509
IDBENCH=54037
IDSOLVER=734
FILE ID=node59/2063509-1247696056
PBS_JOBID= 9521195
Free space on /tmp= 66344 MiB

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

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

MD5SUM BENCH= ed23ca702094b42d6858a9ee6167f2fb
RANDOM SEED=1060255323

node59.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.263
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.263
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:       1252952 kB
Buffers:        106828 kB
Cached:         577048 kB
SwapCached:          0 kB
Active:         278552 kB
Inactive:       427988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1252952 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            6616 kB
Writeback:           0 kB
Mapped:          34172 kB
Slab:            81760 kB
Committed_AS:   548788 kB
PageTables:       1840 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66344 MiB
End job on node59 at 2009-07-16 00:44:34