Trace number 2070714

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.04 1811.03

General information on the benchmark

Namecsp/primes-20/
normalized-primes-20-20-3-7.xml
MD5SUM9e4bb50a7af28d831ae36f0bf52a2b8d
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.029994
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of constraints20
Maximum constraint arity10
Maximum domain size70
Number of constraints which are defined in extension0
Number of constraints which are defined in intension20
Global constraints used (with number of constraints)

Solver Data 

0.00/0.01	c has big domains
0.00/0.01	c big-domain mode
0.18/0.20	c Seed is 1307281980
0.18/0.20	c Constructing HOME/instance-2070714-1247709131.xml  with 280 constraints
0.18/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-2070714-1247709131/watcher-2070714-1247709131 -o /tmp/evaluation-result-2070714-1247709131/solver-2070714-1247709131 -C 1800 -W 2000 -M 900 HOME/pcssolve -s 1307281980 HOME/instance-2070714-1247709131.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.94 2.05 2.08 4/82 14740
/proc/meminfo: memFree=776392/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=5352 CPUtime=0
/proc/14740/stat : 14740 (pcssolve) R 14738 14740 14703 0 -1 4194304 160 0 0 0 0 0 0 0 24 0 1 0 57979459 5480448 131 996147200 4194304 4889804 548682068800 18446744073709551615 238487534560 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 1338 131 105 169 0 49 0

[startup+0.10406 s]
/proc/loadavg: 1.94 2.05 2.08 4/82 14740
/proc/meminfo: memFree=776392/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=5184 CPUtime=0.08
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 978 646 0 0 8 0 0 0 18 0 1 0 57979459 5308416 609 996147200 134512640 135215973 4294956304 18446744073709551615 134532656 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 1296 609 415 171 0 221 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5184

[startup+0.201377 s]
/proc/loadavg: 1.94 2.05 2.08 4/82 14740
/proc/meminfo: memFree=776392/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=5184 CPUtime=0.18
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 988 646 0 0 18 0 0 0 18 0 1 0 57979459 5308416 619 996147200 134512640 135215973 4294956304 18446744073709551615 134902665 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 1296 619 415 171 0 221 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5184

[startup+0.301396 s]
/proc/loadavg: 1.94 2.05 2.08 4/82 14740
/proc/meminfo: memFree=776392/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=5184 CPUtime=0.28
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 988 646 0 0 28 0 0 0 19 0 1 0 57979459 5308416 619 996147200 134512640 135215973 4294956304 18446744073709551615 134532660 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 1296 619 415 171 0 221 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5184

[startup+0.701475 s]
/proc/loadavg: 1.94 2.05 2.08 4/82 14740
/proc/meminfo: memFree=776392/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=5316 CPUtime=0.67
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 1030 646 0 0 67 0 0 0 23 0 1 0 57979459 5443584 661 996147200 134512640 135215973 4294956304 18446744073709551615 134587537 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 1329 661 415 171 0 254 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 5316

[startup+1.50163 s]
/proc/loadavg: 1.94 2.05 2.08 3/83 14745
/proc/meminfo: memFree=775032/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=5756 CPUtime=1.47
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 1122 646 0 0 147 0 0 0 25 0 1 0 57979459 5894144 753 996147200 134512640 135215973 4294956304 18446744073709551615 134648269 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 1439 753 415 171 0 364 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5756

[startup+3.10194 s]
/proc/loadavg: 1.94 2.05 2.08 3/83 14745
/proc/meminfo: memFree=774328/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=6796 CPUtime=3.05
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 1387 646 0 0 305 0 0 0 25 0 1 0 57979459 6959104 1018 996147200 134512640 135215973 4294956304 18446744073709551615 134591970 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 1699 1018 415 171 0 624 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 6796

[startup+6.30157 s]
/proc/loadavg: 1.94 2.05 2.08 3/83 14745
/proc/meminfo: memFree=772664/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=8888 CPUtime=6.22
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 1915 646 0 0 622 0 0 0 25 0 1 0 57979459 9101312 1546 996147200 134512640 135215973 4294956304 18446744073709551615 134982851 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 2222 1546 415 171 0 1147 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 8888

[startup+12.7018 s]
/proc/loadavg: 1.95 2.05 2.08 3/83 14745
/proc/meminfo: memFree=770496/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=10060 CPUtime=12.56
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 2217 646 0 0 1255 1 0 0 25 0 1 0 57979459 10301440 1815 996147200 134512640 135215973 4294956304 18446744073709551615 134585800 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 2515 1815 415 171 0 1440 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 10060

[startup+25.5013 s]
/proc/loadavg: 1.96 2.05 2.08 3/83 14745
/proc/meminfo: memFree=766528/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=13712 CPUtime=25.24
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 3160 646 0 0 2523 1 0 0 25 0 1 0 57979459 14041088 2758 996147200 134512640 135215973 4294956304 18446744073709551615 4158960240 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 3428 2758 415 171 0 2353 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 13712

[startup+51.1012 s]
/proc/loadavg: 2.11 2.07 2.08 3/83 14745
/proc/meminfo: memFree=761216/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=19412 CPUtime=50.59
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 4623 646 0 0 5057 2 0 0 25 0 1 0 57979459 19877888 4103 996147200 134512640 135215973 4294956304 18446744073709551615 4158960053 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 4853 4103 415 171 0 3778 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 19412

[startup+102.301 s]
/proc/loadavg: 2.12 2.08 2.08 3/83 14745
/proc/meminfo: memFree=755712/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=24800 CPUtime=101.31
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 5969 646 0 0 10128 3 0 0 25 0 1 0 57979459 25395200 5449 996147200 134512640 135215973 4294956304 18446744073709551615 4158960033 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 6200 5449 415 171 0 5125 0
Current children cumulated CPU time (s) 101.31
Current children cumulated vsize (KiB) 24800

[startup+162.302 s]
/proc/loadavg: 2.28 2.12 2.10 3/83 14745
/proc/meminfo: memFree=752000/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=28472 CPUtime=160.74
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 6930 646 0 0 16070 4 0 0 25 0 1 0 57979459 29155328 6410 996147200 134512640 135215973 4294956304 18446744073709551615 4158960128 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 7118 6410 415 171 0 6043 0
Current children cumulated CPU time (s) 160.74
Current children cumulated vsize (KiB) 28472

[startup+222.307 s]
/proc/loadavg: 2.23 2.13 2.10 3/83 14745
/proc/meminfo: memFree=747200/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=33080 CPUtime=220.17
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 8093 646 0 0 22013 4 0 0 25 0 1 0 57979459 33873920 7573 996147200 134512640 135215973 4294956304 18446744073709551615 134590191 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 8270 7573 415 171 0 7195 0
Current children cumulated CPU time (s) 220.17
Current children cumulated vsize (KiB) 33080

[startup+282.301 s]
/proc/loadavg: 2.42 2.18 2.11 3/83 14745
/proc/meminfo: memFree=743296/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=37284 CPUtime=279.6
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 9182 646 0 0 27955 5 0 0 25 0 1 0 57979459 38178816 8533 996147200 134512640 135215973 4294956304 18446744073709551615 134609802 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 9321 8533 415 171 0 8246 0
Current children cumulated CPU time (s) 279.6
Current children cumulated vsize (KiB) 37284

[startup+342.302 s]
/proc/loadavg: 2.32 2.19 2.12 3/83 14745
/proc/meminfo: memFree=739080/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=41364 CPUtime=339.04
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 10209 646 0 0 33898 6 0 0 25 0 1 0 57979459 42356736 9560 996147200 134512640 135215973 4294956304 18446744073709551615 134680644 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 10341 9560 415 171 0 9266 0
Current children cumulated CPU time (s) 339.04
Current children cumulated vsize (KiB) 41364

[startup+402.301 s]
/proc/loadavg: 2.32 2.22 2.13 3/83 14745
/proc/meminfo: memFree=737416/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=42932 CPUtime=398.46
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 10629 646 0 0 39840 6 0 0 25 0 1 0 57979459 43962368 9980 996147200 134512640 135215973 4294956304 18446744073709551615 4158960064 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 10733 9980 415 171 0 9658 0
Current children cumulated CPU time (s) 398.46
Current children cumulated vsize (KiB) 42932

[startup+462.302 s]
/proc/loadavg: 2.26 2.22 2.13 3/83 14745
/proc/meminfo: memFree=734216/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=46204 CPUtime=457.9
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 11464 646 0 0 45783 7 0 0 25 0 1 0 57979459 47312896 10815 996147200 134512640 135215973 4294956304 18446744073709551615 134583213 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 11551 10815 415 171 0 10476 0
Current children cumulated CPU time (s) 457.9
Current children cumulated vsize (KiB) 46204

[startup+522.303 s]
/proc/loadavg: 2.23 2.22 2.14 3/83 14745
/proc/meminfo: memFree=728328/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=52628 CPUtime=517.33
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 13082 646 0 0 51725 8 0 0 25 0 1 0 57979459 53891072 12433 996147200 134512640 135215973 4294956304 18446744073709551615 134532930 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 13157 12433 415 171 0 12082 0
Current children cumulated CPU time (s) 517.33
Current children cumulated vsize (KiB) 52628

[startup+582.301 s]
/proc/loadavg: 2.21 2.22 2.14 3/83 14751
/proc/meminfo: memFree=722816/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=57488 CPUtime=576.75
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 14318 646 0 0 57666 9 0 0 25 0 1 0 57979459 58867712 13669 996147200 134512640 135215973 4294956304 18446744073709551615 134589867 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 14372 13669 415 171 0 13297 0
Current children cumulated CPU time (s) 576.75
Current children cumulated vsize (KiB) 57488

[startup+642.302 s]
/proc/loadavg: 2.43 2.30 2.17 3/83 15227
/proc/meminfo: memFree=718912/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=60248 CPUtime=633.86
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 15020 646 0 0 63376 10 0 0 25 0 1 0 57979459 61693952 14371 996147200 134512640 135215973 4294956304 18446744073709551615 134585168 0 0 4096 0 0 0 0 17 1 0 0
/proc/14740/statm: 15062 14371 415 171 0 13987 0
Current children cumulated CPU time (s) 633.86
Current children cumulated vsize (KiB) 60248

[startup+702.301 s]

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

[startup+882.306 s]
/proc/loadavg: 2.31 2.46 2.27 3/73 15294
/proc/meminfo: memFree=1439120/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=79828 CPUtime=871.74
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 19957 646 0 0 87160 14 0 0 25 0 1 0 57979459 81743872 19051 996147200 134512640 135215973 4294956304 18446744073709551615 134640948 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 19957 19051 415 171 0 18882 0
Current children cumulated CPU time (s) 871.74
Current children cumulated vsize (KiB) 79828

[startup+942.302 s]
/proc/loadavg: 2.42 2.45 2.28 3/83 15398
/proc/meminfo: memFree=692480/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=88940 CPUtime=931.7
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 22259 646 0 0 93153 17 0 0 25 0 1 0 57979459 91074560 21248 996147200 134512640 135215973 4294956304 18446744073709551615 4158960683 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 22235 21248 415 171 0 21160 0
Current children cumulated CPU time (s) 931.7
Current children cumulated vsize (KiB) 88940

[startup+1002.3 s]
/proc/loadavg: 2.31 2.41 2.27 3/82 15441
/proc/meminfo: memFree=1420736/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=89460 CPUtime=991.67
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 22380 646 0 0 99149 18 0 0 25 0 1 0 57979459 91607040 21369 996147200 134512640 135215973 4294956304 18446744073709551615 134587944 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 22365 21369 415 171 0 21290 0
Current children cumulated CPU time (s) 991.67
Current children cumulated vsize (KiB) 89460

[startup+1062.3 s]
/proc/loadavg: 2.11 2.34 2.25 3/82 15567
/proc/meminfo: memFree=1415176/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=92088 CPUtime=1051.65
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 23046 646 0 0 105144 21 0 0 25 0 1 0 57979459 94298112 22035 996147200 134512640 135215973 4294956304 18446744073709551615 134591029 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 23022 22035 415 171 0 21947 0
Current children cumulated CPU time (s) 1051.65
Current children cumulated vsize (KiB) 92088

[startup+1122.3 s]
/proc/loadavg: 2.09 2.29 2.24 3/82 15567
/proc/meminfo: memFree=1410888/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=96300 CPUtime=1111.62
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 24108 646 0 0 111141 21 0 0 25 0 1 0 57979459 98611200 23097 996147200 134512640 135215973 4294956304 18446744073709551615 134583634 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 24075 23097 415 171 0 23000 0
Current children cumulated CPU time (s) 1111.62
Current children cumulated vsize (KiB) 96300

[startup+1182.3 s]
/proc/loadavg: 2.08 2.25 2.23 3/82 15567
/proc/meminfo: memFree=1406600/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=100380 CPUtime=1171.58
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 25142 646 0 0 117137 21 0 0 25 0 1 0 57979459 102789120 24131 996147200 134512640 135215973 4294956304 18446744073709551615 134532946 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 25095 24131 415 171 0 24020 0
Current children cumulated CPU time (s) 1171.58
Current children cumulated vsize (KiB) 100380

[startup+1242.3 s]
/proc/loadavg: 2.07 2.21 2.22 3/82 15609
/proc/meminfo: memFree=1404352/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=105236 CPUtime=1231.56
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 26362 646 0 0 123133 23 0 0 25 0 1 0 57979459 107761664 25351 996147200 134512640 135215973 4294956304 18446744073709551615 134599865 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 26309 25351 415 171 0 25234 0
Current children cumulated CPU time (s) 1231.56
Current children cumulated vsize (KiB) 105236

[startup+1302.3 s]
/proc/loadavg: 2.07 2.19 2.21 3/82 15609
/proc/meminfo: memFree=1400448/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=109056 CPUtime=1291.54
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 27315 646 0 0 129130 24 0 0 25 0 1 0 57979459 111673344 26304 996147200 134512640 135215973 4294956304 18446744073709551615 134597660 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 27264 26304 415 171 0 26189 0
Current children cumulated CPU time (s) 1291.54
Current children cumulated vsize (KiB) 109056

[startup+1362.3 s]
/proc/loadavg: 2.06 2.16 2.19 3/82 15651
/proc/meminfo: memFree=1399240/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=109056 CPUtime=1351.5
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 27337 646 0 0 135125 25 0 0 25 0 1 0 57979459 111673344 26326 996147200 134512640 135215973 4294956304 18446744073709551615 134584005 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 27264 26326 415 171 0 26189 0
Current children cumulated CPU time (s) 1351.5
Current children cumulated vsize (KiB) 109056

[startup+1422.3 s]
/proc/loadavg: 2.06 2.15 2.18 3/82 15651
/proc/meminfo: memFree=1399048/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=109184 CPUtime=1411.48
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 27358 646 0 0 141123 25 0 0 25 0 1 0 57979459 111804416 26347 996147200 134512640 135215973 4294956304 18446744073709551615 134585680 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 27296 26347 415 171 0 26221 0
Current children cumulated CPU time (s) 1411.48
Current children cumulated vsize (KiB) 109184

[startup+1482.3 s]
/proc/loadavg: 2.13 2.15 2.18 3/82 15651
/proc/meminfo: memFree=1395208/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=113128 CPUtime=1471.45
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 28356 646 0 0 147119 26 0 0 25 0 1 0 57979459 115843072 27345 996147200 134512640 135215973 4294956304 18446744073709551615 134581371 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 28282 27345 415 171 0 27207 0
Current children cumulated CPU time (s) 1471.45
Current children cumulated vsize (KiB) 113128

[startup+1542.31 s]
/proc/loadavg: 2.20 2.15 2.18 3/82 15651
/proc/meminfo: memFree=1391048/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=117208 CPUtime=1531.43
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 29382 646 0 0 153116 27 0 0 25 0 1 0 57979459 120020992 28371 996147200 134512640 135215973 4294956304 18446744073709551615 135094972 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 29302 28371 415 171 0 28227 0
Current children cumulated CPU time (s) 1531.43
Current children cumulated vsize (KiB) 117208

[startup+1602.3 s]
/proc/loadavg: 2.52 2.26 2.21 3/82 15651
/proc/meminfo: memFree=1387336/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=120900 CPUtime=1591.4
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 30314 646 0 0 159113 27 0 0 25 0 1 0 57979459 123801600 29303 996147200 134512640 135215973 4294956304 18446744073709551615 134590096 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 30225 29303 415 171 0 29150 0
Current children cumulated CPU time (s) 1591.4
Current children cumulated vsize (KiB) 120900

[startup+1662.3 s]
/proc/loadavg: 2.25 2.22 2.20 3/82 15651
/proc/meminfo: memFree=1385936/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=122348 CPUtime=1651.37
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 30670 646 0 0 165109 28 0 0 25 0 1 0 57979459 125284352 29659 996147200 134512640 135215973 4294956304 18446744073709551615 134585880 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 30587 29659 415 171 0 29512 0
Current children cumulated CPU time (s) 1651.37
Current children cumulated vsize (KiB) 122348

[startup+1722.3 s]
/proc/loadavg: 2.15 2.20 2.19 3/82 15651
/proc/meminfo: memFree=1383120/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=125108 CPUtime=1711.34
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 31372 646 0 0 171106 28 0 0 25 0 1 0 57979459 128110592 30361 996147200 134512640 135215973 4294956304 18446744073709551615 134585356 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 31277 30361 415 171 0 30202 0
Current children cumulated CPU time (s) 1711.34
Current children cumulated vsize (KiB) 125108

[startup+1782.3 s]
/proc/loadavg: 2.11 2.17 2.18 3/82 15651
/proc/meminfo: memFree=1379536/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=128524 CPUtime=1771.31
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 32240 646 0 0 177103 28 0 0 25 0 1 0 57979459 131608576 31229 996147200 134512640 135215973 4294956304 18446744073709551615 134533052 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 32131 31229 415 171 0 31056 0
Current children cumulated CPU time (s) 1771.31
Current children cumulated vsize (KiB) 128524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1811 s]
/proc/loadavg: 2.06 2.15 2.17 3/82 15651
/proc/meminfo: memFree=1378128/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=129976 CPUtime=1800
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 32586 646 0 0 179971 29 0 0 25 0 1 0 57979459 133095424 31575 996147200 134512640 135215973 4294956304 18446744073709551615 134594135 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 32494 31575 415 171 0 31419 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 129976

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

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

[startup+1811 s]
/proc/loadavg: 2.06 2.15 2.17 3/82 15651
/proc/meminfo: memFree=1378128/2055920 swapFree=4192812/4192956
[pid=14740] ppid=14738 vsize=129976 CPUtime=1800
/proc/14740/stat : 14740 (pcs.big) R 14738 14740 14703 0 -1 4194304 32586 646 0 0 179971 29 0 0 25 0 1 0 57979459 133095424 31575 996147200 134512640 135215973 4294956304 18446744073709551615 134594135 0 0 4096 0 0 0 0 17 0 0 0
/proc/14740/statm: 32494 31575 415 171 0 31419 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 129976

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1811.03
CPU time (s): 1800.04
CPU user time (s): 1799.72
CPU system time (s): 0.32395
CPU usage (%): 99.3934
Max. virtual memory (cumulated for all children) (KiB): 129976

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

runsolver used 2.74258 second user time and 5.46717 second system time

The end

Launcher Data 

Begin job on node23 at 2009-07-16 03:52:11
IDJOB=2070714
IDBENCH=55385
IDSOLVER=734
FILE ID=node23/2070714-1247709131
PBS_JOBID= 9521339
Free space on /tmp= 66396 MiB

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

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

MD5SUM BENCH= 9e4bb50a7af28d831ae36f0bf52a2b8d
RANDOM SEED=1307281980

node23.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.277
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.277
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:        776872 kB
Buffers:         72772 kB
Cached:         358688 kB
SwapCached:          0 kB
Active:         804796 kB
Inactive:       393968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        776872 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:         787644 kB
Slab:            64084 kB
Committed_AS:  1257276 kB
PageTables:       3292 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= 66392 MiB
End job on node23 at 2009-07-16 04:22:24